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: 17991
1699 Team MembersFilters -> Year: 2024
1081
TITLE: Fill in the blank for fashion complementary outfit product Retrieval: VISUM summer school competition Full Text
AUTHORS: Castro, Eduardo ; Ferreira, Pedro M.; Rebelo, Ana; Rio Torto, Isabel ; Capozzi, Leonardo ; Ferreira, Mafalda Falcao ; Goncalves, Tiago ; Albuquerque, Tome ; Silva, Wilson ; Afonso, Carolina; Gamelas Sousa, Ricardo; Cimarelli, Claudio; Daoudi, Nadia; Moreira, Gabriel; Yang, Hsiu yu; Hrga, Ingrid; Ahmad, Javed; Keswani, Monish; Beco, Sofia;
PUBLISHED: 2023, SOURCE: MACHINE VISION AND APPLICATIONS, VOLUME: 34, ISSUE: 1
AUTHORS: Castro, Eduardo ; Ferreira, Pedro M.; Rebelo, Ana; Rio Torto, Isabel ; Capozzi, Leonardo ; Ferreira, Mafalda Falcao ; Goncalves, Tiago ; Albuquerque, Tome ; Silva, Wilson ; Afonso, Carolina; Gamelas Sousa, Ricardo; Cimarelli, Claudio; Daoudi, Nadia; Moreira, Gabriel; Yang, Hsiu yu; Hrga, Ingrid; Ahmad, Javed; Keswani, Monish; Beco, Sofia;
PUBLISHED: 2023, SOURCE: MACHINE VISION AND APPLICATIONS, VOLUME: 34, ISSUE: 1
1082
TITLE: Filling the maize yield gap based on precision agriculture-A MaxEnt approach
AUTHORS: Norberto, M.; Sillero, N. ; Coimbra, J.; Cunha, M. ;
PUBLISHED: 2023, SOURCE: COMPUTERS AND ELECTRONICS IN AGRICULTURE, VOLUME: 211, PAGES: 107970
AUTHORS: Norberto, M.; Sillero, N. ; Coimbra, J.; Cunha, M. ;
PUBLISHED: 2023, SOURCE: COMPUTERS AND ELECTRONICS IN AGRICULTURE, VOLUME: 211, PAGES: 107970
1083
TITLE: Firefly and Cuckoo Search Algorithm for Scheduling Problems: A Performance Analysis
AUTHORS: Moreira, C; Costa, C; Santos, AS; Bastos, JA ; Varela, LR; Brito, MF;
PUBLISHED: 2023, SOURCE: 2nd International Conference Innovation in Engineering, ICIE 2022 in Lecture Notes in Mechanical Engineering, PAGES: 75-88
AUTHORS: Moreira, C; Costa, C; Santos, AS; Bastos, JA ; Varela, LR; Brito, MF;
PUBLISHED: 2023, SOURCE: 2nd International Conference Innovation in Engineering, ICIE 2022 in Lecture Notes in Mechanical Engineering, PAGES: 75-88
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef1084
TITLE: FIRMa: A Framework to Support the Requirements Management Process Based on Information Management Tools Full Text
AUTHORS: Fagundes, Priscila Basto; de Macedo, Douglas Dyllon Jeronimo; Soares, Antonio Lucas ;
PUBLISHED: 2023, SOURCE: MOBILE NETWORKS & APPLICATIONS
AUTHORS: Fagundes, Priscila Basto; de Macedo, Douglas Dyllon Jeronimo; Soares, Antonio Lucas ;
PUBLISHED: 2023, SOURCE: MOBILE NETWORKS & APPLICATIONS
1085
TITLE: First insight into oral microbiome diversity in Papua New Guineans reveals a specific regional signature Full Text
AUTHORS: Pedro, Nicole; Brucato, Nicolas; Cavadas, Bruno; Lisant, Valentine; Camacho, Rui ; Kinipi, Christopher; Leavesley, Matthew; Pereira, Luisa; Ricaut, Francois Xavier;
PUBLISHED: 2023, SOURCE: MOLECULAR ECOLOGY, VOLUME: 32, ISSUE: 10, PAGES: 2551-2564
AUTHORS: Pedro, Nicole; Brucato, Nicolas; Cavadas, Bruno; Lisant, Valentine; Camacho, Rui ; Kinipi, Christopher; Leavesley, Matthew; Pereira, Luisa; Ricaut, Francois Xavier;
PUBLISHED: 2023, SOURCE: MOLECULAR ECOLOGY, VOLUME: 32, ISSUE: 10, PAGES: 2551-2564
1086
TITLE: Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium
AUTHORS: Manuel Barbosa ; Gilles Barthe; Christian Doczkal; Jelle Don; Serge Fehr; Benjamin Grégoire; Yu Hsuan Huang; Andreas Hülsing; Yi Lee; Xiaodi Wu;
PUBLISHED: 2023, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2023, PAGES: 246
AUTHORS: Manuel Barbosa ; Gilles Barthe; Christian Doczkal; Jelle Don; Serge Fehr; Benjamin Grégoire; Yu Hsuan Huang; Andreas Hülsing; Yi Lee; Xiaodi Wu;
PUBLISHED: 2023, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2023, PAGES: 246
INDEXED IN: 
DBLP
DBLP1087
TITLE: Flexcomm Simulator: Exploring Energy Flexibility in Software Defined Networks with ns-3
AUTHORS: Monteiro, Rui Pedro C. ; Silva, Joao Marco C. ;
PUBLISHED: 2023, SOURCE: 15th Workshop on Network Simulator-3 (WNS3) in PROCEEDINGS OF THE 2023 WORKSHOP ON NS-3, WNS3 2023, PAGES: 94-101
AUTHORS: Monteiro, Rui Pedro C. ; Silva, Joao Marco C. ;
PUBLISHED: 2023, SOURCE: 15th Workshop on Network Simulator-3 (WNS3) in PROCEEDINGS OF THE 2023 WORKSHOP ON NS-3, WNS3 2023, PAGES: 94-101
1088
TITLE: Flexibility Modeling and Trading in Renewable Energy Communities
AUTHORS: Agrela, Joao ; Rezende, Igor ; Soares, Tiago ; Gouveia, Clara ; Silva, Ricardo ; Villar, Jose ;
PUBLISHED: 2023, SOURCE: 19th International Conference on the European Energy Market (EEM) in 2023 19TH INTERNATIONAL CONFERENCE ON THE EUROPEAN ENERGY MARKET, EEM, VOLUME: 2023-June
AUTHORS: Agrela, Joao ; Rezende, Igor ; Soares, Tiago ; Gouveia, Clara ; Silva, Ricardo ; Villar, Jose ;
PUBLISHED: 2023, SOURCE: 19th International Conference on the European Energy Market (EEM) in 2023 19TH INTERNATIONAL CONFERENCE ON THE EUROPEAN ENERGY MARKET, EEM, VOLUME: 2023-June
1089
TITLE: FLOOR - Forklift Laser OmnidirectiOnal Robot
AUTHORS: Pinto, Vitor H. ; Ribeiro, Francisco M.; Brito, Thadeu ; Pereira, Ana I.; Lima, Jose; Costa, Paulo ;
PUBLISHED: 2023, SOURCE: IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC) in 2023 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS, ICARSC, PAGES: 245-250
AUTHORS: Pinto, Vitor H. ; Ribeiro, Francisco M.; Brito, Thadeu ; Pereira, Ana I.; Lima, Jose; Costa, Paulo ;
PUBLISHED: 2023, SOURCE: IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC) in 2023 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS, ICARSC, PAGES: 245-250
1090
TITLE: FluidHarmony: Defining an equal-tempered and hierarchical harmonic lexicon in the Fourier space Full Text
AUTHORS: Bernardes, Gilberto ; Carvalho, Nadia ; Pereira, Samuel ;
PUBLISHED: 2023, SOURCE: JOURNAL OF NEW MUSIC RESEARCH, PAGES: 1-20
AUTHORS: Bernardes, Gilberto ; Carvalho, Nadia ; Pereira, Samuel ;
PUBLISHED: 2023, SOURCE: JOURNAL OF NEW MUSIC RESEARCH, PAGES: 1-20
1091
TITLE: Foreword
AUTHORS: José Fernando Oliveira ;
PUBLISHED: 2023, SOURCE: 22nd Congress of the Portuguese Association of Operational Research, APDIO 2022 in Springer Proceedings in Mathematics and Statistics, VOLUME: 437
AUTHORS: José Fernando Oliveira ;
PUBLISHED: 2023, SOURCE: 22nd Congress of the Portuguese Association of Operational Research, APDIO 2022 in Springer Proceedings in Mathematics and Statistics, VOLUME: 437
INDEXED IN: Scopus
Scopus1092
TITLE: Formally verifying Kyber Episode IV: Implementation correctness. Episode IV: Implementation correctness
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Benjamin Grégoire; Vincent Laporte; Jean Christophe Léchenet; Tiago Oliveira; Hugo Pacheco ; Miguel Quaresma; Peter Schwabe; Antoine Séré; Pierre Yves Strub;
PUBLISHED: 2023, SOURCE: IACR Trans. Cryptogr. Hardw. Embed. Syst., VOLUME: 2023, ISSUE: 3, PAGES: 164-193
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Benjamin Grégoire; Vincent Laporte; Jean Christophe Léchenet; Tiago Oliveira; Hugo Pacheco ; Miguel Quaresma; Peter Schwabe; Antoine Séré; Pierre Yves Strub;
PUBLISHED: 2023, SOURCE: IACR Trans. Cryptogr. Hardw. Embed. Syst., VOLUME: 2023, ISSUE: 3, PAGES: 164-193
1093
TITLE: Formally verifying Kyber Part I: Implementation Correctness
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Benjamin Grégoire; Vincent Laporte; Jean Christophe Léchenet; Tiago Oliveira; Hugo Pacheco ; Miguel Quaresma; Peter Schwabe; Antoine Séré; Pierre Yves Strub;
PUBLISHED: 2023, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2023, PAGES: 215
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Benjamin Grégoire; Vincent Laporte; Jean Christophe Léchenet; Tiago Oliveira; Hugo Pacheco ; Miguel Quaresma; Peter Schwabe; Antoine Séré; Pierre Yves Strub;
PUBLISHED: 2023, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2023, PAGES: 215
INDEXED IN: DBLP
DBLP1094
TITLE: Fostering pedagogy through micro and adaptive learning in higher education: Trends, tools, and applications. Trends, Tools, and Applications
AUTHORS: Ricardo Queirós ; Mario Cruz; Carla Pinto ; Daniela Mascarenhas;
PUBLISHED: 2023, SOURCE: Fostering Pedagogy Through Micro and Adaptive Learning in Higher Education: Trends, Tools, and Applications, PAGES: 1-376
AUTHORS: Ricardo Queirós ; Mario Cruz; Carla Pinto ; Daniela Mascarenhas;
PUBLISHED: 2023, SOURCE: Fostering Pedagogy Through Micro and Adaptive Learning in Higher Education: Trends, Tools, and Applications, PAGES: 1-376
1095
TITLE: Foundational DevOps Patterns
AUTHORS: Paulo Marques; Filipe F Correia ;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2302.01053
AUTHORS: Paulo Marques; Filipe F Correia ;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2302.01053
INDEXED IN: DBLP
DBLP1096
TITLE: Fractal Bilinear Deep Neural Network Models for Gastric Intestinal Metaplasia Detection
AUTHORS: Pedroso, Maria; Martins, Miguel L. ; Libanio, Diogo ; Dinis Ribeiro, Mario ; Coimbra, Miguel ; Renna, Francesco ;
PUBLISHED: 2023, SOURCE: IEEE-EMBS International Conference on Biomedical and Health Informatics (BHI) in 2023 IEEE EMBS INTERNATIONAL CONFERENCE ON BIOMEDICAL AND HEALTH INFORMATICS, BHI, PAGES: 1-5
AUTHORS: Pedroso, Maria; Martins, Miguel L. ; Libanio, Diogo ; Dinis Ribeiro, Mario ; Coimbra, Miguel ; Renna, Francesco ;
PUBLISHED: 2023, SOURCE: IEEE-EMBS International Conference on Biomedical and Health Informatics (BHI) in 2023 IEEE EMBS INTERNATIONAL CONFERENCE ON BIOMEDICAL AND HEALTH INFORMATICS, BHI, PAGES: 1-5
INDEXED IN: Scopus 
WOS DBLP
Scopus WOS DBLP1097
TITLE: Framework for the Analysis and Configuration of Real-Time OpenMP Applications
AUTHORS: Carvalho, Tiago ; Pinho, Luis Miguel ; Samadi, Mohammad; Royuela, Sara; Munera, Adrian; Quinones, Eduardo;
PUBLISHED: 2023, SOURCE: IEEE 21st International Conference on Industrial Informatics (INDIN) in 2023 IEEE 21ST INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, INDIN, VOLUME: 2023-July
AUTHORS: Carvalho, Tiago ; Pinho, Luis Miguel ; Samadi, Mohammad; Royuela, Sara; Munera, Adrian; Quinones, Eduardo;
PUBLISHED: 2023, SOURCE: IEEE 21st International Conference on Industrial Informatics (INDIN) in 2023 IEEE 21ST INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, INDIN, VOLUME: 2023-July
1098
TITLE: From 10 Blue Links Pages to Feature-Full Search Engine Results Pages - Analysis of the Temporal Evolution of SERP Features
AUTHORS: Bruno Oliveira; Carla Teixeira Lopes ;
PUBLISHED: 2023, SOURCE: Proceedings of the 2023 Conference on Human Information Interaction and Retrieval, CHIIR 2023, Austin, TX, USA, March 19-23, 2023, PAGES: 338-345
AUTHORS: Bruno Oliveira; Carla Teixeira Lopes ;
PUBLISHED: 2023, SOURCE: Proceedings of the 2023 Conference on Human Information Interaction and Retrieval, CHIIR 2023, Austin, TX, USA, March 19-23, 2023, PAGES: 338-345
1099
TITLE: From a Visual Scene to a Virtual Representation: A Cross-Domain Review
AUTHORS: Pereira, Americo ; Carvalho, Pedro ; Pereira, Nuno ; Viana, Paula ; Corte Real, Luis ;
PUBLISHED: 2023, SOURCE: IEEE ACCESS, VOLUME: 11, PAGES: 57916-57933
AUTHORS: Pereira, Americo ; Carvalho, Pedro ; Pereira, Nuno ; Viana, Paula ; Corte Real, Luis ;
PUBLISHED: 2023, SOURCE: IEEE ACCESS, VOLUME: 11, PAGES: 57916-57933
INDEXED IN: WOS CrossRef
WOS CrossRef1100
TITLE: From ISAD(G) to Linked Data Archival Descriptions
AUTHORS: Koch, Ines ; Pires, Catarina; Lopes, Carla Teixeira ; Ribeiro, Cristina ; Nunes, Sergio ;
PUBLISHED: 2023, SOURCE: 27th International Conference on Theory and Practice of Digital Libraries (TPDL) in LINKING THEORY AND PRACTICE OF DIGITAL LIBRARIES, TPDL 2023, VOLUME: 14241, PAGES: 303-309
AUTHORS: Koch, Ines ; Pires, Catarina; Lopes, Carla Teixeira ; Ribeiro, Cristina ; Nunes, Sergio ;
PUBLISHED: 2023, SOURCE: 27th International Conference on Theory and Practice of Digital Libraries (TPDL) in LINKING THEORY AND PRACTICE OF DIGITAL LIBRARIES, TPDL 2023, VOLUME: 14241, PAGES: 303-309
