Damián Barsotti

12 papers C 1Journal 3Unranked 7
YearRankTypeTitle / Venue / Authors
2022 — conf
User-Agnostic Model for Prediction of Retweets Based on Social Neighborhood Information.
SIMBig
Pablo Gabriel Celayes, Martín Ariel Domínguez, Damián Barsotti
2021 J jnl
Gravitational wave surrogates through automated machine learning.
CoRR
Damián Barsotti, Franco Cerino, Manuel Tiglio, Aarón Villanueva
2019 — conf
Using Embeddings to Predict Changes in Large Semantic Graphs.
SIMBig
Damián Barsotti, Martín Ariel Domínguez
2017 — conf
PEF: Python Error Finder.
CLEI Selected Papers
Damián Barsotti, Andrés M. Bordese, Tomás Hayes
2017 — conf
Predicting Invariant Nodes in Large Scale Semantic Graphs.
SIMBig
Damián Barsotti, Martín Ariel Domínguez, Pablo Ariel Duboue
2017 — conf
Predicting Invariant Nodes in Large Scale Semantic Knowledge Graphs.
SIMBig (Revised Selected Papers)
Damián Barsotti, Martín Ariel Domínguez, Pablo Ariel Duboue
2011 — —
Implementación eficiente de construcciones de alto nivel para la programación concurrente
Damián Barsotti
2010 — conf
Automatic Probabilistic Program Verification through Random Variable Abstraction
QAPL
Damián Barsotti, Nicolás Wolovick
2007 C conf
Automatic Refinement of Split Binary Semaphore.
ICTAC
Damián Barsotti, Javier O. Blanco
2007 J jnl
Verification of clock synchronization algorithms: experiments on a combination of deductive tools.
Formal Aspects Comput.
Damián Barsotti, Leonor Prensa Nieto, Alwen Tiu
2006 J jnl
Instances of Schneider's generalized protocol of clock synchronization.
Arch. Formal Proofs
Damián Barsotti
2005 — conf
Verification of Clock Synchronization Algorithms: Experiments on a Combination of Deductive Tools.
AVoCS
Damián Barsotti, Leonor Prensa Nieto, Alwen Fernanto Tiu