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 121 to 130 of 506.
  1. James H. Davenport; Paul Libbrecht

    The Freedom to Extend OpenMath and its Utility

    In: Manfred Kerber (Hrsg.). Journal of Computer Science and Mathematics, Vol. 59, Pages 1-25, Birkhäuser, Basel, 12/2008.

  2. Business Process Modeling Notation

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

  3. 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, …

  4. 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 …

  5. 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.

  6. 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 …

  7. 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.

  8. Adrian Ulges; Thomas Breuel

    Segmentation by Combining Optical Flow with a Color Model

    In: Proceedings of the International Conference on Pattern Recognition. International Conference on Pattern Recognition (ICPR), December 8-11, Tampa, …

  9. Oliver Thomas; Michael Fellmann

    Extensible Markup Language

    In: WISU - Das Wirtschaftsstudium (WISU), Vol. 37, No. 7, Pages 972-976, Lange, Düsseldorf, 2008.

  10. 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, …