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: 20001
1706 Team MembersFilters -> Year: 2025
341
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
CrossRef342
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: IACR Cryptol. ePrint Arch., VOLUME: 2025, PAGES: 1562
AUTHORS: Manuel Barbosa ; Matthias J Kannwischer; Thing Han Lim; Peter Schwabe; Pierre Yves Strub;
PUBLISHED: 2025, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2025, PAGES: 1562
INDEXED IN: 
DBLP
DBLP343
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
DBLP344
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
345
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
346
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
DBLP347
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
348
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
349
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
CrossRef350
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
351
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
352
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
353
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
354
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
355
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
356
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
AUTHORS: Silva, Mateus; Paiva, Ana C. R. ; Mendes, Alexandra ;
PUBLISHED: 2025, SOURCE: SOFTWARE QUALITY JOURNAL, VOLUME: 33, ISSUE: 1, PAGES: 5
357
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
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
Scopus CrossRef358
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
AUTHORS: Vaz, Bruno; Figueira, Alvaro ;
PUBLISHED: 2025, SOURCE: ACM TRANSACTIONS ON MULTIMEDIA COMPUTING COMMUNICATIONS AND APPLICATIONS, VOLUME: 21, ISSUE: 1
359
TITLE: GANs vs. Diffusion Models for Virtual Staining with the HER2match Dataset
AUTHORS: Pascal Klöckner; José Teixeira; Diana Montezuma; Jaime S Cardoso ; Hugo M Horlings; Sara Pires de Oliveira;
PUBLISHED: 2025, SOURCE: Deep Generative Models - 5th MICCAI Workshop, DGM4MICCAI 2025, Held in Conjunction with MICCAI 2025, Daejeon, South Korea, September 23, 2025, Proceedings, VOLUME: 16128, PAGES: 120-130
AUTHORS: Pascal Klöckner; José Teixeira; Diana Montezuma; Jaime S Cardoso ; Hugo M Horlings; Sara Pires de Oliveira;
PUBLISHED: 2025, SOURCE: Deep Generative Models - 5th MICCAI Workshop, DGM4MICCAI 2025, Held in Conjunction with MICCAI 2025, Daejeon, South Korea, September 23, 2025, Proceedings, VOLUME: 16128, PAGES: 120-130
INDEXED IN: DBLP CrossRef
DBLP CrossRef360
TITLE: Gen-JEMA: enhanced explainability using generative joint embedding multimodal alignment for monitoring directed energy deposition Full Text
AUTHORS: José Ferreira; Roya Darabi; Armando Sousa ; Frank Brueckner; Luís Paulo Reis; Ana Reis ; João Manuel Tavares; João Sousa;
PUBLISHED: 2025, SOURCE: Journal of Intelligent Manufacturing
AUTHORS: José Ferreira; Roya Darabi; Armando Sousa ; Frank Brueckner; Luís Paulo Reis; Ana Reis ; João Manuel Tavares; João Sousa;
PUBLISHED: 2025, SOURCE: Journal of Intelligent Manufacturing
INDEXED IN: Scopus CrossRef
Scopus CrossRef