Inesc Technology and Science (INESC TEC)
Inesc Tecnologia e Ciência
AuthID: I-000-1SJ
Publications Actions
Publications at Authenticus Institutional Profile
An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports.
Publications displayed at an Authenticus institutional profile depend on two parameters:
- Researchers team associated with the institution per year.
- Publications source type.
We define 3 types of publication sources:
- Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team.
- All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team.
- Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed.
External
Internal
No data about last update.
Rules:
This actions updates publications citations of every team member.
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
No data about last update.
Rules:
This actions updates all pre print publications of the group/institution.
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Publications Count: 20687
1698 Team MembersFilters -> Year: 2024
181
TITLE: Leveraging Large Language Models to Boost Dafny's Developers Productivity
AUTHORS: Álvaro F Silva; Alexandra Mendes ; João F Ferreira;
PUBLISHED: 2024, SOURCE: 12th International Conference on Formal Methods in Software Engineering, FormaliSE 2024, co-located with the 46th International Conference on Software Engineering, ICSE 2024 in Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), Lisbon, Portugal, April 14-15, 2024, PAGES: 138-142
AUTHORS: Álvaro F Silva; Alexandra Mendes ; João F Ferreira;
PUBLISHED: 2024, SOURCE: 12th International Conference on Formal Methods in Software Engineering, FormaliSE 2024, co-located with the 46th International Conference on Software Engineering, ICSE 2024 in Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), Lisbon, Portugal, April 14-15, 2024, PAGES: 138-142
INDEXED IN:
Scopus
DBLP
![](/img/scopus_icon.png)
![](/img/dblp_icon.png)
182
TITLE: Leveraging Longitudinal Data for Cardiomegaly and Change Detection in Chest Radiography
AUTHORS: Belo, Raquel; Rocha, Joana ; Pedrosa, Joao ;
PUBLISHED: 2024, SOURCE: 26th Iberoamerican Congress on Pattern Recognition (CIARP) in PROGRESS IN PATTERN RECOGNITION, IMAGE ANALYSIS, COMPUTER VISION, AND APPLICATIONS, CIARP 2023, PT I, VOLUME: 14469, PAGES: 434-448
AUTHORS: Belo, Raquel; Rocha, Joana ; Pedrosa, Joao ;
PUBLISHED: 2024, SOURCE: 26th Iberoamerican Congress on Pattern Recognition (CIARP) in PROGRESS IN PATTERN RECOGNITION, IMAGE ANALYSIS, COMPUTER VISION, AND APPLICATIONS, CIARP 2023, PT I, VOLUME: 14469, PAGES: 434-448
183
TITLE: Line Fitting-Based Corner-Like Detector for 2D Laser Scanners Data
AUTHORS: Ricardo B Sousa ; Héber Miguel Placido Sobreira; Manuel F Silva; António Paulo Moreira;
PUBLISHED: 2024, SOURCE: 10th International Conference on Automation, Robotics and Applications, ICARA 2024, Athens, Greece, February 22-24, 2024, PAGES: 210-216
AUTHORS: Ricardo B Sousa ; Héber Miguel Placido Sobreira; Manuel F Silva; António Paulo Moreira;
PUBLISHED: 2024, SOURCE: 10th International Conference on Automation, Robotics and Applications, ICARA 2024, Athens, Greece, February 22-24, 2024, PAGES: 210-216
184
TITLE: Linear Fiber Laser Configurations for Optical Concentration Sensing in Liquid Solutions Full Text
AUTHORS: Soares, Liliana; Perez Herrera, Rosa Ana; Novais, Susana ; Ferreira, Antonio; Silva, Susana ; Frazao, Orlando;
PUBLISHED: 2024, SOURCE: PHOTONICS, VOLUME: 11, ISSUE: 5
AUTHORS: Soares, Liliana; Perez Herrera, Rosa Ana; Novais, Susana ; Ferreira, Antonio; Silva, Susana ; Frazao, Orlando;
PUBLISHED: 2024, SOURCE: PHOTONICS, VOLUME: 11, ISSUE: 5
185
TITLE: Local electricity markets: A review on benefits, barriers, current trends and future perspectives Full Text
AUTHORS: Faia, Ricardo; Lezama, Fernando; Soares, Joao; Pinto, Tiago ; Vale, Zita;
PUBLISHED: 2024, SOURCE: RENEWABLE & SUSTAINABLE ENERGY REVIEWS, VOLUME: 190, PAGES: 114006
AUTHORS: Faia, Ricardo; Lezama, Fernando; Soares, Joao; Pinto, Tiago ; Vale, Zita;
PUBLISHED: 2024, SOURCE: RENEWABLE & SUSTAINABLE ENERGY REVIEWS, VOLUME: 190, PAGES: 114006
186
TITLE: Machine learning and cointegration for structural health monitoring of a model under environmental effects Full Text
AUTHORS: Rodrigues, Miguel; Migueis, V. L. ; Felix, Carlos; Rodrigues, Carlos;
PUBLISHED: 2024, SOURCE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 238, PAGES: 121739
AUTHORS: Rodrigues, Miguel; Migueis, V. L. ; Felix, Carlos; Rodrigues, Carlos;
PUBLISHED: 2024, SOURCE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 238, PAGES: 121739
187
TITLE: Machine learning models for short-term demand forecasting in food catering services: A solution to reduce food waste Full Text
AUTHORS: Rodrigues, Miguel; Migueis, Vera ; Freitas, Susana; Machado, Telmo;
PUBLISHED: 2024, SOURCE: JOURNAL OF CLEANER PRODUCTION, VOLUME: 435
AUTHORS: Rodrigues, Miguel; Migueis, Vera ; Freitas, Susana; Machado, Telmo;
PUBLISHED: 2024, SOURCE: JOURNAL OF CLEANER PRODUCTION, VOLUME: 435
INDEXED IN:
Scopus
WOS
![](/img/scopus_icon.png)
![](/img/clarivate-icon.png)
188
TITLE: Many-objective sectorization for last-mile delivery optimization: A decision support system Full Text
AUTHORS: Gustavo Torres; Tânia Fontes; Ana M. Rodrigues; Pedro Rocha; Joel Ribeiro; J. Soeiro Ferreira ;
PUBLISHED: 2024, SOURCE: Expert Systems with Applications, PAGES: 124559
AUTHORS: Gustavo Torres; Tânia Fontes; Ana M. Rodrigues; Pedro Rocha; Joel Ribeiro; J. Soeiro Ferreira ;
PUBLISHED: 2024, SOURCE: Expert Systems with Applications, PAGES: 124559
INDEXED IN:
CrossRef
Unpaywall
![](/img/crossref.png)
![](/img/unpaywall-green-xs.png)
189
TITLE: Map-matching methods in agriculture Full Text
AUTHORS: Silva, Anibal; Mendes Moreira, Joao ; Ferreira, Carlos ; Costa, Nuno; Dias, Duarte ;
PUBLISHED: 2024, SOURCE: COMPUTERS AND ELECTRONICS IN AGRICULTURE, VOLUME: 216, PAGES: 108529
AUTHORS: Silva, Anibal; Mendes Moreira, Joao ; Ferreira, Carlos ; Costa, Nuno; Dias, Duarte ;
PUBLISHED: 2024, SOURCE: COMPUTERS AND ELECTRONICS IN AGRICULTURE, VOLUME: 216, PAGES: 108529
190
TITLE: Massively Annotated Datasets for Assessment of Synthetic and Real Data in Face Recognition
AUTHORS: Pedro C Neto ; Rafael M Mamede; Carolina Albuquerque; Tiago Gonçalves; Ana Filipa Sequeira;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2404.15234
AUTHORS: Pedro C Neto ; Rafael M Mamede; Carolina Albuquerque; Tiago Gonçalves; Ana Filipa Sequeira;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2404.15234
INDEXED IN:
DBLP
![](/img/dblp_icon.png)
191
TITLE: Maximising Attendance in Higher Education: How AI and Gamification Strategies Can Boost Student Engagement and Participation
AUTHORS: Viktoriya Limonova; Arnaldo Manuel Pinto dos Santos; José Henrique Pereira São Mamede ; Vítor Manuel de Jesus Filipe;
PUBLISHED: 2024, SOURCE: 12th World Conference on Information Systems and Technologies, WorldCIST 2024 in Good Practices and New Perspectives in Information Systems and Technologies - WorldCIST 2024, Volume 4, Lodz, Poland, 26-28 March 2024., VOLUME: 988, PAGES: 64-70
AUTHORS: Viktoriya Limonova; Arnaldo Manuel Pinto dos Santos; José Henrique Pereira São Mamede ; Vítor Manuel de Jesus Filipe;
PUBLISHED: 2024, SOURCE: 12th World Conference on Information Systems and Technologies, WorldCIST 2024 in Good Practices and New Perspectives in Information Systems and Technologies - WorldCIST 2024, Volume 4, Lodz, Poland, 26-28 March 2024., VOLUME: 988, PAGES: 64-70
192
TITLE: Measuring users' emotional responses in multisensory virtual reality: a systematic literature review
AUTHORS: Mariana Magalhães; António Coelho; Miguel Melo; Maximino Bessa ;
PUBLISHED: 2024, SOURCE: Multim. Tools Appl., VOLUME: 83, ISSUE: 14, PAGES: 43377-43417
AUTHORS: Mariana Magalhães; António Coelho; Miguel Melo; Maximino Bessa ;
PUBLISHED: 2024, SOURCE: Multim. Tools Appl., VOLUME: 83, ISSUE: 14, PAGES: 43377-43417
INDEXED IN:
DBLP
![](/img/dblp_icon.png)
193
TITLE: Melanoma prevention using an augmented reality-based serious game Full Text
AUTHORS: Ribeiro, Nuno; Tavares, Pedro; Ferreira, Catarina; Coelho, Antonio ;
PUBLISHED: 2024, SOURCE: PATIENT EDUCATION AND COUNSELING, VOLUME: 123, PAGES: 108226
AUTHORS: Ribeiro, Nuno; Tavares, Pedro; Ferreira, Catarina; Coelho, Antonio ;
PUBLISHED: 2024, SOURCE: PATIENT EDUCATION AND COUNSELING, VOLUME: 123, PAGES: 108226
194
TITLE: Mobile Device Forensics Framework: A Toolbox to Support and Enhance This Process
AUTHORS: Bruno M. V. Bernardo; Henrique S. Mamede ; João M. P. Barroso; Vítor M. P. D. Dos Santos;
PUBLISHED: 2024, SOURCE: Emerging Science Journal, VOLUME: 8, ISSUE: 3, PAGES: 972-998
AUTHORS: Bruno M. V. Bernardo; Henrique S. Mamede ; João M. P. Barroso; Vítor M. P. D. Dos Santos;
PUBLISHED: 2024, SOURCE: Emerging Science Journal, VOLUME: 8, ISSUE: 3, PAGES: 972-998
INDEXED IN:
CrossRef
Unpaywall
![](/img/crossref.png)
![](/img/unpaywall-green-xs.png)
195
TITLE: Modal Pitch Space: A Computational Model of Melodic Pitch Attraction in Folk Music
AUTHORS: Gilberto Bernardes ; Nádia Carvalho;
PUBLISHED: 2024, SOURCE: 9th International Conference on Mathematics and Computation in Music, MCM 2024 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 14639 LNCS, PAGES: 183-194
AUTHORS: Gilberto Bernardes ; Nádia Carvalho;
PUBLISHED: 2024, SOURCE: 9th International Conference on Mathematics and Computation in Music, MCM 2024 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 14639 LNCS, PAGES: 183-194
196
TITLE: Model Compression Techniques in Biometrics Applications: A Survey
AUTHORS: Eduarda Caldeira; Pedro C Neto ; Marco Huber; Naser Damer; Ana Filipa Sequeira;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2401.10139
AUTHORS: Eduarda Caldeira; Pedro C Neto ; Marco Huber; Naser Damer; Ana Filipa Sequeira;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2401.10139
INDEXED IN:
DBLP
![](/img/dblp_icon.png)
197
TITLE: Modelling and Control of a Trailer Sprayer for Precision Spraying
AUTHORS: André Rodrigues Baltazar; Filipe Neves dos Santos; António Paulo Moreira ; Soares, Salviano Soares, Pinto Soares ; Reis, MJCS; José Boaventura Cunha;
PUBLISHED: 2024, SOURCE: IEEE International Conference on Autonomous Robot Systems and Competitions, ICARSC 2024, Paredes de Coura, Portugal, May 2-3, 2024, PAGES: 171-176
AUTHORS: André Rodrigues Baltazar; Filipe Neves dos Santos; António Paulo Moreira ; Soares, Salviano Soares, Pinto Soares ; Reis, MJCS; José Boaventura Cunha;
PUBLISHED: 2024, SOURCE: IEEE International Conference on Autonomous Robot Systems and Competitions, ICARSC 2024, Paredes de Coura, Portugal, May 2-3, 2024, PAGES: 171-176
198
TITLE: Multi-objective planning of community energy storage systems under uncertainty
AUTHORS: K.B.J. Anuradha; José Iria ; Chathurika P. Mediwaththe;
PUBLISHED: 2024, SOURCE: Electric Power Systems Research, VOLUME: 230, PAGES: 110286
AUTHORS: K.B.J. Anuradha; José Iria ; Chathurika P. Mediwaththe;
PUBLISHED: 2024, SOURCE: Electric Power Systems Research, VOLUME: 230, PAGES: 110286
INDEXED IN:
CrossRef
Unpaywall
![](/img/crossref.png)
![](/img/unpaywall-green-xs.png)
199
TITLE: Multidimensional subgroup discovery on event logs Full Text
AUTHORS: Ribeiro, J. ; Fontes, T. ; Soares, C. ; Borges, J. L. ;
PUBLISHED: 2024, SOURCE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 246, PAGES: 123205
AUTHORS: Ribeiro, J. ; Fontes, T. ; Soares, C. ; Borges, J. L. ;
PUBLISHED: 2024, SOURCE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 246, PAGES: 123205
200
TITLE: Multilayer quantile graph for multivariate time series analysis and dimensionality reduction
AUTHORS: Silva, Vanessa Freitas ; Silva, Maria Eduarda ; Ribeiro, Pedro ; Silva, Fernando ;
PUBLISHED: 2024, SOURCE: INTERNATIONAL JOURNAL OF DATA SCIENCE AND ANALYTICS, VOLUME: abs/2311.11849
AUTHORS: Silva, Vanessa Freitas ; Silva, Maria Eduarda ; Ribeiro, Pedro ; Silva, Fernando ;
PUBLISHED: 2024, SOURCE: INTERNATIONAL JOURNAL OF DATA SCIENCE AND ANALYTICS, VOLUME: abs/2311.11849