Concepedia
Statistics
Publications
28
Citations
976
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 formal methods, engineering, and computer science.
Top concepts
EngineeringFormal MethodsComputer ScienceFormal VerificationProgram AnalysisAutomated ReasoningSystems EngineeringSoftware AnalysisFormal SpecificationSoftware Design
Publications per year
2004–2021
Bridging the Gap between Interaction- and Process-Oriented Choreographies
Ivan Lanese, Claudio Guidi, Fabrizio Montesi et al. · 2008 · 93 citations
Initial Interaction-oriented Choreography, Engineering, Interaction Model +20
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
Formal Specification, Engineering, Automated Reasoning +6
Disciplining Orchestration and Conversation in Service-Oriented Computing
Ivan Lanese, Francisco Martins, Vasco T. Vasconcelos et al. · 2007 · 74 citations
Formal Specification, Engineering, Program Analysis +15
A basic algebra of stateless connectors
Roberto Bruni, Ivan Lanese, Ugo Montanari · Theoretical Computer Science · 2006 · 71 citations
Quantum Science, Quantum Algebra, Basic Algebra +2
An operational semantics for a calculus for wireless systems
Ivan Lanese, Davide Sangiorgi · Theoretical Computer Science · 2010 · 64 citations
Formal Specification, Engineering, Operational Semantics +6
1–5 of 28