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

AuthID: I-000-0K9


Publications Count: 4668

62 Team Members
Filters -> Year: 2026
661
TÍTULO: Exploring Automatic Specification Repair in Dafny Programs
AUTORES: Abreu, Alexandre ; Macedo, Nuno ; Mendes, Alexandra ;
PUBLICAÇÃO: 2023, FONTE: 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, PÁGINAS: 105-112
662
663
TÍTULO: Exploring Pseudo-Haptics for Object Compliance in Virtual Reality
AUTORES: Carlos Lousada; Daniel Mendes ; Rui Rodrigues ;
PUBLICAÇÃO: 2023, FONTE: ICGI, PÁGINAS: 1-8
664
TÍTULO: Exploring the Intersection of Storytelling, Localisation, and Immersion in Video Games - A Case Study of the Witcher III: Wild Hunt
AUTORES: Vanessa Cesário; Mariana Ribeiro; António Coelho ;
PUBLICAÇÃO: 2023, FONTE: HCI International 2023 Posters - 25th International Conference on Human-Computer Interaction, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I, VOLUME: 1832, PÁGINAS: 546-552
665
TÍTULO: Exploring the Intersection of Storytelling, Localisation, and Immersion in Video Games – A Case Study of the Witcher III: Wild Hunt
AUTORES: Vanessa Cesário; Mariana Ribeiro; António Coelho ;
PUBLICAÇÃO: 2023, FONTE: 25th International Conference on Human-Computer Interaction , HCII 2023 in Communications in Computer and Information Science, VOLUME: 1832 CCIS, PÁGINAS: 546-552
666
TÍTULO: Exploring the Reduction of Configuration Spaces of Workflows
AUTORES: Fernando Freitas; Pavel Brazdil ; Carlos Soares ;
PUBLICAÇÃO: 2023, FONTE: DS, VOLUME: 14276 LNAI, PÁGINAS: 33-47
667
TÍTULO: FC Portugal 3D Simulation Team: Team Description Paper 2020
AUTORES: Nuno Lau; Luís Paulo Reis ; David Simões; Mohammadreza Kasaei; Miguel Abreu; Tiago Silva; Francisco Resende;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2303.15931
668
TÍTULO: FC Portugal: RoboCup 2022 3D Simulation League and Technical Challenge Champions
AUTORES: Abreu, Miguel; Kasaei, Mohammadreza; Reis, Luis Paulo ; Lau, Nuno ;
PUBLICAÇÃO: 2023, FONTE: RoboCup Symposium in ROBOCUP 2022, VOLUME: 13561, PÁGINAS: 313-324
669
TÍTULO: Federated Learning for Computer-Aided Diagnosis of Glaucoma Using Retinal Fundus Images
AUTORES: Baptista, Telmo; Soares, Carlos ; Oliveira, Tiago; Soares, Filipe;
PUBLICAÇÃO: 2023, FONTE: APPLIED SCIENCES-BASEL, VOLUME: 13, NÚMERO: 21, PÁGINAS: 11620
670
TÍTULO: First insight into oral microbiome diversity in Papua New Guineans reveals a specific regional signature
AUTORES: Pedro, Nicole; Brucato, Nicolas; Cavadas, Bruno; Lisant, Valentine; Camacho, Rui ; Kinipi, Christopher; Leavesley, Matthew; Pereira, Luisa; Ricaut, Francois Xavier;
PUBLICAÇÃO: 2023, FONTE: MOLECULAR ECOLOGY, VOLUME: 32, NÚMERO: 10, PÁGINAS: 2551-2564
671
TÍTULO: Foundational DevOps Patterns
AUTORES: Paulo Marques; Filipe F Correia ;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2302.01053
672
TÍTULO: Framework for the Analysis and Configuration of Real-Time OpenMP Applications
AUTORES: Carvalho, Tiago ; Pinho, Luis Miguel ; Samadi, Mohammad; Royuela, Sara; Munera, Adrian; Quinones, Eduardo;
PUBLICAÇÃO: 2023, FONTE: IEEE 21st International Conference on Industrial Informatics (INDIN) in 2023 IEEE 21ST INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, INDIN, VOLUME: 2023-July
673
674
TÍTULO: From ISAD(G) to Linked Data Archival Descriptions
AUTORES: Koch, Ines ; Pires, Catarina; Lopes, Carla Teixeira ; Ribeiro, Cristina ; Nunes, Sergio ;
PUBLICAÇÃO: 2023, FONTE: 27th International Conference on Theory and Practice of Digital Libraries (TPDL) in LINKING THEORY AND PRACTICE OF DIGITAL LIBRARIES, TPDL 2023, VOLUME: 14241, PÁGINAS: 303-309
675
TÍTULO: GASTeN: Generative Adversarial Stress Test Networks
AUTORES: Cunha, Luis; Soares, Carlos ; André Restivo ; Teixeira, Luis F. ;
PUBLICAÇÃO: 2023, FONTE: 21st International Symposium on Intelligent Data Analysis (IDA) in ADVANCES IN INTELLIGENT DATA ANALYSIS XXI, IDA 2023, VOLUME: 13876, PÁGINAS: 91-102
676
677
TÍTULO: GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models for Code Repair
AUTORES: Ribeiro, Francisco; Castro de Macedo, Jose Nuno ; Tsushima, Kanae; Abreu, Rui ; Saraiva, Joao ;
PUBLICAÇÃO: 2023, FONTE: 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, PÁGINAS: 111-124
678
TÍTULO: Hand Gestures Recognition for an Intelligent Wheelchair Steering Command
AUTORES: Almeida, Patricia; Faria, Brigida Monica ; Reis, Luis Paulo ;
PUBLICAÇÃO: 2023, FONTE: 5th Iberian Robotics Conference (ROBOT) in ROBOT2022: FIFTH IBERIAN ROBOTICS CONFERENCE: ADVANCES IN ROBOTICS, VOL 2, VOLUME: 590, PÁGINAS: 41-52
679
TÍTULO: Images as Metadata: A New Perspective for Describing Research Data
AUTORES: Joana Rodrigues ; Carla Teixeira Lopes ;
PUBLICAÇÃO: 2023, FONTE: Journal of Library Metadata, PÁGINAS: 1-15
680
TÍTULO: Impact in Software Engineering Activities After One Year of COVID-19 Restrictions for Startups and Established Companies
AUTORES: 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;
PUBLICAÇÃO: 2023, FONTE: IEEE Access, VOLUME: 11, PÁGINAS: 55178-55203

Results per Page: 20.
Página 34 de 234. Total de resultados: 4668.