Marco Carbone

	2012
21		Marco Carbone, Jean-Marc Petit: Web Services and Formal Methods - 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers Springer 2012
	2011
20		Alexandra Silva, Simon Bliudze, Roberto Bruni, Marco Carbone: Proceedings Fourth Interaction and Concurrency Experience ICE 2011
19		Fabrizio Montesi, Marco Carbone: Programming Services with Correlation Sets. ICSOC 2011: 125-141
	2010
18		Marco Carbone, Søren Debois: A Graphical Approach to Progress for Structured Communication in Web Services ICE 2010: 13-27
17		Marco Carbone, Davide Grohmann, Thomas T. Hildebrandt, Hugo A. López: A Logic for Choreographies PLACES 2010: 29-43
16		David Raymond Christiansen, Marco Carbone, Thomas T. Hildebrandt: Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways. WS-FM 2010: 146-160
	2009
15		Marco Carbone, Joshua D. Guttman: Choreographies with Secure Boxes and Compromised Principals ICE 2009: 1-15
14		Marco Carbone, Joshua D. Guttman: Execution Models for Choreographies and Cryptoprotocols PLACES 2009: 31-41
13		Marco Carbone, Nobuko Yoshida, Kohei Honda: Asynchronous Session Types: Exceptions and Multiparty Interactions. SFM 2009: 187-212
12		Marco Carbone: Session-based Choreography with Exceptions. Electr. Notes Theor. Comput. Sci. 241: 35-55 (2009)
11		Marco Carbone, Pawel Sobocinski, Frank D. Valencia: Foreword: Festschrift for Mogens Nielsen's 60th birthday. Theor. Comput. Sci. 410(41): 4001-4005 (2009)
	2008
10		Marco Carbone, Kohei Honda, Nobuko Yoshida: Structured Interactional Exceptions in Session Types. CONCUR 2008: 402-417
9		Kohei Honda, Nobuko Yoshida, Marco Carbone: Multiparty asynchronous session types. POPL 2008: 273-284
8		Marco Carbone, Kohei Honda, Nobuko Yoshida: Theoretical Aspects of Communication-Centred Programming. Electr. Notes Theor. Comput. Sci. 209: 125-133 (2008)
	2007
7		Marco Carbone, Kohei Honda, Nobuko Yoshida: Structured Communication-Centred Programming for Web Services. ESOP 2007: 2-17
6		Kohei Honda, Nobuko Yoshida, Marco Carbone: Web Services, Mobile Processes and Types. Bulletin of the EATCS 91: 160-185 (2007)
5		Marco Carbone, Kohei Honda, Nobuko Yoshida: A Calculus of Global Interaction based on Session Types. Electr. Notes Theor. Comput. Sci. 171(3): 127-151 (2007)
	2004
4		Marco Carbone, Mogens Nielsen, Vladimiro Sassone: A Calculus for Trust Management. FSTTCS 2004: 161-173
	2003
3		Marco Carbone, Mogens Nielsen, Vladimiro Sassone: A Formal Model for Trust in Dynamic Networks. SEFM 2003: 54-
2		Marco Carbone, Sergio Maffeis: On the Expressive Power of Polyadic Synchronisation in pi-calculus. Nord. J. Comput. 10(2): 70-98 (2003)
	2002
1		Marco Carbone, Sergio Maffeis: On the Expressive Power of Polyadic Synchronisation in pi-calculus. Electr. Notes Theor. Comput. Sci. 68(2): 15-32 (2002)

Coauthor Index

1	Simon Bliudze	[20]
2	Roberto Bruni	[20]
3	David Raymond Christiansen	[16]
4	Søren Debois	[18]
5	Davide Grohmann	[17]
6	Joshua D. Guttman	[14] [15]
7	Thomas T. Hildebrandt	[16] [17]
8	Kohei Honda	[5] [6] [7] [8] [9] [10] [13]
9	Hugo A. López	[17]
10	Sergio Maffeis	[1] [2]
11	Fabrizio Montesi	[19]
12	Mogens Nielsen	[3] [4]
13	Jean-Marc Petit	[21]
14	Vladimiro Sassone	[3] [4]
15	Alexandra Silva	[20]
16	Pawel Sobocinski	[11]
17	Frank D. Valencia (Frank Valencia)	[11]
18	Nobuko Yoshida	[5] [6] [7] [8] [9] [10] [13]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page