Ivan Lanese - Google Scholar

Cited by

	All	Since 2015
Citations	2549	1423
h-index	30	23
i10-index	55	38

280

140

210

200420052006200720082009201020112012201320142015201620172018201920207 36 38 70 140 101 135 139 158 143 138 209 250 229 216 266 243

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
Davide SangiorgiProfessor of Computer Science, University of BolognaVerified email at cs.unibo.it
Fabrizio MontesiProfessor of Computer Science, University of Southern DenmarkVerified email at imada.sdu.dk
Antonio RavaraAssociate Professor, Department of Informatics, New University of LisbonVerified email at fct.unl.pt
Vasco T. VasconcelosProfessor of Computer Science, LASIGE, Faculdade de Ciências, Universidade de LisboaVerified email at di.fc.ul.pt
Maurizio GabbrielliProfessor 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
Jacopo MauroUniversity of Southern DenmarkVerified email at imada.sdu.dk
Hugo Torres VieiraUniversidade da Beira InteriorVerified email at ubi.pt
Emilio TuostoGran Sasso Science InstituteVerified email at gssi.it
Jean-Bernard StefaniSenior Scientist, INRIAVerified email at inria.fr
Alan SchmittInria, IRISAVerified email at inria.fr
Marco CarboneAssociate Professor, IT University of CopenhagenVerified email at itu.dk
Mila Dalla PredaUniversity of Verona, ItalyVerified email at univr.it
Claudio GuidiitalianaSoftware s.r.l.Verified email at italianasoftware.com
Francisco MartinsAssistant Professor, LASIGE, Faculdade de Ciências, Universidade de Lisboa, PortugalVerified email at di.fc.ul.pt
Manuel MazzaraDirector of Institute of Software Development and EngineeringVerified email at innopolis.ru
Luis CairesProfessor of Computer Science, Universidade Nova de LisboaVerified email at fct.unl.pt

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, R De Nicola, I Lanese, M Loreti, F Martins, ... International Workshop on Web Services and Formal Methods, 38-57, 2006	203	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	138	2016
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	112	2007
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	111	2008
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	103	2017
Reversing higher-order pi I Lanese, CA Mezzina, JB Stefani International Conference on Concurrency Theory, 478-493, 2010	86	2010
A basic algebra of stateless connectors R Bruni, I Lanese, U Montanari Theoretical Computer Science 366 (1-2), 98-120, 2006	79	2006
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	75	2011
An operational semantics for a calculus for wireless systems I Lanese, D Sangiorgi Theoretical Computer Science 411 (19), 1928-1948, 2010	74	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	72	2005
Controlling reversibility in higher-order pi I Lanese, CA Mezzina, A Schmitt, JB Stefani International Conference on Concurrency Theory, 297-311, 2011	68	2011
Multiparty sessions in SOC R Bruni, I Lanese, H Melgratti, E Tuosto International Conference on Coordination Languages and Models, 67-82, 2008	64	2008
Towards a unifying theory for web services composition M Mazzara, I Lanese International Workshop on Web Services and Formal Methods, 257-272, 2006	58	2006
Causal-consistent reversibility I Lanese, CA Mezzina, F Tiezzi Bulletin of EATCS 3 (114), 2014	57	2014
Causal-consistent reversible debugging E Giachino, I Lanese, CA Mezzina International Conference on Fundamental Approaches to Software Engineering …, 2014	50	2014
A framework for rule-based dynamic adaptation I Lanese, A Bucchiarone, F Montesi International Symposium on Trustworthy Global Computing, 284-300, 2010	49	2010
AIOCJ: A choreographic framework for safe adaptive distributed applications M Dalla Preda, S Giallorenzo, I Lanese, J Mauro, M Gabbrielli International Conference on Software Language Engineering, 161-170, 2014	44	2014
On the expressive power of primitives for compensation handling I Lanese, C Vaz, C Ferreira European Symposium on Programming, 366-386, 2010	44	2010
On the interplay between fault handling and request-response service invocations C Guidi, I Lanese, F Montesi, G Zavattaro 2008 8th International Conference on Application of Concurrency to System …, 2008	44	2008
Internet of things: a process calculus approach I Lanese, L Bedogni, M Di Felice Proceedings of the 28th Annual ACM Symposium on Applied Computing, 1339-1346, 2013	43	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

Upload PDF

Follow this author

Cited by

Co-authors