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: 25001
1714 Team MembersFilters -> Year: 2026
821
TITLE: Jazzline: Composable CryptoLine Functional Correctness Proofs for Jasmin Programs
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Lionel Blatter; Gustavo Xavier Delerue Marinho Alves; João Diogo Duarte; Benjamin Grégoire; Tiago Oliveira; Miguel Quaresma; Pierre Yves Strub; Ming Hsien Tsai; Bow Yaw Wang; Bo Yin Yang;
PUBLISHED: 2025, SOURCE: CCS, PAGES: 1409-1423
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Lionel Blatter; Gustavo Xavier Delerue Marinho Alves; João Diogo Duarte; Benjamin Grégoire; Tiago Oliveira; Miguel Quaresma; Pierre Yves Strub; Ming Hsien Tsai; Bow Yaw Wang; Bo Yin Yang;
PUBLISHED: 2025, SOURCE: CCS, PAGES: 1409-1423
INDEXED IN: 
DBLP
DBLP822
TITLE: JEMA-SINDYc: End-to-end Control using Joint Embedding Multimodal Alignment in Directed Energy Deposition
AUTHORS: Sousa, Joao; Brandau, Benedikt; Hemschik, Rico; Darabi, Roya; Sousa, Armando ; Reis, Luis Paulo ; Brueckner, Frank; Reis, Ana;
PUBLISHED: 2025, SOURCE: ADDITIVE MANUFACTURING, VOLUME: 109, PAGES: 104888
AUTHORS: Sousa, Joao; Brandau, Benedikt; Hemschik, Rico; Darabi, Roya; Sousa, Armando ; Reis, Luis Paulo ; Brueckner, Frank; Reis, Ana;
PUBLISHED: 2025, SOURCE: ADDITIVE MANUFACTURING, VOLUME: 109, PAGES: 104888
823
TITLE: Joint Mobile IAB Node Positioning and Scheduler Selection in Locations With Significant Obstacles
AUTHORS: Correia, Paulo Furtado ; Coelho, Andre ; Ricardo, Manuel ;
PUBLISHED: 2025, SOURCE: 2025 Joint European Conference on Networks and Communications / 6G Summit-EuCNC in 2025 JOINT EUROPEAN CONFERENCE ON NETWORKS AND COMMUNICATIONS & 6G SUMMIT, EUCNC/6G SUMMIT, PAGES: 223-228
AUTHORS: Correia, Paulo Furtado ; Coelho, Andre ; Ricardo, Manuel ;
PUBLISHED: 2025, SOURCE: 2025 Joint European Conference on Networks and Communications / 6G Summit-EuCNC in 2025 JOINT EUROPEAN CONFERENCE ON NETWORKS AND COMMUNICATIONS & 6G SUMMIT, EUCNC/6G SUMMIT, PAGES: 223-228
824
TITLE: Joint Optimization of Multi-UAV Deployment and 3D Positioning in Traffic-Aware Aerial Networks
AUTHORS: Kamran Shafafi ; Alaa Awad Abdellatif; Manuel Ricardo ; Rui Campos;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.13287
AUTHORS: Kamran Shafafi ; Alaa Awad Abdellatif; Manuel Ricardo ; Rui Campos;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.13287
INDEXED IN: DBLP
DBLP825
TITLE: Justice or Prejudice? Quantifying Biases in LLM-as-a-Judge
AUTHORS: Jiayi Ye; Yanbo Wang; Yue Huang; Dongping Chen; Qihui Zhang; Nuno Moniz ; Tian Gao; Werner Geyer; Chao Huang; Pin Yu Chen; Nitesh V Chawla; Xiangliang Zhang;
PUBLISHED: 2025, SOURCE: The Thirteenth International Conference on Learning Representations, ICLR 2025, Singapore, April 24-28, 2025
AUTHORS: Jiayi Ye; Yanbo Wang; Yue Huang; Dongping Chen; Qihui Zhang; Nuno Moniz ; Tian Gao; Werner Geyer; Chao Huang; Pin Yu Chen; Nitesh V Chawla; Xiangliang Zhang;
PUBLISHED: 2025, SOURCE: The Thirteenth International Conference on Learning Representations, ICLR 2025, Singapore, April 24-28, 2025
INDEXED IN: DBLP
DBLP826
TITLE: K-FELDSPAR GEOCHEMISTRY AS AN INDICATOR OF LITHIUM MINERALIZATION IN THE BARROSO-ALVÃO APLITE-PEGMATITE FIELD, NORTHERN PORTUGAL
AUTHORS: Dias, F.; Ricardo Ribeiro; Filipe Gonçalves; Lima, A ; Encarnación On Roda Robles; Tânia Martins; Diana Guimarães ;
PUBLISHED: 2025, SOURCE: Canadian Journal of Mineralogy and Petrology, VOLUME: 63, ISSUE: 6, PAGES: 761-780
AUTHORS: Dias, F.; Ricardo Ribeiro; Filipe Gonçalves; Lima, A ; Encarnación On Roda Robles; Tânia Martins; Diana Guimarães ;
PUBLISHED: 2025, SOURCE: Canadian Journal of Mineralogy and Petrology, VOLUME: 63, ISSUE: 6, PAGES: 761-780
827
TITLE: KDBI special issue: Explainability feature selection framework application for LSTM multivariate time-series forecast self optimization Full Text
AUTHORS: Rodrigues, Eduardo M.; Baghoussi, Yassine; Mendes Moreira, Joao ;
PUBLISHED: 2025, SOURCE: EXPERT SYSTEMS, VOLUME: 42, ISSUE: 2
AUTHORS: Rodrigues, Eduardo M.; Baghoussi, Yassine; Mendes Moreira, Joao ;
PUBLISHED: 2025, SOURCE: EXPERT SYSTEMS, VOLUME: 42, ISSUE: 2
828
TITLE: KDBI special issue: Time-series pattern verification in CNC turning-A comparative study of one-class and binary classification Full Text
AUTHORS: da Silva, Joao Pinto ; Nogueira, Ana Rita ; Pinto, Jose ; Curral, Manuel; Alves, Antonio Correia; Sousa, Ricardo ;
PUBLISHED: 2025, SOURCE: EXPERT SYSTEMS, VOLUME: 42, ISSUE: 2
AUTHORS: da Silva, Joao Pinto ; Nogueira, Ana Rita ; Pinto, Jose ; Curral, Manuel; Alves, Antonio Correia; Sousa, Ricardo ;
PUBLISHED: 2025, SOURCE: EXPERT SYSTEMS, VOLUME: 42, ISSUE: 2
829
TITLE: KEIGO: Co-designing Log-Structured Merge Key-Value Stores with a Non-Volatile, Concurrency-aware Storage Hierarchy PDF Full Text
AUTHORS: Adao, Ruben; Wu, Zhongjie; Zhou, Changjun; Balmau, Oana; Paulo, Joao ; Macedo, Ricardo;
PUBLISHED: 2025, SOURCE: 51st International Conference on Very Large Data Bases, VLDB 2025 in PROCEEDINGS OF THE VLDB ENDOWMENT, VOLUME: 18, ISSUE: 9, PAGES: 2872-2885
AUTHORS: Adao, Ruben; Wu, Zhongjie; Zhou, Changjun; Balmau, Oana; Paulo, Joao ; Macedo, Ricardo;
PUBLISHED: 2025, SOURCE: 51st International Conference on Very Large Data Bases, VLDB 2025 in PROCEEDINGS OF THE VLDB ENDOWMENT, VOLUME: 18, ISSUE: 9, PAGES: 2872-2885
INDEXED IN: 
Scopus 
WOS DBLP 
DataCite
Scopus WOS DBLP DataCite830
TITLE: Keigo: Co-designing Log-Structured Merge Key-Value Stores with a Non-Volatile, Concurrency-aware Storage Hierarchy (Extended Version)
AUTHORS: Rúben Adão; Zhongjie Wu; Changjun Zhou; Oana Balmau; João Paulo ; Ricardo Macedo;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.14630
AUTHORS: Rúben Adão; Zhongjie Wu; Changjun Zhou; Oana Balmau; João Paulo ; Ricardo Macedo;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.14630
INDEXED IN: DBLP
DBLP831
TITLE: Key Industry 4.0 Technologies for Sustainable Built Environments: A Scope Review of Technology Integration and Its Impacts on Sustainability
AUTHORS: Machado, F; Amaral, A ; Duarte, N; Araújo, M;
PUBLISHED: 2025, SOURCE: 2025 IEEE International Conference on Industrial Engineering and Engineering Management (IEEM), PAGES: 0489-0493
AUTHORS: Machado, F; Amaral, A ; Duarte, N; Araújo, M;
PUBLISHED: 2025, SOURCE: 2025 IEEE International Conference on Industrial Engineering and Engineering Management (IEEM), PAGES: 0489-0493
INDEXED IN: 
CrossRef
CrossRef832
TITLE: Knowledge sharing and team dynamics in the context of an incubation program
AUTHORS: Rinor Kurteshi; Fernando Almeida ;
PUBLISHED: 2025, SOURCE: Knowledge Sharing and Fostering Collaborative Business Culture, PAGES: 171-195
AUTHORS: Rinor Kurteshi; Fernando Almeida ;
PUBLISHED: 2025, SOURCE: Knowledge Sharing and Fostering Collaborative Business Culture, PAGES: 171-195
INDEXED IN: Scopus CrossRef
Scopus CrossRef833
TITLE: Knowledge-Aware Clinical Narrative Extraction Using Ontologies and Knowledge Graphs
AUTHORS: Maria Leite; Rita Rb Silva; Nuno Guimarães ; Lise Stork; Alípio Jorge ;
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: 26-41
AUTHORS: Maria Leite; Rita Rb Silva; Nuno Guimarães ; Lise Stork; Alípio Jorge ;
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: 26-41
834
TITLE: L-GTA: Latent Generative Modeling for Time Series Augmentation
AUTHORS: Luis Roque; Carlos Soares ; Vítor Cerqueira; Luís Torgo ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2507.23615
AUTHORS: Luis Roque; Carlos Soares ; Vítor Cerqueira; Luís Torgo ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2507.23615
INDEXED IN: DBLP
DBLP835
TITLE: Land Surface Influence on Boundary Layer Air over the Atlantic Ocean from Environmental Radioactivity Full Text
AUTHORS: Dias, Nuno ; Barbosa, Susana ;
PUBLISHED: 2025, SOURCE: JOURNAL OF APPLIED METEOROLOGY AND CLIMATOLOGY, VOLUME: 64, ISSUE: 8, PAGES: 933-942
AUTHORS: Dias, Nuno ; Barbosa, Susana ;
PUBLISHED: 2025, SOURCE: JOURNAL OF APPLIED METEOROLOGY AND CLIMATOLOGY, VOLUME: 64, ISSUE: 8, PAGES: 933-942
836
TITLE: Large Language Model Framework for Log Sequence Anomaly Detection
AUTHORS: João Reis; Miguel Areias ; Jorge G Barbosa;
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: 324-334
AUTHORS: João Reis; Miguel Areias ; Jorge G Barbosa;
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: 324-334
837
TITLE: Laser Engraving for 3D Surfaces: A Robotized Application Case Study
AUTHORS: Mariano Alvarez; Laiany Brancalião; Jorge Carneiro; Paulo Costa; João Paulo Coelho; José Gonçalves ;
PUBLISHED: 2025, SOURCE: Lecture Notes in Electrical Engineering, VOLUME: 1325 LNEE, PAGES: 210-222
AUTHORS: Mariano Alvarez; Laiany Brancalião; Jorge Carneiro; Paulo Costa; João Paulo Coelho; José Gonçalves ;
PUBLISHED: 2025, SOURCE: Lecture Notes in Electrical Engineering, VOLUME: 1325 LNEE, PAGES: 210-222
838
TITLE: Laser-Induced Breakdown Spectroscopy for surface analysis of solid-state anode-less battery Full Text
AUTHORS: Capela, Diana ; Baptista, Manuela C.; Gomes, Beatriz M.; Jorge, Pedro A. S. ; Silva, Nuno A. ; M H Braga ; Guimaraes, Diana ;
PUBLISHED: 2025, SOURCE: JOURNAL OF POWER SOURCES, VOLUME: 647, PAGES: 237328
AUTHORS: Capela, Diana ; Baptista, Manuela C.; Gomes, Beatriz M.; Jorge, Pedro A. S. ; Silva, Nuno A. ; M H Braga ; Guimaraes, Diana ;
PUBLISHED: 2025, SOURCE: JOURNAL OF POWER SOURCES, VOLUME: 647, PAGES: 237328
839
TITLE: Last-Mile Delivery with Crowdshipping
AUTHORS: Tiago Monteiro ; João Pedro Pedroso; Ana Viana;
PUBLISHED: 2025, SOURCE: Handbook of Heuristics, PAGES: 1-25
AUTHORS: Tiago Monteiro ; João Pedro Pedroso; Ana Viana;
PUBLISHED: 2025, SOURCE: Handbook of Heuristics, PAGES: 1-25
INDEXED IN: CrossRef
CrossRef840
TITLE: Layer-based management of collaborative interior design in extended reality Full Text
AUTHORS: Pintani, Deborah; Caputo, Ariel; Mendes, Daniel ; Giachetti, Andrea;
PUBLISHED: 2025, SOURCE: BEHAVIOUR & INFORMATION TECHNOLOGY, PAGES: 1-17
AUTHORS: Pintani, Deborah; Caputo, Ariel; Mendes, Daniel ; Giachetti, Andrea;
PUBLISHED: 2025, SOURCE: BEHAVIOUR & INFORMATION TECHNOLOGY, PAGES: 1-17
