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

AuthID: I-000-0K9


Publications Count: 4619

61 Team Members
Filters -> Year: 2026
381
TÍTULO: Foundations for a Rust-Like Borrow Checker for C
AUTORES: Silva, Tiago; Bispo, Joao ; Carvalho, Tiago ;
PUBLICAÇÃO: 2024, FONTE: 25th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES) in PROCEEDINGS OF THE 25TH ACM SIGPLAN/SIGBED INTERNATIONAL CONFERENCE ON LANGUAGES, COMPILERS, AND TOOLS FOR EMBEDDED SYSTEMS, LCTES 2024, PÁGINAS: 155-165
382
TÍTULO: Fourier (Common-Tone) Phase Spaces are in Tune with Variational Autoencoders' Latent Space
AUTORES: Carvalho, Nadia ; Bernardes, Gilberto ;
PUBLICAÇÃO: 2024, FONTE: 9th International Conference on Mathematics and Computation in Music (MCM) in MATHEMATICS AND COMPUTATION IN MUSIC, MCM 2024, VOLUME: 14639, PÁGINAS: 305-316
383
TÍTULO: Fourier Qualia Wavescapes: Hierarchical Analyses of Set Class Quality and Ambiguity
AUTORES: Samuel Pereira ; Affatato, Giovanni; Bernardes, Gilberto ; Moss, Fabian C.;
PUBLICAÇÃO: 2024, FONTE: 9th International Conference on Mathematics and Computation in Music (MCM) in MATHEMATICS AND COMPUTATION IN MUSIC, MCM 2024, VOLUME: 14639, PÁGINAS: 317-329
384
TÍTULO: FRAFOL: FRAmework FOr Learning mutation testing
AUTORES: Tavares, Pedro; Paiva, Ana ; Amalfitano, Domenico; Just, Rene;
PUBLICAÇÃO: 2024, FONTE: 33rd ACM SIGSOFT International Conference on Software Testing and Analysis (ISSTA) in PROCEEDINGS OF THE 33RD ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, ISSTA 2024, PÁGINAS: 1846-1850
385
TÍTULO: Gate Branch Coverage: A Metric for Quantum Software Testing
AUTORES: Fortunato, Daniel; Campos, Jose ; Abreu, Rui ;
PUBLICAÇÃO: 2024, FONTE: 1st ACM International Workshop on Quantum Software Engineering:The Next Evolution (QSE-NE) in PROCEEDINGS OF THE 1ST ACM INTERNATIONAL WORKSHOP ON QUANTUM SOFTWARE ENGINEERING:THE NEXT EVOLUTION, QSE-NE 2024, PÁGINAS: 15-18
386
TÍTULO: Generative AI for Test Driven Development: Preliminary Results
AUTORES: Moritz Mock; Jorge Melegati ; Barbara Russo;
PUBLICAÇÃO: 2024, FONTE: XP Workshops, PÁGINAS: 24-32
387
TÍTULO: GLITCH: Polyglot Code Smell Detection in Infrastructure as Code
AUTORES: Saavedra, Nuno; Ferreira, Joao F.; Mendes, Alexandra ;
PUBLICAÇÃO: 2024, FONTE: ERCIM NEWS, VOLUME: 2024, NÚMERO: 139
388
TÍTULO: Guidelines for reproducible analysis of adaptive immune receptor repertoire sequencing data
AUTORES: Peres, Ayelet; Klein, Vered; Frankel, Boaz; Lees, William; Polak, Pazit; Meehan, Mark; Rocha, Artur ; Correia Lopes, Joao ; Yaari, Gur;
PUBLICAÇÃO: 2024, FONTE: BRIEFINGS IN BIOINFORMATICS, VOLUME: 25, NÚMERO: 3
389
390
TÍTULO: HiClass4MD: a Hierarchical Classifier for Transportation Mode Detection
AUTORES: Muhammad, Akilu Rilwan; Aguiar, Ana ; Mendes Moreira, Joao ;
PUBLICAÇÃO: 2024, FONTE: 27th Intelligent Transportation Systems Conference in 2024 IEEE 27TH INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS, ITSC, PÁGINAS: 1974-1979
391
TÍTULO: Hierarchical Reinforcement Learning and Evolution Strategies for Cooperative Robotic Soccer
AUTORES: Santos, Barbara; Cardoso, Antonio; Ledo, Goncalo ; Reis, Luis Paulo ; Sousa, Armando ;
PUBLICAÇÃO: 2024, FONTE: 7th Iberian Robotics Conference in 2024 7TH IBERIAN ROBOTICS CONFERENCE, ROBOT 2024, PÁGINAS: 1-6
392
TÍTULO: Historical Portuguese corpora: a survey
AUTORES: Osorio, Tomas Freitas; Cardoso, Henrique Lopes ;
PUBLICAÇÃO: 2024, FONTE: LANGUAGE RESOURCES AND EVALUATION
393
TÍTULO: How are Contracts Used in Android Mobile Applications?
AUTORES: Ferreira, David R.; Mendes, Alexandra ; Ferreira, Joao F. ;
PUBLICAÇÃO: 2024, FONTE: 44th International Conference on Software Engineering: Companion Proceedings in 2024 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS, ICSE-COMPANION 2024, PÁGINAS: 400-401
394
TÍTULO: HOW DEEP TECH CAN PROMOTE INNOVATION AND ENTREPRENEURSHIP IN HIGHER EDUCATION INSTITUTIONS
AUTORES: Gil Gonçalves ; Joana Miranda;
PUBLICAÇÃO: 2024, FONTE: INTED Proceedings - INTED2024 Proceedings
395
TÍTULO: HyPredictor: Hybrid Failure Prognosis Approach Combining Data-Driven and Knowledge-Based Methods
AUTORES: Miguel Almeida; Eliseu Moura Pereira ; Gil Gonçalves ;
PUBLICAÇÃO: 2024, FONTE: ICINCO (1), VOLUME: 1, PÁGINAS: 245-252
396
TÍTULO: Images to Describe Research Data: A Case Study on the Use of Imagery Metadata
AUTORES: Rodrigues, Joana ; Lopes, Carla Teixeira ;
PUBLICAÇÃO: 2024, FONTE: 17th Research Conference on Metadata and Semantic Research (MTSR) in METADATA AND SEMANTIC RESEARCH, MTSR 2023, VOLUME: 2048, PÁGINAS: 103-116
397
TÍTULO: Imitation learning for aerobatic maneuvering in fixed-wing aircraft
AUTORES: Freitas, Henrique; Camacho, Rui ; Silva, Daniel Castro;
PUBLICAÇÃO: 2024, FONTE: JOURNAL OF COMPUTATIONAL SCIENCE, VOLUME: 81, PÁGINAS: 102343
398
TÍTULO: Incidental graphical perception: How marks and display time influence accuracy
AUTORES: Moreira, Joao; Mendes, Daniel ; Goncalves, Daniel;
PUBLICAÇÃO: 2024, FONTE: INFORMATION VISUALIZATION, VOLUME: 23, NÚMERO: 1, PÁGINAS: 3-20
399
TÍTULO: Incidental Versus Ambient Visualizations: Comparing Cognitive and Mechanical Tasks
AUTORES: Moreira, Joao; Pinto, Diogo; Mendes, Daniel ; Goncalves, Daniel;
PUBLICAÇÃO: 2024, FONTE: 6th International Conference on Graphics and Interaction in 2024 INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION, ICGI, PÁGINAS: 61-68
400
TÍTULO: Incidental visualizations: How complexity factors influence task performance
AUTORES: Moreira, Joao; Mendes, Daniel ; Goncalves, Daniel ;
PUBLICAÇÃO: 2024, FONTE: VISUAL INFORMATICS, VOLUME: 8, NÚMERO: 4, PÁGINAS: 85-96

Results per Page: 20.
Página 20 de 231. Total de resultados: 4619.