# Christine Röckl

According to our database

Collaborative distances:

^{1}, Christine Röckl authored at least 9 papers between 1999 and 2003.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2003

A fully adequate shallow embedding of the [pi]-calculus in Isabelle/HOL with mechanized syntax analysis.

J. Funct. Program., 2003

A Nominal Theory of Objects with Dependent Types.

Proceedings of the ECOOP 2003, 2003

2001

On the mechanized validation of infinite-state and parameterized reactive and mobile systems.

PhD thesis, 2001

A First-Order Syntax for the Pi-Calculus in Isabelle/HOL using Permutations.

Electr. Notes Theor. Comput. Sci., 2001

Higher-Order Abstract Syntax with Induction in Isabelle/HOL: Formalizing the pi-Calculus and Mechanizing the Theory of Contexts.

Proceedings of the Foundations of Software Science and Computation Structures, 2001

2000

Proving Write Invalidate Cache Coherence with Bisimulations in Isabelle/HOL.

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 2000

1999

A pi-calculus Process Semantics of Concurrent Idealised ALGOL.

Proceedings of the Foundations of Software Science and Computation Structure, 1999

First-Order Proofs for Higher-Order Languages.

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1999

Proof-Checking Protocols Using Bisimulations.

Proceedings of the CONCUR '99: Concurrency Theory, 1999