Ivan Lanese

Cited by

	All	Since 2019
Citations	3927	1897
h-index	35	22
i10-index	76	47

380

190

285

2005200620072008200920102011201220132014201520162017201820192020202120222023202421 44 73 144 105 144 123 160 154 138 192 228 224 215 264 347 334 300 363 281

Public access

View all

54 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Gianluigi ZavattaroProfessor in Computer Science, University of BolognaVerified email at cs.unibo.it
Claudio Antares MezzinaUniversità degli studi di UrbinoVerified email at uniurb.it
Emilio TuostoGran Sasso Science InstituteVerified email at gssi.it
Jean-Bernard StefaniSenior Scientist, INRIAVerified email at inria.fr
Fabrizio MontesiProfessor of Computer Science, University of Southern DenmarkVerified email at imada.sdu.dk
Roberto BruniUniversity of PisaVerified email at di.unipi.it
Davide SangiorgiProfessor of Computer Science, University of BolognaVerified email at cs.unibo.it
Saverio GiallorenzoAssistant Professor at Department of Computer Science and Engineering, Università di BolognaVerified email at unibo.it
Maurizio GabbrielliProfessor of Computer Science, University of BolognaVerified email at cs.unibo.it
Manuel MazzaraDean of the Faculty of Computer Science and EngineeringVerified email at innopolis.ru
Antonio RavaraAssociate Professor, Department of Informatics, New University of LisbonVerified email at fct.unl.pt
Hugo Torres VieiraEvidence SrlVerified email at evidence.eu.com
Vasco T. VasconcelosLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaVerified email at di.fc.ul.pt
Jacopo MauroUniversity of Southern DenmarkVerified email at imada.sdu.dk
Claudio GuidiitalianaSoftware s.r.l.Verified email at italianasoftware.com
Marco CarboneAssociate Professor, IT University of CopenhagenVerified email at itu.dk
German VidalProf. Computer Science, MIST, VRAIN, Universitat Politècnica de ValènciaVerified email at dsic.upv.es
Alan SchmittInria, IRISAVerified email at inria.fr
Mila Dalla PredaUniversity of Verona, ItalyVerified email at univr.it
Irek UlidowskiSchool of Computing and Mathematical Sciences, University of LeicesterVerified email at le.ac.uk

Ivan Lanese

University of Bologna

Verified email at unibo.it - Homepage

Theory Programming Software Engineering


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Foundations of session types and behavioural contracts H Hüttel, I Lanese, VT Vasconcelos, L Caires, M Carbone, PM Deniélou, ... ACM Computing Surveys (CSUR) 49 (1), 1-36, 2016	294	2016
Microservices: How to make your application scale N Dragoni, I Lanese, ST Larsen, M Mazzara, R Mustafin, L Safina Perspectives of System Informatics: 11th International Andrei P. Ershov …, 2018	277	2018
SCC: a service centered calculus M Boreale, R Bruni, L Caires, R De Nicola, I Lanese, M Loreti, F Martins, ... International Workshop on Web Services and Formal Methods, 38-57, 2006	210	2006
Bridging the gap between interaction-and process-oriented choreographies I Lanese, C Guidi, F Montesi, G Zavattaro 2008 Sixth IEEE International Conference on Software Engineering and Formal …, 2008	127	2008
Disciplining orchestration and conversation in service-oriented computing I Lanese, F Martins, VT Vasconcelos, A Ravara Fifth IEEE International Conference on Software Engineering and Formal …, 2007	113	2007
Reversing higher-order pi I Lanese, CA Mezzina, JB Stefani International Conference on Concurrency Theory, 478-493, 2010	106	2010
Controlling reversibility in higher-order pi I Lanese, CA Mezzina, A Schmitt, JB Stefani International Conference on Concurrency Theory, 297-311, 2011	99	2011
Causal-consistent reversible debugging E Giachino, I Lanese, CA Mezzina International Conference on Fundamental Approaches to Software Engineering …, 2014	89	2014
On the expressiveness and decidability of higher-order process calculi I Lanese, JA Pérez, D Sangiorgi, A Schmitt Information and Computation 209 (2), 198-226, 2011	89	2011
A basic algebra of stateless connectors R Bruni, I Lanese, U Montanari Theoretical Computer Science 366 (1-2), 98-120, 2006	89	2006
CauDEr: a causal-consistent reversible debugger for Erlang I Lanese, N Nishida, A Palacios, G Vidal International Symposium on Functional and Logic Programming, 247-263, 2018	83	2018
An operational semantics for a calculus for wireless systems I Lanese, D Sangiorgi Theoretical Computer Science 411 (19), 1928-1948, 2010	81	2010
Synchronised hyperedge replacement as a model for service oriented computing GL Ferrari, D Hirsch, I Lanese, U Montanari, E Tuosto Formal Methods for Components and Objects: 4th International Symposium, FMCO …, 2006	75	2006
Causal-consistent reversibility I Lanese, CA Mezzina, F Tiezzi Bulletin of EATCS 3 (114), 2014	74	2014
Reversibility in the higher-order π-calculus I Lanese, CA Mezzina, JB Stefani Theoretical Computer Science 625, 25-84, 2016	71	2016
A theory of reversibility for Erlang I Lanese, N Nishida, A Palacios, G Vidal Journal of Logical and Algebraic Methods in Programming 100, 71-97, 2018	68	2018
Microservices: a language-based approach C Guidi, I Lanese, M Mazzara, F Montesi Present and Ulterior Software Engineering, 217-225, 2017	68	2017
Dynamic choreographies: Theory and implementation M Dalla Preda, M Gabbrielli, S Giallorenzo, I Lanese, J Mauro Logical Methods in Computer Science 13, 2017	67	2017
Concurrent flexible reversibility I Lanese, M Lienhardt, CA Mezzina, A Schmitt, JB Stefani European Symposium on Programming, 370-390, 2013	64	2013
Multiparty sessions in SOC R Bruni, I Lanese, H Melgratti, E Tuosto Coordination Models and Languages: 10th International Conference …, 2008	64	2008

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors