
Search the dblp DataBase
Christine Röckl:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Christine Röckl, Javier Esparza
ProofChecking Protocols Using Bisimulations. [Citation Graph (0, 0)][DBLP] CONCUR, 1999, pp:525540 [Conf]
 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:201224 [Conf]
 Christine Röckl
Proving Write Invalidate Cache Coherence with Bisimulations in Isabelle/HOL. [Citation Graph (0, 0)][DBLP] FBT, 2000, pp:6978 [Conf]
 Christine Röckl
FirstOrder Proofs for HigherOrder Languages. [Citation Graph (0, 0)][DBLP] FBT, 1999, pp:193202 [Conf]
 Christine Röckl, Daniel Hirschkoff, Stefan Berghofer
HigherOrder Abstract Syntax with Induction in Isabelle/HOL: Formalizing the piCalculus and Mechanizing the Theory of Contexts. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2001, pp:364378 [Conf]
 Christine Röckl, Davide Sangiorgi
A picalculus Process Semantics of Concurrent Idealised ALGOL. [Citation Graph (0, 0)][DBLP] FoSSaCS, 1999, pp:306321 [Conf]
 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:415451 [Journal]
 Christine Röckl
A FirstOrder Syntax for the PiCalculus in Isabelle/HOL using Permutations. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:58, n:1, pp: [Journal]
Search in 0.003secs, Finished in 0.003secs
