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: 8922

531 Team Members
Filters -> Year: 2025
1
TÍTULO: A framework for supporting the reproducibility of computational experiments in multiple scientific domains
AUTORES: Lázaro Costa; Susana Barbosa ; Jácome Cunha ;
PUBLICAÇÃO: 2026, FONTE: Future Gener. Comput. Syst., VOLUME: 174, PÁGINAS: 107924
INDEXADO EM: Scopus DBLP CrossRef: 1
2
TÍTULO: An Explosion of the Uses of Immersive Learning Environments: A Mapping of Reviews Update
AUTORES: Dennis Beck; Leonel Caseiro Morgado ; Patrick O’Shea;
PUBLICAÇÃO: 2026, FONTE: 11th Annual International Conference of the Immersive Learning Research Network, iLRN 2025 in Communications in Computer and Information Science, VOLUME: 2598 CCIS, PÁGINAS: 48-65
INDEXADO EM: Scopus CrossRef
3
TÍTULO: Auto-active verification of distributed systems and specification refinements with Why3-do
AUTORES: Lourenco, Claudio Belo; Pinto, Jorge Sousa ;
PUBLICAÇÃO: 2026, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 247, PÁGINAS: 103352
INDEXADO EM: Scopus WOS DBLP CrossRef
4
TÍTULO: A Computer-Aided Approach to Canine Hip Dysplasia Assessment: Measuring Femoral Head-Acetabulum Distance with Deep Learning
AUTORES: Franco Goncalo, Pedro; Leite, Pedro; Alves Pimenta, Sofia; Colaco, Bruno; Goncalves, Lio; Filipe, Vitor ; McEvoy, Fintan; Ferreira, Manuel; Ginja, Mario;
PUBLICAÇÃO: 2025, FONTE: APPLIED SCIENCES-BASEL, VOLUME: 15, NÚMERO: 9, PÁGINAS: 5087
INDEXADO EM: WOS CrossRef
5
TÍTULO: A Control Chart for Zero‐Inflated Semi‐Continuous Data
AUTORES: Fernanda Otília FIGUEIREDO; Adelaide FIGUEIREDO ; Ivette I GOMES;
PUBLICAÇÃO: 2025, FONTE: Data Analysis and Related Applications 5, PÁGINAS: 65-77
INDEXADO EM: CrossRef
6
TÍTULO: A Dataset For Computational Reproducibility
AUTORES: Lázaro Costa; Susana Barbosa; Jácome Cunha ;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2504.08684
INDEXADO EM: DBLP
7
TÍTULO: A Deep Learning Framework for Medium-Term Covariance Forecasting in Multi-Asset Portfolios
AUTORES: Pedro Reis; Ana Paula Serra; João Gama ;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2503.01581
INDEXADO EM: DBLP
8
TÍTULO: A Domain-Agnostic Virtual Choreography Framework for Digital Twins: An Oil Spill Application
AUTORES: Fernando Cassola ; Victor Cavaleiro; Demetrius Lacet; Miguel Correia; Marco Amaro Oliveira; Alexandre Valle de Carvalho; Leonel Caseiro Morgado ;
PUBLICAÇÃO: 2025, FONTE: OCEANS 2025 Brest, OCEANS 2025 in Oceans Conference Record (IEEE), PÁGINAS: 1-8
INDEXADO EM: Scopus CrossRef Unpaywall
9
TÍTULO: A Look at Prevalent Vulnerabilities in Web and Mobile Applications: A Brief Systematic Review
AUTORES: Alexandre Ferreira; João Barroso ; Arsénio Reis; António Jorge Gouveia;
PUBLICAÇÃO: 2025, FONTE: Multidisciplinary International Conference of Research Applied to Defense and Security, MICRADS 2024 in Smart Innovation, Systems and Technologies, VOLUME: 423, PÁGINAS: 281-291
INDEXADO EM: Scopus CrossRef
10
TÍTULO: A new proposed model to assess the digital organizational readiness to maximize the results of the digital transformation in SMEs
AUTORES: Silva, Rui Pedro; Mamede, Henrique Sao ; Santos, Vitor;
PUBLICAÇÃO: 2025, FONTE: JOURNAL OF INNOVATION & KNOWLEDGE, VOLUME: 10, NÚMERO: 1, PÁGINAS: 100644
INDEXADO EM: Scopus WOS CrossRef: 2 Unpaywall
11
TÍTULO: A Pattern Language for Engineering Software for the Cloud
AUTORES: Tiago Boldt Sousa; Hugo Sereno Ferreira; Filipe Figueiredo Correia ;
PUBLICAÇÃO: 2025, FONTE: Transactions on Pattern Languages of Programming V, VOLUME: 5, PÁGINAS: 1-66
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
12
TÍTULO: A Personalized Digital Solution to Assist Task Organization and Time Management for People with Attention Deficit/Hyperactivity Disorder (ADHD)
AUTORES: Joana Oliveira; Tânia Rocha; João Barroso ;
PUBLICAÇÃO: 2025, FONTE: Technology for Inclusion and Participation for All: Recent Achievements and Future Directions, PÁGINAS: 372-377
INDEXADO EM: CrossRef
13
TÍTULO: A Reinforcement Learning Based Recommender System Framework for Web Apps: Radio and Game Aggregators Scenarios
AUTORES: Batista, Andre; Jose M Torres ; Sobral, Pedro; Moreira, Rui S. ; Christophe Soares ; Pereira, Ivo ;
PUBLICAÇÃO: 2025, FONTE: 23rd EPIA Conference on Artificial Intelligence-EPIA in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2024, PT I, VOLUME: 14967, PÁGINAS: 421-434
INDEXADO EM: Scopus WOS DBLP CrossRef
15
TÍTULO: A Risk Manager for Intrusion Tolerant Systems: Enhancing HAL 9000 With New Scoring and Data Sources  Full Text
AUTORES: Freitas, Tadeu; Novo, Carlos; Dutra, Ines; Soares, Joao; Correia, Manuel E. ; Shariati, Benham; Martins, Rolando ;
PUBLICAÇÃO: 2025, FONTE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: abs/2508.13364
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
16
TÍTULO: A ROS2-based middleware for flexible integration and task performance across diverse environments: Preliminary Results
AUTORES: Rúben Carreira; Nuno Alexandre Ribeiro Costa; João Ramos; Luis Alexandre Lopes Frazao; João Manuel Pereira Barroso; Antonio Manuel Pereira ;
PUBLICAÇÃO: 2025, FONTE: 11th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-exclusion, DSAI 2024 in Proceedings of the 11th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-exclusion, PÁGINAS: 239-244
INDEXADO EM: Scopus CrossRef
17
TÍTULO: A Scoping Review of the Use of Blockchain to Support Medical Imaging Data Sharing Across Multiple Healthcare Institutions
AUTORES: Pavao, Joao; BASTARDO, Rute ; Rocha, Nelson Pacheco;
PUBLICAÇÃO: 2025, FONTE: 4th International Conference on Advanced Research in Technologies Information Innovation and Sustainability-ARTIIS-Annual in ADVANCED RESEARCH IN TECHNOLOGIES, INFORMATION, INNOVATION AND SUSTAINABILITY, ARTIIS 2024, PT III, VOLUME: 2347, PÁGINAS: 411-420
INDEXADO EM: Scopus WOS DBLP CrossRef
18
TÍTULO: A Systematic Review of Security Communication Strategies: Guidelines and Open Challenges
AUTORES: Carolina Carreira; Alexandra Mendes ; João F Ferreira; Nicolas Christin;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2504.02109
INDEXADO EM: DBLP
19
TÍTULO: A Systematic Review on Long-Tailed Learning
AUTORES: Chongsheng Zhang; George Almpanidis; Gaojuan Fan; Binquan Deng; Yanbo Zhang; Ji Liu; Aouaidjia Kamel; Paolo Soda; João Gama ;
PUBLICAÇÃO: 2025, FONTE: IEEE Trans. Neural Networks Learn. Syst., VOLUME: 36, NÚMERO: 8, PÁGINAS: 13670-13690
INDEXADO EM: Scopus DBLP CrossRef: 5
20
TÍTULO: A Tight Security Proof for SPHINCS+, Formally Verified
AUTORES: Barbosa, Manuel ; Dupressoir, Francois; Hulsing, Andreas; Meijers, Matthias; Strub, Pierre Yves;
PUBLICAÇÃO: 2025, FONTE: 30th International Conference on the Theory and Application of Cryptology and Information Security in ADVANCES IN CRYPTOLOGY - ASIACRYPT 2024, PT IV, VOLUME: 15487, PÁGINAS: 35-67
INDEXADO EM: Scopus WOS DBLP CrossRef

Results per Page: 20.
Página 1 de 447. Total de resultados: 8922.