Publikationen

Georg Rock; Werner Stephan; Andreas Wolpers

In: Katharina Spies; Bernhard Schätz (Hrsg.). Formale Beschreibungstechniken für verteilte Systeme. GI/ITG-Fachgespräch (FBT-99), München, Germany, …

Georg Rock; Werner Stephan; Andreas Wolpers; Michael Balser; Wolfgang Reif; Stefan Scheer

In: Francesca Saglietti; Wolfgang Goerigk (Hrsg.). Proceedings Workshop Sicherheit und Zuverlässigkeit software-basierter Systeme. Joint German …

Dennis Dams; Dieter Hutter; Natalia Sidorova

In: Françoise Bellegarde; Olga Kouchnarenko (Hrsg.). Workshop on Modelling and Verification, C.I.S. Workshop on Modelling and Verification, Besançon, …

Dieter Hutter; Alan Bundy

In: H. Ganzinger (Hrsg.). Proceedings 16th International Conference on Automated Deduction, CADE-16. International Conference on Automated Deduction …

Mark-Jan Nederhof; Eberhard Bertsch

In: A. Kornai (Hrsg.). Extended Finite State Models of Language. Pages 226-243, Cambridge University Press, Stanford, 1999.

Mark-Jan Nederhof

In: Proceedings of the 6th Meeting on Mathematics of Language (MOL6), July 23-25. Meeting on Mathematics of Language (MOL), Orlando, Florida, USA, …

Mark-Jan Nederhof

In: An Encyclopedia of Computer Science and Technology. Pages 45-65, Vol. 41, Marcel Dekker Verlag, 1999.

Mark-Jan Nederhof

In: Computational Linguistics (CL), Vol. 25, No. 3, Pages 345-360, 1999.

Stefan Müller

In: 6th International Conference on Head-Driven Phrase Structure Grammar. International Conference on Head-Driven Phrase Structure Grammar (HPSG-99), …

Stefan Müller

In: Proceedings of the 5th Natural Language Processing Pacific Rim Symposium 1999 (NLPRS '99), November 5-7. Natural Language Processing Pacific Rim …