Publications

Jakob Schwendner

In: Andreas Dengel; Karsten Berns; Thomas Breuel; Frank Bomarius; Thomas Roth-Berghofer (Hrsg.). Proceedings of the 31st Annual German conference on …

Gerrit Meixner; Daniel Görlich

In: atp - Automatisierungstechnische Praxis, Vol. 12/2008, Pages 44-48, Oldenbourg Verlag, 12/2008.

Dimitris Bibikas; Dimitrios Kourtesis; Iraklis Paraskakis; Ansgar Bernardi; Leo Sauermann; Dimitris Apostolou; Gregoris Mentzas; Ana Cristina Vasconcelos

In: Dominik Flejter; Tomasz Kaczmarek; Marek Kowalkiewicz (Hrsg.). Scalable Computing: Practice and Experience, Scientific International Journal for …

Serge Autexier; Heiko Mantel; Stephan Merz; Tobias Nipkow

In: Journal of Automated Reasoning (JAR), Vol. 41, No. 3-4, Journal of Automated Reasoning, Springer Netherlands, 12/2008.

Eyad Alkassar; Mark Hillebrand; Dirk Leinenbach; Norbert Schirmer; Artem Starostin

In: Natarajan Shankar; Jim Woodcock (Hrsg.). Verified Software: Theories, Tools, Experiments. International Conference on Verified Software: Theories, …

Eyad Alkassar; Mark Hillebrand

In: Jim Woodcock; Natarajan Shankar (Hrsg.). Verified Software: Theories, Tools, Experiments. International Conference on Verified Software: Theories, …

Adrian Ulges; Markus Koch; Christian Schulze; Thomas Breuel

TREC Workshop 2008 on Video Retrieval Evaluation (TRECVID-2008), NIST, 11/2008.

Adrian Ulges; Christian Schulze; Thomas Breuel

In: Workshop on Cross-Media Information Analysis, Extraction and Management. Workshop on Cross-Media Information Analysis, Extraction and Management, …

Oliver Thomas; Philipp Walter; Thorsten Dollmann; Peter Loos; Markus Schlicker

In: Peter Loos; Markus Nüttgens; K. Turowski; Dirk Werth (Hrsg.). MobIS 2008: Modellierung betrieblicher Informationssysteme - Modellierung zwischen …

Oliver Thomas; Thorsten Dollmann; Peter Loos

In: M. Rosemann; M. Zur Muehlen (Hrsg.). Enterprise Modelling and Information Systems Architectures. An International Journal (EMISA), Vol. 3, No. 2, …