Ivan Lanese

Cited by

	All	Since 2018
Citations	3424	1582
h-index	34	21
i10-index	68	38

380

190

285

200520062007200820092010201120122013201420152016201720182019202020212022202322 39 76 134 103 142 123 159 151 152 213 230 244 223 273 361 322 333 64

Public access

View all

44 articles

0 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
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
Jean-Bernard StefaniSenior Scientist, INRIAVerified email at inria.fr
Saverio GiallorenzoAssistant Professor at Department of Computer Science and Engineering, Università di BolognaVerified email at unibo.it
Antonio RavaraAssociate Professor, Department of Informatics, New University of LisbonVerified email at fct.unl.pt
Vasco T. VasconcelosLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaVerified email at di.fc.ul.pt
Manuel MazzaraDeputy Dean of the Faculty of Computer Science and EngineeringVerified email at innopolis.ru
Maurizio GabbrielliProfessor of Computer Science, University of BolognaVerified email at cs.unibo.it
Hugo Torres VieiraEvidence SrlVerified email at evidence.eu.com
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
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
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	240	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	209	2018
SCC: A Service Centered Calculus M Boreale, R Bruni, L Caires, R De Nicola, I Lanese, M Loreti, F Martins, ... Web Services and Formal Methods: Third International Workshop, WS-FM 2006 …, 2006	208	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	124	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	114	2007
Reversing higher-order pi I Lanese, CA Mezzina, JB Stefani CONCUR 2010-Concurrency Theory: 21th International Conference, CONCUR 2010 …, 2010	105	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	92	2011
Controlling reversibility in higher-order pi I Lanese, CA Mezzina, A Schmitt, JB Stefani CONCUR 2011–Concurrency Theory: 22nd International Conference, CONCUR 2011 …, 2011	88	2011
A basic algebra of stateless connectors R Bruni, I Lanese, U Montanari Theoretical Computer Science 366 (1-2), 98-120, 2006	85	2006
An operational semantics for a calculus for wireless systems I Lanese, D Sangiorgi Theoretical Computer Science 411 (19), 1928-1948, 2010	78	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	74	2006
Causal-consistent reversibility I Lanese, CA Mezzina, F Tiezzi Bulletin of EATCS 3 (114), 2014	71	2014
Causal-consistent reversible debugging E Giachino, I Lanese, CA Mezzina Fundamental Approaches to Software Engineering: 17th International …, 2014	70	2014
CauDEr: a causal-consistent reversible debugger for Erlang I Lanese, N Nishida, A Palacios, G Vidal Functional and Logic Programming: 14th International Symposium, FLOPS 2018 …, 2018	66	2018
Microservices: a language-based approach C Guidi, I Lanese, M Mazzara, F Montesi Present and Ulterior Software Engineering, 217-225, 2017	64	2017
Multiparty sessions in SOC R Bruni, I Lanese, H Melgratti, E Tuosto Coordination Models and Languages: 10th International Conference …, 2008	64	2008
Reversibility in the higher-order π-calculus I Lanese, CA Mezzina, JB Stefani Theoretical Computer Science 625, 25-84, 2016	60	2016
Towards a unifying theory for web services composition M Mazzara, I Lanese Web Services and Formal Methods: Third International Workshop, WS-FM 2006 …, 2006	60	2006
A framework for rule-based dynamic adaptation I Lanese, A Bucchiarone, F Montesi Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich …, 2010	57	2010
Concurrent flexible reversibility I Lanese, M Lienhardt, CA Mezzina, A Schmitt, JB Stefani Programming Languages and Systems: 22nd European Symposium on Programming …, 2013	56	2013

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