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

AuthID: I-000-0K9


Publications Count: 4502

56 Team Members
Filters -> Year: 2025
301
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
302
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
303
TÍTULO: Fourier Qualia Wavescapes: Hierarchical Analyses of Set Class Quality and Ambiguity
AUTORES: Pereira, Samuel ; 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
304
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
305
TÍTULO: GamEmotion: A Serious Game for Emotion Regulation in Young Adolescents
AUTORES: Silva, Eliana ; Franca, Pedro; Reis, Luis Paulo ;
PUBLICAÇÃO: 2024, FONTE: 6th Annual IEEE Conference on Games (CoG) in 2024 IEEE CONFERENCE ON GAMES, COG 2024, PÁGINAS: 1-4
306
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
307
TÍTULO: Generative AI for Test Driven Development: Preliminary Results
AUTORES: Moritz Mock; Jorge Melegati ; Barbara Russo;
PUBLICAÇÃO: 2024, FONTE: Agile Processes in Software Engineering and Extreme Programming - Workshops - XP 2024 Workshops, Bozen-Bolzano, Italy, June 4-7, 2024, Revised Selected Papers, VOLUME: 524, PÁGINAS: 24-32
308
TÍTULO: Generative AI for Test Driven Development: Preliminary Results
AUTORES: Moritz Mock; Jorge Melegati ; Barbara Russo;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2405.10849
309
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: 139, NÚMERO: 139
310
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
311
312
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
313
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
314
TÍTULO: Historical Portuguese corpora: a survey
AUTORES: Osorio, Tomas Freitas; Cardoso, Henrique Lopes ;
PUBLICAÇÃO: 2024, FONTE: LANGUAGE RESOURCES AND EVALUATION
315
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
316
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
317
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: 21st International Conference on Informatics in Control, Automation and Robotics, ICINCO 2024 in Proceedings of the 21st International Conference on Informatics in Control, Automation and Robotics, ICINCO 2024, Porto, Portugal, November 18-20, 2024, Volume 1., VOLUME: 1, PÁGINAS: 245-252
318
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
319
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
320
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

Results per Page: 20.
Página 16 de 226. Total de resultados: 4502.