CS: Computer Science
CS: Computer Science
AuthID: I-000-B2B
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: 10521
535 Team MembersFilters -> Year: 2026
1501
TITLE: Machine-Checked Security for XMSS as in RFC 8391 and SPHINCS+
AUTHORS: Barbosa, Manuel ; Dupressoir, Francois; Gregoire, Benjamin; Hulsing, Andreas; Meijers, Matthias; Strub, Pierre Yves;
PUBLISHED: 2023, SOURCE: 43rd International Cryptology Conference (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2023, PT V, VOLUME: 14085, PAGES: 421-454
AUTHORS: Barbosa, Manuel ; Dupressoir, Francois; Gregoire, Benjamin; Hulsing, Andreas; Meijers, Matthias; Strub, Pierre Yves;
PUBLISHED: 2023, SOURCE: 43rd International Cryptology Conference (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2023, PT V, VOLUME: 14085, PAGES: 421-454
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP1502
TITLE: Machine-Checked Security for $$\textrm{XMSS} $$ as in RFC 8391 and $$\mathrm {SPHINCS^{+}} $$
AUTHORS: Manuel Barbosa ; François Dupressoir; Benjamin Grégoire; Andreas Hülsing; Matthias Meijers; Pierre-Yves Strub;
PUBLISHED: 2023, SOURCE: Lecture Notes in Computer Science - Advances in Cryptology – CRYPTO 2023, PAGES: 421-454
AUTHORS: Manuel Barbosa ; François Dupressoir; Benjamin Grégoire; Andreas Hülsing; Matthias Meijers; Pierre-Yves Strub;
PUBLISHED: 2023, SOURCE: Lecture Notes in Computer Science - Advances in Cryptology – CRYPTO 2023, PAGES: 421-454
1503
TITLE: MAGIC: Manipulating Avatars and Gestures to Improve Remote Collaboration
AUTHORS: Fidalgo, Catarina G.; Sousa, Mauricio; Mendes, Daniel ; dos Anjos, Rafael Kuffner; Medeiros, Daniel; Singh, Karan; Jorge, Joaquim;
PUBLISHED: 2023, SOURCE: 30th IEEE Conference Virtual Reality and 3D User Interfaces (IEEE VR) in 2023 IEEE CONFERENCE VIRTUAL REALITY AND 3D USER INTERFACES, VR, PAGES: 438-448
AUTHORS: Fidalgo, Catarina G.; Sousa, Mauricio; Mendes, Daniel ; dos Anjos, Rafael Kuffner; Medeiros, Daniel; Singh, Karan; Jorge, Joaquim;
PUBLISHED: 2023, SOURCE: 30th IEEE Conference Virtual Reality and 3D User Interfaces (IEEE VR) in 2023 IEEE CONFERENCE VIRTUAL REALITY AND 3D USER INTERFACES, VR, PAGES: 438-448
1504
TITLE: Management Model and Capture of Benefits Integrated into the Practice of Project Management
AUTHORS: Almeida, A; Santos, C; Mamede, H ; Malta, P; Santos, V;
PUBLISHED: 2023, SOURCE: International Conference on Marketing and Technologies, ICMarkTech 2022 in Smart Innovation, Systems and Technologies, VOLUME: 337 SIST, PAGES: 507-517
AUTHORS: Almeida, A; Santos, C; Mamede, H ; Malta, P; Santos, V;
PUBLISHED: 2023, SOURCE: International Conference on Marketing and Technologies, ICMarkTech 2022 in Smart Innovation, Systems and Technologies, VOLUME: 337 SIST, PAGES: 507-517
1505
TITLE: Mapeamento do Perfil das Mulheres Brasileiras em Processamento de Linguagem Natural
AUTHORS: Helena Caseli; Evelin Amorim ; Elisa Terumi Rubel Schneider; Leidiana Iza Andrade Freitas; Jéssica Rodrigues; Maria das Graças V. Nunes;
PUBLISHED: 2023, SOURCE: Anais do XVII Women in Information Technology (WIT 2023)
AUTHORS: Helena Caseli; Evelin Amorim ; Elisa Terumi Rubel Schneider; Leidiana Iza Andrade Freitas; Jéssica Rodrigues; Maria das Graças V. Nunes;
PUBLISHED: 2023, SOURCE: Anais do XVII Women in Information Technology (WIT 2023)
1506
TITLE: Mapping Tokenomics Arrangements to Expand the Digital Nomad Ecosystem
AUTHORS: Marcos Antonio De Almeida; António Correia ; Jano Moreira De Souza; Daniel Schneider;
PUBLISHED: 2023, SOURCE: 26th International Conference on Computer Supported Cooperative Work in Design, CSCWD 2023 in Proceedings of the 2023 26th International Conference on Computer Supported Cooperative Work in Design, CSCWD 2023, PAGES: 167-174
AUTHORS: Marcos Antonio De Almeida; António Correia ; Jano Moreira De Souza; Daniel Schneider;
PUBLISHED: 2023, SOURCE: 26th International Conference on Computer Supported Cooperative Work in Design, CSCWD 2023 in Proceedings of the 2023 26th International Conference on Computer Supported Cooperative Work in Design, CSCWD 2023, PAGES: 167-174
1507
TITLE: MARTINE's real-time local market simulation with a semantically interoperable society of multi-agent systems
AUTHORS: Santos, Gabriel; Gomes, Luis; Pinto, Tiago ; Faria, Pedro; Vale, Zita ;
PUBLISHED: 2023, SOURCE: SUSTAINABLE ENERGY GRIDS & NETWORKS, VOLUME: 33, PAGES: 100995
AUTHORS: Santos, Gabriel; Gomes, Luis; Pinto, Tiago ; Faria, Pedro; Vale, Zita ;
PUBLISHED: 2023, SOURCE: SUSTAINABLE ENERGY GRIDS & NETWORKS, VOLUME: 33, PAGES: 100995
1508
TITLE: Mathematical and Statistical Modelling for Assessing COVID-19 Superspreader Contagion: Analysis of Geographical Heterogeneous Impacts from Public Events
AUTHORS: Leal, Conceicao; Morgado, Leonel ; Teresa A. Oliveira ;
PUBLISHED: 2023, SOURCE: MATHEMATICS, VOLUME: 11, ISSUE: 5, PAGES: 1156
AUTHORS: Leal, Conceicao; Morgado, Leonel ; Teresa A. Oliveira ;
PUBLISHED: 2023, SOURCE: MATHEMATICS, VOLUME: 11, ISSUE: 5, PAGES: 1156
1509
TITLE: Measuring Latency-Accuracy Trade-Offs in Convolutional Neural Networks
AUTHORS: Tse, Andre ; Oliveira, Lino ; Vinagre, Joao ;
PUBLISHED: 2023, SOURCE: 22nd EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2023, PT I, VOLUME: 14115, PAGES: 323-334
AUTHORS: Tse, Andre ; Oliveira, Lino ; Vinagre, Joao ;
PUBLISHED: 2023, SOURCE: 22nd EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2023, PT I, VOLUME: 14115, PAGES: 323-334
1510
TITLE: Measuring users' emotional responses in multisensory virtual reality: a systematic literature review Full Text
AUTHORS: Magalhaes, Mariana ; Coelho, Antonio ; Melo, Miguel ; Bessa, Maximino ;
PUBLISHED: 2023, SOURCE: MULTIMEDIA TOOLS AND APPLICATIONS, VOLUME: 83, ISSUE: 14, PAGES: 43377-43417
AUTHORS: Magalhaes, Mariana ; Coelho, Antonio ; Melo, Miguel ; Bessa, Maximino ;
PUBLISHED: 2023, SOURCE: MULTIMEDIA TOOLS AND APPLICATIONS, VOLUME: 83, ISSUE: 14, PAGES: 43377-43417
1511
TITLE: Mechanized Proofs of Adversarial Complexity and Application to Universal Composability
AUTHORS: Barbosa, Manuel ; Barthe, Gilles; Gregoire, Benjamin; Koutsos, Adrien; Strub, Pierre Yves;
PUBLISHED: 2023, SOURCE: ACM TRANSACTIONS ON PRIVACY AND SECURITY, VOLUME: 26, ISSUE: 3, PAGES: 41:1-41:34
AUTHORS: Barbosa, Manuel ; Barthe, Gilles; Gregoire, Benjamin; Koutsos, Adrien; Strub, Pierre Yves;
PUBLISHED: 2023, SOURCE: ACM TRANSACTIONS ON PRIVACY AND SECURITY, VOLUME: 26, ISSUE: 3, PAGES: 41:1-41:34
1512
TITLE: Método para avaliação e classificação das dimensões de imersão em narrativas. Method for evaluating and classifying immersion dimensions in narratives
AUTHORS: Cristiane Bonfim; Leonel Morgado ; Daniela Pedrosa;
PUBLISHED: 2023, SOURCE: Journal of Digital Media and Interaction, VOLUME: 6, ISSUE: 15
AUTHORS: Cristiane Bonfim; Leonel Morgado ; Daniela Pedrosa;
PUBLISHED: 2023, SOURCE: Journal of Digital Media and Interaction, VOLUME: 6, ISSUE: 15
INDEXED IN: 
Handle
Handle1513
TITLE: Métodos para criação de narrativas imersivas: uma revisão de revisões da literatura. Methods for creating immersive narratives: a survey of literature surveys
AUTHORS: Cristiane Jorge de Lima Bonfim; Leonel Morgado ; Daniela Cristina Carneiro Pedrosa;
PUBLISHED: 2023, SOURCE: Novos Olhares, VOLUME: 11, ISSUE: 2, PAGES: 205282
AUTHORS: Cristiane Jorge de Lima Bonfim; Leonel Morgado ; Daniela Cristina Carneiro Pedrosa;
PUBLISHED: 2023, SOURCE: Novos Olhares, VOLUME: 11, ISSUE: 2, PAGES: 205282
1514
TITLE: MetroPT-3 Dataset
AUTHORS: Narjes Davari ; Bruno Veloso ; Rita P Ribeiro ; João Gama ;
PUBLISHED: 2023
AUTHORS: Narjes Davari ; Bruno Veloso ; Rita P Ribeiro ; João Gama ;
PUBLISHED: 2023
INDEXED IN: DBLP
DBLP1515
TITLE: Microservices Refactoring Tools - Paper Appendix
AUTHORS: Jonas Fritzsch; Filipe F Correia ; Justus Bogner; Stefan Wagner;
PUBLISHED: 2023
AUTHORS: Jonas Fritzsch; Filipe F Correia ; Justus Bogner; Stefan Wagner;
PUBLISHED: 2023
INDEXED IN: DBLP
DBLP1516
TITLE: Mining Causal Links Between TV Sports Content and Real-World Data
AUTHORS: Melo, Duarte; Delmoral, Jessica C.; Vinagre, Joao ;
PUBLISHED: 2023, SOURCE: 22nd EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2023, PT I, VOLUME: 14115, PAGES: 263-274
AUTHORS: Melo, Duarte; Delmoral, Jessica C.; Vinagre, Joao ;
PUBLISHED: 2023, SOURCE: 22nd EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2023, PT I, VOLUME: 14115, PAGES: 263-274
1517
TITLE: Model Selection for Time Series Forecasting An Empirical Analysis of Multiple Estimators Full Text
AUTHORS: Cerqueira, Vitor ; Torgo, Luis ; Soares, Carlos ;
PUBLISHED: 2023, SOURCE: NEURAL PROCESSING LETTERS, VOLUME: 55, ISSUE: 7, PAGES: 10073-10091
AUTHORS: Cerqueira, Vitor ; Torgo, Luis ; Soares, Carlos ;
PUBLISHED: 2023, SOURCE: NEURAL PROCESSING LETTERS, VOLUME: 55, ISSUE: 7, PAGES: 10073-10091
1518
TITLE: Modeling and Forecasting Photovoltaic Power Production
AUTHORS: Diogo Ribeiro; Adelaide Cerveira ; Solteiro Pires, EJ ; José Baptista ;
PUBLISHED: 2023, SOURCE: 2023 IEEE International Conference on Electrical, Computer and Energy Technologies, ICECET 2023 in International Conference on Electrical, Computer and Energy Technologies, ICECET 2023, Cape Town, South Africa, November 16-17, 2023, PAGES: 1-6
AUTHORS: Diogo Ribeiro; Adelaide Cerveira ; Solteiro Pires, EJ ; José Baptista ;
PUBLISHED: 2023, SOURCE: 2023 IEEE International Conference on Electrical, Computer and Energy Technologies, ICECET 2023 in International Conference on Electrical, Computer and Energy Technologies, ICECET 2023, Cape Town, South Africa, November 16-17, 2023, PAGES: 1-6
1519
TITLE: Modeling the Ink Tuning Process Using Machine Learning
AUTHORS: Catarina Costa; Carlos Abreu Ferreira ;
PUBLISHED: 2023, SOURCE: 24th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2023 in Intelligent Data Engineering and Automated Learning - IDEAL 2023 - 24th International Conference, Évora, Portugal, November 22-24, 2023, Proceedings, VOLUME: 14404, PAGES: 393-405
AUTHORS: Catarina Costa; Carlos Abreu Ferreira ;
PUBLISHED: 2023, SOURCE: 24th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2023 in Intelligent Data Engineering and Automated Learning - IDEAL 2023 - 24th International Conference, Évora, Portugal, November 22-24, 2023, Proceedings, VOLUME: 14404, PAGES: 393-405
1520
TITLE: Modelling and control of manufacturing systems subject to context recognition and switching Full Text
AUTHORS: Southier, Luiz Fernando Puttow; Casanova, Dalcimar; Barbosa, Luis ; Torrico, Cesar; Barbosa, Marco; Teixeira, Marcelo;
PUBLISHED: 2023, SOURCE: INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, VOLUME: 61, ISSUE: 10, PAGES: 3396-3414
AUTHORS: Southier, Luiz Fernando Puttow; Casanova, Dalcimar; Barbosa, Luis ; Torrico, Cesar; Barbosa, Marco; Teixeira, Marcelo;
PUBLISHED: 2023, SOURCE: INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, VOLUME: 61, ISSUE: 10, PAGES: 3396-3414
