Francisco Trucco

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 3

Top Topics

Machine Learning

Proof Procedures

Propositional Calculus

Top Venues

J. Log. Algebraic Methods Program.

Publications

Raul Fervari, Francisco Trucco, Beta Ziliani
Verification of dynamic bisimulation theorems in Coq. J. Log. Algebraic Methods Program. 120 (2021)
Raul Fervari, Francisco Trucco, Beta Ziliani
Mechanizing Bisimulation Theorems for Relation-Changing Logics in Coq. DaLí (2019)
Juan M. Scavuzzo, Francisco Trucco, Manuel Espinosa, Carolina B. Tauro, Marcelo Abril, Carlos M. Scavuzzo, Alejandro C. Frery
Modeling Dengue Vector Population Using Remotely Sensed Data and Machine Learning. CoRR (2018)