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: 25043
1716 Team MembersFilters -> Year: 2026
341
TITLE: Attention-Capture Damaging Patterns in UI Design: In Search of a Socio-Technical Mitigation Strategy
AUTHORS: Tales Gomes; Daniel Schneider; António Correia ;
PUBLISHED: 2025, SOURCE: CEUR Workshop Proceedings, VOLUME: 3957, PAGES: 506-515
AUTHORS: Tales Gomes; Daniel Schneider; António Correia ;
PUBLISHED: 2025, SOURCE: CEUR Workshop Proceedings, VOLUME: 3957, PAGES: 506-515
INDEXED IN: 
Scopus
Scopus342
TITLE: Augmented Reality in Information Design
AUTHORS: Fadel, Luciane Maria; Coelho, Antonio ;
PUBLISHED: 2025, SOURCE: 8th International Conference on Design and Digital Communication in ADVANCES IN DESIGN AND DIGITAL COMMUNICATION V, DIGICOM 2024, VOLUME: 51, PAGES: 30-41
AUTHORS: Fadel, Luciane Maria; Coelho, Antonio ;
PUBLISHED: 2025, SOURCE: 8th International Conference on Design and Digital Communication in ADVANCES IN DESIGN AND DIGITAL COMMUNICATION V, DIGICOM 2024, VOLUME: 51, PAGES: 30-41
343
TITLE: Automated Construction and Semantic Interoperability for Digital Twins: Integrating Heterogeneous Data with Large Language Models
AUTHORS: Pilarski, Leonardo; Luiz, Luiz E.; Gomes, Goncalo S.; Pinto, Tiago ; Filipe, Vitor M.; Barroso, Joao ; Rijo, Goncalo;
PUBLISHED: 2025, SOURCE: 2025 Conference on Artificial Intelligence-CAI-Annual in 2025 IEEE CONFERENCE ON ARTIFICIAL INTELLIGENCE, CAI, PAGES: 47-48
AUTHORS: Pilarski, Leonardo; Luiz, Luiz E.; Gomes, Goncalo S.; Pinto, Tiago ; Filipe, Vitor M.; Barroso, Joao ; Rijo, Goncalo;
PUBLISHED: 2025, SOURCE: 2025 Conference on Artificial Intelligence-CAI-Annual in 2025 IEEE CONFERENCE ON ARTIFICIAL INTELLIGENCE, CAI, PAGES: 47-48
344
TITLE: Automated Crack Detection in Micro-CT Scanning for Fiber-Reinforced Concrete Using Super-Resolution and Deep Learning Full Text
AUTHORS: Souza, JPGD; Silva, AC; Congro, M; Roehl, D; Paiva, ACD; Pereira, S ; Cunha, A ;
PUBLISHED: 2025, SOURCE: ELECTRONICS, VOLUME: 14, ISSUE: 21, PAGES: 4208
AUTHORS: Souza, JPGD; Silva, AC; Congro, M; Roehl, D; Paiva, ACD; Pereira, S ; Cunha, A ;
PUBLISHED: 2025, SOURCE: ELECTRONICS, VOLUME: 14, ISSUE: 21, PAGES: 4208
345
TITLE: Automated optical system for quality inspection on reflective parts Full Text
AUTHORS: Nascimento, Rui ; Rocha, Claudia D. ; Gonzalez, Dibet Garcia; Silva, Tiago; Moreira, Rui; Silva, Manuel F. ; Filipe, Vitor ; Rocha, Luis F. ;
PUBLISHED: 2025, SOURCE: INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, VOLUME: 137, ISSUE: 5-6, PAGES: 2665-2680
AUTHORS: Nascimento, Rui ; Rocha, Claudia D. ; Gonzalez, Dibet Garcia; Silva, Tiago; Moreira, Rui; Silva, Manuel F. ; Filipe, Vitor ; Rocha, Luis F. ;
PUBLISHED: 2025, SOURCE: INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, VOLUME: 137, ISSUE: 5-6, PAGES: 2665-2680
346
TITLE: Automated Social Media Feedback Analysis for Software Requirements Elicitation: A Case Study in the Streaming Industry
AUTHORS: Melissa Silva; João Pascoal Faria ;
PUBLISHED: 2025, SOURCE: Proceedings of the 20th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2025, Porto, Portugal, April 4-6, 2025., PAGES: 149-160
AUTHORS: Melissa Silva; João Pascoal Faria ;
PUBLISHED: 2025, SOURCE: Proceedings of the 20th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2025, Porto, Portugal, April 4-6, 2025., PAGES: 149-160
INDEXED IN: 
DBLP
DBLP347
TITLE: Automatic characterisation of the urban grid of cities in developing countries from satellite images - A review
AUTHORS: Marcelo Correia; António Cunha ; Sandra Pereira ;
PUBLISHED: 2025, SOURCE: 16th International Conference on ENTERprise Information Systems, CENTERIS 2024 - 12th International Conference on Project MANagement, ProjMAN 2024 - 14th International Conference on Health and Social Care Information Systems and Technologies, HCist 2024 in Procedia Computer Science, VOLUME: 256, PAGES: 423-430
AUTHORS: Marcelo Correia; António Cunha ; Sandra Pereira ;
PUBLISHED: 2025, SOURCE: 16th International Conference on ENTERprise Information Systems, CENTERIS 2024 - 12th International Conference on Project MANagement, ProjMAN 2024 - 14th International Conference on Health and Social Care Information Systems and Technologies, HCist 2024 in Procedia Computer Science, VOLUME: 256, PAGES: 423-430
348
TITLE: Automatic Generation of Loop Invariants in Dafny with Large Language Models
AUTHORS: Faria, Joao Pascoal ; Trigo, Emanuel; Abreu, Rui ;
PUBLISHED: 2025, SOURCE: 11th International Conference on Fundamentals of Software Engineering-FSEN in FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2025, VOLUME: 15593, PAGES: 138-154
AUTHORS: Faria, Joao Pascoal ; Trigo, Emanuel; Abreu, Rui ;
PUBLISHED: 2025, SOURCE: 11th International Conference on Fundamentals of Software Engineering-FSEN in FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2025, VOLUME: 15593, PAGES: 138-154
349
TITLE: Automatic Identification in Building Images of Biological Growths
AUTHORS: Andreia Henrique; António Cunha ; Jorge Pinto; Dibet Gonzalez; Sandra Pereira ;
PUBLISHED: 2025, SOURCE: 16th International Conference on ENTERprise Information Systems, CENTERIS 2024 - 12th International Conference on Project MANagement, ProjMAN 2024 - 14th International Conference on Health and Social Care Information Systems and Technologies, HCist 2024 in Procedia Computer Science, VOLUME: 256, PAGES: 657-664
AUTHORS: Andreia Henrique; António Cunha ; Jorge Pinto; Dibet Gonzalez; Sandra Pereira ;
PUBLISHED: 2025, SOURCE: 16th International Conference on ENTERprise Information Systems, CENTERIS 2024 - 12th International Conference on Project MANagement, ProjMAN 2024 - 14th International Conference on Health and Social Care Information Systems and Technologies, HCist 2024 in Procedia Computer Science, VOLUME: 256, PAGES: 657-664
350
TITLE: Automatic Visual Inspection for Industrial Application
AUTHORS: Ribeiro, Antonio Gouveia; Vilaca, Luis ; Costa, Carlos; Soares Da Costa, Tiago ; Carvalho, Pedro Miguel ;
PUBLISHED: 2025, SOURCE: JOURNAL OF IMAGING, VOLUME: 11, ISSUE: 10, PAGES: 350
AUTHORS: Ribeiro, Antonio Gouveia; Vilaca, Luis ; Costa, Carlos; Soares Da Costa, Tiago ; Carvalho, Pedro Miguel ;
PUBLISHED: 2025, SOURCE: JOURNAL OF IMAGING, VOLUME: 11, ISSUE: 10, PAGES: 350
351
TITLE: Automating Code Generation from User Interface Prototypes
AUTHORS: João Peixoto Castro; José Creissac Campos ;
PUBLISHED: 2025, SOURCE: 2025 International Conference on Graphics and Interaction (ICGI), PAGES: 1-8
AUTHORS: João Peixoto Castro; José Creissac Campos ;
PUBLISHED: 2025, SOURCE: 2025 International Conference on Graphics and Interaction (ICGI), PAGES: 1-8
INDEXED IN: 
CrossRef
CrossRef352
TITLE: Automating Data Extraction from PDF Sleep Reports Using Data Mining Techniques
AUTHORS: Fábio Teixeira; João Costa; Pedro Amorim; Nuno Guimarães ; Daniela Ferreira Santos ;
PUBLISHED: 2025, SOURCE: Studies in health technology and informatics, VOLUME: 327, PAGES: 898-899
AUTHORS: Fábio Teixeira; João Costa; Pedro Amorim; Nuno Guimarães ; Daniela Ferreira Santos ;
PUBLISHED: 2025, SOURCE: Studies in health technology and informatics, VOLUME: 327, PAGES: 898-899
INDEXED IN: Scopus CrossRef
Scopus CrossRef353
TITLE: Autonomous Vision-Aided UAV Positioning for Obstacle-Aware Wireless Connectivity
AUTHORS: Kamran Shafafi ; Manuel Ricardo ; Rui Campos ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.23190
AUTHORS: Kamran Shafafi ; Manuel Ricardo ; Rui Campos ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.23190
INDEXED IN: DBLP
DBLP354
TITLE: Balancing Beyond Discrete Categories: Continuous Demographic Labels for Fair Face Recognition
AUTHORS: Pedro C Neto ; Naser Damer; Jaime S Cardoso ; Ana Filipa Sequeira ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.01532
AUTHORS: Pedro C Neto ; Naser Damer; Jaime S Cardoso ; Ana Filipa Sequeira ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.01532
INDEXED IN: DBLP
DBLP355
TITLE: Barcoding the Caatinga biome bees: a practical review
AUTHORS: Rodrigues, Pedro ; Teixeira, Claudia; Guimaraes, Laura ; Ferreira, Nuno G. C.;
PUBLISHED: 2025, SOURCE: MOLECULAR BIOLOGY REPORTS, VOLUME: 52, ISSUE: 1
AUTHORS: Rodrigues, Pedro ; Teixeira, Claudia; Guimaraes, Laura ; Ferreira, Nuno G. C.;
PUBLISHED: 2025, SOURCE: MOLECULAR BIOLOGY REPORTS, VOLUME: 52, ISSUE: 1
356
TITLE: Barrett's paradox of cooperation in the case of quasi-linear utilities Full Text
AUTHORS: Accinelli, Elvio; Afsar, Atefeh; Martins, Filipe ; Martins, Jose ; Oliveira, Bruno M. P. M. ; Oviedo, Jorge; Pinto, Alberto A. ; Quintas, Luis;
PUBLISHED: 2025, SOURCE: MATHEMATICAL METHODS IN THE APPLIED SCIENCES, VOLUME: 48, ISSUE: 2, PAGES: 2493-2516
AUTHORS: Accinelli, Elvio; Afsar, Atefeh; Martins, Filipe ; Martins, Jose ; Oliveira, Bruno M. P. M. ; Oviedo, Jorge; Pinto, Alberto A. ; Quintas, Luis;
PUBLISHED: 2025, SOURCE: MATHEMATICAL METHODS IN THE APPLIED SCIENCES, VOLUME: 48, ISSUE: 2, PAGES: 2493-2516
357
TITLE: Bayesian Modelling of Time Series of Counts with Missing Data
AUTHORS: SILVA, ISABEL ; Maria Eduarda Silva ; Isabel Pereira ;
PUBLISHED: 2025, SOURCE: 26th Congress of the Portuguese Statistical Society, SPE 2023 in Springer Proceedings in Mathematics and Statistics, VOLUME: 469, PAGES: 83-98
AUTHORS: SILVA, ISABEL ; Maria Eduarda Silva ; Isabel Pereira ;
PUBLISHED: 2025, SOURCE: 26th Congress of the Portuguese Statistical Society, SPE 2023 in Springer Proceedings in Mathematics and Statistics, VOLUME: 469, PAGES: 83-98
INDEXED IN: Scopus CrossRef
Scopus CrossRef358
TITLE: Bayesian Quantum Amplitude Estimation
AUTHORS: Alexandra Ramôa; Luís Paulo Santos ;
PUBLISHED: 2025, SOURCE: Quantum, VOLUME: 9, PAGES: 1856
AUTHORS: Alexandra Ramôa; Luís Paulo Santos ;
PUBLISHED: 2025, SOURCE: Quantum, VOLUME: 9, PAGES: 1856
359
TITLE: Benchmarking Controllers for Low-Cost Agricultural SCARA Manipulators Full Text
AUTHORS: Tinoco, Vitor ; Silva, Manuel F. ; dos Santos, Filipe Neves ; Morais, Raul;
PUBLISHED: 2025, SOURCE: SENSORS, VOLUME: 25, ISSUE: 9, PAGES: 2676
AUTHORS: Tinoco, Vitor ; Silva, Manuel F. ; dos Santos, Filipe Neves ; Morais, Raul;
PUBLISHED: 2025, SOURCE: SENSORS, VOLUME: 25, ISSUE: 9, PAGES: 2676
INDEXED IN: 
WOS CrossRef
WOS CrossRef360
TITLE: Benchmarking Time Series Feature Extraction for Algorithm Selection
AUTHORS: Moisés Rocha dos Santos; Vítor Cerqueira; Carlos Soares ;
PUBLISHED: 2025, SOURCE: 24th EPIA Conference on Artificial Intelligence, EPIA 2025, in Progress in Artificial Intelligence - 24th EPIA Conference on Artificial Intelligence, EPIA 2025, Faro, Portugal, October 1-3, 2025, Proceedings, Part I, VOLUME: 16121, PAGES: 269-281
AUTHORS: Moisés Rocha dos Santos; Vítor Cerqueira; Carlos Soares ;
PUBLISHED: 2025, SOURCE: 24th EPIA Conference on Artificial Intelligence, EPIA 2025, in Progress in Artificial Intelligence - 24th EPIA Conference on Artificial Intelligence, EPIA 2025, Faro, Portugal, October 1-3, 2025, Proceedings, Part I, VOLUME: 16121, PAGES: 269-281
INDEXED IN: Scopus DBLP
Scopus DBLP