Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 101 bis 110 von 609
  1. Martin Treiblmayr; Simon Scheider; Antonio Krüger; Marc von der Linden

    Integrating GI with non-GI services -- showcasing interoperability in a heterogeneous service-oriented architecture

    In: GeoInformatica, Vol. 16, No. 1, Pages 207-220, Springer, 1/2012.

  2. Nico Krivograd; Peter Fettke

    Development of a Generic Tool for the Application of Maturity Models - Results from a Design Science Approach

    In: Jr. Ralph H. Sprague (Hrsg.). Proceedings of the 45th Annual Hawaii International Conference on System Sciences. Hawaii International Conference …

  3. Robert Wille; Rolf Drechsler; Christof Oswald; Alberto Garcia-Ortiz

    Automatic Design of Low-Power Encoders Using Reversible Circuit Synthesis

    In: Conference Proceedings Design, Automation & Test in Europe. Design, Automation & Test in Europe (DATE-12), March 12-16, Dresden, Germany, 2012.

  4. Finn Haedicke; Daniel Große; Rolf Drechsler

    A Guiding Coverage Metric for Formal Verification

    In: Conference Proceedings. Design, Automation & Test in Europe (DATE-12), March 12-16, Dresden, Germany, 2012.

  5. Mathias Soeken; Robert Wille; Rolf Drechsler

    Eliminating Invariants in UML/OCL Models

    In: Conference Proceedings. Design, Automation & Test in Europe (DATE-12), March 12-16, Dresden, Germany, 2012.

  6. Robert Wille; Mathias Soeken; Rolf Drechsler

    Debugging of Inconsistent UML/OCL Models

    In: Conference Proceedings. Design, Automation & Test in Europe (DATE-12), March 12-16, Dresden, Germany, 2012.

  7. Mathias Soeken; Robert Wille; Christoph Hilken; Nils Przigoda; Rolf Drechsler

    Synthesis of Reversible Circuits with Minimal Lines for Large Functions

    In: Conference Proceedings. Asia and South Pacific Design Automation Conference (ASP-DAC-12), 17th, January 30 - February 2, Sydney, New South Wales, …

  8. Mihai Codescu; Fulya Horozal; Michael Kohlhase; Till Mossakowski; Florian Rabe

    A Proof Theoretic Interpretation of Model Theoretic Hiding

    In: Hans-Jörg Kreowski; Till Mossakowski (Hrsg.). Recent Trends in Algebraic Development Techniques. International Workshop on Algebraic Development …

  9. Mihai Codescu; Fulya Horozal; Michael Kohlhase; Till Mossakowski; Florian Rabe; Kristina Sojakova

    Towards Logical Frameworks in the Heterogeneous Tool Set Hets

    In: Hans-Jörg Kreowski; Till Mossakowski (Hrsg.). Recent Trends in Algebraic Development Techniques. International Workshop on Algebraic Development …

  10. Mihai Codescu

    Lambda Expressions in CASL Architectural Specifications

    In: Till Mossakowski; Hans-Jörg Kreowski (Hrsg.). Recent Trends in Algebraic Development Techniques. International Workshop on Algebraic Development …