Damián Barsotti

Publication Activity (10 Years)

Years Active: 2006-2022
Publications (10 Years): 6

Top Topics

Semantic Knowledge

Undirected Graph

Top Venues

SIMBig (Revised Selected Papers)

CLEI Selected Papers

Publications

Pablo Gabriel Celayes, Martín Ariel Domínguez, Damián Barsotti
User-Agnostic Model for Prediction of Retweets Based on Social Neighborhood Information. SIMBig (2022)
Damián Barsotti, Franco Cerino, Manuel Tiglio, Aarón Villanueva
Gravitational wave surrogates through automated machine learning. CoRR (2021)
Damián Barsotti, Martín Ariel Domínguez
Using Embeddings to Predict Changes in Large Semantic Graphs. SIMBig (2019)
Damián Barsotti, Martín Ariel Domínguez, Pablo Ariel Duboué
Predicting Invariant Nodes in Large Scale Semantic Graphs. SIMBig (2017)
Damián Barsotti, Andrés M. Bordese, Tomás Hayes
PEF: Python Error Finder. CLEI Selected Papers (2017)
Damián Barsotti, Martín Ariel Domínguez, Pablo Ariel Duboué
Predicting Invariant Nodes in Large Scale Semantic Knowledge Graphs. SIMBig (Revised Selected Papers) (2017)
Damián Barsotti, Nicolás Wolovick
Automatic Probabilistic Program Verification through Random Variable Abstraction QAPL (2010)
Damián Barsotti, Javier O. Blanco
Automatic Refinement of Split Binary Semaphore. ICTAC (2007)
Damián Barsotti, Leonor Prensa Nieto, Alwen Tiu
Verification of clock synchronization algorithms: experiments on a combination of deductive tools. Formal Aspects Comput. 19 (3) (2007)
Damián Barsotti, Leonor Prensa Nieto, Alwen Fernanto Tiu
Verification of Clock Synchronization Algorithms: Experiments on a Combination of Deductive Tools. Electron. Notes Theor. Comput. Sci. 145 (2006)
Damián Barsotti
Instances of Schneider's generalized protocol of clock synchronization. Arch. Formal Proofs 2006 (2006)