| 2025 | CONCUR | First-Order Store and Visibility in Name-Passing Calculi. | Daniel Hirschkoff, Iwan Qumerais, Davide Sangiorgi |
| 2023 | FOSSACS | Deciding Contextual Equivalence of ν-Calculus with Effectful Contexts. | Daniel Hirschkoff, Guilhem Jaber, Enguerrand Prebet |
| 2021 | LICS | On sequentiality and well-bracketing in the π-calculus. | Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi |
| 2020 | CONCUR | On the Representation of References in the Pi-Calculus. | Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi |
| 2018 | LICS | Eager Functions as Processes. | Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi |
| 2017 | CONCUR | Divergence and Unique Solution of Equations. | Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi |
| 2013 | LICS | Name-Passing Calculi: From Fusions to Preorders and Types. | Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi |
| 2012 | CONCUR | Duality and i/o-Types in the π-Calculus. | Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi |
| 2010 | CONCUR | Termination in Impure Concurrent Languages. | Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi |
| 2010 | ICALP | On Bisimilarity and Substitution in Presence of Replication. | Daniel Hirschkoff, Damien Pous |
| 2007 | FOSSACS | A Distribution Law for CCS and a New Congruence Result for the | Daniel Hirschkoff, Damien Pous |
| 2005 | Coordination | A Correct Abstract Machine for Safe Ambients. | Daniel Hirschkoff, Damien Pous, Davide Sangiorgi |
| 2005 | GPCE | Component-Oriented Programming with Sharing: Containment is Not Ownership. | Daniel Hirschkoff, Tom Hirschowitz, Damien Pous, Alan Schmitt, Jean-Bernard Stefani |
| 2004 | CONCUR | An Extensional Spatial Logic for Mobile Processes. | Daniel Hirschkoff |
| 2002 | CONCUR | Using Ambients to Control Resources. | David Teller, Pascal Zimmer, Daniel Hirschkoff |
| 2002 | LICS | Separability, Expressiveness, and Decidability in the Ambient Logic. | Daniel Hirschkoff, tienne Lozes, Davide Sangiorgi |
| 2001 | FOSSACS | Higher-Order Abstract Syntax with Induction in Isabelle/HOL: Formalizing the pi-Calculus and Mechanizing the Theory of Contexts. | Christine Rckl, Daniel Hirschkoff, Stefan Berghofer |
| 1999 | TACAS | On the Benefits of Using the Up-To Techniques for Bisimulation Verification. | Daniel Hirschkoff |