Ivan Lanese

Citado por

	Total	Desde 2020
Citas	4054	1753
Índice h	36	22
Índice i10	78	45

360

180

270

20052006200720082009201020112012201320142015201620172018201920202021202220232024202525 41 73 143 107 142 124 159 154 138 192 234 218 217 266 356 338 304 349 352 47

Acceso público

Ver todo

56 artículos

1 artículo

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Gianluigi ZavattaroProfessor in Computer Science, University of BolognaDirección de correo verificada de cs.unibo.it
Claudio Antares MezzinaUniversità degli studi di UrbinoDirección de correo verificada de uniurb.it
Emilio TuostoGran Sasso Science InstituteDirección de correo verificada de gssi.it
Jean-Bernard StefaniSenior Scientist, INRIADirección de correo verificada de inria.fr
Fabrizio MontesiProfessor of Computer Science, University of Southern DenmarkDirección de correo verificada de imada.sdu.dk
Roberto BruniUniversity of PisaDirección de correo verificada de di.unipi.it
Davide SangiorgiProfessor of Computer Science, University of BolognaDirección de correo verificada de cs.unibo.it
Saverio GiallorenzoAssistant Professor at Department of Computer Science and Engineering, Università di BolognaDirección de correo verificada de unibo.it
Maurizio GabbrielliProfessor of Computer Science, University of BolognaDirección de correo verificada de cs.unibo.it
Manuel MazzaraDean of the Faculty of Computer Science and EngineeringDirección de correo verificada de innopolis.ru
Antonio RavaraAssociate Professor, Department of Informatics, New University of LisbonDirección de correo verificada de fct.unl.pt
Hugo Torres VieiraEvidence SrlDirección de correo verificada de evidence.eu.com
Vasco T. VasconcelosLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaDirección de correo verificada de di.fc.ul.pt
Jacopo MauroUniversity of Southern DenmarkDirección de correo verificada de imada.sdu.dk
Claudio GuidiitalianaSoftware s.r.l.Dirección de correo verificada de italianasoftware.com
Marco CarboneAssociate Professor, IT University of CopenhagenDirección de correo verificada de itu.dk
German VidalProf. Computer Science, MIST, VRAIN, Universitat Politècnica de ValènciaDirección de correo verificada de dsic.upv.es
Alan SchmittInria, IRISADirección de correo verificada de inria.fr
Mila Dalla PredaUniversity of Verona, ItalyDirección de correo verificada de univr.it
Irek UlidowskiSchool of Computing and Mathematical Sciences, University of LeicesterDirección de correo verificada de le.ac.uk

Seguir

Ivan Lanese

University of Bologna

Dirección de correo verificada de unibo.it - Página principal

Theory Programming Software Engineering


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	306	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	288	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	128	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	109	2010
Controlling reversibility in higher-order pi I Lanese, CA Mezzina, A Schmitt, JB Stefani International Conference on Concurrency Theory, 297-311, 2011	101	2011
Causal-consistent reversible debugging E Giachino, I Lanese, CA Mezzina International Conference on Fundamental Approaches to Software Engineering …, 2014	96	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	90	2011
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	89	2018
A basic algebra of stateless connectors R Bruni, I Lanese, U Montanari Theoretical Computer Science 366 (1-2), 98-120, 2006	89	2006
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 International Symposium on Formal Methods for Components and Objects, 22-43, 2005	76	2005
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	70	2018
Dynamic choreographies: Theory and implementation M Dalla Preda, M Gabbrielli, S Giallorenzo, I Lanese, J Mauro Logical Methods in Computer Science 13, 2017	69	2017
Microservices: a language-based approach C Guidi, I Lanese, M Mazzara, F Montesi Present and Ulterior Software Engineering, 217-225, 2017	68	2017
Concurrent flexible reversibility I Lanese, M Lienhardt, CA Mezzina, A Schmitt, JB Stefani European Symposium on Programming, 370-390, 2013	68	2013
Multiparty sessions in SOC R Bruni, I Lanese, H Melgratti, E Tuosto Coordination Models and Languages: 10th International Conference …, 2008	64	2008

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores