Search the dblp DataBase

Publications of Author

1. Christine Röckl, Javier Esparza
   Proof-Checking Protocols Using Bisimulations. [Citation Graph (0, 0)][DBLP]
   CONCUR, 1999, pp:525-540 [Conf]
   
2. Martin Odersky, Vincent Cremet, Christine Röckl, Matthias Zenger
   A Nominal Theory of Objects with Dependent Types. [Citation Graph (0, 0)][DBLP]
   ECOOP, 2003, pp:201-224 [Conf]
   
3. Christine Röckl
   Proving Write Invalidate Cache Coherence with Bisimulations in Isabelle/HOL. [Citation Graph (0, 0)][DBLP]
   FBT, 2000, pp:69-78 [Conf]
   
4. Christine Röckl
   First-Order Proofs for Higher-Order Languages. [Citation Graph (0, 0)][DBLP]
   FBT, 1999, pp:193-202 [Conf]
   
5. 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. [Citation Graph (0, 0)][DBLP]
   FoSSaCS, 2001, pp:364-378 [Conf]
   
6. Christine Röckl, Davide Sangiorgi
   A pi-calculus Process Semantics of Concurrent Idealised ALGOL. [Citation Graph (0, 0)][DBLP]
   FoSSaCS, 1999, pp:306-321 [Conf]
   
7. Christine Röckl, Daniel Hirschkoff
   A fully adequate shallow embedding of the [pi]-calculus in Isabelle/HOL with mechanized syntax analysis. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 2003, v:13, n:2, pp:415-451 [Journal]
   
8. Christine Röckl
   A First-Order Syntax for the Pi-Calculus in Isabelle/HOL using Permutations. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:58, n:1, pp:- [Journal]