Federico Heras
0009-0002-9817-9792
Publication & Citation Trends
Publications
0 total
No publications found.
Research Topics
Constraint Satisfaction and Optimization
(21)
Formal Methods in Verification
(16)
Logic, Reasoning, and Knowledge
(7)
Logic, programming, and type systems
(3)
Scheduling and Optimization Algorithms
(3)
Affiliations
University College Dublin
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento
Pompeu Fabra University
Universitat de Girona
Universitat Politècnica de Catalunya