Ivan Lanese

Identifiers

• name variant Ivan Lanese 0.60 · backfill

Papers (11)

1. On the Encodability of Reversible Process Calculi cs.LO · 2026 · author #1
2. No more, no less - A formal model for serverless computing cs.PL · 2019 · author #3
3. A Theory of Reversibility for Erlang cs.PL · 2018 · author #1
4. Microservices: a Language-based Approach cs.PL · 2017 · author #2
5. Microservices: How To Make Your Application Scale cs.SE · 2017 · author #2
6. Dynamic Choreographies: Theory And Implementation cs.PL · 2016 · author #4
7. Towards Microservices and Beyond: An incoming Paradigm Shift in Distributed Computing cs.SE · 2016 · author #4
8. AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications cs.PL · 2014 · author #3
9. Dynamic Choreographies - Safe Runtime Updates of Distributed Applications cs.PL · 2014 · author #4
10. Proceedings Fifth Interaction and Concurrency Experience cs.PL · 2012 · author #2
11. Mapping Fusion and Synchronized Hyperedge Replacement into Logic Programming cs.LO · 2005 · author #1

Mentions

• 2606.25916 #1 · arxiv_oai · confidence 0.70 Ivan Lanese
• 1407.0975 #3 · backfill · confidence 0.70 Ivan Lanese
• 1407.0970 #4 · backfill · confidence 0.70 Ivan Lanese
• 1212.3458 #2 · backfill · confidence 0.70 Ivan Lanese

Frequent Coauthors

• Maurizio Gabbrielli 4 shared papers
• Saverio Giallorenzo 4 shared papers
• Jacopo Mauro 3 shared papers
• Manuel Mazzara 3 shared papers
• Mila Dalla Preda 3 shared papers
• Fabrizio Montesi 2 shared papers
• Larisa Safina 2 shared papers
• Ruslan Mustafin 2 shared papers
• Adri\'an Palacios 1 shared papers
• Alexandra Silva 1 shared papers
• Ana Sokolova 1 shared papers
• Claudio Antares Mezzina 1 shared papers
• Claudio Guidi 1 shared papers
• Germ\'an Vidal 1 shared papers
• Iain Phillips 1 shared papers
• Irek Ulidowski 1 shared papers
• Marco Carbone 1 shared papers
• Marco Peressotti 1 shared papers
• Naoki Nishida 1 shared papers
• Nicola Dragoni 1 shared papers