Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 2013
Alle Filter entfernen
Zeige Ergebnisse 71 bis 80 von 504.

  1. Mathias Soeken; Robert Wille; Rolf Drechsler

    Formale Verifikation von UML-basierten Spezifikationen - Prüfung der Korrektheit von Systementwürfen vor deren Implementierung

    In: Industrie Management - Zeitschrift für industrielle Geschäftsprozesse, Vol. 01/2013, Pages 44-48, GITO, 2013.

  2. Mathias Soeken; Robert Wille; Eugen Kuksa; Rolf Drechsler

    Generierung von OCL-Ausdrücken aus natürlichsprachlichen Beschreibungen

    In: 16. ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen". ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-13), 16. March 12-14, Rostock, Germany, 2013.

  3. Jana-Rebecca Rehse; Peter Fettke; Peter Loos

    Eine Untersuchung der Potentiale automatisierter Abstraktionsansätze für Geschäftsprozessmodelle im Hinblick auf die induktive Entwicklung von Referenzprozessmodellen

    In: Rainer Alt; Bogdan Franczyk (Hrsg.). Proceedings of the 11th International Conference on Wirtschaftsinformatik. Internationale Tagung Wirtschaftsinformatik. Internationale Tagung Wirtschaftsinformatik (WI-2013), February 27 - March 1, Leipzig, Germany, tba, 2013.

  4. Rolf Drechsler; Daniel Große; Hoang M. Le; André Sülflow

    Synchronized Debugging across Different Abstraction Levels in System Design

    In: Embedded World Conference 2013. Embedded World Conference, February 26-28, Nuremberg, Germany, 2013.

  5. Tom Thaler; Peter Fettke; Peter Loos

    Process Mining - Eine Fallstudie

    In: HMD - Praxis der Wirtschaftsinformatik, Vol. 293, Pages 56-65, dpunkt.verlag GmbH, Heidelberg, 10/2013.

  6. Tom Thaler

    Entwicklung einer Methode zum Process Mining unter besonderer Berücksichtigung von Organisationswissen

    Mastersthesis, Institut für Wirtschaftsinformatik im Deutschen Forschungszentrum für Künstliche Intelligenz (DFKI) GmbH, Best Diploma Award 2012 - Semiramis Research and Service Unit (SeReS Unit), 3/2013.

  7. Anne Roudaut; Abhijit Karnik; Markus Löchtefeld; Sriram Subramanian

    Morphees: toward high "shape resolution" in self-actuated flexible mobile devices

    In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. ACM International Conference on Human Factors in Computing Systems (CHI-13), April 27 - May 2, Paris, France, ACM, 2013.

  8. Mathias Schmitt; Detlef Zühlke

    Smart Phones und Tablets in der industriellen Produktion - Nutzerfreundliche Bedienung von Feldgeräten

    In: atp edition - Automatisierungstechnische Praxis (ATP), Vol. 3, Pages 58-65, DIV Deutscher Industrieverlag GmbH, 2013.

  9. Philipp Niemann; Robert Wille; Rolf Drechsler

    On the "Q" in QMDDs: Efficient Representation of Quantum Functionality in the QMDD Data-structure

    In: Proceedings of the 5th International Conference on Reversible Comuptation. International Conference on Reversible Computation (RC-13), 5th, July 4-5, Victoria, BC, Canada, Lecture Notes in Computer Science (LNCS), Springer, 2013.

  10. Kamalika Datta; Gaurav Rathi; Robert Wille; Indranil Sengupta; Hafizur Rahaman; Rolf Drechsler

    Exploiting Negative Control Lines in the Optimization of Reversible Circuits

    In: Proceedings of the 5th International Conference on Reversible Computation. International Conference on Reversible Computation (RC-13), 5th, July 4-5, Victoria, BC, Canada, Lecture Notes in Computer Science, Springer, 2013.

Jahr