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 71 to 80 of 609.
  1. 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.

  2. 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.

  3. 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.

  4. 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, …

  5. 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 …

  6. 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 …

  7. 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 …

  8. Stephan Baumann; Rafael Schirru; Bernhard Streit

    Towards a Storytelling Approach for Novel Artist Recommendations

    In: Marcin Detyniecki; Peter Knees; Andreas Nürnberger; Markus Schedl; Sebastian Stober (Hrsg.). Adaptive Multimedia Retrieval. Context, Exploration, …

  9. Joost van Beusekom; Faisal Shafait; Thomas Breuel

    Text-line examination for document forgery detection

    In: International Journal on Document Analysis and Recognition (IJDAR), Vol. Online First, Pages 1-19, Springer, 2012.

  10. Sebastiano Battiato; Sabu Emmanuel; Adrian Ulges; Marcel Worring

    Multimedia in Forensics, Security, and Intelligence

    In: IEEE Multimedia, Vol. 19, Pages 17-19, IEEE Computer Society, Los Alamitos, CA, USA, 2012.