Cosimo Laneve

Identifiers

• name variant Cosimo Laneve 0.60 · backfill

Papers (3)

1. Deadlock detection of Java Bytecode cs.PL · 2017 · author #2
2. Deadlock detection in linear recursive programs cs.PL · 2013 · author #2
3. Reversibility in Massive Concurrent Systems cs.DC · 2011 · author #2

Mentions

• 1310.7449 #2 · backfill · confidence 0.70 Cosimo Laneve
• 1108.3419 #2 · backfill · confidence 0.70 Cosimo Laneve

Frequent Coauthors

• Abel Garcia 1 shared papers
• Elena Giachino 1 shared papers
• Luca Cardelli 1 shared papers