Christine Röckl

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

Coauthor Index

1	Stefan Berghofer	[6]
2	Vincent Cremet	[8]
3	Javier Esparza	[3]
4	Daniel Hirschkoff	[6] [7]
5	Martin Odersky	[8]
6	Davide Sangiorgi	[1]
7	Matthias Zenger	[8]

Colors in the list of coauthors