Nicolas Latorre

According to our database, Nicolas Latorre authored at least 2 papers between 2014 and 2015.

Collaborative distances:

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

2015

SODA: the stack overflow dataset almanac.

Nicolas Latorre, Roberto Minelli, Andrea Mocci, Luca Ponzanelli, Michele Lanza

Proceedings of the 5th IEEE Workshop on Mining Unstructured Data MUD@ICSME 2015, 2015

2014

Verige: verification with invariant generation engine.

Nicolas Latorre, Francesco Alberti, Natasha Sharygina

Proceedings of the 2014 International Symposium on Model Checking of Software, 2014