BIBLIOS
Ciências References Management System
Visitor Mode (
Login
)
Need help?
Publications for pacsantos
(12)
2024
Is it a Bug? Understanding Physical Unit Mismatches in Robot Software
(2024)
Paulo Canelas et al., with 6 authors including:
Paulo Canelas
Alcides Fonseca
Conference papers
2024
Understanding Misconfigurations in ROS: An Empirical Study and Current Approaches
(2024)
Paulo Canelas
Bradley Schmerl
Alcides Fonseca
Christopher S. Timperley
Conference papers
2023
Usability-Oriented Design of Liquid Types for Java
(2023)
Catarina Gamboa
Paulo Canelas
Christopher Timperley
Alcides Fonseca
Conference papers
2022
Data Types as a More Ergonomic Frontend for Grammar-Guided Genetic Programming
(2022)
Guilherme Espada
Leon Ingelse
Paulo Canelas
Pedro Barbosa
Alcides Fonseca
Conference papers
2022
An Experience Report on Challenges in Learning the Robot Operating System
(2022)
Paulo Canelas
Miguel Tavares
Ricardo Cordeiro
Alcides Fonseca
Christopher S. Timperley
Conference papers
2022
Grammatical Evolution Mapping for Semantically-Constrained Genetic Programming
(2022)
Alcides Fonseca
Paulo Santos
Guilherme Espada
Sara Silva
Book chapters
2021
Augmenting Search-based Techniques with Static Synthesis-based Input Generation
(2021)
Paulo Santos
Jose Campos
Christopher S. Timperley
Alcides Fonseca
Conference papers
2021
User-driven design and evaluation of Liquid Types in java
(2021)
Catarina Gamboa
Paulo Canelas Santos
Christopher Timperley
Alcides Fonseca
Conference papers
2021
LiquidJava: Adding Lightweight Verification to Java
(2021)
Catarina Gamboa
Paulo Canelas Santos
Christopher Timperley
Alcides Fonseca
Conference papers
2020
Refined typed genetic programming as a user interface for genetic programming
(2020)
Paulo Santos
Sara Silva
Alcides Fonseca
Other
2020
Towards the conceptualization of refinement typed genetic programming
(2020)
Paulo Alexandre Canelas dos Santos
Alcides Miguel Cachulo Aguiar Fonseca
Academic documents
2020
The Usability Argument for Refinement Typed Genetic Programming
(2020)
Alcides Fonseca
Paulo Santos
Sara Silva
Conference papers