Daniel Hirschkoff

Publication Activity (10 Years)

Years Active: 1997-2023
Publications (10 Years): 16

Top Topics

Nonlinear Equations

Formal Language

Contextual Factors

Top Venues

Theor. Comput. Sci.

Publications

Daniel Hirschkoff, Enguerrand Prebet
Using Pi-Calculus Names as Locks. EXPRESS/SOS (2023)
Daniel Hirschkoff, Guilhem Jaber, Enguerrand Prebet
Deciding Contextual Equivalence of ν-Calculus with Effectful Contexts. FoSSaCS (2023)
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
Eager Functions as Processes (long version). CoRR (2022)
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
Eager functions as processes. Theor. Comput. Sci. 913 (2022)
Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi
On sequentiality and well-bracketing in the π-calculus. CoRR (2021)
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
Eager Functions as Processes. CoRR (2021)
Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi
On sequentiality and well-bracketing in the π-calculus. LICS (2021)
Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi
On the Representation of References in the Pi-Calculus. CONCUR (2020)
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
Towards 'up to context' reasoning about higher-order processes. Theor. Comput. Sci. 807 (2020)
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
Divergence and unique solution of equations. Log. Methods Comput. Sci. 15 (3) (2019)
Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi
Modeling Imperative Constructs in the Pi-Calculus. ICTCS (2019)
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
Eager Functions as Processes. LICS (2018)
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
Divergence and unique solution of equations. CoRR (2018)
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
Divergence and Unique Solution of Equations. CONCUR (2017)
Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi
Name-passing calculi: From fusions to preorders and types. Inf. Comput. 251 (2016)
Ioana Cristescu, Daniel Hirschkoff
Termination in a π-calculus with subtyping. Math. Struct. Comput. Sci. 26 (8) (2016)
Daniel Hirschkoff, Jean-Marie Madiot, Xian Xu
A Behavioural Theory for a π-calculus with Preorders. FSEN (2015)
Daniel Hirschkoff, Jean-Marie Madiot, Xian Xu
A behavioural theory for a π-calculus with preorders. J. Log. Algebraic Methods Program. 84 (6) (2015)
Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi
Symmetries and Dualities in Name-Passing Process Calculi. Computing with New Resources (2014)
Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi
Name-Passing Calculi: From Fusions to Preorders and Types. LICS (2013)
Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi
Duality and i/o-Types in the π-Calculus. CONCUR (2012)
Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
Strong Normalisation in λ-Calculi with References. FSEN (2011)
Ioana Cristescu, Daniel Hirschkoff
Termination in a Pi-calculus with Subtyping EXPRESS (2011)
Daniel Hirschkoff, Damien Pous
On Bisimilarity and Substitution in Presence of Replication. ICALP (2) (2010)
Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
Termination in higher-order concurrent calculi. J. Log. Algebraic Methods Program. 79 (7) (2010)
Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
Termination in Impure Concurrent Languages. CONCUR (2010)
Daniel Hirschkoff, Aurélien Pardon, Tom Hirschowitz, Samuel Hym, Damien Pous
Encapsulation and Dynamic Modularity in the Pi-Calculus CoRR (2009)
Daniel Hirschkoff, Aurélien Pardon, Tom Hirschowitz, Samuel Hym, Damien Pous
Encapsulation and Dynamic Modularity in the pi-calculus. Electron. Notes Theor. Comput. Sci. 241 (2009)
Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
Termination in Higher-Order Concurrent Calculi. FSEN (2009)
Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
Mobile Processes and Termination. Semantics and Algebraic Specification (2009)
Étienne Lozes, Daniel Hirschkoff, Davide Sangiorgi
Separability in the Ambient Logic. Log. Methods Comput. Sci. 4 (3) (2008)
Daniel Hirschkoff, Damien Pous
On characterising strong bisimilarity in a fragment of CCS with replication CoRR (2008)
Daniel Hirschkoff, Damien Pous
A Distribution Law for CCS and a New Congruence Result for the p-calculus. Log. Methods Comput. Sci. 4 (2) (2008)
Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
Static and dynamic typing for the termination of mobile processes. IFIP TCS (2008)
Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi
Separability in the Ambient Logic CoRR (2008)
Daniel Hirschkoff, Damien Pous, Davide Sangiorgi
An efficient abstract machine for Safe Ambients. J. Log. Algebraic Methods Program. 71 (2) (2007)
Romain Demangeon, Daniel Hirschkoff, Naoki Kobayashi, Davide Sangiorgi
On the Complexity of Termination Inference for Processes. TGC (2007)
Daniel Hirschkoff, Damien Pous
-Calculus. FoSSaCS (2007)
Daniel Hirschkoff, Damien Pous
A Distribution Law for CCS and a New Congruence Result for the pi-calculus CoRR (2006)
Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi
On the Expressiveness of the Ambient Logic. Log. Methods Comput. Sci. 2 (2) (2006)
Daniel Hirschkoff, Damien Pous, Davide Sangiorgi
A Correct Abstract Machine for Safe Ambients. COORDINATION (2005)
Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi
On the Expressiveness of the Ambient Logic CoRR (2005)
Daniel Hirschkoff, Tom Hirschowitz, Damien Pous, Alan Schmitt, Jean-Bernard Stefani
Component-Oriented Programming with Sharing: Containment is Not Ownership. GPCE (2005)
Arnaud Carayol, Daniel Hirschkoff, Davide Sangiorgi
On the representation of McCarthy's amb in the Pi-calculus. Theor. Comput. Sci. 330 (3) (2005)
David Teller, Pascal Zimmer, Daniel Hirschkoff
Using ambients to control resources. Int. J. Inf. Sec. 2 (3-4) (2004)
Daniel Hirschkoff
An Extensional Spatial Logic for Mobile Processes. CONCUR (2004)
Christine Röckl, Daniel Hirschkoff
A fully adequate shallow embedding of the [pi]-calculus in Isabelle/HOL with mechanized syntax analysis. J. Funct. Program. 13 (2) (2003)
Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi
Minimality Results for the Spatial Logics. FSTTCS (2003)
Arnaud Carayol, Daniel Hirschkoff, Davide Sangiorgi
in the π-calculus. EXPRESS (2003)
Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi
Separability, Expressiveness, and Decidability in the Ambient Logic. LICS (2002)
David Teller, Pascal Zimmer, Daniel Hirschkoff
Using Ambients to Control Resources. CONCUR (2002)
Christine Röckl, Daniel Hirschkoff, Stefan Berghofer
Higher-Order Abstract Syntax with Induction in Isabelle/HOL: Formalizing the pi-Calculus and Mechanizing the Theory of Contexts. FoSSaCS (2001)
Mario Coppo, Daniel Hirschkoff
Incremental Inference of Partial Types. ICTCS (2001)
Daniel Hirschkoff
Bisimulation verification using the up to techniques. Int. J. Softw. Tools Technol. Transf. 3 (3) (2001)
Sylvain Boulmé, Thérèse Hardin, Daniel Hirschkoff, Valérie Ménissier-Morain, Renaud Rioboo
On the way to certify Computer Algebra Systems. Calculemus (1999)
Daniel Hirschkoff
On the Benefits of Using the Up-To Techniques for Bisimulation Verification. TACAS (1999)
Daniel Hirschkoff
Automatically Proving Up-to Bisimulation. Electron. Notes Theor. Comput. Sci. 18 (1998)
Daniel Hirschkoff
A Full Formalisation of pi-Calculus Theory in the Calculus of Constructions. TPHOLs (1997)