Follow
Francisco Trucco
Title
Cited by
Cited by
Year
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
1112018
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
102017
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
32020
Verification of dynamic bisimulation theorems in Coq
R Fervari, F Trucco, B Ziliani
Journal of Logical and Algebraic Methods in Programming 120, 100642, 2021
22021
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