Ivan Lanese

Cited by

	All	Since 2017
Citations	3100	1503
h-index	33	20
i10-index	62	37

360

180

270

20052006200720082009201020112012201320142015201620172018201920202021202229 38 73 142 103 139 135 154 140 138 205 255 228 211 269 343 332 109

Public access

View all

41 articles

1 article

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
Roberto BruniUniversity of PisaVerified email at di.unipi.it
Fabrizio MontesiProfessor of Computer Science, University of Southern DenmarkVerified email at imada.sdu.dk
Davide SangiorgiProfessor of Computer Science, University of BolognaVerified email at cs.unibo.it
Antonio RavaraAssociate Professor, Department of Informatics, New University of LisbonVerified email at fct.unl.pt
Emilio TuostoGran Sasso Science InstituteVerified email at gssi.it
Saverio GiallorenzoAssistant Professor at Department of Computer Science and Engineering, Università di BolognaVerified email at unibo.it
Vasco T. VasconcelosLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaVerified email at di.fc.ul.pt
Jean-Bernard StefaniSenior Scientist, INRIAVerified email at inria.fr
Maurizio GabbrielliProfessor of Computer Science, University of BolognaVerified email at cs.unibo.it
Manuel MazzaraDirector of Institute of Software Development and EngineeringVerified email at innopolis.ru
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
Alan SchmittInria, IRISAVerified email at inria.fr
Mila Dalla PredaUniversity of Verona, ItalyVerified email at univr.it
Francisco MartinsAssociate Professor, Faculty of Sciences and Technology, University of the Azores and LASIGEVerified email at uac.pt
Luis CairesProfessor of Computer Science, Universidade Nova de LisboaVerified email at fct.unl.pt
German VidalProf. Computer Science, MIST, VRAIN, Universitat Politècnica de ValènciaVerified email at dsic.upv.es

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
SCC: A Service Centered Calculus M Boreale, R Bruni, L Caires, RD Nicola, I Lanese, M Loreti, F Martins, ... International Workshop on Web Services and Formal Methods, 38-57, 2006	208	2006
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	198	2016
Microservices: How to make your application scale N Dragoni, I Lanese, ST Larsen, M Mazzara, R Mustafin, L Safina International Andrei Ershov Memorial Conference on Perspectives of System …, 2017	175	2017
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	119	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	116	2007
Reversing higher-order pi I Lanese, CA Mezzina, JB Stefani International Conference on Concurrency Theory, 478-493, 2010	98	2010
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	86	2011
A basic algebra of stateless connectors R Bruni, I Lanese, U Montanari Theoretical Computer Science 366 (1-2), 98-120, 2006	85	2006
Controlling reversibility in higher-order pi I Lanese, CA Mezzina, A Schmitt, JB Stefani International Conference on Concurrency Theory, 297-311, 2011	79	2011
An operational semantics for a calculus for wireless systems I Lanese, D Sangiorgi Theoretical Computer Science 411 (19), 1928-1948, 2010	77	2010
Synchronised hyperedge replacement as a model for service oriented computing GL Ferrari, D Hirsch, I Lanese, U Montanari, E Tuosto International Symposium on Formal Methods for Components and Objects, 22-43, 2005	73	2005
Causal-consistent reversibility I Lanese, CA Mezzina, F Tiezzi Bulletin of EATCS 3 (114), 2014	65	2014
Multiparty sessions in SOC R Bruni, I Lanese, H Melgratti, E Tuosto International Conference on Coordination Languages and Models, 67-82, 2008	65	2008
Causal-consistent reversible debugging E Giachino, I Lanese, CA Mezzina International Conference on Fundamental Approaches to Software Engineering …, 2014	60	2014
Towards a unifying theory for web services composition M Mazzara, I Lanese International Workshop on Web Services and Formal Methods, 257-272, 2006	59	2006
Microservices: a language-based approach C Guidi, I Lanese, M Mazzara, F Montesi Present and Ulterior Software Engineering, 217-225, 2017	57	2017
A framework for rule-based dynamic adaptation I Lanese, A Bucchiarone, F Montesi International Symposium on Trustworthy Global Computing, 284-300, 2010	56	2010
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	52	2018
Concurrent flexible reversibility I Lanese, M Lienhardt, CA Mezzina, A Schmitt, JB Stefani European Symposium on Programming, 370-390, 2013	51	2013
Reversibility in the higher-order π-calculus I Lanese, CA Mezzina, JB Stefani Theoretical Computer Science 625, 25-84, 2016	49	2016

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 this author

Cited by

Co-authors