Damián Barsotti

According to our database, Damián Barsotti authored at least 10 papers between 2005 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2022

User-Agnostic Model for Prediction of Retweets Based on Social Neighborhood Information.

Pablo Gabriel Celayes, Martín Ariel Domínguez, Damián Barsotti

Proceedings of the Information Management and Big Data, 2022

2021

Gravitational wave surrogates through automated machine learning.

Damián Barsotti, Franco Cerino, Manuel Tiglio, Aarón Villanueva

CoRR, 2021

2019

Using Embeddings to Predict Changes in Large Semantic Graphs.

Damián Barsotti, Martín Ariel Domínguez

Proceedings of the Information Management and Big Data - 6th International Conference, 2019

2017

PEF: Python Error Finder.

Damián Barsotti, Andrés M. Bordese, Tomás Hayes

Proceedings of the XLIII Latin American Computer Conference - Selected Papers, 2017

Predicting Invariant Nodes in Large Scale Semantic Knowledge Graphs.

Damián Barsotti, Martín Ariel Domínguez, Pablo Ariel Duboue

Proceedings of the Information Management and Big Data, 2017

Predicting Invariant Nodes in Large Scale Semantic Graphs.

Damián Barsotti, Martín Ariel Domínguez, Pablo Ariel Duboue

Proceedings of the 4th Annual International Symposium on Information Management and Big Data, 2017

2010

Automatic Probabilistic Program Verification through Random Variable Abstraction

Damián Barsotti, Nicolás Wolovick

Proceedings of the Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, 2010

2007

Automatic Refinement of Split Binary Semaphore.

Damián Barsotti, Javier O. Blanco

Proceedings of the Theoretical Aspects of Computing, 2007

2006

Instances of Schneider's generalized protocol of clock synchronization.

Damián Barsotti

Arch. Formal Proofs, 2006

2005

Verification of Clock Synchronization Algorithms: Experiments on a Combination of Deductive Tools.

Damián Barsotti, Leonor Prensa Nieto, Alwen Fernanto Tiu

Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, 2005