Nicolas Latorre

Publication Activity (10 Years)

Years Active: 2014-2015
Publications (10 Years): 0

Top Topics

Invariant Features

Generation Algorithm

Signature Verification

Unanswered Questions

Top Venues

Publications

Nicolas Latorre, Roberto Minelli, Andrea Mocci, Luca Ponzanelli, Michele Lanza
SODA: the stack overflow dataset almanac. MUD@ICSME (2015)
Nicolas Latorre, Francesco Alberti, Natasha Sharygina
Verige: verification with invariant generation engine. SPIN (2014)