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

530 Team Members
Filters -> Year: 2025
261
TÍTULO: Revisiting the Security and Privacy of FIDO2
AUTORES: Manuel Barbosa ; Alexandra Boldyreva; Shan Chen; Kaishuo Cheng; Luís Esquível;
PUBLICAÇÃO: 2025, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2025, PÁGINAS: 459
INDEXADO EM: DBLP
262
TÍTULO: Riding with Intelligence: Advanced Rider Assistance Systems Proposal
AUTORES: Silva, Joao; Ullah, Zia; Reis, Arsenio; Pires, Eduardo ; Pendao, Cristiano; Filipe, Vitor ;
PUBLICAÇÃO: 2025, FONTE: 21st International Symposium on Distributed Computing and Artificial Intelligence in DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE, SPECIAL SESSIONS I, 21ST INTERNATIONAL CONFERENCE, VOLUME: 1198, PÁGINAS: 226-235
INDEXADO EM: Scopus WOS CrossRef
263
TÍTULO: Risk Assessment Profiles for Caregiver Burden in Family Caregivers of Persons Living with Alzheimer's Disease: An Exploratory Study with Machine Learning
AUTORES: Brito, Laura; Cepa, Beatriz ; Brito, Claudia ; Leite, Angela; Pereira, M. Graca;
PUBLICAÇÃO: 2025, FONTE: EUROPEAN JOURNAL OF INVESTIGATION IN HEALTH PSYCHOLOGY AND EDUCATION, VOLUME: 15, NÚMERO: 3, PÁGINAS: 41
INDEXADO EM: Scopus WOS CrossRef Unpaywall
264
TÍTULO: Robotic Process Automation Comparative Analysis of Market Solutions
AUTORES: Arlindo Silva; Henrique São Mamede ; Vitor Santos; Arnaldo Santos; Clara Silveira;
PUBLICAÇÃO: 2025, FONTE: International Conference on Marketing and Technologies, ICMarkTech 2024 in Smart Innovation, Systems and Technologies, VOLUME: 438 SIST, PÁGINAS: 101-124
INDEXADO EM: Scopus CrossRef Unpaywall
265
TÍTULO: Salvador Urban Network Transportation (SUNT): A Landmark Spatiotemporal Dataset for Public Transportation
AUTORES: Ferreira, Marcos V.; Souza, Matheus; Rios, Tatiane N.; Fernandes, Islame F. C.; Nery, Jorge; Gama, Joao ; Bifet, Albert; Rios, Ricardo A.;
PUBLICAÇÃO: 2025, FONTE: SCIENTIFIC DATA, VOLUME: 12, NÚMERO: 1
INDEXADO EM: Scopus WOS CrossRef
266
TÍTULO: Sampling approaches to reduce very frequent seasonal time series  Full Text
AUTORES: Baldo, Afonso; Ferreira, Paulo J. S.; Mendes Moreira, Joao ;
PUBLICAÇÃO: 2025, FONTE: EXPERT SYSTEMS, VOLUME: 42, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 1 Unpaywall
267
TÍTULO: Screening Urban Soil Contamination in Rome: Insights from XRF and Multivariate Analysis
AUTORES: Chandramohan, Monica Shree; Martinho da Silva, Isabel; Ribeiro, Rita P. ; Jorge, Alipio; Esteves da Silva, Joaquim ;
PUBLICAÇÃO: 2025, FONTE: ENVIRONMENTS, VOLUME: 12, NÚMERO: 4, PÁGINAS: 126
INDEXADO EM: Scopus WOS CrossRef
268
TÍTULO: Scrum4DO178C: An Agile Process to Enhance Aerospace Software Development for DO-178C Compliance - A Case Study at Criticality Level A
AUTORES: Eduardo E Ferreira Ribeiro; João Gabriel Silva; Ademar Aguiar ;
PUBLICAÇÃO: 2025, FONTE: IEEE Access, VOLUME: 13, PÁGINAS: 66318-66337
INDEXADO EM: Scopus DBLP CrossRef
269
TÍTULO: Segmentation of coronary calcifications with a domain knowledge-based lightweight 3D convolutional neural network  Full Text
AUTORES: Rui Santos; Rui Castro; Rubén Baeza; Fábio Nunes; Vítor Manuel Filipe; Francesco Renna ; Hugo Paredes; Ricardo Fontes Carvalho; João Pedrosa;
PUBLICAÇÃO: 2025, FONTE: Comput. Biol. Medicine, VOLUME: 196, PÁGINAS: 110798
INDEXADO EM: DBLP CrossRef
270
TÍTULO: Sensory Analysis Lab 3DModel: Modeling an Integrated Oenology Laboratory in Blender. Modeling an Integrated Oenology Laboratory in Blender
AUTORES: Tânia De Jesus Vilela Da Rocha; Vilela, A; João Manuel Pereira Barroso ; Mehdi Akbari;
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: 332-337
INDEXADO EM: Scopus CrossRef
271
TÍTULO: Serious Game Design for Green Mobility: A Lean Inception Approach
AUTORES: Brito, Walkir, WAT,AT; null; null; Silva, João Sousa, JSE,E; Nunes, Ricardo Rodrigues, RR,; Filipe, Manuel De Jesus, VMDJ,V ;
PUBLICAÇÃO: 2025, FONTE: 4th International Conference on Technology and Innovation in Learning, Teaching and Education, TECH-EDU 2024 in Communications in Computer and Information Science, VOLUME: 2479 CCIS, PÁGINAS: 217-224
INDEXADO EM: Scopus CrossRef
272
TÍTULO: SIMD Acceleration of Matrix-Vector Operations on RISC-V for Variable Precision Neural Networks
AUTORES: Gonzalo Salinas; Guilherme Sequeira; Alfonso Rodríguez; João Bispo; Nuno Paulino ;
PUBLICAÇÃO: 2025, FONTE: 2025 IEEE International Parallel and Distributed Processing Symposium, IPDPS 2025 - Workshops, Milano, Italy, June 3-7, 2025, PÁGINAS: 1140-1147
INDEXADO EM: DBLP
273
TÍTULO: Smart Environments Based on Peer-to-Peer oneM2M IoT Standard: Preliminary Results
AUTORES: Nuno Alexandre Ribeiro Costa; 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: 233-238
INDEXADO EM: Scopus CrossRef
274
TÍTULO: Social Compliance With NPIs, Mobility Patterns, and Reproduction Number: Lessons From COVID-19 in Europe
AUTORES: Baccega, Daniele; Aguilar, Jose; Baquero, Carlos ; Fernandez Anta, Antonio; Marcos Ramirez, Juan;
PUBLICAÇÃO: 2025, FONTE: IEEE ACCESS, VOLUME: 13, PÁGINAS: 134357-134375
INDEXADO EM: Scopus WOS CrossRef
275
TÍTULO: Social Compliance With NPIs, Mobility Patterns, and Reproduction Number: Lessons From COVID-19 in Europe
AUTORES: Daniele Baccega; José Aguilar; Carlos Baquero ; Antonio Fernández Anta; Juan Marcos Ramirez;
PUBLICAÇÃO: 2025, FONTE: IEEE Access, VOLUME: 13, PÁGINAS: 134357-134375
INDEXADO EM: DBLP CrossRef
276
TÍTULO: Spatio-Temporal Predictive Modeling Techniques for Different Domains: a Survey
AUTORES: Kumar, Rahul; Bhanu, Manish; Mendes moreira, Joao ; Chandra, Joydeep;
PUBLICAÇÃO: 2025, FONTE: ACM COMPUTING SURVEYS, VOLUME: 57, NÚMERO: 2
INDEXADO EM: Scopus WOS CrossRef: 3 Unpaywall
277
TÍTULO: Specification of paraconsistent transition systems, revisited  Full Text
AUTORES: Cunha, Juliana; Madeira, Alexandre; Barbosa, Luis Soares ;
PUBLICAÇÃO: 2025, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 240, PÁGINAS: 103196
INDEXADO EM: Scopus WOS DBLP CrossRef
278
TÍTULO: Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs
AUTORES: Valentina Wu; Alexandra Mendes ; Alexandre Abreu;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2507.03659
INDEXADO EM: DBLP
279
TÍTULO: Specifying Distributed Hash Tables with Allen Temporal Logic
AUTORES: Policarpo, Nuno; Santos, Jose Fragoso; Cunha, Alcino ; Leitao, Joao; Costa, Pedro Akos;
PUBLICAÇÃO: 2025, FONTE: 13th International Conference on Formal Methods in Software Engineering-FORMALISE in 2025 IEEE/ACM 13TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING, FORMALISE, PÁGINAS: 63-73
INDEXADO EM: Scopus WOS DBLP CrossRef
280
TÍTULO: STEERING INTO THE FUTURE: PUBLIC PERCEPTIONS AND ACCEPTANCE OF AUTONOMOUS BUSES
AUTORES: Ejdys, Joanna; Gulc, Aleksandra; Budna, Klaudia; Esparteiro Garcia, Jorge ;
PUBLICAÇÃO: 2025, FONTE: ECONOMICS AND ENVIRONMENT, VOLUME: 92, NÚMERO: 1, PÁGINAS: 1140
INDEXADO EM: Scopus WOS CrossRef

Results per Page: 20.
Página 14 de 450. Total de resultados: 8985.