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

530 Team Members
Filters -> Year: 2025
201
TÍTULO: Exploring Object Detection Learning: A Teaching Guide Through Educational Online Tutorials
AUTORES: Tiago Fernandes; Tiago Silva; João Vaz; João Silva; Gonçalo Cruz; António Sousa ; João Barroso ; Paulo Martins ; Vitor Filipe ;
PUBLICAÇÃO: 2025, FONTE: Communications in Computer and Information Science - Technology and Innovation in Learning, Teaching and Education, PÁGINAS: 121-134
INDEXADO EM: CrossRef
202
TÍTULO: Extended Abstract—Stories of Peso da Régua: The Enigma of the Ancient Vines - The Co-Creation Process of an Immersive Experience in Cibricity
AUTORES: Eliane Schlemmer; Maria Van Zeller ; Diana Quitéria Sousa ; Patrícia Scherer Bassani;
PUBLICAÇÃO: 2025, FONTE: 2025 11th International Conference of the Immersive Learning Research Network (iLRN) Proceedings - Selected Academic Contributions, PÁGINAS: 14-20
INDEXADO EM: CrossRef Unpaywall
203
TÍTULO: Extending the Quantitative Pattern-Matching Paradigm
AUTORES: Alves, Sandra ; Kesner, Delia; Ramos, Miguel ;
PUBLICAÇÃO: 2025, FONTE: 22nd Asian Symposium on Programming Languages and Systems in PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2024, VOLUME: 15194, PÁGINAS: 84-105
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
204
TÍTULO: Face-to-Face Interactions Estimated Using Mobile Phone Data to Support Contact Tracing Operations
AUTORES: Cumbane, Silvino Pedro; Gidofalvi, Gyozo; Cossa, Osvaldo Fernando; Madivadua Junior, Afonso Madivadua; Nuno Sousa; Branco, Frederico ;
PUBLICAÇÃO: 2025, FONTE: BIG DATA AND COGNITIVE COMPUTING, VOLUME: 9, NÚMERO: 1, PÁGINAS: 4
INDEXADO EM: Scopus WOS CrossRef
205
TÍTULO: Factors associated to the perceived adherence to a healthy diet in overweight treatment
AUTORES: Estela Caetano; Bruno MPM Oliveira ; Flora Correia; Duarte Torres; Rui Poínhos;
PUBLICAÇÃO: 2025, FONTE: Acta Portuguesa de Nutrição, VOLUME: 40, PÁGINAS: 18-22
INDEXADO EM: CrossRef
206
TÍTULO: Fairness Analysis in Causal Models: An Application to Public Procurement
AUTORES: Teixeira, Sonia ; Nogueira, Ana Rita ; 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: 197-211
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
207
TÍTULO: Fast Computation of the Discrete Fourier Transform Square Index Coefficients  Full Text
AUTORES: Saulo Queiroz; João Vilela ; Edmundo Monteiro; Xingyu Li;
PUBLICAÇÃO: 2025, FONTE: IEEE SIGNAL PROCESSING MAGAZINE, VOLUME: 42, NÚMERO: 2, PÁGINAS: 88-92
INDEXADO EM: Scopus WOS CrossRef: 1
208
TÍTULO: Fast Explanations via Policy Gradient-Optimized Explainer
AUTORES: Deng Pan; Nuno Moniz ; Nitesh V Chawla;
PUBLICAÇÃO: 2025, FONTE: Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2025, Montreal, Canada, August 16-22, 2025, PÁGINAS: 475-483
INDEXADO EM: DBLP
209
TÍTULO: Faster Verification of Faster Implementations: Combining Deductive and Circuit-Based Reasoning in EasyCrypt
AUTORES: Almeida, Jose Bacelar ; Alves, Gustavo Xavier Delerue Marinho; Barbosa, Manuel ; Barthe, Gilles; Esquivel, Luis; Hwang, Vincent; Oliveira, Tiago; Pacheco, Hugo ; Schwabe, Peter; Strub, Pierre Yves;
PUBLICAÇÃO: 2025, FONTE: 2025 Symposium on Security and Privacy-SP in 2025 IEEE SYMPOSIUM ON SECURITY AND PRIVACY, SP, PÁGINAS: 3820-3838
INDEXADO EM: Scopus WOS DBLP
210
TÍTULO: Fine-Tuning Transformer-Based LLMs in Hierarchical Text Classification
AUTORES: Joana Santos; Nuno Silva ; Carlos Ferreira ; João Gama ;
PUBLICAÇÃO: 2025, FONTE: 28th International Conference on Discovery Science, DS 2025 in Discovery Science - 28th International Conference, DS 2025, Ljubljana, Slovenia, September 23-25, 2025, Proceedings, VOLUME: 16090, PÁGINAS: 427-442
INDEXADO EM: Scopus DBLP CrossRef
211
TÍTULO: First Twenty Years of the International Symposium on Applied Reconfigurable Computing (ARC): A Selection of Papers
AUTORES: João M P Cardoso ; Walid A Najjar;
PUBLICAÇÃO: 2025, FONTE: 21st International Symposium on Applied Reconfigurable Computing, ARC 2025 in Applied Reconfigurable Computing. Architectures, Tools, and Applications - 21st International Symposium, ARC 2025, Seville, Spain, April 9-11, 2025, Proceedings, VOLUME: 15594, PÁGINAS: 3-12
INDEXADO EM: Scopus DBLP CrossRef
212
TÍTULO: Fish swarm parameter self-tuning for data streams  Full Text
AUTORES: Bruno Veloso ; Hugo Amorim Neto; Fernando Buarque; João Gama ;
PUBLICAÇÃO: 2025, FONTE: Data Mining and Knowledge Discovery, VOLUME: 40, NÚMERO: 1
INDEXADO EM: CrossRef Unpaywall
213
TÍTULO: Formal Approaches for Interactive Systems
AUTORES: José Creissac Campos ; Michael D Harrison;
PUBLICAÇÃO: 2025, FONTE: Handbook of Human Computer Interaction, PÁGINAS: 1-28
INDEXADO EM: CrossRef
214
TÍTULO: Formally Verified Correctness Bounds for Lattice-Based Cryptography
AUTORES: Manuel Barbosa ; Matthias J Kannwischer; Thing Han Lim; Peter Schwabe; Pierre Yves Strub;
PUBLICAÇÃO: 2025, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2025, PÁGINAS: 1562
INDEXADO EM: DBLP
215
TÍTULO: FRaN-X: FRaming and Narratives-eXplorer
AUTORES: Artur Muratov; Hana Fatima Shaikh; Vanshikaa Jani; Tarek Mahmoud; Zhuohan Xie; Daniil Orel; Aaryamonvikram Singh; Yuxia Wang; Aadi Joshi; Hasan Iqbal; Ming Shan Hee; Dhruv Sahnan; Nikolaos Nikolaidis; Purificação Silvano; Dimitar Dimitrov; Roman Yangarber; Ricardo Campos ; Alípio Jorge ; Nuno Guimarães ; Elisa Sartori; Nicolas Stefanovitch; Giovanni Da San Martino; Jakub Piskorski; Preslav Nakov; ...Mais
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2507.06974
INDEXADO EM: DBLP
216
TÍTULO: From "Worse is Better" to Better: Lessons from a Mixed Methods Study of Ansible's Challenges
AUTORES: Carolina Carreira; Nuno Saavedra; Alexandra Mendes ; João F Ferreira;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2504.08678
INDEXADO EM: DBLP
217
TÍTULO: From data to action: How AI and learning analytics are shaping the future of distance education. How AI and Learning Analytics Are Shaping the Future of Distance Education
AUTORES: João Tiago Dias; Arnaldo Santos ; Henrique São Mamede ;
PUBLICAÇÃO: 2025, FONTE: AI and Learning Analytics in Distance Learning, PÁGINAS: 229-252
INDEXADO EM: Scopus CrossRef Unpaywall
218
TÍTULO: Frontiers of the Past in the Digital World: Multidisciplinary Collaboration in the 3D Reconstitution of Medieval Border Towns
AUTORES: Lacet, Demetrius; Cuesta Gomez, Fabian; Prata, Sara; Trindade, Luisa; da Silva, Gonralo Melo; Costa, Adelaide; Van Zeller, Maria ; Morgado, Leonel ; Coelho, Antonio ; Alves, Tiago; Filipe, Joao;
PUBLICAÇÃO: 2025, FONTE: 2025 Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops-VRW in 2025 IEEE CONFERENCE ON VIRTUAL REALITY AND 3D USER INTERFACES ABSTRACTS AND WORKSHOPS, VRW, PÁGINAS: 421-429
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
219
TÍTULO: Function-Oriented Programming Attacks on ARM Cortex-M Processors
AUTORES: Cirne, Andre ; Sousa, Patricia R.; Antunes, Luis ; Resende, Joao S. ;
PUBLICAÇÃO: 2025, FONTE: IEEE ACCESS, VOLUME: 13, PÁGINAS: 161844-161853
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
220
TÍTULO: GAMFLEW: serious game to teach white-box testing
AUTORES: Silva, Mateus; Paiva, Ana C. R. ; Mendes, Alexandra ;
PUBLICAÇÃO: 2025, FONTE: SOFTWARE QUALITY JOURNAL, VOLUME: 33, NÚMERO: 1, PÁGINAS: 5
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall

Results per Page: 20.
Página 11 de 461. Total de resultados: 9210.