Inesc Technology and Science (INESC TEC)
Inesc Tecnologia e Ciência
AuthID: I-000-1SJ
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
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!
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!
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!
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: 25091
1717 Team MembersFilters -> Year: 2026
801
TITLE: Formal Approaches for Interactive Systems
AUTHORS: José Creissac Campos ; Michael D Harrison;
PUBLISHED: 2025, SOURCE: Handbook of Human Computer Interaction, PAGES: 1-28
AUTHORS: José Creissac Campos ; Michael D Harrison;
PUBLISHED: 2025, SOURCE: Handbook of Human Computer Interaction, PAGES: 1-28
INDEXED IN: 
CrossRef
CrossRef802
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
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
803
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
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
CrossRef804
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; ...More
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2507.06974
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; ...More
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2507.06974
INDEXED IN: 
DBLP
DBLP805
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
AUTHORS: Elhawash, Abdelrahman M. ; Araujo, Rui Esteves ; Lopes, Joao A. Pecas ;
PUBLISHED: 2025, SOURCE: INTERNATIONAL JOURNAL OF HYDROGEN ENERGY, VOLUME: 175, PAGES: 151203
806
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
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
807
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
AUTHORS: Carolina Carreira; Nuno Saavedra; Alexandra Mendes ; João F Ferreira;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2504.08678
INDEXED IN: DBLP
DBLP808
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
AUTHORS: Antonio J Oliveira; Bruno M Ferreira; Nuno A Cruz ;
PUBLISHED: 2025, SOURCE: IEEE International Conference on Intelligent Robots and Systems, PAGES: 8984-8989
809
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
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
810
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
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
CrossRef811
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
AUTHORS: João Tiago Dias; Arnaldo Santos ; Henrique São Mamede ;
PUBLISHED: 2025, SOURCE: AI and Learning Analytics in Distance Learning, PAGES: 229-252
812
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
AUTHORS: Alfredo Martins ; José Almeida; Carlos Almeida; Eduardo Silva;
PUBLISHED: 2025
INDEXED IN: CrossRef
CrossRef813
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
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
CrossRef Unpaywall814
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
AUTHORS: Amorim Lopes, Mario ; Cruz Gomes, Sofia; Doldi, Elisa; Almada Lobo, Bernardo ;
PUBLISHED: 2025, SOURCE: HEALTH POLICY, VOLUME: 155, PAGES: 105308
815
TITLE: From Roadmap to Ecosystem: A Comprehensive Framework for Implementing Business Intelligence in Higher Education Institutions
AUTHORS: Sequeira, Romeu; Reis, Arsenio ; Branco, Frederico; Alves, Paulo;
PUBLISHED: 2025, SOURCE: SYSTEMS, VOLUME: 13, ISSUE: 11, PAGES: 1032
AUTHORS: Sequeira, Romeu; Reis, Arsenio ; Branco, Frederico; Alves, Paulo;
PUBLISHED: 2025, SOURCE: SYSTEMS, VOLUME: 13, ISSUE: 11, PAGES: 1032
816
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
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
CrossRef817
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
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
818
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
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
819
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
AUTHORS: Cirne, Andre ; Sousa, Patricia R.; Antunes, Luis ; Resende, Joao S. ;
PUBLISHED: 2025, SOURCE: IEEE ACCESS, VOLUME: 13, PAGES: 161844-161853
820
TITLE: Fusion Strategies for Breast Cancer Characterization Using Traditional and Deep Learning Models Full Text
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
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
