CS: Computer Science
CS: Computer Science

Inesc Technology and Science (INESC TEC)

Publications Actions
Publications at Authenticus Institutional Profile

An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports. 

Publications displayed at an Authenticus institutional profile depend on two parameters:

  • Researchers team associated with the institution per year. 
  • Publications source type. 

We define 3 types of publication sources:

  • Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team. 
  • All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team. 
  • Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed. 
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: 10655

535 Team Members
Filters -> Year: 2026
301
TITLE: Formally Verified Correctness Bounds for Lattice-Based Cryptography
AUTHORS: Manuel Barbosa ; Matthias J Kannwischer; Thing Han Lim; Peter Schwabe; Pierre Yves Strub;
PUBLISHED: 2025, SOURCE: 32nd ACM SIGSAC Conference on Computer and Communications Security, CCS 2025 in CCS, PAGES: 156-169
INDEXED IN: Scopus DBLP
302
TITLE: FRAMEWORK PEDAGÓGICO NO PARADIGMA DA EDUCAÇÃO ONLIFE: uma proposta para Auditoria Governamental
AUTHORS: Lindomar Júnior Fonseca Alves; Carlos Alberto Diehl; Eliane Schlemmer ; Danielle Martins Leite Fernandes Lima; Elisangela Santos da Silva Boose;
PUBLISHED: 2025, SOURCE: TICs & EaD em Foco, VOLUME: 11, ISSUE: 1, PAGES: 6-23
INDEXED IN: CrossRef
303
TITLE: FRaN-X: FRaming and Narratives-eXplorer
AUTHORS: 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; ...More
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2507.06974
INDEXED IN: DBLP
304
TITLE: From "Worse is Better" to Better: Lessons from a Mixed Methods Study of Ansible's Challenges
AUTHORS: Carolina Carreira; Nuno Saavedra; Alexandra Mendes ; João F Ferreira;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2504.08678
INDEXED IN: DBLP
305
TITLE: 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
AUTHORS: João Tiago Dias; Arnaldo Santos ; Henrique São Mamede ;
PUBLISHED: 2025, SOURCE: AI and Learning Analytics in Distance Learning, PAGES: 229-252
INDEXED IN: Scopus CrossRef Unpaywall
306
TITLE: FROM THE IMAGE OF THE MOLECULE TO THE MOLECULE OF THE IMAGE: EXPLORING DIANNE IVERGLYNNE'S METHODS WITH A ONLINE PLATFORM FOR THE PRODUCTION OF ECOLOGICAL IMAGES
AUTHORS: Tiago Assis; Tiago Pinho; Luis Trigo ; Hugo Reis; Alexandre Valle;
PUBLISHED: 2025, SOURCE: EDULEARN Proceedings - EDULEARN25 Proceedings, VOLUME: 1, PAGES: 2897-2902
INDEXED IN: CrossRef
307
TITLE: Frontiers of the Past in the Digital World: Multidisciplinary Collaboration in the 3D Reconstitution of Medieval Border Towns
AUTHORS: 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;
PUBLISHED: 2025, SOURCE: 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, PAGES: 421-429
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
308
TITLE: Function-Oriented Programming Attacks on ARM Cortex-M Processors
AUTHORS: Cirne, Andre ; Sousa, Patricia R.; Antunes, Luis ; Resende, Joao S. ;
PUBLISHED: 2025, SOURCE: IEEE ACCESS, VOLUME: 13, PAGES: 161844-161853
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
309
TITLE: GAMFLEW: serious game to teach white-box testing
AUTHORS: Silva, Mateus; Paiva, Ana C. R. ; Mendes, Alexandra ;
PUBLISHED: 2025, SOURCE: SOFTWARE QUALITY JOURNAL, VOLUME: 33, ISSUE: 1, PAGES: 5
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
310
TITLE: Gamification in Digital Marketing for Boosting Tourist Destination Competitiveness: A Case Study
AUTHORS: Jorge Esparteiro Garcia ; Bruno Pereira; Bruno Sousa; Manuel José Fonseca;
PUBLISHED: 2025, SOURCE: International Conference on Marketing and Technologies, ICMarkTech 2024 in Smart Innovation, Systems and Technologies, VOLUME: 439, PAGES: 381-397
INDEXED IN: Scopus CrossRef
311
TITLE: GANs in the Panorama of Synthetic Data Generation Methods. Application and Evaluation: Enhancing Fake News Detection with GAN-Generated Synthetic Data  Full Text
AUTHORS: Vaz, Bruno; Figueira, Alvaro ;
PUBLISHED: 2025, SOURCE: ACM TRANSACTIONS ON MULTIMEDIA COMPUTING COMMUNICATIONS AND APPLICATIONS, VOLUME: 21, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef: 11 Unpaywall
312
TITLE: GASTeNv2: Generative Adversarial Stress Testing Networks with Gaussian Loss
AUTHORS: Teixeira, Catia; Gomes, Ines; Cunha, Luis; Soares, Carlos ; van Rijn, Jan N.;
PUBLISHED: 2025, SOURCE: 23rd EPIA Conference on Artificial Intelligence-EPIA in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2024, PT II, VOLUME: 14968, PAGES: 261-272
INDEXED IN: Scopus WOS DBLP CrossRef: 1
313
TITLE: Gender Participation and Performance in Boccia International-Level Events
AUTHORS: Ferreira, Catia C. ; Gamonales, Jose M.; Munoz Jimenez, Jesus; Espada, Mario C.;
PUBLISHED: 2025, SOURCE: JOURNAL OF FUNCTIONAL MORPHOLOGY AND KINESIOLOGY, VOLUME: 10, ISSUE: 1
INDEXED IN: Scopus WOS
314
TITLE: Generating Large Semi-Synthetic Graphs of Any Size
AUTHORS: Rodrigo Tuna; Carlos Soares ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2507.02166
INDEXED IN: DBLP
315
TITLE: Generative Adversarial Networks for Synthetic Meteorological Data Generation
AUTHORS: Viana, Diogo; Teixeira, Rita; Soares, Tiago ; Baptista, Jose ; Pinto, Tiago ;
PUBLISHED: 2025, SOURCE: 23rd EPIA Conference on Artificial Intelligence-EPIA in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2024, PT II, VOLUME: 14968, PAGES: 197-206
INDEXED IN: Scopus WOS DBLP CrossRef: 1
316
TITLE: Generative AI and the Future of the Digital Commons: Five Open Questions and Knowledge Gaps
AUTHORS: Arman Noroozian; Lorena Aldana; Marta Arisi; Hadi Asghari; Renata Avila; Pietro Giovanni Bizzaro; Ramya Chandrasekhar; Cristian Consonni; Deborah De Angelis; Francesca De Chiara; Maria del Rio Chanona; Mélanie Dulong de Rosnay; Maria Eriksson; Frederic Font; Emilia Gómez; Valérian Guillier; Lisa Gutermuth; David Hartmann; Lucie Aimée Kaffee; Paul Keller; Felix Stalder; João Vinagre ; Denny Vrandecic; Amanda Wasielewski; ...More
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2508.06470
INDEXED IN: DBLP
317
TITLE: Generative Narrative-Driven Game Mechanics for Procedural Driving Simulators
AUTHORS: Nelson Bilber Rodrigues ; António Coelho ; Rosaldo J F Rossetti;
PUBLISHED: 2025, SOURCE: 20th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2025 in Proceedings of the 20th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2025 - Volume 1: GRAPP, HUCAPP and IVAPP, Porto, Portugal, February 26-28, 2025., VOLUME: 1, PAGES: 339-346
INDEXED IN: Scopus DBLP CrossRef Unpaywall
318
TITLE: Geo-Indistinguishability
AUTHORS: Ricardo Mendes; João Vilela ;
PUBLISHED: 2025, SOURCE: Encyclopedia of Cryptography, Security and Privacy, Third Edition, PAGES: 1010-1012
INDEXED IN: Scopus CrossRef Unpaywall
319
TITLE: Greening AI-enabled Systems with Software Engineering: A Research Agenda for Environmentally Sustainable AI Practices
AUTHORS: Luis Cruz; João Paulo Fernandes; Maja H Kirkeby; Silverio Martínez Fernández; June Sallou; Hina Anwar; Enrique Barba Roque; Justus Bogner; Joel Castaño; Fernando Castor; Aadil Chasmawala; Simão Cunha; Daniel Feitosa; Alexandra González; Andreas Jedlitschka; Patricia Lago; Henry Muccini; Ana Oprescu; Pooja Rani; João Saraiva ; Federica Sarro; Raghavendra Selvan; Karthik Vaidhyanathan; Roberto Verdecchia; Ivan P Yamshchikov; ...More
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.01774
INDEXED IN: DBLP
320
TITLE: Guidelines for designing visualization tools for group fairness analysis in binary classification  Full Text
AUTHORS: Cruz, Antonio; Salazar, Teresa; Carvalho, Manuel; Maçãs, Catarina; Machado, Penousal ; Abreu, Pedro Henriques ;
PUBLISHED: 2025, SOURCE: ARTIFICIAL INTELLIGENCE REVIEW, VOLUME: 58, ISSUE: 6, PAGES: 182
INDEXED IN: Scopus WOS DBLP CrossRef

Results per Page: 20.
Page 16 of 533. Total results: 10655.