Ivan Lanese (Focus Team

Identifiers

• name variant Ivan Lanese (Focus Team 0.60 · backfill

Papers (4)

1. A Modular Formalization of Reversibility for Concurrent Models and Languages cs.LO · 2016 · author #3
2. Proceedings 7th Interaction and Concurrency Experience cs.LO · 2014 · author #1
3. Amending Choreographies cs.PL · 2013 · author #1
4. Static vs Dynamic SAGAs cs.PL · 2010 · author #1

Mentions

• 1410.7013 #1 · backfill · confidence 0.70 Ivan Lanese (Focus Team
• 1308.0390 #1 · backfill · confidence 0.70 Ivan Lanese (Focus Team
• 1010.5569 #1 · backfill · confidence 0.70 Ivan Lanese (Focus Team

Frequent Coauthors

• Italy) 2 shared papers
• University of Bologna/INRIA 2 shared papers
• Alberto Lluch Lafuente (DTU Compute 1 shared papers
• Alexis Bernadet (Dalhousie University 1 shared papers
• Ana Sokolova (University of Salzburg (Austria)) 1 shared papers
• Canada) 1 shared papers
• Denmark) 1 shared papers
• Fabrizio Montesi (IT University of Copenhagen 1 shared papers
• Gianluigi Zavattaro (Focus Team 1 shared papers
• Hugo Torres Vieira (LaSIGE 1 shared papers
• Technical University of Denmark (Denmark)) 1 shared papers
• University of Bologna/INRIA) 1 shared papers
• University of Bologna/INRIA (Italy)) 1 shared papers
• University of Lisbon (Portugal)) 1 shared papers