Scientific works by Daniele Varacca

Most Recent Publications

Paul Downen, Luke Maurer, Zena M. Ariola, Daniele Varacca
Continuations, processes, and sharing New!
Proceedings of PPDP 2014(©Springer)
Preliminary version: [pdf]

Ioana Cristescu, Jean Krivine, Daniele Varacca
A Compositional Semantics for the Reversible pi-Calculus
Proceedings of LICS 2013(©IEEE)
Preliminary version: [pdf]

Luca Fossati, Daniele Varacca
Handshake Languages do not Compose
Submitted
Preliminary version: [pdf]

Ornela Dardha, Daniele Gorla, Daniele Varacca
Semantic Subtyping for Objects and Classes
Proceedings of FMOODS/FORTE-2013(©Springer)
Preliminary version: [pdf]

Daniele Varacca
Contributions à la sémantique de la concurrence
Dissertation HDR

Journal Publications

Hagen Völzer, Daniele Varacca.
Defining Fairness in Reactive and Concurrent Systems. New!
Journal of the ACM, Volume 59, Issue 3, June 2012.
Available on the ACM Digital Library

Daniele Varacca and Nobuko Yoshida
Typed Event Structures and the pi-calculus
Theoretical Computer Science: 411 (19)(2010)
Paper: [pdf]

Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic and Daniele Varacca
Security Types for Dynamic Web Data
Theoretical Computer Science 402(2-3) (2008)
Paper: [pdf]

Giuseppe Castagna, Rocco De Nicola and Daniele Varacca
Semantic subtyping for the pi-calculus
Theoretical Computer Science 398(1-3)(2008):
Special issue for Mario Coppo, Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca.
Slides: [pdf]

Daniele Varacca and Hagen Völzer
New Perspectives on Fairness
Concurrency column - Bulletin of the EATCS Number 90, October 2006 (©EATCS)
[pdf at Luca Aceto's page]

Daniele Varacca and Glynn Winskel
Distributing Probabililty over Nondeterminism
Mathematical Structures in Computer Science 16(1) (2006)
[pdf]

Daniele Varacca, Hagen Völzer and Glynn Winskel
Probabilistic Event Structures and Domains
Theoretical Computer Science 358(2-3)(2006)
Paper: [pdf] Slides: [pdf]

International Conferences and Workshops

Silvia Crafa, Daniele Varacca, Nobuko Yoshida
Event Structure Semantics of the parallel extrusion in the pi-calculus
Proceedings of FOSSACS12(©Springer-Verlag)
Preliminary version: [pdf]

Eugene Asarin, Raphael Chane-Yack-Fa, Daniele Varacca
Fair Adversaries and Randomization in Two-Player Games
Proccedings of FOSSACS10 (©Springer-Verlag)
Preliminary version: [pdf]

Matthias Schmalz, Daniele Varacca and Hagen Völzer
Counterexamples in Probabilistic LTL Model Checking
Proccedings of CONCUR09 (©Springer-Verlag)
Preliminary version: [pdf]

Luca Fossati, Daniele Varacca
The calculus of HandShake Configurations
Proceedings of FOSSACS09 (©Springer-Verlag)
Preliminary version: [pdf]

Luca Fossati, Daniele Varacca
A Petri Net Model of HandShake Protocols
Proceedings of ICE08 - Interactive Concurrency Experiences, ENTCS (©Elsevier)
Preliminary version: [pdf]

Silvia Crafa, Daniele Varacca and Nobuko Yoshida
Event Structure Semantics for the Internal pi-calculus
Proceedings of CONCUR 2007 (©Springer-Verlag)
Preliminary version: [pdf]

Matthias Schmalz, Hagen Völzer and Daniele Varacca
Model Checking Almost All Paths Can Be Less Expensive than Checking All Paths
Proceedings of FSTTCS 2007 (©Springer-Verlag)
Preliminary version: [pdf]

Daniele Varacca and Nobuko Yoshida
Probabilistic pi-calculus and Event Structures
Quantitative Aspects of Programming Languages, Braga, 2007
Preliminary version: [pdf]

Giuseppe Castagna, Mariangiola Dezani-Ciancaglini and Daniele Varacca
Encoding CDuce in the Cpi-calculus
Proceedings of CONCUR 2006 (©Springer-Verlag)
Extended abstract: [pdf]
Full version with proofs: [pdf]

Daniele Varacca and Hagen Völzer
Temporal Logics and Model Checking for Fairly Correct Systems
Proceedings of LICS 2006 (©IEEE computer society)
Extended abstract: [pdf]

Daniele Varacca and Nobuko Yoshida
Typed Event Structures and the pi-calculus
Proceedings of MFPS 2006 (©Elsevier)
Extended abstract: [pdf]
Slides for the above paper: [pdf]

Hagen Völzer, Daniele Varacca and Ekkart Kindler
Defining Fairness
Proceedings CONCUR 2005 (©Springer-Verlag) - Best Paper Award
Extended abstract: [pdf]
Revised technical report version, University of Lübeck: [ps]

Giuseppe Castagna, Rocco De Nicola and Daniele Varacca
Semantic subtyping for the pi-calculus
Proceedings of LICS 2005 (©IEEE computer society)
Extended abstract: [pdf]
An older version with some more proofs is also available [pdf]
Slides for the above paper: [pdf]

Daniele Varacca, Hagen Völzer and Glynn Winskel
Probabilistic Event Structures and Domains
Proceedings of CONCUR 2004 (©Springer-Verlag)
An extended version with the proofs is available as BRICS report RS-04-10.
Slides for the above paper: [pdf]

Daniele Varacca
The Powerdomain of Indexed Valuations
Proceedings of LICS 2002 (©IEEE computer society)
Extended abstract: [ps]
An extended version with the proofs is available as BRICS report RS-02-38
Slides for the above paper: [pdf]

PhD Thesis

Daniele Varacca
Two Denotational Models for Probabilistic Computation
PhD thesis [ps.gz] and [pdf]
PhD defence: slides of the talk [pdf] - see also the "secret slides" [pdf]

Other works

Ugo Dal Lago, Tobias Heindel, Damiano Mazza, Daniele Varacca
Computational Complexity of Interactive Behaviors New!
Draft
Preliminary version: [pdf]

Daniele Varacca and Nobuko Yoshida
Typed event structures and the pi-calculus
Draft [pdf] Imperial College Technical Report [pdf]

Daniele Varacca and Nobuko Yoshida
The pi-calculus without alpha-conversion
Draft [pdf]

Daniele Varacca
Probabilistic models for concurrency
Notes for a FIRST minicourse - ITU Copenhagen [pdf]

Daniele Varacca and Mogens Nielsen
Probabilistic Petri Nets and Mazurkiewicz Equivalence
Draft [ps]


Home