BIBLIOS
Ciências References Management System
Visitor Mode (
Login
)
Need help?
Publications for amfonseca
(53)
2024
Semantically Rich Local Dataset Generation for Explainable AI in Genomics
(2024)
Pedro Barbosa
Rosina Savisaar
Alcides Fonseca
Conference papers
2024
SRBench++: Principled Benchmarking of Symbolic Regression With Domain-Expert Interpretation
(2024)
F. O. de Franca et al., with 24 authors including:
G. Espada
L. Ingelse
A. Fonseca
Journal articles
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
A programming language with refinement types and its LLVM-IR front end implementation
(2024)
Bernardo Ferrari
Alcides Fonseca
Academic documents
2024
Understanding Misconfigurations in ROS: An Empirical Study and Current Approaches
(2024)
Paulo Canelas
Bradley Schmerl
Alcides Fonseca
Christopher S. Timperley
Conference papers
2024
On the Star Combinatory Calculus : formalization and applications to classical logic
(2024)
Malato, Lia
Ferreira, Fernando Jorge Inocêncio
Fonseca, Alcides Miguel Cachulo Aguiar
Academic documents
2024
Leveraging deep learning models for studying RNA splicing in health and disease
(2024)
Pedro Santos Barbosa
Alcides Fonseca
Maria Carmo Fonseca
Academic documents
2024
Static Analysis for Detection of Defects in Machine Learning Pipelines
(2024)
Silva, Pedro Miguel Alcântara da
Fonseca, Alcides Miguel Cachulo Aguiar
Lopes, Maria Antónia Bacelar da Costa
Academic documents
2023
Adding Separation Logic Support to LiquidJava
(2023)
Kirill Golubev
Alcides Fonseca
Academic documents
2023
Comparing Individual Representations in Grammar-Guided Genetic Programming for Glucose Prediction in People with Diabetes
(2023)
Leon Ingelse
José-Ignacio Hidalgo
José Manuel Colmenar
Nuno Lourenço
Alcides Fonseca
Conference papers
2023
Comparing the expressive power of Strongly-Typed and Grammar-Guided Genetic Programming
(2023)
Diogo Poças
Alcides Fonseca
Conference papers
2023
Usability-Oriented Design of Liquid Types for Java
(2023)
Catarina Gamboa
Paulo Canelas
Christopher Timperley
Alcides Fonseca
Conference papers
2023
Computational prediction of human deep intronic variation
(2023)
Pedro Barbosa
Rosina Savisaar
Maria Carmo-Fonseca
Alcides Fonseca
Journal articles
2023
Formalization and Runtime Verification of Invariants for Robotic Systems
(2023)
Cordeiro, Ricardo Jorge Dias
Fonseca, Alcides Miguel Cachulo Aguiar
Timperley, Christopher Steven
Academic documents
2023
Domain-Aware Feature Learning with Grammar-Guided Genetic Programming
(2023)
Leon Ingelse
Alcides Fonseca
Conference papers
2023
RobotFix : Detecting Bugs On Variables In Robot Programs
(2023)
Tavares, Miguel Rodrigues
Fonseca, Alcides Miguel Cachulo Aguiar
Timperley, Christopher Steven
Academic documents
2022
Computational prediction of human deep intronic variation
(2022)
Pedro Barbosa
Rosina Savisaar
Maria Carmo-Fonseca
Alcides Fonseca
Journal articles
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
Clinical significance of genetic variation in hypertrophic cardiomyopathy: comparison of computational tools to prioritize missense variants
(2022)
Pedro Barbosa
Marta Ribeiro
Maria Carmo-Fonseca
Alcides Fonseca
Journal articles
2022
Type Systems in Resource-Aware Programming: Opportunities and Challenges
(2022)
Alcides Fonseca
Guilherme Espada
Conference papers
2022
Figra: Evaluating a larger search space for Cardumen in Automatic Program Repair
(2022)
Alcides Fonseca
Máximo Oliveira
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
Benchmarking Individual Representation in Grammar-Guided Genetic Programming
(2022)
Leon Ingelse
Guilherme Espada
Alcides Fonseca
Conference papers
2022
Grammatical Evolution Mapping for Semantically-Constrained Genetic Programming
(2022)
Alcides Fonseca
Paulo Santos
Guilherme Espada
Sara Silva
Book chapters
2022
Optimization of feature learning through grammar-guided genetic programming
(2022)
Ingelse, Leon Kornelis
Fonseca, Alcides Aguiar
Academic documents
2021
Bio-inspired Optimization Algorithms for Unit Test Generation
(2021)
Gonçalo Miguel Inácio Duarte
José Carlos Medeiros de Campos
Alcides Miguel Cachulo Aguiar Fonseca
Academic documents
2021
Improving Machine Learning Pipeline Creation using Visual Programming and Static Analysis
(2021)
João Pedro Vieira David
Alcides Miguel Cachulo Aguiar Fonseca
Academic documents
2021
Exploring a Larger Search Space for Automatic Program Repair
(2021)
Máximo José Nicolaas Hoefnagel Oliveira
Alcides Miguel Cachulo Aguiar Fonseca
Academic documents
2021
Augmenting Search-based Techniques with Static Synthesis-based Input Generation
(2021)
Paulo Santos
Jose Campos
Christopher S. Timperley
Alcides Fonseca
Conference papers
2021
Reductions and abstractions for formal verification of distributed round-based algorithms
(2021)
Raul Barbosa
Alcides Fonseca
Filipe Araujo
Journal articles
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
A Manifesto for Energy-Aware Software
(2020)
Alcides Fonseca
Rick Kazman
Patricia Lago
Journal articles
2020
Towards the conceptualization of refinement typed genetic programming
(2020)
Paulo Alexandre Canelas dos Santos
Alcides Miguel Cachulo Aguiar Fonseca
Academic documents
2020
Automatic conversion of Ada source code to Scala
(2020)
Guilherme Jorge Nunes Monteiro Espada
Alcides Miguel Cachulo Aguiar Fonseca
Academic documents
2020
Centralização de configurações de serviços num ambiente de micro-serviços
(2020)
Bernardo Filipe Martinho Neves
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
2019
A Manifesto for Energy-Aware Software
(2019)
Alcides Fonseca
Rick Kazman
Patricia Lago
Journal articles
2019
Designing a Neural Network from Scratch for Big Data Powered by Multi-node GPUs
(2019)
Alcides Fonseca
Bruno Cabral
Book chapters
2018
Desenvolvimento Mobile-Criação de uma plataforma UWP de apoio ao processo de inspecção
(2018)
Rui Manuel Marmeleira Poeiras
Alcides Miguel Cachulo Aguiar Fonseca
Eduardo Miguel Neto Alves Silvério
Academic documents
2018
Evaluating the Inherent Sensitivity of Programming Languages to Soft Errors
(2018)
Frederico Cerveira
Alcides Fonseca
Raul Barbosa
Henrique Madeira
Conference papers
2018
Overcoming the No Free Lunch Theorem in Cut-off Algorithms for Fork-Join programs
(2018)
Alcides Fonseca
Bruno Cabral
Journal articles
2018
Language-Based Expression of Reliability and Parallelism for Low-Power Computing
(2018)
Alcides Fonseca
Frederico Cerveira
Bruno Cabral
Raul Barbosa
Journal articles
2018
Understanding the impact of task granularity in the energy consumption of parallel programs
(2018)
Alcides Fonseca
Bruno Cabral
Journal articles
2018
Evaluation of the impact on energy consumption of lazy versus strict evaluation of Haskell data-structures
(2018)
Gilberto Melfe
Alcides Fonseca
João Paulo Fernandes
Conference papers
2018
Helping developers write energy efficient Haskell through a data-structure evaluation
(2018)
Gilberto Melfe
Alcides Fonseca
João Paulo Fernandes
Conference papers
2017
Prototyping a GPGPU Neural Network for Deep-Learning Big Data Analysis
(2017)
Alcides Fonseca
Bruno Cabral
Journal articles
2017
Evolving Cut-Off Mechanisms and Other Work-Stealing Parameters for Parallel Programs
(2017)
Alcides Fonseca
Nuno Lourenço
Bruno Cabral
Conference papers
2017
Evaluation of Runtime Cut-off Approaches for Parallel Programs
(2017)
Alcides Fonseca
Bruno Cabral
Conference papers
2016
Controlling the granularity of automatic parallel programs
(2016)
Alcides Fonseca
Bruno Cabral
Journal articles
2016
Automatic Parallelization: Executing Sequential Programs on a Task-Based Parallel Runtime
(2016)
Alcides Fonseca
Bruno Cabral
João Rafael
Ivo Correia
Journal articles
2013
ÆminiumGPU: An Intelligent Framework for GPU Programming
(2013)
Alcides Fonseca
Bruno Cabral
Conference papers