Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 91 to 100 of 506.
  1. Business Process Modeling Notation

    In: Wirtschaftsinformatik, Vol. 50, No. 6, Pages 504-507, Vieweg & Teubner, 2008.

  2. Iliyan Georgiev; Dmitri Rubinstein; Hilko Hoffmann; Philipp Slusallek (Hrsg.)

    Real Time Ray Tracing on Many-Core-Hardware

    Intuition International Conference (INTUITION-2008), Virtual Reality in Industry and Society: From Research to Application, 5th, October 6-8, Turin, …

  3. Jakob Schwendner

    Homography Based State Estimation for Aerial Robots

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

  4. Gerrit Meixner; Daniel Görlich

    Unterstützung des Useware-Engineering Prozesses durch den Einsatz einer modellbasierten Werkzeugkette

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

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

    A Sociotechnical Approach to Knowledge Management in the Era of Enterprise 2.0: the Case of OrganiK

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

  6. Serge Autexier; Heiko Mantel; Stephan Merz; Tobias Nipkow

    Special Issue on Formal Modeling and Verification of Critical Systems

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

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

    The Verisoft Approach to Systems Verification

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

  8. Eyad Alkassar; Mark Hillebrand

    Formal Functional Verification of Device Drivers

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

  9. Adrian Ulges; Markus Koch; Christian Schulze; Thomas Breuel

    Learning TRECVID'08 High-level Features from YouTube

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

  10. Adrian Ulges; Christian Schulze; Thomas Breuel

    Multiple Instance Learning on Weakly Labeled Videos

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