Ivan Lanese

Citado por

	Todos	Desde 2018
Citações	3645	1825
Índice h	34	22
Índice i10	72	43

360

180

270

200520062007200820092010201120122013201420152016201720182019202020212022202321 44 73 143 100 142 129 153 151 139 193 226 245 220 259 351 327 320 333

Acesso público

Ver tudo

47 artigos

2 artigos

disponível

não disponível

Com base em autorizações de financiamento

Coautores

Gianluigi ZavattaroProfessor in Computer Science, University of BolognaEmail confirmado em cs.unibo.it
Claudio Antares MezzinaUniversità degli studi di UrbinoEmail confirmado em uniurb.it
Emilio TuostoGran Sasso Science InstituteEmail confirmado em gssi.it
Fabrizio MontesiProfessor of Computer Science, University of Southern DenmarkEmail confirmado em imada.sdu.dk
Roberto BruniUniversity of PisaEmail confirmado em di.unipi.it
Davide SangiorgiProfessor of Computer Science, University of BolognaEmail confirmado em cs.unibo.it
Jean-Bernard StefaniSenior Scientist, INRIAEmail confirmado em inria.fr
Saverio GiallorenzoAssistant Professor at Department of Computer Science and Engineering, Università di BolognaEmail confirmado em unibo.it
Maurizio GabbrielliProfessor of Computer Science, University of BolognaEmail confirmado em cs.unibo.it
Antonio RavaraAssociate Professor, Department of Informatics, New University of LisbonEmail confirmado em fct.unl.pt
Manuel MazzaraDean of the Faculty of Computer Science and EngineeringEmail confirmado em innopolis.ru
Vasco T. VasconcelosLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaEmail confirmado em di.fc.ul.pt
Hugo Torres VieiraEvidence SrlEmail confirmado em evidence.eu.com
Jacopo MauroUniversity of Southern DenmarkEmail confirmado em imada.sdu.dk
Claudio GuidiitalianaSoftware s.r.l.Email confirmado em italianasoftware.com
Marco CarboneAssociate Professor, IT University of CopenhagenEmail confirmado em itu.dk
Alan SchmittInria, IRISAEmail confirmado em inria.fr
Mila Dalla PredaUniversity of Verona, ItalyEmail confirmado em univr.it
German VidalProf. Computer Science, MIST, VRAIN, Universitat Politècnica de ValènciaEmail confirmado em dsic.upv.es
Irek UlidowskiInformatics, University of LeicesterEmail confirmado em le.ac.uk

Seguir

Ivan Lanese

University of Bologna

Email confirmado em unibo.it - Página inicial

Theory Programming Software Engineering


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
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	270	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	240	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	204	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	125	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 International Conference on Concurrency Theory, 478-493, 2010	108	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 International Conference on Concurrency Theory, 297-311, 2011	91	2011
A basic algebra of stateless connectors R Bruni, I Lanese, U Montanari Theoretical Computer Science 366 (1-2), 98-120, 2006	88	2006
Causal-consistent reversible debugging E Giachino, I Lanese, CA Mezzina International Conference on Fundamental Approaches to Software Engineering …, 2014	80	2014
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	73	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	72	2018
Causal-consistent reversibility I Lanese, CA Mezzina, F Tiezzi Bulletin of EATCS 3 (114), 2014	70	2014
Reversibility in the higher-order π-calculus I Lanese, CA Mezzina, JB Stefani Theoretical Computer Science 625, 25-84, 2016	67	2016
Microservices: a language-based approach C Guidi, I Lanese, M Mazzara, F Montesi Present and Ulterior Software Engineering, 217-225, 2017	66	2017
Multiparty sessions in SOC R Bruni, I Lanese, H Melgratti, E Tuosto Coordination Models and Languages: 10th International Conference …, 2008	64	2008
Concurrent flexible reversibility I Lanese, M Lienhardt, CA Mezzina, A Schmitt, JB Stefani European Symposium on Programming, 370-390, 2013	61	2013
A framework for rule-based dynamic adaptation I Lanese, A Bucchiarone, F Montesi International Symposium on Trustworthy Global Computing, 284-300, 2010	59	2010
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	58	2018

O sistema não pode efectuar a operação agora. Tente mais tarde.

Artigos 1–20

Citações por ano

Citações duplicadas

Citações unidas

Adicionar coautoresCoautores

Seguir

Citado por

Coautores