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

535 Team Members
Filters -> Year: 2025
221
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 IACR Cryptol. ePrint Arch., VOLUME: 2025, PAGES: 1562
INDEXED IN: Scopus DBLP
222
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
223
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
224
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
225
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
226
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
227
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
228
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
229
TITLE: GAN-Based realistic phantoms for a multi-domain approach in surgical action detection
AUTHORS: Rodrigues, N. S.; Torres, H.; Morais, P. ; Buschle, L. R.; Lima, E.; Vilaca, J. L.;
PUBLISHED: 2025, SOURCE: 2025 Conference on Medical Imaging in MEDICAL IMAGING 2025: IMAGE-GUIDED PROCEDURES, ROBOTIC INTERVENTIONS, AND MODELING, VOLUME: 13408, PAGES: 29
INDEXED IN: Scopus WOS CrossRef
230
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
231
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
232
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
233
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
234
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
235
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
236
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
237
TITLE: Guidelines for Using Mixed Reality to Teach STEM Subjects
AUTHORS: Bruno Pataca; João Barroso ; Vitor Santos;
PUBLISHED: 2025, SOURCE: Communications in Computer and Information Science - Technology and Innovation in Learning, Teaching and Education, PAGES: 362-372
INDEXED IN: CrossRef
238
TITLE: Haka'a'Museum: Designing for a Sustainable Ocean
AUTHORS: Van Zeller, Maria ; Cesario, Vanessa;
PUBLISHED: 2025, SOURCE: 2025 Designing Interactive Systems Conference-DIS in COMPANION PROCEEDINGS OF THE 2025 ACM DESIGNING INTERACTIVE SYSTEMS CONFERENCE, DIS 2025, PAGES: 39-41
INDEXED IN: Scopus WOS CrossRef
239
TITLE: Harnessing Large Language Models for Clinical Information Extraction: A Systematic Literature Review
AUTHORS: Tiago Rodrigues; Carla Teixeira Lopes ;
PUBLISHED: 2025, SOURCE: ACM Trans. Comput. Heal., VOLUME: 6, ISSUE: 4, PAGES: 47:1-47:35
INDEXED IN: DBLP
240
TITLE: High-resolution portable bluetooth module for ECG and EMG acquisition
AUTHORS: Luiz, Luiz E.; Soares, Salviano Soares, Pinto Soares ; Valente, Antonio ; Barroso, Joao ; Leitao, Paulo; Teixeira, Joao P. ;
PUBLISHED: 2025, SOURCE: COMPUTATIONAL AND STRUCTURAL BIOTECHNOLOGY JOURNAL, VOLUME: 28, PAGES: 156-166
INDEXED IN: Scopus WOS CrossRef

Results per Page: 20.
Page 12 of 460. Total results: 9183.