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 504.
  1. Julia Seiter; Robert Wille; Mathias Soeken; Rolf Drechsler

    Determining Relevant Model Elements for the Verification of UML/OCL Specifications

    In: Design, Automation & Test in Europe. Design, Automation & Test in Europe (DATE-13), March 18-22, Grenoble, France, IEEE, 2013.

  2. Robert Wille; Martin Gogolla; Mathias Soeken; Mirco Kuhlmann; Rolf Drechsler

    Towards a Generic Verification Methodology for System Models

    In: Design, Automation & Test in Europe. Design, Automation & Test in Europe (DATE-13), March 18-22, Grenoble, France, IEEE, 2013.

  3. Hoang M. Le; Daniel Große; Rolf Drechsler

    Scalable Fault Localization for SystemC TLM Designs

    In: Design, Automation & Test in Europe. Design, Automation & Test in Europe (DATE-13), March 18-22, Grenoble, France, IEEE, 2013.

  4. Constantin Houy; Armella-Lucia Vella; Tom Thaler; Peter Fettke; Peter Loos

    Analyse des Qualitätsdiskurses zur Modellverständlichkeit in experimentellen Studien

    In: Rainer Alt; Bogdan Franczyk (Hrsg.). Proceedings of the 11th International Conference on Wirtschaftsinformatik. Internationale Tagung …

  5. Robert Wille; Mathias Soeken; Christian Otterstedt; Rolf Drechsler

    Improving the Mapping of Reversible Circuits to Quantum Circuits Using Multiple Target Lines

    In: 18th Asia and South Pacific Design Automation Conference. Asia and South Pacific Design Automation Conference (ASP-DAC-2013), 18th, January 22-25, …

  6. Mathias Soeken; Michael Kirkedal Thomsen

    White Dots do Matter: Rewriting Reversible Logic Circuits

    In: D. Michael Miller; Gerhard W. Dueck (Hrsg.). Proceedings of the 5th International Conference on Reversible Computation. International Conference …

  7. Jan Hendrik Metzen

    Online Skill Discovery using Graph-based Clustering

    In: Journal of Machine Learning Research, Vol. W&CP 24, Pages 77-88, 2013.

  8. Sviatlana Danilava; Stephan Busemann; Christoph Schommer; Gudrun Ziegler

    Towards Computational Models for a Long-term Interaction with an Artificial Conversational Companion

    In: Proceedings of the 5th International Conference on Agents and Artificial Intelligence. International Conference on Agents and Artificial …

  9. Stephan Baumann; Rafael Schirru; Joachim Folz

    Filtering Relevant Facebook Status Updates for Users of Mobile Devices

    In: Joaquim Filipe; Ana Fred (Hrsg.). Proceedings of the 5th International Conference on Agents and Artificial Intelligence. International Conference …

  10. Shanker Keshavdas; Geert-Jan Kruijff

    Functional Mapping For Human-Robot Collaborative Exploration

    In: Proceedings of the 2013 IASTED Symposium on Artificial Intelligence And Applications. IASTED International Conference on Artificial Intelligence …