Inesc Technology and Science (INESC TEC)
Inesc Tecnologia e Ciência

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

Update Citation

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!

Update PrePrints

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!

Publications Count: 20687

1698 Team Members
Filters -> 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
INDEXED IN: Scopus DBLP
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
INDEXED IN: Scopus WOS CrossRef
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
INDEXED IN: DBLP CrossRef Unpaywall
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
INDEXED IN: Scopus WOS CrossRef Unpaywall
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
INDEXED IN: Scopus WOS CrossRef: 3
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
INDEXED IN: Scopus WOS CrossRef Unpaywall
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
INDEXED IN: Scopus WOS
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
INDEXED IN: CrossRef Unpaywall
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
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
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
INDEXED IN: DBLP
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
INDEXED IN: Scopus DBLP CrossRef Unpaywall
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
INDEXED IN: DBLP
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
INDEXED IN: Scopus WOS CrossRef Unpaywall
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
INDEXED IN: CrossRef Unpaywall
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
INDEXED IN: Scopus CrossRef Unpaywall
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
INDEXED IN: DBLP
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
INDEXED IN: Scopus DBLP CrossRef
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
INDEXED IN: CrossRef Unpaywall
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
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
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
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall

Results per Page: 20.
Page 10 of 1035. Total results: 20687.