Riccardo Traverso

Statistics

Publications

Citations

H-Index

Active since

2012

Affiliations

Laboratoire d'Informatique Algorithmique: Fondements et Applications(Current)

Riccardo Traverso is an author at Laboratoire d'Informatique Algorithmique: Fondements et Applications specializing in computer science, computing, and model checking.

Publications per year

2012–2016

Publications

On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks

Giorgio Delzanno, Arnaud Sangnier, Riccardo Traverso et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2012 · 39 citations · Full text

Computing, Computer Science, Computer Systems +17

Model Checking Paxos in Spin

Giorgio Delzanno, Michele Tatarek, Riccardo Traverso · Electronic Proceedings in Theoretical Computer Science · 2014 · 13 citations · Full text

Computing, Computer Science, Algorithms +16

Assisted content-based labelling and classification of documents

Konrad Wrona, Sander Oudkerk, Alessandro Armando et al. · 2016 · 10 citations

Computing, Computer Science, Information Technology +17

1–3 of 3