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: 18407
1699 Team MembersFilters -> Year: 2024
1381
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
DBLP1382
TITLE: Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium
AUTHORS: Barbosa, Manuel ; Barthe, Gilles; Doczkal, Christian; Don, Jelle; Fehr, Serge; Gregoire, Benjamin; Huang, Yu Hsuan; Hulsing, Andreas; Lee, Yi; Wu, Xiaodi;
PUBLISHED: 2023, SOURCE: 43rd International Cryptology Conference (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2023, PT V, VOLUME: 14085, PAGES: 358-389
AUTHORS: Barbosa, Manuel ; Barthe, Gilles; Doczkal, Christian; Don, Jelle; Fehr, Serge; Gregoire, Benjamin; Huang, Yu Hsuan; Hulsing, Andreas; Lee, Yi; Wu, Xiaodi;
PUBLISHED: 2023, SOURCE: 43rd International Cryptology Conference (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2023, PT V, VOLUME: 14085, PAGES: 358-389
1383
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
1384
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
1385
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
1386
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
1387
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
Scopus1388
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
1389
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
DBLP1390
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
1391
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
DBLP1392
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 DBLP1393
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
1394
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
1395
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 CrossRef1396
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
1397
TITLE: From random-walks to graph-sprints: a low-latency node embedding framework on continuous-time dynamic graphs
AUTHORS: Eddin, Ahmad Naser; Bono, Jacopo; Aparicio, David; Ferreira, Hugo; Ascensao, Joao; Ribeiro, Pedro ; Bizarro, Pedro;
PUBLISHED: 2023, SOURCE: 4th ACM International Conference on AI in Finance (ICAIF) in PROCEEDINGS OF THE 4TH ACM INTERNATIONAL CONFERENCE ON AI IN FINANCE, ICAIF 2023, PAGES: 176-184
AUTHORS: Eddin, Ahmad Naser; Bono, Jacopo; Aparicio, David; Ferreira, Hugo; Ascensao, Joao; Ribeiro, Pedro ; Bizarro, Pedro;
PUBLISHED: 2023, SOURCE: 4th ACM International Conference on AI in Finance (ICAIF) in PROCEEDINGS OF THE 4TH ACM INTERNATIONAL CONFERENCE ON AI IN FINANCE, ICAIF 2023, PAGES: 176-184
1398
TITLE: From the first to the fourth critical period of COVID-19: what has changed in nursing practice environments in hospital settings? Full Text
AUTHORS: Ribeiro, Olga Maria Pimenta Lopes ; Cardoso, Maria Filomena; Trindade, Leticia de Lima; da Rocha, Carla Gomes; Teles, Paulo Joao Figueiredo Cabral ; Pereira, Soraia; Coimbra, Vania; Ribeiro, Marlene Patricia; Reis, Ana ; Faria, Ana da Conceicao Alves; da Silva, Joao Miguel Almeida Ventura; Leite, Paula; Barros, Sonia; Sousa, Clemente ;
PUBLISHED: 2023, SOURCE: BMC NURSING, VOLUME: 22, ISSUE: 1
AUTHORS: Ribeiro, Olga Maria Pimenta Lopes ; Cardoso, Maria Filomena; Trindade, Leticia de Lima; da Rocha, Carla Gomes; Teles, Paulo Joao Figueiredo Cabral ; Pereira, Soraia; Coimbra, Vania; Ribeiro, Marlene Patricia; Reis, Ana ; Faria, Ana da Conceicao Alves; da Silva, Joao Miguel Almeida Ventura; Leite, Paula; Barros, Sonia; Sousa, Clemente ;
PUBLISHED: 2023, SOURCE: BMC NURSING, VOLUME: 22, ISSUE: 1
1399
TITLE: Full distributed P2P market and distribution network operation based on ADMM: Testing and evaluation
AUTHORS: Oliveira, Carlos; Simoes, Micael ; Soares, Tiago ; Matos, Manuel A. ; Bitencourt, Leonardo;
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: Oliveira, Carlos; Simoes, Micael ; Soares, Tiago ; Matos, Manuel A. ; Bitencourt, Leonardo;
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
1400
TITLE: Future perspectives of deep learning in laparoscopic tool detection, classification, and segmentation: a systematic review
AUTHORS: Fernandes, Nuno; Oliveira, Eva; Rodrigues, Nuno Feixa ;
PUBLISHED: 2023, SOURCE: IEEE 11th International Conference on Serious Games and Applications for Health (SeGAH) in 2023 IEEE 11TH INTERNATIONAL CONFERENCE ON SERIOUS GAMES AND APPLICATIONS FOR HEALTH, SEGAH
AUTHORS: Fernandes, Nuno; Oliveira, Eva; Rodrigues, Nuno Feixa ;
PUBLISHED: 2023, SOURCE: IEEE 11th International Conference on Serious Games and Applications for Health (SeGAH) in 2023 IEEE 11TH INTERNATIONAL CONFERENCE ON SERIOUS GAMES AND APPLICATIONS FOR HEALTH, SEGAH
