Roberto Bruni

Citado por

	Todos	Desde 2018
Citações	3881	698
Índice h	34	14
Índice i10	84	22

320

160

240

1998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202321 60 60 73 127 39 103 138 144 210 301 216 279 228 214 199 182 248 117 126 120 130 119 88 84 151

Acesso público

Ver tudo

27 artigos

4 artigos

disponível

não disponível

Com base em autorizações de financiamento

Coautores

Hernán MelgrattiUniversidad de Buenos AiresEmail confirmado em dc.uba.ar
Alberto Lluch LafuenteTechnical University of DenmarkEmail confirmado em dtu.dk
Fabio GadducciProfessore di Informatica, Università di PisaEmail confirmado em unipi.it
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignEmail confirmado em illinois.edu
Andrea CorradiniProfessor of Computer Science, University of PisaEmail confirmado em di.unipi.it
Ivan LaneseUniversity of BolognaEmail confirmado em unibo.it
Vladimiro SassoneUniversity of SouthamptonEmail confirmado em ecs.soton.ac.uk
Emilio TuostoGran Sasso Science InstituteEmail confirmado em gssi.it
Prof. Michele LoretiSchool of Science and Technology, University of CamerinoEmail confirmado em unicam.it
Rocco De NicolaProfessor of Computer Science, IMT LuccaEmail confirmado em imtlucca.it
Andrea VandinSant'Anna School for Advanced Studies, Italy - DTU Technical University of DenmarkEmail confirmado em santannapisa.it
Paolo BaldanProfessor of Computer Science, University of PadovaEmail confirmado em math.unipd.it
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaEmail confirmado em cs.unibo.it
Andrea BraccialiSICSA Lecturer, Stirling UniversityEmail confirmado em cs.stir.ac.uk
Pawel SobocinskiTallinn University of TechnologyEmail confirmado em cs.ioc.ee
Luis CairesProfessor of Computer Science, Instituto Superior Técnico, Universidade de LisboaEmail confirmado em tecnico.ulisboa.pt
Vasco T. VasconcelosLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaEmail confirmado em di.fc.ul.pt
Martin WirsingProfessor of Computer Science, LMU MunichEmail confirmado em lmu.de
José Luiz FiadeiroProfessor of Computer Science, University of DundeeEmail confirmado em dundee.ac.uk
Matteo SammartinoRoyal Holloway University of London, University College LondonEmail confirmado em rhul.ac.uk

Seguir

Roberto Bruni

University of Pisa

Email confirmado em di.unipi.it - Página inicial


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
Theoretical foundations for compensations in flow composition languages R Bruni, H Melgratti, U Montanari ACM SIGPLAN Notices 40 (1), 209-220, 2005	268	2005
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
Semantic foundations for generalized rewrite theories R Bruni, J Meseguer Theoretical Computer Science 360 (1-3), 386-414, 2006	203	2006
Sessions and pipelines for structured service programming M Boreale, R Bruni, R De Nicola, M Loreti International Conference on Formal Methods for Open Object-Based Distributed …, 2008	154	2008
Generalized rewrite theories R Bruni, J Meseguer International Colloquium on Automata, Languages, and Programming, 252-266, 2003	113	2003
A conceptual framework for adaptation R Bruni, A Corradini, F Gadducci, A Lluch Lafuente, A Vandin Fundamental Approaches to Software Engineering: 15th International …, 2012	112	2012
A basic algebra of stateless connectors R Bruni, I Lanese, U Montanari Theoretical Computer Science 366 (1-2), 98-120, 2006	88	2006
Comparing two approaches to compensable flow composition R Bruni, M Butler, C Ferreira, T Hoare, H Melgratti, U Montanari CONCUR 2005–Concurrency Theory: 16th International Conference, CONCUR 2005 …, 2005	84	2005
Zero-safe nets: Comparing the collective and individual token approaches R Bruni, U Montanari Information and computation 156 (1-2), 46-89, 2000	82	2000
Orchestrating Transactions in Join Calculus^* R Bruni, C Laneve, U Montanari CONCUR 2002—Concurrency Theory: 13th International Conference Brno, Czech …, 2002	65	2002
Tile logic for synchronized rewriting of concurrent systems R Bruni Ph. D. thesis, Computer Science Department, University of Pisa, 1999	65	1999
Multiparty sessions in SOC R Bruni, I Lanese, H Melgratti, E Tuosto Coordination Models and Languages: 10th International Conference …, 2008	64	2008
Nested commits for mobile calculi: extending Join R Bruni, H Melgratti, U Montanari Exploring New Frontiers of Theoretical Informatics: IFIP 18th World Computer …, 2004	62	2004
Style-based architectural reconfigurations R Bruni, A Lluch Lafuente, U Montanari, E Tuosto Università di Pisa, 2007	61	2007
Zero-safe nets, or transition synchronization made simple R Bruni, U Montanari Electronic Notes in Theoretical Computer Science 7, 55-74, 1997	60	1997
A connector algebra for P/T nets interactions R Bruni, H Melgratti, U Montanari International Conference on Concurrency Theory, 312-326, 2011	56	2011
Influence of host pheromone on egg parasitism by scelionid wasps: comparison of phoretic and nonphoretic parasitoids R Bruni, J Sant'Ana, JR Aldrich, F Bin Journal of Insect Behavior 13, 165-173, 2000	56	2000
Symmetric monoidal and cartesian double categories as a semantic framework for tile logic R Bruni, J Meseguer, U Montanari Mathematical Structures in Computer Science 12 (1), 53-90, 2002	55	2002
Process and term tile logic R Bruni, J Meseguer, U Montanari Università di Pisa, 1998	52	1998
Modelling dynamic software architectures using typed graph grammars R Bruni, A Bucchiarone, S Gnesi, H Melgratti Electronic Notes in Theoretical Computer Science 213 (1), 39-53, 2008	49	2008

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