Skip to main content Skip to main navigation

Publications

Displaying results 1901 to 1910 of 15150.

  1. Aljoscha Windhorst; Hoang M. Le; Daniel Grosse; Rolf Drechsler

    Funktionale Abdeckungsanalyse von C-Programmen

    In: Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - Proceedings. ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-14), 17. March 10-12, Boeblingen, Germany, Pages 201-205, Cuvillier Verlag GmbH, 2014.

  2. Christian Reuschling; Sandra Zilles

    Personalized information filtering for mobile applications

    In: Klaus P. Jantke (Hrsg.). Knowledge Media Technologies: First International Core-to-core Workshop. Pages 1-11, Diskussionsbeiträge, Vol. 1, Inst. für Medien- und Kommunikationswiss. 2006.

  3. Andreas Abecker; Dimitris Apostolou; Jasmin Franz; Wolfgang Maass; Gregory Mentzas; Christian Reuschling; Sylvio Tabor

    Towards an Information Ontology for Knowledge Asset Trading

    In: Proceedings of the 9th International Conference on Concurrent Enterprising. International Conference on Concurrent Enterprising (ICE-2003), June 16-18, Espoo, Finland, Pages 1-5, Vol. 1, 2003.

  4. Julian Krumeich; Dirk Werth; Peter Loos

    Interactive Process Discovery and Improvement in People-Driven Business Processes

    In: Leena Suhl; Dennis Kundisch; Lars Beckmann (Hrsg.). Tagungsband Multikonferenz Wirtschaftsinformatik 2014 (MKWI 2014). Multikonferenz Wirtschaftsinformatik (MKWI-14), February 26-28, Paderborn, Germany, Pages 1185-1198, ISBN 978-3-00-045311-3, Universität Paderborn, Paderborn, 2/2014.

  5. Peter Stephan; Matthias Loskyll; Christian Stahl; Jochen Schlick

    Optimierung von Instandhaltungsprozessen durch Semantische Technologien

    In: Andreas Dengel. Semantische Technologien: Grundlagen - Konzepte - Anwendungen. Chapter 15, Pages 403-426, Spektrum Akademischer Verlag, 2011.

  6. Stephan Eggersglüß; Kenneth Schmitz; Rene Krenz-Baath; Rolf Drechsler

    Hohe Testmengenkompaktierung durch formale Optimierungstechniken

    In: ITG/GI/GMM-Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen - Proceedings. GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ-14), 26. February 23-25, Bad Staffelstein, Germany, 2014.

  7. Bertold Bongardt

    Geometric Characterization of the Workspace of Non-Orthogonal Rotation Axes

    In: Journal of Geometric Mechanics (JGM), Vol. 6, No. 2, Pages 141-166, AIMS and CSIC, 2014.

  8. Gerrit Kahl

    A Plugin Framework to Control Electronic Shelf Labels

    In: Proceedings of the 2013 ACM Conference on Pervasive and Ubiquitous Computing Adjunct Publication. Workshop on Pervasive Technologies in Retail Environments (PeTRE-13), in conjunction with Ubicomp (2013) , September 8, Zurich, Switzerland, Pages 1007-1014, UbiComp '13 Adjunct, ISBN 978-1-4503-2215-7, ACM, 2013.

  9. Christoph Stahl; Sebastian Beins

    SMAALL - Interacting with a Smart Home through a Synchronized Scale Model

    In: Proc. of ACM SIGSPATIAL Workshop on Interacting with Maps. ACM SIGSPATIAL Workshop on Interacting with Maps (MapInteract-13), located at SIGSPATIAL 2013, Orlando, FL, USA, ACM Digital Library, 11/2013.

  10. Michael Schmidt; Christina Di Valentin; Andreas Emrich; Uta Schwertel; Clara Oloff; Yvonne Kammerer

    A Social and Personalized Learning Platform for Vocational Social Media Education

    In: Leena Suhl; Dennis Kundisch (Hrsg.). Tagungsband der Multikonferenz Wirtschaftsinformatik. Multikonferenz Wirtschaftsinformatik (MKWI-14), February 26-29, Paderborn, Germany, dblp, 2014.

Year

More options