Michele Boreale

	2012
65		Filippo Bonchi, Marcello M. Bonsangue, Michele Boreale, Jan J. M. M. Rutten, Alexandra Silva: A coalgebraic perspective on linear weighted automata. Inf. Comput. 211: 77-105 (2012)
64		Lucia Acciai, Michele Boreale: Deciding safety properties in infinite-state pi-calculus via behavioural types. Inf. Comput. 212: 92-117 (2012)
	2011
63		Michele Boreale, Francesca Pampaloni, Michela Paolini: Quantitative Information Flow, with a View. ESORICS 2011: 588-606
62		Lucia Acciai, Michele Boreale, Rocco De Nicola: Linear-Time and May-Testing in a Probabilistic Reactive Setting. FMOODS/FORTE 2011: 29-43
61		Michele Boreale, Francesca Pampaloni, Michela Paolini: Asymptotic Information Leakage under One-Try Attacks. FOSSACS 2011: 396-410
60		Lucia Acciai, Chiara Bodei, Michele Boreale, Roberto Bruni, Hugo Torres Vieira: Static Analysis Techniques for Session-Oriented Calculi. Results of the SENSORIA Project 2011: 214-231
59		Michele Boreale, Mario Bravetti: Advanced Mechanisms for Service Composition, Query and Discovery. Results of the SENSORIA Project 2011: 282-301
	2010
58		Lucia Acciai, Michele Boreale, Gianluigi Zavattaro: Behavioural Contracts with Request-Response Operations. COORDINATION 2010: 16-30
57		Lucia Acciai, Michele Boreale, Gianluigi Zavattaro: On the Relationship between Spatial Logics and Behavioral Simulations. FOSSACS 2010: 146-160
56		Michele Boreale, David Clark, Daniele Gorla: A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis. IFIP TCS 2010: 340-354
55		Lucia Acciai, Michele Boreale: Spatial and behavioral types in the pi-calculus. Inf. Comput. 208(10): 1118-1153 (2010)
	2009
54		Michele Boreale, Steve Kremer: Proceedings 7th International Workshop on Security Issues in Concurrency SECCO 2009
53		Michele Boreale: Weighted Bisimulation in Linear Algebraic Form. CONCUR 2009: 163-177
52		Lucia Acciai, Michele Boreale: Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types. ICALP (2) 2009: 31-42
51		Lucia Acciai, Michele Boreale: Deciding Spatial and behavioral properties in the pi-calculus. ICTCS 2009: 7-11
50		Michele Boreale: Quantifying information leakage in process calculi. Inf. Comput. 207(6): 699-725 (2009)
	2008
49		Lucia Acciai, Michele Boreale: Spatial and Behavioral Types in the Pi-Calculus. CONCUR 2008: 372-386
48		Lucia Acciai, Michele Boreale: A Type System for Client Progress in a Service-Oriented Calculus. Concurrency, Graphs and Models 2008: 642-658
47		Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti: Sessions and Pipelines for Structured Service Programming. FMOODS 2008: 19-38
46		Lucia Acciai, Michele Boreale: XPi: A typed process calculus for XML messaging. Sci. Comput. Program. 71(2): 110-143 (2008)
45		Lucia Acciai, Michele Boreale: Responsiveness in process calculi. Theor. Comput. Sci. 409(1): 59-93 (2008)
	2007
44		Lucia Acciai, Michele Boreale, Silvano Dal-Zilio: A Concurrent Calculus with Atomic Transactions. ESOP 2007: 48-63
43		Lucia Acciai, Michele Boreale: Type Abstractions of Name-Passing Processes. FSEN 2007: 302-317
	2006
42		Lucia Acciai, Michele Boreale: Responsiveness in Process Calculi. ASIAN 2006: 136-150
41		Michele Boreale: Attacking Right-to-Left Modular Exponentiation with Timely Random Faults. FDTC 2006: 24-35
40		Michele Boreale: Quantifying Information Leakage in Process Calculi. ICALP (2) 2006: 119-131
39		Lucia Acciai, Michele Boreale, Silvano Dal-Zilio: A Typed Calculus for Querying Distributed XML Documents. TGC 2006: 167-182
38		Michele Boreale, Roberto Bruni, Luís Caires, Rocco De Nicola, Ivan Lanese, Michele Loreti, Francisco Martins, Ugo Montanari, António Ravara, Davide Sangiorgi, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro: SCC: A Service Centered Calculus. WS-FM 2006: 38-57
37		Lucia Acciai, Michele Boreale, Silvano Dal-Zilio: A Concurrent Calculus with Atomic Transactions CoRR abs/cs/0610137: (2006)
36		Michele Boreale, Fabio Gadducci: Processes as formal power series: A coinductive approach to denotational semantics. Theor. Comput. Sci. 360(1-3): 440-458 (2006)
	2005
35		Lucia Acciai, Michele Boreale: XPi: A Typed Process Calculus for XML Messaging. FMOODS 2005: 47-66
34		Michele Boreale, Maria Grazia Buscemi, Ugo Montanari: A General Name Binding Mechanism. TGC 2005: 61-74
33		Michele Boreale, Maria Grazia Buscemi: A method for symbolic analysis of security protocols. Theor. Comput. Sci. 338(1-3): 393-425 (2005)
	2004
32		Michele Boreale, Maria Grazia Buscemi, Ugo Montanari: D-Fusion: A Distinctive Fusion Calculus. APLAS 2004: 296-310
	2003
31		Michele Boreale, Maria Grazia Buscemi: Symbolic Analysis of Crypto-Protocols Based on Modular Exponentiation. MFCS 2003: 269-278
30		Michele Boreale, Fabio Gadducci: Denotational Testing Semantics in Coinductive Form. MFCS 2003: 279-289
	2002
29		Michele Boreale, Maria Grazia Buscemi: A Framework for the Analysis of Security Protocols. CONCUR 2002: 483-498
28		Michele Boreale, Daniele Gorla: On Compositional Reasoning in the Spi-calculus. FoSSaCS 2002: 67-81
27		Michele Boreale, Maria Grazia Buscemi: Experimenting with STA, a tool for automatic analysis of security protocols. SAC 2002: 281-285
26		Michele Boreale, Rocco De Nicola, Rosario Pugliese: Trace and Testing Equivalence on Asynchronous Processes. Inf. Comput. 172(2): 139-164 (2002)
	2001
25		Michele Boreale: Symbolic Trace Analysis of Cryptographic Protocols. ICALP 2001: 667-681
24		Michele Boreale, Rocco De Nicola, Rosario Pugliese: Proof Techniques for Cryptographic Processes. SIAM J. Comput. 31(3): 947-986 (2001)
23		Michele Boreale, Rocco De Nicola, Rosario Pugliese: Divergence in testing and readiness semantics. Theor. Comput. Sci. 266(1-2): 237-248 (2001)
	2000
22		Michele Boreale, Rocco De Nicola, Rosario Pugliese: Process Algebraic Analysis of Cryptographic Protocols. FORTE 2000: 375-392
21		Michele Boreale, Luca Trevisan: A complexity analysis of bisimilarity for value-passing processes. Theor. Comput. Sci. 238(1-2): 313-345 (2000)
	1999
20		Michele Boreale, Rocco De Nicola, Rosario Pugliese: A Theory of "May" Testing for Asynchronous Languages. FoSSaCS 1999: 165-179
19		Michele Boreale, Rocco De Nicola, Rosario Pugliese: Proof Techniques for Cryptographic Processes. LICS 1999: 157-166
18		Michele Boreale, Rocco De Nicola, Rosario Pugliese: Basic Observables for Processes. Inf. Comput. 149(1): 77-98 (1999)
	1998
17		Michele Boreale, Rocco De Nicola, Rosario Pugliese: Asynchronous Observations of Processes. FoSSaCS 1998: 95-109
16		Michele Boreale, Davide Sangiorgi: Bisimulation in Name-Passing Calculi without Matching. LICS 1998: 165-175
15		Michele Boreale, Cédric Fournet, Cosimo Laneve: Bisimulations in the join-calculus. PROCOMET 1998: 68-86
14		Michele Boreale, Davide Sangiorgi: A Fully Abstract Semantics for Causality in the \pi-Calculus. Acta Inf. 35(5): 353-400 (1998)
13		Michele Boreale: On the Expressiveness of Internal Mobility in Name-Passing Calculi. Theor. Comput. Sci. 195(2): 205-226 (1998)
12		Michele Boreale, Davide Sangiorgi: Some Congruence Properties for Pi-Calculus Bisimilarities. Theor. Comput. Sci. 198(1-2): 159-176 (1998)
	1997
11		Michele Boreale, Rocco De Nicola, Rosario Pugliese: Basic Observables for Processes. ICALP 1997: 482-492
	1996
10		Michele Boreale: Symbolic Bisimulation for Timed Processes. AMAST 1996: 321-335
9		Michele Boreale: On the Expressiveness of Internal Mobility in Name-Passing Calculi. CONCUR 1996: 163-178
8		Michele Boreale, Luca Trevisan: Bisimilarity Problems Requiring Exponential Time. MFCS 1996: 230-241
7		Michele Boreale, Rocco De Nicola: A Symbolic Semantics for the pi-Calculus. Inf. Comput. 126(1): 34-52 (1996)
	1995
6		Michele Boreale, Luca Trevisan: On the Complexity of Bisimilarity for Value-Passing Processes (Extended Abstract). FSTTCS 1995: 294-308
5		Michele Boreale, Davide Sangiorgi: A Fully Abstract Semantics for Causality in the Pi-Calculus. STACS 1995: 243-254
4		Michele Boreale, Rocco De Nicola: Testing Equivalence for Mobile Processes Inf. Comput. 120(2): 279-303 (1995)
	1994
3		Michele Boreale, Rocco De Nicola: A Symbolic Semantics for the pi-calculus (Extended Abstract). CONCUR 1994: 299-314
	1992
2		Michele Boreale, Rocco De Nicola: Testing Equivalence for Mobile Processes (Extended Abstract). CONCUR 1992: 2-16
1		Michele Boreale, Paola Inverardi, Monica Nesi: Complete Sets of Axioms for Finite Basic LOTOS Behavioural Equivalences. Inf. Process. Lett. 43(3): 155-160 (1992)

Coauthor Index

1	Lucia Acciai	[35] [37] [39] [42] [43] [44] [45] [46] [48] [49] [51] [52] [55] [57] [58] [60] [62] [64]
2	Chiara Bodei	[60]
3	Filippo Bonchi	[65]
4	Marcello M. Bonsangue	[65]
5	Mario Bravetti	[59]
6	Roberto Bruni	[38] [47] [60]
7	Maria Grazia Buscemi	[27] [29] [31] [32] [33] [34]
8	Luís Caires	[38]
9	David Clark	[56]
10	Silvano Dal-Zilio	[37] [39] [44]
11	Cédric Fournet	[15]
12	Fabio Gadducci	[30] [36]
13	Daniele Gorla	[28] [56]
14	Paola Inverardi	[1]
15	Steve Kremer	[54]
16	Ivan Lanese	[38]
17	Cosimo Laneve	[15]
18	Michele Loreti	[38] [47]
19	Francisco Martins	[38]
20	Ugo Montanari	[32] [34] [38]
21	Monica Nesi	[1]
22	Rocco De Nicola	[2] [3] [4] [7] [11] [17] [18] [19] [20] [22] [23] [24] [26] [38] [47] [62]
23	Francesca Pampaloni	[61] [63]
24	Michela Paolini	[61] [63]
25	Rosario Pugliese	[11] [17] [18] [19] [20] [22] [23] [24] [26]
26	António Ravara	[38]
27	Jan J. M. M. Rutten	[65]
28	Davide Sangiorgi	[5] [12] [14] [16] [38]
29	Alexandra Silva	[65]
30	Luca Trevisan	[6] [8] [21]
31	Vasco Thudichum Vasconcelos	[38]
32	Hugo Torres Vieira	[60]
33	Gianluigi Zavattaro	[38] [57] [58]

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