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: 8773
531 Team MembersFilters -> Year: 2025
921
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 DBLP922
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
923
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
924
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
925
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)
INDEXED IN: 
CrossRef 
Unpaywall
CrossRef Unpaywall926
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
927
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
928
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
929
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
930
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
931
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
Handle932
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
933
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
DBLP934
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
DBLP935
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
936
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
937
TITLE: Modeling Events and Interactions through Temporal Processes - A Survey
AUTHORS: Angelica Liguori; Luciano Caroprese; Marco Minici; Bruno Veloso ; Francesco Spinnato; Mirco Nanni; Giuseppe Manco; João Gama ;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2303.06067
AUTHORS: Angelica Liguori; Luciano Caroprese; Marco Minici; Bruno Veloso ; Francesco Spinnato; Mirco Nanni; Giuseppe Manco; João Gama ;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2303.06067
INDEXED IN: DBLP
DBLP938
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
939
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
940
TITLE: Modelos de gestão de oferta alimentar em refeitórios escolares do Alto Minho – comparação no âmbito do projeto P0DE
AUTHORS: Liliana Rocha; Catarina Martins; Cláudia Afonso ; Bruno Oliveira ; Alexandra Gonçalves; Liliana Fernandes; Mariana Oliveira; Rute Sá Azevedo; Susana Karim; Susana Quintas; Graça Ferro;
PUBLISHED: 2023, SOURCE: Acta Portuguesa de Nutrição, VOLUME: 32, PAGES: 6-11
AUTHORS: Liliana Rocha; Catarina Martins; Cláudia Afonso ; Bruno Oliveira ; Alexandra Gonçalves; Liliana Fernandes; Mariana Oliveira; Rute Sá Azevedo; Susana Karim; Susana Quintas; Graça Ferro;
PUBLISHED: 2023, SOURCE: Acta Portuguesa de Nutrição, VOLUME: 32, PAGES: 6-11
INDEXED IN: CrossRef
CrossRef