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

530 Team Members
Filters -> Year: 2025
261
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
262
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
263
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
264
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
265
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
266
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
267
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
268
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
269
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
270
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
271
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
272
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
273
TÍTULO: Studying and Improving Graph Neural Network-based Motif Estimation
AUTORES: Pedro C Vieira; Miguel E P Silva ; Pedro Manuel Pinto Ribeiro;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2506.15709
INDEXADO EM: DBLP
274
TÍTULO: Survey about Teachers' Perspective on Software Testing Education
AUTORES: Porfirio Tramontana; Beatriz Marín; Ana C R Paiva; Alexandra Mendes ; Tanja E J Vos; Felix Cammaerts; Monique Snoeck; Mehrdad Saadatmand; Anna Rita Fasolino;
PUBLICAÇÃO: 2025
INDEXADO EM: DBLP
275
TÍTULO: Survey on machine learning applied to CNC milling processes
AUTORES: Pasandidehpoor, Mohammad; Nogueira, Ana Rita; Mendes Moreira, Joao ; Sousa, Ricardo;
PUBLICAÇÃO: 2025, FONTE: ADVANCES IN MANUFACTURING
INDEXADO EM: Scopus WOS CrossRef Unpaywall
276
TÍTULO: Tempo: ML-KEM to PAKE Compiler Resilient to Timing Attacks
AUTORES: Afonso Arriaga; Manuel Barbosa ; Stanislaw Jarecki;
PUBLICAÇÃO: 2025, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2025, PÁGINAS: 1399
INDEXADO EM: DBLP
277
TÍTULO: Testing infrastructures to support mobile application testing: A systematic mapping study  Full Text
AUTORES: Kuroishi, Pedro Henrique; Paiva, Ana Cristina Ramada ; Maldonado, Jose Carlos; VINCENZI, AURI M. R. ;
PUBLICAÇÃO: 2025, FONTE: INFORMATION AND SOFTWARE TECHNOLOGY, VOLUME: 177, PÁGINAS: 107573
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
278
TÍTULO: The 8th International Workshop on Narrative Extraction from Texts: Text2Story 2025
AUTORES: Ricardo Campos; Alípio Jorge ; Adam Jatowt; Sumit Bhatia; Marina Litvak;
PUBLICAÇÃO: 2025, FONTE: 47th European Conference on Information Retrieval, ECIR 2025 in Advances in Information Retrieval - 47th European Conference on Information Retrieval, ECIR 2025, Lucca, Italy, April 6-10, 2025, Proceedings, Part V, VOLUME: 15576, PÁGINAS: 345-351
INDEXADO EM: Scopus DBLP CrossRef
279
TÍTULO: The Application of Machine Learning and Deep Learning with a Multi-Criteria Decision Analysis for Pedestrian Modeling: A Systematic Literature Review (1999-2023)  Full Text
AUTORES: Reyes Norambuena, Pedro; Pinto, Alberto Adrego ; Martinez, Javier; Karbassi Yazdi, Amir; Tan, Yong;
PUBLICAÇÃO: 2025, FONTE: SUSTAINABILITY, VOLUME: 17, NÚMERO: 1, PÁGINAS: 41
INDEXADO EM: Scopus WOS CrossRef
280
TÍTULO: The Attitude of Young Portuguese Youth Toward Blood Donation Advertising Campaigns—an Exploratory Approach
AUTORES: Manuel José Fonseca; Sara Lopes; Jorge Esparteiro Garcia ; Bruno Barbosa Sousa;
PUBLICAÇÃO: 2025, FONTE: International Conference on Marketing and Technologies, ICMarkTech 2024 in Smart Innovation, Systems and Technologies, VOLUME: 439, PÁGINAS: 547-556
INDEXADO EM: Scopus CrossRef

Results per Page: 20.
Página 14 de 449. Total de resultados: 8974.