Alternating-Time Temporal Logic in the Calculus of (Co)Inductive Constructions. - Dante Zanarini; Carlos Luna 001; Luis Sierra (SBMF, 2012)

Precise Enforcement of Confidentiality for Reactive Systems. - Dante Zanarini; Mauro Jaskelioff; Alejandro Russo (CSF, 2013)

Monitoring Reactive Systems with Dynamic Channels. - Dante Zanarini; Mauro Jaskelioff (PLAS@ECOOP, 2014)

Primary Level Teachers Training in Computer Science: Experience in the Argentine Context. - Ana Casali; Natalia Monjelat; Patricia Silvana San Martín; Dante Zanarini (CACIC, 2019)

Towards a Formally Verified Implementation of the MimbleWimble Cryptocurrency Protocol. - Gustavo Betarte; Maximiliano Cristiá; Carlos Daniel Luna; Adrián Silveira; Dante Zanarini (ACNS Workshops, 2020)

Set-Based Models for Cryptocurrency Software. - Gustavo Betarte; Maximiliano Cristiá; Carlos Luna 001; Adrián Silveira; Dante Zanarini (CLEI Electron. J., 2021)