Skip to main content Skip to main navigation

Publikationen

 

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

Aktive Filter:

Jahr: 2005
Alle Filter entfernen
Zeige Ergebnisse 71 bis 80 von 327

  1. Fernando Godínez; Dieter Hutter; Raul Monroy

    Audit file reduction using n-gram models

    In: Proceedings of the Financial Cryptography and Data Security. Financial Cryptography and Data Security, Lecture Notes in Computer Science, …

  2. Dieter Hutter; Werner Stephan

    A Portrait of a Scientist: Logics, AI and Politics

    In: Festschrift in Honor of J.H.~Siekmann. Pages 1-14, Springer-Verlag, LNCS 2605, 2005.

  3. Serge Autexier; Dieter Hutter

    Mind the Gap - Maintaining Formal Developments in MAYA

    In: Festschrift in Honor of J.H.~Siekmann. Springer-Verlag, LNCS 2605, 2005.

  4. Alan Bundy; David Basin; Dieter Hutter; Andrew Ireland

    Rippling: Meta-level Guidance for Mathematical Reasoning

    Cambridge University Press, 2005.

  5. Dieter Hutter; Werner Stephan

    Mechanizing Mathematical Reasoning, Techniques, Tools, and Applications, Festschrift in Honour of J.H.~Siekmann

    Springer-Verlag, LNCS 2605, 2005.

  6. Dieter Hutter; Markus Ullmann (Eds.)

    Proceedings of the Second International Conference on Security in Pervasive Computing

    Springer-Verlag, LNCS 3450, Boppard, Germany, 2005.

  7. Florian Kupsch; Dirk Werth

    Integrating Business Processes with Peer-to-Peer technology

    In: INTEROP ESA Conference, Geneva. INTEROP ESA Conference, 2005.

  8. Thilo Deussen; Thomas Roth-Berghofer; Gregor Büchel; Bertin Klein

    Working Together in Philosophy and Informatics: An Introduction to the Contributions of the Second International Workshop on Philosophy and Informatics (WSPI 2005)

    In: Klaus-Dieter Althoff; Andreas Dengel; Ralph Bergmann; Markus Nick; Thomas Roth-Berghofer (Hrsg.). Professional Knowledge Management. Conference on …

  9. Matthias Deller; Michael Bender; Dennis Wagner; Achim Ebert; Stefan Agne; Bertin Klein

    Efficient Immersive Visualization of Virtual Document Spaces

    In: Visualization, Imaging, and Image Processing. IASTED International Conference on Visualization Imaging and Image Processing (VIIP-2005), September …

  10. B. Decker; E. Ras; J. Rech; Bertin Klein; Christian Reuschling; C. Höcht; L. Kilian

    A Framework for Agile Reuse in Software Engineering using Wiki Technology

    In: 2nd Workshop on Knowledge Management for Distributed Agile Processes: Models, Techniques, and Infrastructure, KMDAP 2005 (Part of WM 2005). …

Jahr