Concepedia

Ivan Lanese

IL

Statistics

Publications

30

Citations

1K

H-Index

19

Active since

2004

Affiliations

University of Bologna(Current)

Institut national de recherche en sciences et technologies du numérique

IMT School for Advanced Studies Lucca

University of Pisa

Fondazione Bruno Kessler

Ivan Lanese is an author at University of Bologna specializing in computer science, computing, and programming languages.

Publications per year

2004–2025

30

Publications

30

Bridging the Gap between Interaction- and Process-Oriented Choreographies

Ivan Lanese, Claudio Guidi, Fabrizio Montesi et al. · 2008 · 94 citations

Computing, Computer Science, Information Systems +13

On the expressiveness and decidability of higher-order process calculi

Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi et al. · Information and Computation · 2010 · 75 citations · Full text

Computing, Computer Science, Mathematics +12

Disciplining Orchestration and Conversation in Service-Oriented Computing

Ivan Lanese, Francisco Martins, Vasco T. Vasconcelos et al. · 2007 · 74 citations · Full text

Computing, Computer Science, Computer Systems +14

A basic algebra of stateless connectors

Roberto Bruni, Ivan Lanese, Ugo Montanari · Theoretical Computer Science · 2006 · 72 citations

Computing, Computer Science, Computer Systems +4

An operational semantics for a calculus for wireless systems

Ivan Lanese, Davide Sangiorgi · Theoretical Computer Science · 2010 · 64 citations

Computing, Computer Engineering, Computer Science +11

1–5 of 30