| Precise enforcement of confidentiality for reactive systems D Zanarini, M Jaskelioff, A Russo 2013 IEEE 26th Computer Security Foundations Symposium, 18-32, 2013 | 41 | 2013 |
| Towards a formally verified implementation of the mimblewimble cryptocurrency protocol G Betarte, M Cristiá, C Luna, A Silveira, D Zanarini Applied Cryptography and Network Security Workshops: ACNS 2020 Satellite …, 2020 | 17 | 2020 |
| Teaching and learning computer science for primary school teachers: an Argentine experience A Casali, D Zanarini, N Monjelat, P San Martín 2018 XIII Latin American Conference on Learning Technologies (LACLO), 349-355, 2018 | 13 | 2018 |
| Pensamiento computacional y programación en la formación de docentes del nivel primario A Casali, D Zanarini, PS San Martín, N Monjelat XX Workshop de Investigadores en Ciencias de la Computación (WICC 2018 …, 2018 | 12 | 2018 |
| Enseñanza y Aprendizaje del Pensamiento Computacional y la Programación en los distintos Niveles Educativos A Casali, C Deco, P Viale, C Bender, D Zanarini, N Monjelat XXII Workshop de Investigadores en Ciencias de la Computación (WICC 2020, El …, 2020 | 7 | 2020 |
| Primary level teachers training in computer science: experience in the argentine context A Casali, N Monjelat, P San Martín, D Zanarini Argentine Congress of Computer Science, 389-404, 2019 | 6 | 2019 |
| Set-based models for cryptocurrency software G Betarte, M Cristiá, C Luna, A Silveira, D Zanarini arXiv preprint arXiv:1908.00591, 2019 | 5 | 2019 |
| Formación docente en Ciencias de la Computación: experiencias de la primera Especialización para el nivel Primario de la Provincia de Santa Fe A Casali, D Zanarini, N Monjelat, PS San Martín XXV Congreso Argentino de Ciencias de la Computación (CACIC)(Universidad …, 2019 | 5 | 2019 |
| Alternating-time temporal logic in the calculus of (Co) inductive constructions D Zanarini, C Luna, L Sierra Brazilian Symposium on Formal Methods, 210-225, 2012 | 5 | 2012 |
| Monitoring reactive systems with dynamic channels D Zanarini, M Jaskelioff Proceedings of the Ninth Workshop on Programming Languages and Analysis for …, 2014 | 2 | 2014 |
| Formalización de lógica temporal alternante en el cálculo de construcciones coinductivas D Zanarini Master’s thesis, FCEIA, Universidad Nacional de Rosario, Argentina, 2008 | 2 | 2008 |
| Precise Enforcement of Confidentiality for Reactive Systems (extended version) D Zanarini, M Jaskelioff, A Russo | 1 | 2013 |
| Proyecto de asistencia tecnológica al escrutinio provisorio en la provincia de Santa Fe D Zanarini, E Rivas, G Gustavo XI Simposio Argentino de Informática en el Estado (SIE)-JAIIO 46 (Córdoba …, 2017 | | 2017 |
| Temas de Teoría de la Computación JA Hurtado Alegría, R Kantor, C Luna, L Sierra, D Zanarini Iniciativa Latinoamericana de Libros de Texto Abiertos (LATIn), 2014 | | 2014 |
| Formalizing alternating-time temporal logic in the coq proof assistant C Luna, L Sierra, D Zanarini | | 2014 |
| Multiejecución segura para programación interactiva D Zanarini IV Workshop de Seguridad Informática (WSegI 2012)(XLI JAIIO, La Plata, 27 al …, 2012 | | 2012 |
Natalia MonjelatInvestigadora Adjunta. IRICE (CONICET-UNR)在 irice-conicet.gov.ar 的电子邮件经过验证
