Roberto Bruni

Citeret af

	Alle	Siden 2020
Henvisninger	4093	624
h-index	35	12
i10-indeks	90	23

320

160

240

199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202520 59 58 75 129 40 104 138 148 211 307 224 282 223 217 198 181 244 115 126 123 127 122 89 87 145 151 27

Offentlig adgang

Se alle

34 artikler

5 artikler

tilgængelige

ikke tilgængelige

Baseret på krav i forbindelse med finansiering

Medforfattere

Hernán MelgrattiUniversidad de Buenos AiresVerificeret mail på dc.uba.ar
Alberto Lluch LafuenteTechnical University of DenmarkVerificeret mail på dtu.dk
Fabio GadducciProfessore di Informatica, Università di PisaVerificeret mail på unipi.it
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerificeret mail på illinois.edu
Andrea CorradiniProfessor of Computer Science, University of PisaVerificeret mail på di.unipi.it
Ivan LaneseUniversity of BolognaVerificeret mail på unibo.it
Vladimiro SassoneUniversity of SouthamptonVerificeret mail på ecs.soton.ac.uk
Emilio TuostoGran Sasso Science InstituteVerificeret mail på gssi.it
Prof. Michele LoretiSchool of Science and Technology, University of CamerinoVerificeret mail på unicam.it
Rocco De NicolaProfessor of Computer Science, IMT LuccaVerificeret mail på imtlucca.it
Paolo BaldanProfessor of Computer Science, University of PadovaVerificeret mail på math.unipd.it
Andrea VandinSant'Anna School for Advanced Studies, Italy - DTU Technical University of DenmarkVerificeret mail på santannapisa.it
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaVerificeret mail på cs.unibo.it
Andrea BraccialiAssociate Professor, Computer Science, University of Turin, ITVerificeret mail på unito.it
Pawel SobocinskiTallinn University of TechnologyVerificeret mail på cs.ioc.ee
Luis CairesProfessor of Computer Science, Instituto Superior Técnico, Universidade de LisboaVerificeret mail på tecnico.ulisboa.pt
Vasco T. VasconcelosLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaVerificeret mail på di.fc.ul.pt
Martin WirsingProfessor of Computer Science, LMU MunichVerificeret mail på lmu.de
José Luiz FiadeiroDurham Johnston Comprehensive SchoolVerificeret mail på durhamjohnston.org.uk
Matteo SammartinoRoyal Holloway University of London, University College LondonVerificeret mail på rhul.ac.uk

Følg

Roberto Bruni

University of Pisa

Verificeret mail på di.unipi.it - Startside


Titel Sortér efter henvisninger Sortér efter årstal Sortér efter titel	Citeret af Citeret af	År
Theoretical foundations for compensations in flow composition languages R Bruni, H Melgratti, U Montanari ACM SIGPLAN Notices 40 (1), 209-220, 2005	275	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	210	2006
Semantic foundations for generalized rewrite theories R Bruni, J Meseguer Theoretical Computer Science 360 (1-3), 386-414, 2006	210	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	157	2008
Generalized rewrite theories R Bruni, J Meseguer International Colloquium on Automata, Languages, and Programming, 252-266, 2003	116	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	111	2012
A basic algebra of stateless connectors R Bruni, I Lanese, U Montanari Theoretical Computer Science 366 (1-2), 98-120, 2006	89	2006
Zero-safe nets: Comparing the collective and individual token approaches R Bruni, U Montanari Information and computation 156 (1-2), 46-89, 2000	88	2000
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	87	2005
Orchestrating Transactions in Join Calculus^* R Bruni, C Laneve, U Montanari CONCUR 2002—Concurrency Theory: 13th International Conference Brno, Czech …, 2002	66	2002
Style-based architectural reconfigurations R Bruni, A Lluch-Lafuente, U Montanari, E Tuosto Bulletin of the European association for theoretical computer science 94 …, 2008	64	2008
Multiparty sessions in SOC R Bruni, I Lanese, H Melgratti, E Tuosto Coordination Models and Languages: 10th International Conference …, 2008	64	2008
Tile logic for synchronized rewriting of concurrent systems R Bruni PhD thesis, Computer Science Department, University of Pisa, 1999	64	1999
Nested commits for mobile calculi: extending Join R Bruni, H Melgratti, U Montanari Exploring New Frontiers of Theoretical Informatics: IFIP 18th World Computer …, 2004	63	2004
Zero-safe nets, or transition synchronization made simple R Bruni, U Montanari Electronic Notes in Theoretical Computer Science 7, 55-74, 1997	61	1997
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	58	2000
A connector algebra for P/T nets interactions R Bruni, H Melgratti, U Montanari International Conference on Concurrency Theory, 312-326, 2011	56*	2011
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	56	2002
Process and term tile logic R Bruni, J Meseguer, U Montanari Università di Pisa, 1998	51	1998
Normal forms for algebras of connections R Bruni, F Gadducci, U Montanari Theoretical Computer Science 286 (2), 247-292, 2002	49	2002

Systemet kan ikke foretage handlingen nu. Prøv igen senere.

Artikler 1–20

Henvisninger pr. år

Dublerede henvisninger

Flettede henvisninger

Tilføj medforfattereMedforfattere

Følg

Citeret af

Medforfattere