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: 25016
1714 Team MembersFilters -> Year: 2026
3481
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
3482
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
3483
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
3484
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
3485
TITLE: Fome Hedónica e ingestão Alimentar em Doentes Submetidos a Cirurgia Bariátrica
AUTHORS: Mariana Barc; Vanessa Valado; Maria Magalhães; Camilla Folzi; Rui Poínhos; Bruno M P M Oliveira ; Cri Obesidade; Flora Correia;
PUBLISHED: 2023
AUTHORS: Mariana Barc; Vanessa Valado; Maria Magalhães; Camilla Folzi; Rui Poínhos; Bruno M P M Oliveira ; Cri Obesidade; Flora Correia;
PUBLISHED: 2023
INDEXED IN: 
Handle
Handle3486
TITLE: Forecasting Seasonal Sales with Many Drivers: Shrinkage or Dimensionality Reduction?
AUTHORS: Ramos, Patricia ; Oliveira, Jose Manuel ; Kourentzes, Nikolaos; Fildes, Robert;
PUBLISHED: 2023, SOURCE: APPLIED SYSTEM INNOVATION, VOLUME: 6, ISSUE: 1, PAGES: 3
AUTHORS: Ramos, Patricia ; Oliveira, Jose Manuel ; Kourentzes, Nikolaos; Fildes, Robert;
PUBLISHED: 2023, SOURCE: APPLIED SYSTEM INNOVATION, VOLUME: 6, ISSUE: 1, PAGES: 3
3487
TITLE: Foresights for big data across industries Full Text
AUTHORS: Almeida, F ;
PUBLISHED: 2023, SOURCE: FORESIGHT, VOLUME: 25, ISSUE: 3, PAGES: 334-348
AUTHORS: Almeida, F ;
PUBLISHED: 2023, SOURCE: FORESIGHT, VOLUME: 25, ISSUE: 3, PAGES: 334-348
3488
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
Scopus3489
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
3490
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
3491
TITLE: Fostering STEAM for Inclusive Learning
AUTHORS: Miguel Conde; Francisco Rodríguez Sedano; José Gonçalves ; Francisco José García Peñalvo;
PUBLISHED: 2023, SOURCE: 14th International Conference on eLearning, eLearning 2023 in CEUR Workshop Proceedings, VOLUME: 3696, PAGES: 24-32
AUTHORS: Miguel Conde; Francisco Rodríguez Sedano; José Gonçalves ; Francisco José García Peñalvo;
PUBLISHED: 2023, SOURCE: 14th International Conference on eLearning, eLearning 2023 in CEUR Workshop Proceedings, VOLUME: 3696, PAGES: 24-32
INDEXED IN: Scopus
Scopus3492
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
DBLP3493
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
3494
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
3495
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
3496
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
3497
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
3498
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
3499
TITLE: From Real-Time Marketing to Corporate Social Responsibility. The Impact of Social Media Engagement on #womensday Posts by Companies
AUTHORS: Cássia Liandra Carvalho; Belem Barbosa ; Claudia Amaral Santos;
PUBLISHED: 2023, SOURCE: Advances in Business Strategy and Competitive Advantage, PAGES: 21-47
AUTHORS: Cássia Liandra Carvalho; Belem Barbosa ; Claudia Amaral Santos;
PUBLISHED: 2023, SOURCE: Advances in Business Strategy and Competitive Advantage, PAGES: 21-47
INDEXED IN: 
CrossRef 
Unpaywall
CrossRef Unpaywall3500
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
