Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 2009
Remove all filters
Displaying results 51 to 55 of 55.

  1. Wolfgang Maaß; W Varshney

    A framework for smart healthcare situations and smart drugs

    In: SIG-Health Pre-AMCIS Workshop at the 15th Americas Conference on Information Systems (AMCIS 2009), San Francisco, USA. Americas Conference on …

  2. Christoph Lüth

    User Interfaces for Theorem Provers: Necessary Nuisanec or Unexplored Potential?

    In: Ninth International Workshop on Automated Verification of Critical Systems (AVOCS'09). Workshop on Automated Verification of Critical Systems …

  3. Udo Frese; Tim Laue; Oliver Birbach; Jörg Kurlbaum; Thomas Röfer

    (A) Vision for 2050 Context-Based Image Understanding for a Human-Robot Soccer Match

    In: Berthold Hoffmann; Till Mossakowski; Lutz Schröder. Festkolloquium for Bernd Krieg-Brückner's 60th birthday. Pages 273-289, Sichere Kognitive …

  4. Thomas Röfer; Tim Laue; Judith Müller; Oliver Bösche; Armin Burchardt; Eric Damrose; Katharina Gillmann; Colin Graf; Thijs Jeffry de Haas; Alexander Härtl; Andrik Rieskamp; André Schreck; Ingo Sieverdingbeck et al.

    B-Human Team Report and Code Release 2009

    2009.

  5. Thomas Röfer; Christian Mandel; Axel Lankenau; Bernd Gersdorf; Udo Frese

    15 Years of Rolland

    In: Berthold Hoffmann; Till Mossakowski; Lutz Schröder. Festschrift Dedicated to Bernd Krieg-Brückner on the Occasion of his 60th Birthday. Pages …

Year