Inesc Technology and Science (INESC TEC)
Inesc Tecnologia e Ciência

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

1716 Team Members
Filters -> Year: 2026
761
TITLE: Formally Verified Correctness Bounds for Lattice-Based Cryptography
AUTHORS: Barbosa, Manuel ; Kannwischer, Matthias J.; Lim, Thing han; Schwabe, Peter; Strub, Pierre Yves;
PUBLISHED: 2025, SOURCE: 32nd Conference on Computer and Communications Security-CCS in PROCEEDINGS OF THE 2025 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, CCS 2025, PAGES: 156-169
INDEXED IN: Scopus WOS DBLP
762
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
763
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
764
TITLE: Frequency support from PEM hydrogen electrolysers using Power-Hardware-in-the-Loop validation  Full Text
AUTHORS: Elhawash, Abdelrahman M. ; Araujo, Rui Esteves ; Lopes, Joao A. Pecas ;
PUBLISHED: 2025, SOURCE: INTERNATIONAL JOURNAL OF HYDROGEN ENERGY, VOLUME: 175, PAGES: 151203
INDEXED IN: Scopus WOS CrossRef
765
TITLE: Friday: The Versatile Mobile Manipulator Robot
AUTHORS: de Souza, Joao P. C. ; Cordeiro, Artur J. ; Dias, Pedro A. ; Rocha, Luis F. ;
PUBLISHED: 2025, SOURCE: 16th European Robotics Forum-ERF-Annual in EUROPEAN ROBOTICS FORUM 2025, VOLUME: 36, PAGES: 61-67
INDEXED IN: Scopus WOS CrossRef
766
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
767
TITLE: From 2D Underwater Imaging Sonar Data to 3D Plane Extraction
AUTHORS: Antonio J Oliveira; Bruno M Ferreira; Nuno A Cruz ;
PUBLISHED: 2025, SOURCE: IEEE International Conference on Intelligent Robots and Systems, PAGES: 8984-8989
INDEXED IN: Scopus CrossRef Unpaywall
768
TITLE: From Competition to Classroom: A Hands-on Approach to Robotics Learning
AUTHORS: Lopes, Maria S. ; Ribeiro, Jorge Diogo ; Moreira, Antonio Paulo ; Rocha, Claudia D. ; Martins, Joao G. ; Sarmento, Jose Maria ; Carvalho, Jose Pedro; Costa, Paulo G. ; Sousa, Ricardo B. ;
PUBLISHED: 2025, SOURCE: 2025 International Conference on Autonomous Robot Systems and Competitions-ICARSC-Annual in 2025 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS, ICARSC, ISSUE: 2025, PAGES: 170-176
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
769
TITLE: From CT Scans to 3D Printed Models: A Pipeline for Mandible Surgical Planning
AUTHORS: Ana Saraiva; Margarida Gouveia ; Catarina Lopes ; Jorge Marinho; Tania Pereira ; Joaquim Mendes;
PUBLISHED: 2025, SOURCE: 2025 IEEE International Conference on Bioinformatics and Biomedicine (BIBM), PAGES: 7083-7090
INDEXED IN: CrossRef
770
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
771
TITLE: From fixed bottom nodes to mobile long term seabed robotic systems: the future of deep ocean observation
AUTHORS: Alfredo Martins ; José Almeida; Carlos Almeida; Eduardo Silva;
PUBLISHED: 2025
INDEXED IN: CrossRef
772
TITLE: From Pixels to Pathways: AI-Based Approaches for Multimodal Lung Cancer Classification
AUTHORS: Sofia Gonçalves; Joana Vale Sousa; Margarida Gouveia ; Maria Amaro; Hélder P Oliveira ; Tania Pereira ;
PUBLISHED: 2025, SOURCE: 2025 IEEE International Conference on Bioinformatics and Biomedicine (BIBM), PAGES: 5830-5837
INDEXED IN: CrossRef Unpaywall
773
TITLE: From policy to practice: Rolling out the clinical nurse specialist role in Portugal
AUTHORS: Amorim Lopes, Mario ; Cruz Gomes, Sofia; Doldi, Elisa; Almada Lobo, Bernardo ;
PUBLISHED: 2025, SOURCE: HEALTH POLICY, VOLUME: 155, PAGES: 105308
INDEXED IN: Scopus WOS CrossRef
774
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
775
TITLE: From waste to resource: LIBS methodology development for rapid quality assessment of recycled wood  Full Text
AUTHORS: Capela, Diana ; Pessanha, Sofia; Lopes, Tomas; Cavaco, Rafael ; Teixeira, Joana ; Ferreira, Miguel F. S.; Magalhaes, Paulo; Jorge, Pedro A. S. ; Silva, Nuno A. ; Guimaraes, Diana ;
PUBLISHED: 2025, SOURCE: JOURNAL OF HAZARDOUS MATERIALS, VOLUME: 489, PAGES: 137493
INDEXED IN: Scopus WOS CrossRef: 3 Unpaywall
776
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
777
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
778
TITLE: Fusion Strategies for Breast Cancer Characterization Using Traditional and Deep Learning Models
AUTHORS: Pedro Vitor Lima ; Jaime S Cardoso ; Hélder P Oliveira ;
PUBLISHED: 2025, SOURCE: 25th IEEE International Conference on Bioinformatics and Bioengineering, BIBE 2025 in BIBE, PAGES: 516-520
INDEXED IN: Scopus DBLP CrossRef Unpaywall
780
TITLE: FX-MAD: Frequency-domain Explainability and Explainability-driven Unsupervised Detection of Face Morphing Attacks
AUTHORS: Huber, Marco; Neto, Pedro C. ; Sequeira, Ana F. ; Damer, Naser;
PUBLISHED: 2025, SOURCE: 2025 Winter Conference on Applications of Computer Vision Workshops-WACVW in 2025 IEEE/CVF WINTER CONFERENCE ON APPLICATIONS OF COMPUTER VISION WORKSHOPS, WACVW, PAGES: 718-728
INDEXED IN: Scopus WOS DBLP CrossRef: 1

Results per Page: 20.
Page 39 of 1251. Total results: 25004.