Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática

AuthID: I-000-0K9


Publications Count: 4654

61 Team Members
Filters -> Year: 2026
601
TITLE: Exploring Automatic Specification Repair in Dafny Programs
AUTHORS: Abreu, Alexandre ; Macedo, Nuno ; Mendes, Alexandra ;
PUBLISHED: 2023, SOURCE: 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS, ASEW, PAGES: 105-112
602
603
TITLE: Exploring Pseudo-Haptics for Object Compliance in Virtual Reality
AUTHORS: Carlos Lousada; Daniel Mendes ; Rui Rodrigues ;
PUBLISHED: 2023, SOURCE: ICGI, PAGES: 1-8
604
TITLE: Exploring the Intersection of Storytelling, Localisation, and Immersion in Video Games - A Case Study of the Witcher III: Wild Hunt
AUTHORS: Vanessa Cesário; Mariana Ribeiro; António Coelho ;
PUBLISHED: 2023, SOURCE: HCI International 2023 Posters - 25th International Conference on Human-Computer Interaction, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I, VOLUME: 1832, PAGES: 546-552
605
TITLE: Exploring the Intersection of Storytelling, Localisation, and Immersion in Video Games – A Case Study of the Witcher III: Wild Hunt
AUTHORS: Vanessa Cesário; Mariana Ribeiro; António Coelho ;
PUBLISHED: 2023, SOURCE: 25th International Conference on Human-Computer Interaction , HCII 2023 in Communications in Computer and Information Science, VOLUME: 1832 CCIS, PAGES: 546-552
606
TITLE: Exploring the Reduction of Configuration Spaces of Workflows
AUTHORS: Fernando Freitas; Pavel Brazdil ; Carlos Soares ;
PUBLISHED: 2023, SOURCE: 26th International Conference on Discovery Science, DS 2023 in Discovery Science - 26th International Conference, DS 2023, Porto, Portugal, October 9-11, 2023, Proceedings, VOLUME: 14276, PAGES: 33-47
607
TITLE: FC Portugal 3D Simulation Team: Team Description Paper 2020
AUTHORS: Nuno Lau; Luís Paulo Reis ; David Simões; Mohammadreza Kasaei; Miguel Abreu; Tiago Silva; Francisco Resende;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2303.15931
608
TITLE: FC Portugal: RoboCup 2022 3D Simulation League and Technical Challenge Champions
AUTHORS: Abreu, Miguel; Kasaei, Mohammadreza; Reis, Luis Paulo ; Lau, Nuno ;
PUBLISHED: 2023, SOURCE: RoboCup Symposium in ROBOCUP 2022, VOLUME: 13561, PAGES: 313-324
609
TITLE: Federated Learning for Computer-Aided Diagnosis of Glaucoma Using Retinal Fundus Images
AUTHORS: Baptista, Telmo; Soares, Carlos ; Oliveira, Tiago; Soares, Filipe;
PUBLISHED: 2023, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 13, ISSUE: 21, PAGES: 11620
610
TITLE: First insight into oral microbiome diversity in Papua New Guineans reveals a specific regional signature
AUTHORS: Pedro, Nicole; Brucato, Nicolas; Cavadas, Bruno; Lisant, Valentine; Camacho, Rui ; Kinipi, Christopher; Leavesley, Matthew; Pereira, Luisa; Ricaut, Francois Xavier;
PUBLISHED: 2023, SOURCE: MOLECULAR ECOLOGY, VOLUME: 32, ISSUE: 10, PAGES: 2551-2564
611
TITLE: Foundational DevOps Patterns
AUTHORS: Paulo Marques; Filipe F Correia ;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2302.01053
612
TITLE: Framework for the Analysis and Configuration of Real-Time OpenMP Applications
AUTHORS: Carvalho, Tiago ; Pinho, Luis Miguel ; Samadi, Mohammad; Royuela, Sara; Munera, Adrian; Quinones, Eduardo;
PUBLISHED: 2023, SOURCE: IEEE 21st International Conference on Industrial Informatics (INDIN) in 2023 IEEE 21ST INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, INDIN, VOLUME: 2023-July
613
TITLE: From 10 Blue Links Pages to Feature-Full Search Engine Results Pages - Analysis of the Temporal Evolution of SERP Features
AUTHORS: Bruno Oliveira; Carla Teixeira Lopes ;
PUBLISHED: 2023, SOURCE: Proceedings of the 2023 Conference on Human Information Interaction and Retrieval, CHIIR 2023, Austin, TX, USA, March 19-23, 2023, PAGES: 338-345
614
TITLE: From ISAD(G) to Linked Data Archival Descriptions
AUTHORS: Koch, Ines ; Pires, Catarina; Lopes, Carla Teixeira ; Ribeiro, Cristina ; Nunes, Sergio ;
PUBLISHED: 2023, SOURCE: 27th International Conference on Theory and Practice of Digital Libraries (TPDL) in LINKING THEORY AND PRACTICE OF DIGITAL LIBRARIES, TPDL 2023, VOLUME: 14241, PAGES: 303-309
615
TITLE: GASTeN: Generative Adversarial Stress Test Networks
AUTHORS: Cunha, Luis; Soares, Carlos ; André Restivo ; Teixeira, Luis F. ;
PUBLISHED: 2023, SOURCE: 21st International Symposium on Intelligent Data Analysis (IDA) in ADVANCES IN INTELLIGENT DATA ANALYSIS XXI, IDA 2023, VOLUME: 13876, PAGES: 91-102
616
617
TITLE: GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models for Code Repair
AUTHORS: Ribeiro, Francisco; Castro de Macedo, Jose Nuno ; Tsushima, Kanae; Abreu, Rui ; Saraiva, Joao ;
PUBLISHED: 2023, SOURCE: 16th ACM SIGPLAN International Conference on Software Language Engineering (SLE) as part of SPLASH Conference in PROCEEDINGS OF THE 16TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, SLE 2023, PAGES: 111-124
618
TITLE: Hand Gestures Recognition for an Intelligent Wheelchair Steering Command
AUTHORS: Almeida, Patricia; Faria, Brigida Monica ; Reis, Luis Paulo ;
PUBLISHED: 2023, SOURCE: 5th Iberian Robotics Conference (ROBOT) in ROBOT2022: FIFTH IBERIAN ROBOTICS CONFERENCE: ADVANCES IN ROBOTICS, VOL 2, VOLUME: 590, PAGES: 41-52
619
TITLE: Images as Metadata: A New Perspective for Describing Research Data
AUTHORS: Joana Rodrigues ; Carla Teixeira Lopes ;
PUBLISHED: 2023, SOURCE: Journal of Library Metadata, PAGES: 1-15
620
TITLE: Impact in Software Engineering Activities After One Year of COVID-19 Restrictions for Startups and Established Companies
AUTHORS: Hosna Hooshyar; Eduardo Guerra; Jorge Melegati ; Dron Khanna; Abdullah Aldaeej; Gerardo Matturro; Luciana A M Zaina; Des Greer; Usman Rafiq; Rafael Chanin; Xiaofeng Wang; Juan Garbajosa; Pekka Abrahamsson; Foutse Khomh; Anh Nguyen Duc;
PUBLISHED: 2023, SOURCE: IEEE Access, VOLUME: 11, PAGES: 55178-55203

Results per Page: 20.
Page 31 of 233. Total results: 4654.