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

535 Team Members
Filters -> Year: 2026
41
TÍTULO: NonVisual Pong: Enhancing Digital Accessibility Through Audio and Haptic Gaming for the Visually Impaired
AUTORES: Tânia De Jesus Vilela Da Rocha; Ricardo Rodrigues Nunes; João Manuel Pereira Barroso ;
PUBLICAÇÃO: 2026, FONTE: 13th World Conference on Information Systems and Technologies, WorldCIST 2025 in Lecture Notes in Networks and Systems, VOLUME: 1578 LNNS, PÁGINAS: 353-363
INDEXADO EM: Scopus CrossRef
42
TÍTULO: On Quantitative Solution Iteration in QAlloy
AUTORES: Silva, Pedro; Macedo, Nuno ; Oliveira, Jose N. ;
PUBLICAÇÃO: 2026, FONTE: 11th International Conference on Rigorous State Based Methods-ABZ-Annual in RIGOROUS STATE-BASED METHODS, ABZ 2025, VOLUME: 15728, PÁGINAS: 88-105
INDEXADO EM: Scopus WOS CrossRef
43
TÍTULO: Overview of the CLEF 2025 JOKER Lab: Humour in Machine
AUTORES: Ermakova, Liana; Campos, Ricardo ; Bosser, Anne Gwenn; Miller, Tristan;
PUBLICAÇÃO: 2026, FONTE: 16th International Conference of the CLEF Association-CLEF in EXPERIMENTAL IR MEETS MULTILINGUALITY, MULTIMODALITY, AND INTERACTION, CLEF 2025, VOLUME: 16089, PÁGINAS: 315-337
INDEXADO EM: Scopus WOS DBLP CrossRef
44
TÍTULO: Paraconsistent Reactive Graphs
AUTORES: Cunha, Juliana; Madeira, Alexandre; Barbosa, Luis S. ;
PUBLICAÇÃO: 2026, FONTE: 22nd International Conference on Software Engineering and Formal Methods-SEFM-Annual in SOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS, VOLUME: 15551, PÁGINAS: 105-111
INDEXADO EM: Scopus WOS DBLP
45
TÍTULO: PathSAGE: Identifying Influential Spreaders in Temporal Networks With GraphSAGE
AUTORES: Sadhu, Srestha; Mallick, Deepanwita; Namtirtha, Amrita; Malta, Mariana Curado ; Dutta, Animesh;
PUBLICAÇÃO: 2026, FONTE: IEEE TRANSACTIONS ON EMERGING TOPICS IN COMPUTATIONAL INTELLIGENCE, PÁGINAS: 1-17
INDEXADO EM: Scopus WOS CrossRef
46
TÍTULO: Personalized Counterfactual Explanations via Cluster-Based Fine-Tuning of GANs
AUTORES: Ahmed A Fares ; João Cezar Mendes Moreira;
PUBLICAÇÃO: 2026, FONTE: 26th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2025 in Lecture Notes in Computer Science, VOLUME: 16239 LNCS, PÁGINAS: 343-348
INDEXADO EM: Scopus CrossRef Unpaywall
47
TÍTULO: Preface
AUTORES: Rita Ribeiro ; Nathalie Japkowicz; Alípio Mário Jorge; Carlos Soares; Pedro Henriques Abreu; Bernhard Pfahringer; João P Gama; Pedro Larrañaga; Castro Dutra; Mykola Pechenizkiy; Sepideh Pashami; Paulo Cortez;
PUBLICAÇÃO: 2026, FONTE: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ECML PKDD 2025 in Lecture Notes in Computer Science, VOLUME: 16014 LNCS
INDEXADO EM: Scopus
48
TÍTULO: Proposal for a Cybersecurity Framework for the Digital Transformation of Small and Medium-Sized Enterprises in Mozambique: Position Paper
AUTORES: Micaela Roberto Amade; Henrique São Mamede ; Leonilde Reis; Ramiro Moreira Gonçalves; José Luís Bandeira Martins; Frederico Augusto Branco;
PUBLICAÇÃO: 2026, FONTE: 19th Iberian Conference on Information Systems and Technologies, CISTI 2024 in Lecture Notes in Networks and Systems, VOLUME: 1747 LNNS, NÚMERO: 2, PÁGINAS: 456-462
INDEXADO EM: Scopus CrossRef Unpaywall
49
TÍTULO: Reconfiguring Staggered Quantum Walks with ZX
AUTORES: Jardim, Bruno; Santos, Jaime; Barbosa, Luis S. ;
PUBLICAÇÃO: 2026, FONTE: 22nd International Conference on Software Engineering and Formal Methods-SEFM-Annual in SOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS, VOLUME: 15551, PÁGINAS: 112-119
INDEXADO EM: WOS DBLP CrossRef Unpaywall
50
TÍTULO: Renewable Energy Into Sustainability Metrics: A Multicriteria Decision
AUTORES: Rodrigues, Helena Sofia ; Garcia, Jorge Esparteiro ; Ângela Silva ;
PUBLICAÇÃO: 2026, FONTE: 5th International Conference on Optimization Learning Algorithms and Applications-OL2A-Annual in OPTIMIZATION, LEARNING ALGORITHMS AND APPLICATIONS, OL2A 2025, PT II, VOLUME: 2618, PÁGINAS: 35-48
INDEXADO EM: Scopus WOS CrossRef
51
TÍTULO: Software Testing Education and Industry Needs - Report from the ENACTEST EU Project
AUTORES: Mehrdad Saadatmand; Abbas Khan; Beatriz Marín; Ana R Paiva ; Nele Van Asch; Graham Moran; Felix Cammaerts; Monique Snoeck; Alexandra Mendes ;
PUBLICAÇÃO: 2026, FONTE: 26th International Conference on Product-Focused Software Process Improvement, PROFES 2025 in Lecture Notes in Computer Science, VOLUME: 16362 LNCS, PÁGINAS: 53-68
INDEXADO EM: Scopus CrossRef
52
TÍTULO: The Ecosystem of Information Systems in Higher Education: A Strategic Perspective on Business Intelligence and Decision Support
AUTORES: , R; Arsénio Reis; Frederico Augusto Branco ; Alexandre Vara Alves;
PUBLICAÇÃO: 2026, FONTE: 21st International Conference on Smart Business Technologies, ICSBT 2024 in Communications in Computer and Information Science, VOLUME: 2589 CCIS, PÁGINAS: 36-51
INDEXADO EM: Scopus CrossRef
53
TÍTULO: Towards a More Natural Approach to Property Specification in the IVY Workbench
AUTORES: Gomes, Joao; Arcipreste, Mario; Gomes, Miguel; Campos, Jose Creissac ;
PUBLICAÇÃO: 2026, FONTE: 20th International Conference on Human-Computer Interaction-INTERACT-Annual in HUMAN-COMPUTER INTERACTION - INTERACT 2025, PT III, VOLUME: 16110, PÁGINAS: 509-531
INDEXADO EM: Scopus WOS DBLP CrossRef
54
TÍTULO: Trustworthy AI in Design: Introducing Explainable Agent Systems
AUTORES: Emanuel Ribeiro; Tiago Pinto; Arsénio Reis; João Barroso ;
PUBLICAÇÃO: 2026, FONTE: Communications in Computer and Information Science - Computational Intelligence, PÁGINAS: 294-304
INDEXADO EM: CrossRef
55
TÍTULO: User Behavior in Sports Search: Entity-Centric Query and Click Log Analysis
AUTORES: João Damas; Sérgio Nunes ;
PUBLICAÇÃO: 2026, FONTE: 24th EPIA Conference on Artificial Intelligence, EPIA 2025, in Lecture Notes in Computer Science, VOLUME: 16122 LNAI, PÁGINAS: 276-288
INDEXADO EM: Scopus CrossRef
56
TÍTULO: "The Implementation of Public Chatbots to Raise Awareness of Computer Crime"  Full Text
AUTORES: Pimentel, Luis; Bernardo, Maria do Rosario ; Rocha, Tania;
PUBLICAÇÃO: 2025, FONTE: INTERNATIONAL JOURNAL OF HUMAN-COMPUTER INTERACTION, PÁGINAS: 1-23
INDEXADO EM: Scopus WOS CrossRef
57
TÍTULO: 6th International Computer Programming Education Conference, ICPEC 2025, July 10-11, 2025, PORTIC, Polytechnic of Porto, Portugal
AUTORES: Ricardo Queirós ; Mário Pinto; Filipe, Portela; Alberto Simões;
PUBLICAÇÃO: 2025, FONTE: ICPEC, VOLUME: 133
INDEXADO EM: DBLP
58
TÍTULO: A Bibliometric Analysis and Visualization of In-Vehicle Communication Protocols  Full Text
AUTORES: Hussain, Iftikhar; Reis, Manuel J. C. S.; C. Serôdio; Branco, Frederico ;
PUBLICAÇÃO: 2025, FONTE: FUTURE INTERNET, VOLUME: 17, NÚMERO: 6, PÁGINAS: 268
INDEXADO EM: Scopus WOS CrossRef
59
TÍTULO: A blockchain architecture with smart contracts for an additive symbiotic network - a case study  Full Text
AUTORES: Ferreira, Ines A.; Palazzo, Guido; Pinto, Antonio ; Pinto, Pedro ; Sousa, Pedro; Godina, Radu; Carvalho, Helena;
PUBLICAÇÃO: 2025, FONTE: OPERATIONS MANAGEMENT RESEARCH, VOLUME: 18, NÚMERO: 2, PÁGINAS: 537-553
INDEXADO EM: Scopus WOS CrossRef: 3
60
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

Results per Page: 20.
Página 3 de 533. Total de resultados: 10644.