 | 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 | | Michele Boreale,
Steve Kremer:
Proceedings 7th International Workshop on Security Issues in Concurrency
CoRR abs/0910.4420: (2009) |
| 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) |
