Christine Rckl
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1999–2003
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2003 | ECOOP | A Nominal Theory of Objects with Dependent Types. | Martin Odersky, Vincent Cremet, Christine Rckl, Matthias Zenger |
| 2001 | FOSSACS | Higher-Order Abstract Syntax with Induction in Isabelle/HOL: Formalizing the pi-Calculus and Mechanizing the Theory of Contexts. | Christine Rckl, Daniel Hirschkoff, Stefan Berghofer |
| 1999 | CONCUR | Proof-Checking Protocols Using Bisimulations. | Christine Rckl, Javier Esparza |
| 1999 | FOSSACS | A pi-calculus Process Semantics of Concurrent Idealised ALGOL. | Christine Rckl, Davide Sangiorgi |