- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j10 |      | Hagen Völzer, Daniele Varacca: Defining Fairness in Reactive and Concurrent Systems. J. ACM 59(3): 13 (2012) |
| c13 | | Silvia Crafa, Daniele Varacca, Nobuko Yoshida: Event Structure Semantics of Parallel Extrusion in the Pi-Calculus. FoSSaCS 2012: 225-239 |
| i1 | | Ugo Dal Lago, Tobias Heindel, Damiano Mazza, Daniele Varacca: Computational Complexity of Interactive Behaviors. CoRR abs/1209.0663 (2012) |
| 2011 | ||
| c12 | | |
| 2010 | ||
| j9 | | Daniele Varacca, Nobuko Yoshida: Typed event structures and the linear pi-calculus. Theor. Comput. Sci. 411(19): 1949-1973 (2010) |
| c11 | | Eugene Asarin, Raphaël Chane-Yack-Fa, Daniele Varacca: Fair Adversaries and Randomization in Two-Player Games. FOSSACS 2010: 64-78 |
| 2009 | ||
| j8 | | Luca Fossati, Daniele Varacca: A Petri Net Model of Handshake Protocols. Electr. Notes Theor. Comput. Sci. 229(3): 59-76 (2009) |
| c10 | | Matthias Schmalz, Daniele Varacca, Hagen Völzer: Counterexamples in Probabilistic LTL Model Checking for Markov Chains. CONCUR 2009: 587-602 |
| c9 | | |
| 2008 | ||
| j7 | | Giuseppe Castagna, Rocco De Nicola, Daniele Varacca: Semantic subtyping for the pi-calculus. Theor. Comput. Sci. 398(1-3): 217-242 (2008) |
| j6 | | Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Daniele Varacca: Security types for dynamic web data. Theor. Comput. Sci. 402(2-3): 156-171 (2008) |
| 2007 | ||
| j5 | | Daniele Varacca, Nobuko Yoshida: Probabilistic pi-Calculus and Event Structures. Electr. Notes Theor. Comput. Sci. 190(3): 147-166 (2007) |
| c8 | | Silvia Crafa, Daniele Varacca, Nobuko Yoshida: Compositional Event Structure Semantics for the Internal pi -Calculus. CONCUR 2007: 317-332 |
| c7 | | Matthias Schmalz, Hagen Völzer, Daniele Varacca: Model Checking Almost All Paths Can Be Less Expensive Than Checking All Paths. FSTTCS 2007: 532-543 |
| 2006 | ||
| j4 |  | |
| j3 | | Daniele Varacca, Nobuko Yoshida: Typed Event Structures and the pi-Calculus: Extended Abstract. Electr. Notes Theor. Comput. Sci. 158: 373-397 (2006) |
| j2 | | Daniele Varacca, Glynn Winskel: Distributing probability over non-determinism. Mathematical Structures in Computer Science 16(1): 87-113 (2006) |
| j1 | | Daniele Varacca, Hagen Völzer, Glynn Winskel: Probabilistic event structures and domains. Theor. Comput. Sci. 358(2-3): 173-199 (2006) |
| c6 | | Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Daniele Varacca: Encoding CDuce in the Cpi-Calculus. CONCUR 2006: 310-326 |
| c5 | | Daniele Varacca, Hagen Völzer: Temporal Logics and Model Checking for Fairly Correct Systems. LICS 2006: 389-398 |
| 2005 | ||
| c4 | | |
| c3 | | Giuseppe Castagna, Rocco De Nicola, Daniele Varacca: Semantic Subtyping for the p-Calculus. LICS 2005: 92-101 |
| 2004 | ||
| c2 | | Daniele Varacca, Hagen Völzer, Glynn Winskel: Probabilistic Event Structures and Domains. CONCUR 2004: 481-496 |
| 2002 | ||
| c1 | | |
Colors in the list of coauthors
Last update Tue May 21 06:09:04 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page