Travelled to:1 × Denmark
1 × Estonia
1 × France
1 × Italy
1 × Portugal
1 × The Netherlands
1 × USA
Collaborated with:D.Pous D.Sangiorgi ∅ J.Madiot É.Lozes C.Röckl S.Berghofer T.Hirschowitz A.Schmitt J.Stefani
Talks about:calculus (2) substitut (1) ownership (1) distribut (1) congruenc (1) bisimilar (1) techniqu (1) preorder (1) abstract (1) program (1)
Person: Daniel Hirschkoff
DBLP: Hirschkoff:Daniel
Contributed to:
2013
2010
2007
200520022001
1999Wrote 7 papers:
- LICS-2013-HirschkoffMS #calculus
- Name-Passing Calculi: From Fusions to Preorders and Types (DH, JMM, DS), pp. 378–387.
- ICALP-v2-2010-HirschkoffP #on the #replication #similarity
- On Bisimilarity and Substitution in Presence of Replication (DH, DP), pp. 454–465.
- FoSSaCS-2007-HirschkoffP #congruence #π-calculus
- A Distribution Law for CCS and a New Congruence Result for the π-Calculus (DH, DP), pp. 228–242.
- GPCE-2005-HirschkoffHPSS #component #programming
- Component-Oriented Programming with Sharing: Containment is Not Ownership (DH, TH, DP, AS, JBS), pp. 389–404.
- LICS-2002-HirschkoffLS #decidability #logic
- Separability, Expressiveness, and Decidability in the Ambient Logic (DH, ÉL, DS), pp. 423–432.
- FoSSaCS-2001-RocklHB #formal method #higher-order #induction #syntax #π-calculus
- Higher-Order Abstract Syntax with Induction in Isabelle/HOL: Formalizing the π-Calculus and Mechanizing the Theory of Contexts (CR, DH, SB), pp. 364–378.
- TACAS-1999-Hirschkoff #bisimulation #on the #using #verification
- On the Benefits of Using the Up-To Techniques for Bisimulation Verification (DH), pp. 285–299.