Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 2013
Alle Filter entfernen
Zeige Ergebnisse 31 bis 40 von 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 Wirtschaftsinformatik (WI-13), February 27 - March 1, Leipzig, Germany, Pages 1213-1227, ISBN 978-3-00-041360-5, Universität Leipzig, 2/2013.

  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, Yokohama, Japan, IEEE, 2013.

  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 on Reversible Computation (RC), 5th, July 4-5, Victoria, BC, Canada, Lecture Notes in Computer Science (LNCS), Springer, 2013.

  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. Julia Freund; Andreas M. Brandmaier; Lars Lewejohann; Imke Kirste; Mareike Kritzler; Antonio Krüger; Norbert Sachser; Ulman Lindenberger; Gerd Kempermann

    Emergence of Individuality in Genetically Identical Mice

    In: Science, Vol. 340, No. 6133 , Pages 756-759, AAAS, 5/2013.

  9. Yashodhan H. Nevatia; Jeremi Gancet; Francois Bulens; Thomas Vögele; Roland Sonsalla; Chakravarthini M. Saaj; William A. Lewinger; Marcus Matthews; Brian Yeomans; Yang Gao; Elie Allouis; Barbara Imhof; Stephen Ransom; Lutz Richter; Krzysztof Skocki

    Improved Traversal for Planetary Rovers through Forward Acquisition of Terrain Trafficability

    In: Proceedings of International Conference on Robotics and Automation. IEEE International Conference on Robotics and Automation (ICRA-2013), International Conference on Robotics and Automation - Planetary Rovers Workshop, May 6-10, Karlsruhe, Germany, 5/2013.

  10. Benjamin Girault; Sebastian Bartsch; Frank Kirchner

    Multifunctional Robot Test Facility for on-orbit and extraterrestrial surface exploration

    In: Proceedings of Ground-based Space facilities symposium. Ground-based Space facilities symposium (GBSF-2013), June 12-14, Paris, France, 6/2013.

Jahr