Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 2012
Alle Filter entfernen
Zeige Ergebnisse 11 bis 20 von 609.

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

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

  3. 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, Australia, 2012.

  4. 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 Techniques (WADT-10), 20th, July 1-4, Schloss Etelsen, Germany, Pages 118-138, Lecture Notes in Computer Science (LNCS), Vol. 7137, Springer, 2012.

  5. 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 Techniques (WADT-10), 20th, July 1-4, Schloss Etelsen, Germany, Lecture Notes in Computer Science (LNCS), Vol. 7137, Springer, 2012.

  6. 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 Techniques (WADT-10), located at 20th, July 1-4, Schloss Etelsen, Germany, LNCS, Vol. 7137, Springer, 2012.

  7. 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, and Fusion, Revised Selected Papers. International Workshop on Adaptive Multimedia Retrieval (AMR-2010), 8th, August 17-18, Linz, Austria, Pages 1-15, Lecture Notes in Computer Science (LNCS), Vol. 6817, ISBN 978-3-642-27168-7, Springer, 1/2012.

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

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

  10. Jens Haupert

    Towards a Digital Object Memory Architecture

    In: Fifth Annual PhD Forum on Pervasive Computing and Communications (PerCom 2012 PhD Forum). IEEE International Conference on Pervasive Computing and Communications (PerCom-12), 5th, March 19-23, Lugano, Switzerland, IEEE Computer Society, 3/2012.

Jahr