| 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 | 108 | 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 | 10 | 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 | 3 | 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 | 2 | 2021 |
| Verificación de lógicas modales dinámicas en Coq FC Trucco | | |
