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 51 to 60 of 609.
  1. Thomas Röfer; Tim Laue; Judith Müller; Colin Graf; Arne Böckmann; Thomas Münder

    B-Human Team Description for RoboCup 2012

    In: Xiaoping Chen; Peter Stone; Luis Enrique Sucar; Tijn van der Zant (Hrsg.). RoboCup 2012: Robot Soccer World Cup XVI Preproceedings. RoboCup …

  2. Walter Kasper; Mihaela Vela

    Monitoring and Summarization of Hotel Reviews

    In: M. Fuchs; F. Ricci; L. Cantoni (Hrsg.). Information and Communication Technologies in Tourism 2012. eTourism Present and Future Services and …

  3. Guided Exploratory Search on the Mobile Web

    In: Ana Fred; Joaquim Filipe (Hrsg.). KDIR 2012. International Conference on Knowledge Discovery and Information Retrieval (KDIR-2012), 4th, October …

  4. Martin Treiblmayr; Simon Scheider; Antonio Krüger; Marc von der Linden

    Integrating GI with non-GI services -- showcasing interoperability in a heterogeneous service-oriented architecture

    In: GeoInformatica, Vol. 16, No. 1, Pages 207-220, Springer, 1/2012.

  5. Thomas Burkhart; Benjamin Weis; Dirk Werth; Peter Loos

    Towards Process-Oriented Recommender Capabilities in Flexible Process Environments - State of the Art

    In: Proceedings of the 45th Hawaii International Conference on System Sciences. Hawaii International Conference on System Sciences (HICSS-2012), 45th, …

  6. Nico Krivograd; Peter Fettke

    Development of a Generic Tool for the Application of Maturity Models - Results from a Design Science Approach

    In: Jr. Ralph H. Sprague (Hrsg.). Proceedings of the 45th Annual Hawaii International Conference on System Sciences. Hawaii International Conference …

  7. Robert Wille; Rolf Drechsler; Christof Oswald; Alberto Garcia-Ortiz

    Automatic Design of Low-Power Encoders Using Reversible Circuit Synthesis

    In: Conference Proceedings Design, Automation & Test in Europe. Design, Automation & Test in Europe (DATE-12), March 12-16, Dresden, Germany, 2012.

  8. Finn Haedicke; Daniel Große; Rolf Drechsler

    A Guiding Coverage Metric for Formal Verification

    In: Conference Proceedings. Design, Automation & Test in Europe (DATE-12), March 12-16, Dresden, Germany, 2012.

  9. Mathias Soeken; Robert Wille; Rolf Drechsler

    Eliminating Invariants in UML/OCL Models

    In: Conference Proceedings. Design, Automation & Test in Europe (DATE-12), March 12-16, Dresden, Germany, 2012.

  10. Robert Wille; Mathias Soeken; Rolf Drechsler

    Debugging of Inconsistent UML/OCL Models

    In: Conference Proceedings. Design, Automation & Test in Europe (DATE-12), March 12-16, Dresden, Germany, 2012.