Christine Röckl

Publication Activity (10 Years)

Years Active: 1999-2003
Publications (10 Years): 0

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

Martin Odersky, Vincent Cremet, Christine Röckl, Matthias Zenger
A Nominal Theory of Objects with Dependent Types. ECOOP (2003)
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)
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)
Christine Röckl
A First-Order Syntax for the Pi-Calculus in Isabelle/HOL using Permutations. Electron. Notes Theor. Comput. Sci. 58 (1) (2001)
Christine Röckl
Proving Write Invalidate Cache Coherence with Bisimulations in Isabelle/HOL. FBT (2000)
Christine Röckl
First-Order Proofs for Higher-Order Languages. FBT (1999)
Christine Röckl, Davide Sangiorgi
A pi-calculus Process Semantics of Concurrent Idealised ALGOL. FoSSaCS (1999)
Christine Röckl, Javier Esparza
Proof-Checking Protocols Using Bisimulations. CONCUR (1999)