CS: Computer Science
CS: Computer Science

Inesc Tecnologia e Ciência (INESC TEC)

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
External   Internal

Update Citation

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!

Update PrePrints

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!

Publications Count: 8756

531 Team Members
Filters -> Year: 2025
21
TÍTULO: Are Users More Willing to Use Formally Verified Password Managers?
AUTORES: Carolina Carreira; João F Ferreira; Alexandra Mendes ; Nicolas Christin;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2504.02124
INDEXADO EM: DBLP
22
TÍTULO: Atlas, a modular and efficient open-source BFT framework
AUTORES: Neto, Nuno; Martins, Rolando ; Veiga, Luis;
PUBLICAÇÃO: 2025, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 222, PÁGINAS: 112317
INDEXADO EM: Scopus WOS DBLP CrossRef
23
TÍTULO: Augmented Reality in Information Design
AUTORES: Fadel, Luciane Maria; Coelho, Antonio ;
PUBLICAÇÃO: 2025, FONTE: 8th International Conference on Design and Digital Communication in ADVANCES IN DESIGN AND DIGITAL COMMUNICATION V, DIGICOM 2024, VOLUME: 51, PÁGINAS: 30-41
INDEXADO EM: Scopus WOS CrossRef
24
TÍTULO: Automated optical system for quality inspection on reflective parts  Full Text
AUTORES: Nascimento, Rui ; Rocha, Claudia D.; Gonzalez, Dibet Garcia; Silva, Tiago; Moreira, Rui; Silva, Manuel F.; Filipe, Vitor ; Rocha, Luis F. ;
PUBLICAÇÃO: 2025, FONTE: INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, VOLUME: 137, NÚMERO: 5-6, PÁGINAS: 2665-2680
INDEXADO EM: Scopus WOS CrossRef
25
TÍTULO: Automated Social Media Feedback Analysis for Software Requirements Elicitation: A Case Study in the Streaming Industry
AUTORES: Melissa Silva; João Pascoal Faria ;
PUBLICAÇÃO: 2025, FONTE: Proceedings of the 20th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2025, Porto, Portugal, April 4-6, 2025., PÁGINAS: 149-160
INDEXADO EM: DBLP
26
TÍTULO: Automatic Generation of Loop Invariants in Dafny with Large Language Models
AUTORES: João Pascoal Faria ; Emanuel Trigo; Rui Abreu ;
PUBLICAÇÃO: 2025, FONTE: 11th IFIP WG 2.2 International Conference on Fundamentals of Software Engineering, FSEN 2025 in Fundamentals of Software Engineering - 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedings, VOLUME: 15593, PÁGINAS: 138-154
INDEXADO EM: Scopus DBLP CrossRef
27
TÍTULO: Barrett's paradox of cooperation in the case of quasi-linear utilities  Full Text
AUTORES: Accinelli, Elvio; Afsar, Atefeh; Martins, Filipe ; Martins, Jose ; Oliveira, Bruno M. P. M. ; Oviedo, Jorge; Pinto, Alberto A. ; Quintas, Luis;
PUBLICAÇÃO: 2025, FONTE: MATHEMATICAL METHODS IN THE APPLIED SCIENCES, VOLUME: 48, NÚMERO: 2, PÁGINAS: 2493-2516
INDEXADO EM: Scopus WOS CrossRef Unpaywall
28
TÍTULO: Bayesian Modelling of Time Series of Counts with Missing Data
AUTORES: SILVA, ISABEL ; Maria Eduarda Silva ; Isabel Pereira ;
PUBLICAÇÃO: 2025, FONTE: 26th Congress of the Portuguese Statistical Society, SPE 2023 in Springer Proceedings in Mathematics and Statistics, VOLUME: 469, PÁGINAS: 83-98
INDEXADO EM: Scopus CrossRef
29
TÍTULO: Budget-Constrained Collaborative Renewable Energy Forecasting Market  Full Text
AUTORES: Goncalves, Carla ; Bessa, Ricardo J. ; Teixeira, Tiago; Vinagre, Joao ;
PUBLICAÇÃO: 2025, FONTE: IEEE TRANSACTIONS ON SUSTAINABLE ENERGY, VOLUME: 16, NÚMERO: 2, PÁGINAS: 1440-1452
INDEXADO EM: Scopus WOS CrossRef Unpaywall
30
TÍTULO: C'est Tres CHIC: A Compact Password-Authenticated Key Exchange from Lattice-Based KEM
AUTORES: Arriaga, Afonso; Barbosa, Manuel ; Jarecki, Stanislaw; Skrobot, Marjan;
PUBLICAÇÃO: 2025, FONTE: 30th International Conference on the Theory and Application of Cryptology and Information Security in ADVANCES IN CRYPTOLOGY - ASIACRYPT 2024, PT V, VOLUME: 15488, PÁGINAS: 3-33
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
31
TÍTULO: Can ChatGPT Suggest Patterns? An Exploratory Study About Answers Given by AI-Assisted Tools to Design Problems
AUTORES: Maranhao Junior, Joao Jose; Correia, Filipe F. ; Guerra, Eduardo Martins;
PUBLICAÇÃO: 2025, FONTE: 25th International Conference on Agile Software Development (XP) in AGILE PROCESSES IN SOFTWARE ENGINEERING AND EXTREME PROGRAMMING-WORKSHOPS, XP 2024 WORKSHOPS, VOLUME: 524, PÁGINAS: 130-138
INDEXADO EM: Scopus WOS DBLP CrossRef: 1 Unpaywall
32
TÍTULO: Characterising Class Imbalance in Transportation Mode Detection: An Experimental Study
AUTORES: Muhammad, Akilu Rilwan; Aguiar, Ana ; Mendes Moreira, Joao ;
PUBLICAÇÃO: 2025, FONTE: 25th International Conference on Intelligent Data Engineering and Automated Learning in INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2024, PT II, VOLUME: 15347, PÁGINAS: 58-70
INDEXADO EM: Scopus WOS DBLP CrossRef
33
TÍTULO: Clustering and Classification of Compositional Data Using Distributions Defined on the Hypersphere
AUTORES: Adelaide Figueiredo ;
PUBLICAÇÃO: 2025, FONTE: 26th Congress of the Portuguese Statistical Society, SPE 2023 in Springer Proceedings in Mathematics and Statistics, VOLUME: 469, PÁGINAS: 423-435
INDEXADO EM: Scopus CrossRef
34
TÍTULO: Contributions for the Development of Personae: Method for Creating Persona Templates (MCPT)
AUTORES: Couto, Fábio ; Mariana Curado Malta ;
PUBLICAÇÃO: 2025, FONTE: 26th International Conference on Human-Computer Interaction, HCII 2024 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 15374 LNCS, PÁGINAS: 3-22
INDEXADO EM: Scopus CrossRef
35
TÍTULO: CRDT-Based Game State Synchronization in Peer-to-Peer VR
AUTORES: Abel Dantas; Carlos Baquero ;
PUBLICAÇÃO: 2025, FONTE: 12th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2025 in Proceedings of the 12th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2025, World Trade Center, Rotterdam, The Netherlands, 30 March 2025- 3 April 2025, PÁGINAS: 45-55
INDEXADO EM: Scopus DBLP CrossRef
36
TÍTULO: CRDT-Based Game State Synchronization in Peer-to-Peer VR
AUTORES: Abel Dantas; Carlos Baquero ;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2503.17826
INDEXADO EM: DBLP
37
TÍTULO: CRDV: Conflict-free Replicated Data Views
AUTORES: Nuno Faria ; José Pereira ;
PUBLICAÇÃO: 2025, FONTE: Proc. ACM Manag. Data, VOLUME: 3, NÚMERO: 1, PÁGINAS: 25:1-25:27
INDEXADO EM: DBLP CrossRef
38
TÍTULO: Data Science for Fighting Environmental Crime
AUTORES: Barbosa, Marta; Ribeiro, Carolina; Gomes, Filipe; Ribeiro, Rita P. ; Gama, Joao ;
PUBLICAÇÃO: 2025, FONTE: 8th European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases in MACHINE LEARNING AND PRINCIPLES AND PRACTICE OF KNOWLEDGE DISCOVERY IN DATABASES, ECML PKDD 2023, PT II, VOLUME: 2134, PÁGINAS: 181-196
INDEXADO EM: Scopus WOS DBLP
39
TÍTULO: DataSHIELD: mitigating disclosure risk in a multi-site federated analysis platform
AUTORES: Avraam, Demetris; Wilson, Rebecca C.; Chan, Noemi Aguirre; Banerjee, Soumya; Bishop, Tom R. P.; Butters, Olly; Cadman, Tim; Cederkvist, Luise; Duijts, Liesbeth; Montagut, Xavier Escriba; Garner, Hugh; Goncalves, Goncalo ; Gonzalez, Juan R.; Haakma, Sido; Hartlev, Mette; Hasenauer, Jan; Huth, Manuel; Hyde, Eleanor; Jaddoe, Vincent W. V.; Marcon, Yannick; Mayrhofer, Michaela Th; Molnar Gabor, Fruzsina; Morgan, Andrei Scott; Murtagh, Madeleine; Nestor, Marc; Andersen, Anne Marie Nybo; Parker, Simon; de Moira, Angela Pinot; Schwarz, Florian; Strandberg Larsen, Katrine; Swertz, Morris A.; Welten, Marieke; Wheater, Stuart; Burton, Paul; ...Mais
PUBLICAÇÃO: 2025, FONTE: BIOINFORMATICS ADVANCES, VOLUME: 5, NÚMERO: 1
INDEXADO EM: Scopus WOS CrossRef Unpaywall
40
TÍTULO: Decision-making systems improvement based on explainable artificial intelligence approaches for predictive maintenance  Full Text
AUTORES: Rajaoarisoa, Lala; Randrianandraina, Raubertin; Nalepa, Grzegorz J.; Gama, Joao ;
PUBLICAÇÃO: 2025, FONTE: ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, VOLUME: 139, PÁGINAS: 109601
INDEXADO EM: Scopus WOS DBLP CrossRef: 3

Results per Page: 20.
Página 2 de 438. Total de resultados: 8756.