Daniel Hirschkoff (LIP)

Identifiers

• name variant Daniel Hirschkoff (LIP) 0.60 · backfill

Papers (3)

1. Termination in a Pi-calculus with Subtyping cs.LO · 2011 · author #2
2. Encapsulation and Dynamic Modularity in the Pi-Calculus cs.PL · 2009 · author #1
3. On characterising strong bisimilarity in a fragment of CCS with replication cs.LO · 2008 · author #1

Mentions

• 1107.5722 #2 · backfill · confidence 0.70 Daniel Hirschkoff (LIP)
• 0906.5446 #1 · backfill · confidence 0.70 Daniel Hirschkoff (LIP)
• 0810.2061 #1 · backfill · confidence 0.70 Daniel Hirschkoff (LIP)

Frequent Coauthors

• Damien Pous (INRIA Rh\^one-Alpes / LIG Laboratoire d'Informatique de Grenoble) 2 shared papers
• Aur\'elien Pardon (LIP) 1 shared papers
• Ioana Cristescu (LIP) 1 shared papers
• Samuel Hym (LIFL) 1 shared papers
• Tom Hirschowitz (LAMA) 1 shared papers