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

AuthID: I-000-0K9


Publications Count: 4668

62 Team Members
Filters -> Year: 2026
661
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, VOLUME: 6605, PAGES: 105-112
662
663
TITLE: Exploring Pseudo-Haptics for Object Compliance in Virtual Reality
AUTHORS: Carlos Lousada; Daniel Mendes ; Rui Rodrigues ;
PUBLISHED: 2023, SOURCE: ICGI, PAGES: 1-8
664
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
665
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
666
TITLE: Exploring the Reduction of Configuration Spaces of Workflows
AUTHORS: Fernando Freitas; Pavel Brazdil ; Carlos Soares ;
PUBLISHED: 2023, SOURCE: DS, VOLUME: 14276 LNAI, PAGES: 33-47
667
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
668
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
669
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
670
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
671
TITLE: Foundational DevOps Patterns
AUTHORS: Paulo Marques; Filipe F Correia ;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2302.01053
672
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
673
674
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
675
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
676
677
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
678
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
679
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
680
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 34 of 234. Total results: 4668.