The Powerdomain of Indexed Valuations. - Daniele Varacca (LICS, 2002)

Defining Fairness. - Hagen Völzer; Daniele Varacca; Ekkart Kindler (CONCUR, 2005)

Semantic Subtyping for the p-Calculus. - Giuseppe Castagna; Rocco De Nicola; Daniele Varacca (LICS, 2005)

Encoding CDuce in the Cpi-Calculus. - Giuseppe Castagna; Mariangiola Dezani-Ciancaglini; Daniele Varacca (CONCUR, 2006)

Temporal Logics and Model Checking for Fairly Correct Systems. - Daniele Varacca; Hagen Völzer (LICS, 2006)

New Perspectives of Fairness. - Daniele Varacca (Bull. EATCS, 2006)

Typed Event Structures and the pi-Calculus: Extended Abstract. - Daniele Varacca; Nobuko Yoshida (MFPS, 2006)

Distributing probability over non-determinism. - Daniele Varacca; Glynn Winskel (Math. Struct. Comput. Sci., 2006)

Probabilistic event structures and domains. - Daniele Varacca; Hagen Völzer; Glynn Winskel (Theor. Comput. Sci., 2006)

Compositional Event Structure Semantics for the Internal pi -Calculus. - Silvia Crafa; Daniele Varacca; Nobuko Yoshida (CONCUR, 2007)

Model Checking Almost All Paths Can Be Less Expensive Than Checking All Paths. - Matthias Schmalz; Hagen Völzer; Daniele Varacca (FSTTCS, 2007)

Probabilistic pi-Calculus and Event Structures. - Daniele Varacca; Nobuko Yoshida (QAPL, 2007)

A Petri Net Model of Handshake Protocols. - Luca Fossati; Daniele Varacca (ICE@ICALP, 2008)

Semantic subtyping for the pi-calculus. - Giuseppe Castagna; Rocco De Nicola; Daniele Varacca (Theor. Comput. Sci., 2008)

Security types for dynamic web data. - Mariangiola Dezani-Ciancaglini; Silvia Ghilezan; Jovanka Pantovic; Daniele Varacca (Theor. Comput. Sci., 2008)

Counterexamples in Probabilistic LTL Model Checking for Markov Chains. - Matthias Schmalz; Daniele Varacca; Hagen Völzer (CONCUR, 2009)

The Calculus of Handshake Configurations. - Luca Fossati; Daniele Varacca (FoSSaCS, 2009)

Fair Adversaries and Randomization in Two-Player Games. - Eugene Asarin; Raphaël Chane-Yack-Fa; Daniele Varacca (FoSSaCS, 2010)

Typed event structures and the linear pi-calculus. - Daniele Varacca; Nobuko Yoshida (Theor. Comput. Sci., 2010)

Continuous Random Variables. - Jean Goubault-Larrecq; Daniele Varacca (LICS, 2011)

Event Structure Semantics of Parallel Extrusion in the Pi-Calculus. - Silvia Crafa; Daniele Varacca; Nobuko Yoshida (FoSSaCS, 2012)

Computational Complexity of Interactive Behaviors - Ugo Dal Lago; Tobias Heindel; Damiano Mazza; Daniele Varacca (CoRR, 2012)

Defining Fairness in Reactive and Concurrent Systems. - Hagen Völzer; Daniele Varacca (J. ACM, 2012)

A Compositional Semantics for the Reversible p-Calculus. - Ioana Cristescu; Jean Krivine; Daniele Varacca (LICS, 2013)

Continuations, Processes, and Sharing. - Paul Downen; Luke Maurer; Zena M. Ariola; Daniele Varacca (PPDP, 2014)

Preface. - Gian Luca Cattani; Thomas T. Hildebrandt; Daniele Varacca (Theor. Comput. Sci., 2014)

Rigid Families for CCS and the π-calculus. - Ioana Domnina Cristescu; Jean Krivine; Daniele Varacca (ICTAC, 2015)

Rigid Families for the Reversible π-Calculus. - Ioana Cristescu; Jean Krivine; Daniele Varacca (RC, 2016)

Place Bisimulation and Liveness for Open Petri Nets. - Xiaoju Dong; Yuxi Fu; Daniele Varacca (SETTA, 2016)

Semantic Subtyping for Objects and Classes. - Ornela Dardha; Daniele Gorla; Daniele Varacca (Comput. J., 2017)

On the Reactive Nature of Financial Networks. - Silvia Crafa; Daniele Varacca (ICTCS, 2018)

Banach-Mazur Parity Games and Almost-sure Winning Strategies. - Youssouf Oualhadj; Léo Tible; Daniele Varacca (CoRR, 2018)

Extensional Petri net. - Xiaoju Dong; Yuxi Fu; Daniele Varacca (Formal Aspects Comput., 2019)

Process, Systems and Tests: Three Layers in Concurrent Computation. - Clément Aubert; Daniele Varacca (ICE, 2021)

Fairness and promptness in Muller formulas. - Youssouf Oualhadj; Léo Tible; Daniele Varacca (CoRR, 2022)

Processes against tests: On defining contextual equivalences. - Clément Aubert; Daniele Varacca (J. Log. Algebraic Methods Program., 2022)

Observational Preorders for Alternating Transition Systems. - Romain Demangeon; Catalin Dima; Daniele Varacca (EUMAS, 2023)

Promptness and Fairness in Muller LTL Formulas. - Damien Busatto-Gaston; Youssouf Oualhadj; Léo Tible; Daniele Varacca (FSTTCS, 2024)