Francisco Trucco
Cited by
Cited by
Modeling Dengue vector population using remotely sensed data and machine learning
JM Scavuzzo, F Trucco, M Espinosa, CB Tauro, M Abril, CM Scavuzzo, ...
Acta tropica 185, 167-175, 2018
Modeling the temporal pattern of Dengue, Chicungunya and Zika vector using satellite data and neural networks
JM Scavuzzo, FC Trucco, CB Tauro, A German, M Espinosa, M Abril
2017 XVII Workshop on Information Processing and Control (RPIC), 1-6, 2017
Mechanizing bisimulation theorems for relation-changing logics in Coq
R Fervari, F Trucco, B Ziliani
Dynamic Logic. New Trends and Applications: Second International Workshop …, 2020
Verification of dynamic bisimulation theorems in Coq
R Fervari, F Trucco, B Ziliani
Journal of Logical and Algebraic Methods in Programming 120, 100642, 2021
Verificación de lógicas modales dinámicas en Coq
FC Trucco
The system can't perform the operation now. Try again later.
Articles 1–5