Instances of Schneider's generalized protocol of clock synchronization. - Damián Barsotti (Arch. Formal Proofs, 2006)

Automatic Refinement of Split Binary Semaphore. - Damián Barsotti; Javier O. Blanco (ICTAC, 2007)

Verification of clock synchronization algorithms: experiments on a combination of deductive tools. - Damián Barsotti; Leonor Prensa Nieto; Alwen Tiu (Formal Aspects Comput., 2007)

Automatic Probabilistic Program Verification through Random Variable Abstraction - Damián Barsotti; Nicolás Wolovick (QAPL, 2010)

Implementación eficiente de construcciones de alto nivel para la programación concurrente - Damián Barsotti (2011)

Predicting Invariant Nodes in Large Scale Semantic Graphs. - Damián Barsotti; Martín Ariel Domínguez; Pablo Ariel Duboue (SIMBig, 2017)

Predicting Invariant Nodes in Large Scale Semantic Knowledge Graphs. - Damián Barsotti; Martín Ariel Domínguez; Pablo Ariel Duboue (SIMBig (Revised Selected Papers), 2017)

PEF: Python Error Finder. - Damián Barsotti; Andrés M. Bordese; Tomás Hayes (CLEI Selected Papers, 2017)

Using Embeddings to Predict Changes in Large Semantic Graphs. - Damián Barsotti; Martín Ariel Domínguez (SIMBig, 2019)

Gravitational wave surrogates through automated machine learning. - Damián Barsotti; Franco Cerino; Manuel Tiglio; Aarón Villanueva (CoRR, 2021)

User-Agnostic Model for Prediction of Retweets Based on Social Neighborhood Information. - Pablo Gabriel Celayes; Martín Ariel Domínguez; Damián Barsotti (SIMBig, 2022)