Ivan Lanese
Scholar

Ivan Lanese

Google Scholar ID: TFLSep0AAAAJ
University of Bologna
TheoryProgrammingSoftware Engineering
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,929
 
H-index
23
 
i10-index
49
 
Publications
20
 
Co-authors
103
list available
Contact
No contact links provided.
Publications
7 items
On the Encodability of Reversible Process Calculi
2026
Cited
0
A Reversible Semantics for Janus
2026
Cited
0
Adaptable TeaStore: A Choreographic Approach
2025
Cited
0
Decidable Reversible Equivalences for Finite Petri Nets
2025
Cited
0
Adaptable TeaStore
arXiv.org · 2024
Cited
0
A Behavioral Theory for Distributed Systems with Weak Recovery
arXiv.org · 2024
Cited
0
AI Techniques in the Microservices Life-Cycle: A Systematic Mapping Study
2023
Cited
0
Resume (English only)
Co-authors
103 total
Gianluigi Zavattaro
Gianluigi Zavattaro
Professor in Computer Science, University of Bologna
Claudio Antares Mezzina
Claudio Antares Mezzina
Università degli studi di Urbino
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Davide Sangiorgi
Davide Sangiorgi
Professor of Computer Science, University of Bologna
Roberto Bruni
Roberto Bruni
University of Pisa
Fabrizio Montesi
Fabrizio Montesi
Professor of Computer Science, University of Southern Denmark
Saverio Giallorenzo
Saverio Giallorenzo
Assistant Professor at Department of Computer Science and Engineering, Università di Bologna