E-Unifikation für primitiv-rekursive Baumfunktionen : Semantik und Implementierung. - Als Ms. gedr.
(1995)
Making a C2 information system platform independent by using internet and middleware technologies
(1999)
The join of a geographical situation display system and a platform independent C2 information system
(2000)