Francisco Trucco

According to our database, Francisco Trucco authored at least 3 papers between 2018 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Verification of dynamic bisimulation theorems in Coq.

Raul Fervari, Francisco Trucco, Beta Ziliani

J. Log. Algebraic Methods Program., 2021

2019

Mechanizing Bisimulation Theorems for Relation-Changing Logics in Coq.

Raul Fervari, Francisco Trucco, Beta Ziliani

Proceedings of the Dynamic Logic. New Trends and Applications, 2019

2018

Modeling Dengue Vector Population Using Remotely Sensed Data and Machine Learning.

Juan M. Scavuzzo, Francisco Trucco, Manuel Espinosa, Carolina B. Tauro, Marcelo Abril, Carlos M. Scavuzzo, Alejandro C. Frery

CoRR, 2018