Gabriel Fernandes

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 3

Top Topics

Accurate Models

Linear Programming

Top Venues

Notre Dame J. Formal Log.

Publications

Gabriel Fernandes, Augusto Vassoler, Eduardo Bezerra, Leonel Sousa, Héctor Pettenghi
A Comprehensive Approach and Analysis of Reverse Converters for a Class of Moduli Sets. LASCAS (2024)
Gabriel Fernandes, Nuno Lourenço, João Correia
Reducing the Price of Stable Cable Stayed Bridges with CMA-ES. CoRR (2023)
Gabriel Fernandes, Ralf Schindler
Tall Cardinals in Extender Models. Notre Dame J. Formal Log. 62 (3) (2021)
Gabriel Fernandes, Nuno Lourenço, João Correia
Reducing the Price of Stable Cable Stayed Bridges with CMA-ES. EvoApplications@EvoStar (2013)