Birgit Schieder

According to our database, Birgit Schieder authored at least 5 papers between 1994 and 2004.

Collaborative distances:

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

2004

Pointer Theory and Weakest Preconditions without Addresses and Heap.

Birgit Schieder

Proceedings of the Mathematics of Program Construction, 7th International Conference, 2004

1999

Adapting Calculational Logic to the Undefined.

Birgit Schieder, Manfred Broy

Comput. J., 1999

1998

An Elementary Derivation of the Alternating Bit Protocol.

W. H. J. Feijen, A. J. M. van Gasteren, Birgit Schieder

Proceedings of the Mathematics of Program Construction, 1998

1994

Logic and proof method of recursion.

Birgit Schieder

PhD thesis, 1994

Interpreter Verification for a Functional Language.

Manfred Broy, Ursula Hinkel, Tobias Nipkow, Christian Prehofer, Birgit Schieder

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1994