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: 25004
1716 Team MembersFilters -> 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
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
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
CrossRef763
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
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
AUTHORS: Elhawash, Abdelrahman M. ; Araujo, Rui Esteves ; Lopes, Joao A. Pecas ;
PUBLISHED: 2025, SOURCE: INTERNATIONAL JOURNAL OF HYDROGEN ENERGY, VOLUME: 175, PAGES: 151203
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
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
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
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
AUTHORS: Antonio J Oliveira; Bruno M Ferreira; Nuno A Cruz ;
PUBLISHED: 2025, SOURCE: IEEE International Conference on Intelligent Robots and Systems, PAGES: 8984-8989
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
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
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
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
CrossRef770
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
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
AUTHORS: Alfredo Martins ; José Almeida; Carlos Almeida; Eduardo Silva;
PUBLISHED: 2025
INDEXED IN:
CrossRef
CrossRef772
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
Unpaywall773
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
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
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
CrossRef775
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
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
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
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
AUTHORS: Cirne, Andre ; Sousa, Patricia R.; Antunes, Luis ; Resende, Joao S. ;
PUBLISHED: 2025, SOURCE: IEEE ACCESS, VOLUME: 13, PAGES: 161844-161853
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
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
779
TITLE: Fuzzy Logic Estimation of Coincidence Factors for EV Fleet Charging Infrastructure Planning in Residential Buildings Full Text
AUTHORS: Carvalhosa, Salvador ; Ferreira, Jose Rui ; Araujo, Rui Esteves ;
PUBLISHED: 2025, SOURCE: ENERGIES, VOLUME: 18, ISSUE: 17, PAGES: 4679
AUTHORS: Carvalhosa, Salvador ; Ferreira, Jose Rui ; Araujo, Rui Esteves ;
PUBLISHED: 2025, SOURCE: ENERGIES, VOLUME: 18, ISSUE: 17, PAGES: 4679
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
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