Cornelia Pusch

According to our database, Cornelia Pusch authored at least 4 papers between 1996 and 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2004

AVL Trees.

Tobias Nipkow, Cornelia Pusch

Arch. Formal Proofs, 2004

1999

Proving the Soundness of a Java Bytecode Verifier Specification in Isabelle/HOL.

Cornelia Pusch

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999

1998

Java - formal fundiert.

David von Oheimb, Cornelia Pusch

Proceedings of the JIT '98, 1998

1996

Verification of Compiler Correctness for the WAM.

Cornelia Pusch

Proceedings of the Theorem Proving in Higher Order Logics, 9th International Conference, 1996