Roberto Bruni
Roberto Bruni
Verified email at di.unipi.it - Homepage
TitleCited byYear
Large and ongoing outbreak of haemolytic uraemic syndrome, Germany, May 2011
C Frank, M Faber, M Askar, H Bernard, A Fruth, A Gilsdorf, M HŲhle, ...
Robert Koch-Institut, Infektionsepidemiologie, 2011
382*2011
Theoretical foundations for compensations in flow composition languages
R Bruni, H Melgratti, U Montanari
ACM SIGPLAN Notices 40 (1), 209-220, 2005
2542005
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
1972006
Semantic foundations for generalized rewrite theories
R Bruni, J Meseguer
Theoretical Computer Science 360 (1-3), 386-414, 2006
1782006
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
1542008
Reviews of environmental contamination and toxicology
DM Whitacre
Springer, 2009
1092009
A conceptual framework for adaptation
R Bruni, A Corradini, F Gadducci, AL Lafuente, A Vandin
International Conference on Fundamental Approaches to Software Engineering†…, 2012
972012
Generalized rewrite theories
R Bruni, J Meseguer
International Colloquium on Automata, Languages, and Programming, 252-266, 2003
962003
Comparing two approaches to compensable flow composition
R Bruni, M Butler, C Ferreira, T Hoare, H Melgratti, U Montanari
International Conference on Concurrency Theory, 383-397, 2005
782005
A basic algebra of stateless connectors
R Bruni, I Lanese, U Montanari
Theoretical Computer Science 366 (1-2), 98-120, 2006
772006
Zero-safe nets: Comparing the collective and individual token approaches
R Bruni, U Montanari
Information and computation 156 (1-2), 46-89, 2000
732000
Multiparty sessions in SOC
R Bruni, I Lanese, H Melgratti, E Tuosto
International Conference on Coordination Languages and Models, 67-82, 2008
632008
Nested commits for mobile calculi: extending Join
R Bruni, H Melgratti, U Montanari
Exploring New Frontiers of Theoretical Informatics, 563-576, 2004
622004
Tile logic for synchronized rewriting of concurrent systems
R Bruni
Ph. D. thesis, Computer Science Department, University of Pisa, 1999
611999
A connector algebra for P/T nets interactions
R Bruni, H Melgratti, U Montanari
International Conference on Concurrency Theory, 312-326, 2011
592011
Style-based architectural reconfigurations
R Bruni, A Lluch Lafuente, U Montanari, E Tuosto
Universitŗ di Pisa, 2007
572007
Orchestrating Transactions in Join Calculus*
R Bruni, C Laneve, U Montanari
International Conference on Concurrency Theory, 321-337, 2002
572002
Zero-safe nets, or transition synchronization made simple
R Bruni, U Montanari
Electronic Notes in Theoretical Computer Science 7, 55-74, 1997
551997
On the sensitivity of urban hydrodynamic modelling to rainfall spatial and temporal resolution
G Bruni, R Reinoso, NC Van De Giesen, F Clemens, JAE Ten Veldhuis
Hydrology and Earth System Sciences 19 (2), 691-709, 2015
502015
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 (2), 165-173, 2000
472000
The system can't perform the operation now. Try again later.
Articles 1–20