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

AuthID: I-000-0K9


Publications Count: 4150

50 Team Members
Filters -> Year: 2025
181
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
182
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
183
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
184
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
185
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
186
TÍTULO: GASTeNv2: Generative Adversarial Stress Testing Networks with Gaussian Loss
AUTORES: Cátia Teixeira; Inês Gomes; Luís Cunha; Carlos Soares ; Jan N van Rijn;
PUBLICAÇÃO: 2024, FONTE: 23rd EPIA Conference on Artificial Intelligence, EPIA 2024 in Progress in Artificial Intelligence - 23rd EPIA Conference on Artificial Intelligence, EPIA 2024, Viana do Castelo, Portugal, September 3-6, 2024, Proceedings, Part II, VOLUME: 14968, PÁGINAS: 261-272
187
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
188
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
189
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
190
191
TÍTULO: HiClass4MD: a Hierarchical Classifier for Transportation Mode Detection
AUTORES: Akilu Rilwan Muhammad; Ana Aguiar; João Mendes Moreira ;
PUBLICAÇÃO: 2024, FONTE: 27th IEEE International Conference on Intelligent Transportation Systems, ITSC 2024 in 27th IEEE International Conference on Intelligent Transportation Systems, ITSC 2024, Edmonton, AB, Canada, September 24-27, 2024, PÁGINAS: 1974-1979
192
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
193
TÍTULO: Historical Portuguese corpora: a survey
AUTORES: Osorio, Tomas Freitas; Cardoso, Henrique Lopes ;
PUBLICAÇÃO: 2024, FONTE: LANGUAGE RESOURCES AND EVALUATION
194
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
195
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
196
TÍTULO: HyPredictor: Hybrid Failure Prognosis Approach Combining Data-Driven and Knowledge-Based Methods
AUTORES: Miguel Almeida; Eliseu Pereira ; Gil Gonçalves ;
PUBLICAÇÃO: 2024, FONTE: 21st International Conference on Informatics in Control, Automation and Robotics, ICINCO 2024 in Proceedings of the International Conference on Informatics in Control, Automation and Robotics, VOLUME: 1, PÁGINAS: 245-252
197
198
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
199
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
200
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 10 de 208. Total de resultados: 4150.