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

AuthID: I-000-0K9


Publications Count: 4438

56 Team Members
Filters -> Year: 2025
241
TITLE: Finding Patterns in Ambiguity: Interpretable Stress Testing in the Decision Boundary
AUTHORS: Inês Gomes; Luís F Teixeira ; Jan N van Rijn; Carlos Soares ; André Restivo ; Luís Cunha; Moisés Santos;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2408.06302
242
TITLE: FIRMa: A Framework to Support the Requirements Management Process Based on Information Management Tools
AUTHORS: Fagundes, Priscila Basto; de Macedo, Douglas Dyllon Jeronimo; Soares, Antonio Lucas ;
PUBLISHED: 2024, SOURCE: MOBILE NETWORKS & APPLICATIONS, VOLUME: 29, ISSUE: 3, PAGES: 703-713
243
TITLE: Fostering the Ecosystem of Open Neural Encoders for Portuguese with Albertina PT* Family
AUTHORS: Rodrigo Santos; João Rodrigues; Luís Gomes; João Silva; António Branco; Henrique Lopes Cardoso ; Tomás Freitas Osório; Bernardo Leite;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2403.01897, PAGES: 105-114
244
TITLE: Foundations for a Rust-Like Borrow Checker for C
AUTHORS: Silva, Tiago; Bispo, Joao ; Carvalho, Tiago ;
PUBLISHED: 2024, SOURCE: 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, PAGES: 155-165
245
TITLE: Fourier (Common-Tone) Phase Spaces are in Tune with Variational Autoencoders' Latent Space
AUTHORS: Carvalho, Nadia ; Bernardes, Gilberto ;
PUBLISHED: 2024, SOURCE: 9th International Conference on Mathematics and Computation in Music (MCM) in MATHEMATICS AND COMPUTATION IN MUSIC, MCM 2024, VOLUME: 14639, PAGES: 305-316
246
TITLE: Fourier Qualia Wavescapes: Hierarchical Analyses of Set Class Quality and Ambiguity
AUTHORS: Pereira, Samuel ; Affatato, Giovanni; Bernardes, Gilberto ; Moss, Fabian C.;
PUBLISHED: 2024, SOURCE: 9th International Conference on Mathematics and Computation in Music (MCM) in MATHEMATICS AND COMPUTATION IN MUSIC, MCM 2024, VOLUME: 14639, PAGES: 317-329
247
TITLE: FRAFOL: FRAmework FOr Learning mutation testing
AUTHORS: Tavares, Pedro; Paiva, Ana ; Amalfitano, Domenico; Just, Rene;
PUBLISHED: 2024, SOURCE: 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, PAGES: 1846-1850
248
TITLE: GamEmotion: A Serious Game for Emotion Regulation in Young Adolescents
AUTHORS: Silva, Eliana ; Franca, Pedro; Reis, Luis Paulo ;
PUBLISHED: 2024, SOURCE: 6th Annual IEEE Conference on Games (CoG) in 2024 IEEE CONFERENCE ON GAMES, COG 2024, PAGES: 1-4
249
TITLE: Gate Branch Coverage: A Metric for Quantum Software Testing
AUTHORS: Fortunato, Daniel; Campos, Jose ; Abreu, Rui ;
PUBLISHED: 2024, SOURCE: 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, PAGES: 15-18
250
TITLE: Generative AI for Test Driven Development: Preliminary Results
AUTHORS: Moritz Mock; Jorge Melegati ; Barbara Russo;
PUBLISHED: 2024, SOURCE: Agile Processes in Software Engineering and Extreme Programming - Workshops - XP 2024 Workshops, Bozen-Bolzano, Italy, June 4-7, 2024, Revised Selected Papers, VOLUME: 524, PAGES: 24-32
251
TITLE: Generative AI for Test Driven Development: Preliminary Results
AUTHORS: Moritz Mock; Jorge Melegati ; Barbara Russo;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2405.10849
252
TITLE: GLITCH: Polyglot Code Smell Detection in Infrastructure as Code
AUTHORS: Saavedra, Nuno; Ferreira, Joao F.; Mendes, Alexandra ;
PUBLISHED: 2024, SOURCE: ERCIM NEWS, VOLUME: 139, ISSUE: 139
253
TITLE: Guidelines for reproducible analysis of adaptive immune receptor repertoire sequencing data
AUTHORS: Peres, Ayelet; Klein, Vered; Frankel, Boaz; Lees, William; Polak, Pazit; Meehan, Mark; Rocha, Artur ; Correia Lopes, Joao ; Yaari, Gur;
PUBLISHED: 2024, SOURCE: BRIEFINGS IN BIOINFORMATICS, VOLUME: 25, ISSUE: 3
255
TITLE: HiClass4MD: a Hierarchical Classifier for Transportation Mode Detection
AUTHORS: Muhammad, Akilu Rilwan; Aguiar, Ana ; Mendes Moreira, Joao ;
PUBLISHED: 2024, SOURCE: 27th Intelligent Transportation Systems Conference in 2024 IEEE 27TH INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS, ITSC, PAGES: 1974-1979
256
TITLE: Hierarchical Reinforcement Learning and Evolution Strategies for Cooperative Robotic Soccer
AUTHORS: Santos, Barbara; Cardoso, Antonio; Ledo, Goncalo ; Reis, Luis Paulo ; Sousa, Armando ;
PUBLISHED: 2024, SOURCE: 7th Iberian Robotics Conference in 2024 7TH IBERIAN ROBOTICS CONFERENCE, ROBOT 2024, PAGES: 1-6
257
TITLE: Historical Portuguese corpora: a survey
AUTHORS: Osorio, Tomas Freitas; Cardoso, Henrique Lopes ;
PUBLISHED: 2024, SOURCE: LANGUAGE RESOURCES AND EVALUATION
258
TITLE: How are Contracts Used in Android Mobile Applications?
AUTHORS: Ferreira, David R.; Mendes, Alexandra ; Ferreira, Joao F. ;
PUBLISHED: 2024, SOURCE: 44th International Conference on Software Engineering: Companion Proceedings in 2024 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS, ICSE-COMPANION 2024, PAGES: 400-401
259
TITLE: HOW DEEP TECH CAN PROMOTE INNOVATION AND ENTREPRENEURSHIP IN HIGHER EDUCATION INSTITUTIONS
AUTHORS: Gil Gonçalves ; Joana Miranda;
PUBLISHED: 2024, SOURCE: INTED Proceedings - INTED2024 Proceedings
260
TITLE: HyPredictor: Hybrid Failure Prognosis Approach Combining Data-Driven and Knowledge-Based Methods
AUTHORS: Miguel Almeida; Eliseu Moura Pereira ; Gil Gonçalves ;
PUBLISHED: 2024, SOURCE: 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, PAGES: 245-252

Results per Page: 20.
Page 13 of 222. Total results: 4438.