| 2025 | ICFEM | Formal Construction of Threat Detections from Attack Trees. | Dumitru-Bogdan Prelipcean, Catalin Dima, Daniele Varacca |
| 2023 | EUMAS | Observational Preorders for Alternating Transition Systems. | Romain Demangeon, Catalin Dima, Daniele Varacca |
| 2016 | RC | Rigid Families for the Reversible π-Calculus. | Ioana Cristescu, Jean Krivine, Daniele Varacca |
| 2016 | SETTA | Place Bisimulation and Liveness for Open Petri Nets. | Xiaoju Dong, Yuxi Fu, Daniele Varacca |
| 2015 | ICTAC | Rigid Families for CCS and the π-calculus. | Ioana Domnina Cristescu, Jean Krivine, Daniele Varacca |
| 2014 | PPDP | Continuations, Processes, and Sharing. | Paul Downen, Luke Maurer, Zena M. Ariola, Daniele Varacca |
| 2013 | FORTE | Semantic Subtyping for Objects and Classes. | Ornela Dardha, Daniele Gorla, Daniele Varacca |
| 2013 | LICS | A Compositional Semantics for the Reversible p-Calculus. | Ioana Cristescu, Jean Krivine, Daniele Varacca |
| 2012 | FOSSACS | Event Structure Semantics of Parallel Extrusion in the Pi-Calculus. | Silvia Crafa, Daniele Varacca, Nobuko Yoshida |
| 2011 | LICS | Continuous Random Variables. | Jean Goubault-Larrecq, Daniele Varacca |
| 2010 | FOSSACS | Fair Adversaries and Randomization in Two-Player Games. | Eugene Asarin, Raphal Chane-Yack-Fa, Daniele Varacca |
| 2009 | CONCUR | Counterexamples in Probabilistic LTL Model Checking for Markov Chains. | Matthias Schmalz, Daniele Varacca, Hagen Vlzer |
| 2009 | FOSSACS | The Calculus of Handshake Configurations. | Luca Fossati, Daniele Varacca |
| 2007 | CONCUR | Compositional Event Structure Semantics for the Internal | Silvia Crafa, Daniele Varacca, Nobuko Yoshida |
| 2006 | CONCUR | Encoding CDuce in the Cpi-Calculus. | Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Daniele Varacca |
| 2006 | LICS | Temporal Logics and Model Checking for Fairly Correct Systems. | Daniele Varacca, Hagen Vlzer |
| 2005 | CONCUR | Defining Fairness. | Hagen Vlzer, Daniele Varacca, Ekkart Kindler |
| 2005 | LICS | Semantic Subtyping for the p-Calculus. | Giuseppe Castagna, Rocco De Nicola, Daniele Varacca |
| 2004 | CONCUR | Probabilistic Event Structures and Domains. | Daniele Varacca, Hagen Vlzer, Glynn Winskel |
| 2002 | LICS | The Powerdomain of Indexed Valuations. | Daniele Varacca |