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 141 to 150 of 506.
  1. Christian Hahn

    A Domain Specific Modeling Language for Multiagent Systems

    In: Proceedings of the 7th International Conference on Autonomous Agents and Multiagents Systems. International Conference on Autonomous Agents and …

  2. Peter Loos; M. Nüttgens; K. Turowski; Dirk Werth (Hrsg.)

    Modellierung betrieblicher Informationssysteme. Modellierung zwischen SOA und Compliance Management

    Modellierung betrieblicher Informationssysteme (MobIS-08), November 27-28, Saarbrücken, Germany, LNI, Vol. P-141, GI, 2008.

  3. Andreas Dengel; K. Berns; Thomas Breuel; Frank Bomarius; Thomas Roth-Berghofer (Hrsg.)

    Advances in Artificial Intelligence. 31st Annual German Conference on AI

    German Conference on Artificial Intelligence (KI-2008), September 23-26, Kaiserslautern, Germany, Lecture Notes in Artificial Intelligence (LNAI), …

  4. Serge Autexier; Heiko Mantel; S. Merz; T. Nipkow

    Preface. Special Issue on Formal Modeling and Verification of Critical Systems

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

  5. Sergio Roa; Geert-Jan Kruijff; Henrik Jacobsson

    Curiosity-Driven Acquisition of Sensorimotor Concepts Using Memory-Based Active Learning

    In: Proceedings of the 2008 IEEE International Conference on Robotics and Biomimetics. IEEE International Conference on Robotics and Biomimetics …

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

  7. Oliver Thomas; Michael Fellmann

    Extensible Markup Language

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

  8. Dirk Leinenbach

    Compiler Verification in the Context of Pervasive System Verification

    PhD-Thesis, Saarland University, Computer Science Department, 2008.

  9. Frank Michel; Petra Wacker; Samuel Strupp; Hans Hagen

    NoiseVis3D: A Framework for Interactive 3D Traffic Noise Visualization

    In: Proceedings of IADIS International Conference on Computer Graphics and Visualization. IADIS International Conference on Computer Graphics and …

  10. Martin Klima; Miroslav Macik; Elena Urdaneta; Cristina Buiza; Eduardo Carrasco; Gorka Epelde; Jan Alexandersson

    User Interfaces for the Digital Home on the Basis of Open Industrial Standards

    In: Proceedings of AMIF 2008. Ambient Intelligence Forum (AMIF-2008), October 15-16, Hradec Králové, Czech Republic, 10/2008.