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 71 bis 80 von 327
  1. Jan Mendling; Jörg Ziemann

    EPK-Visualisierung von BPEL4WS Prozessdefinitionen

    In: 7th Workshop Software-Reengineering (WSR 2005), Bad Honnef, Germany. Workshop Software-Reengineering (WSR), 5/2005.

  2. Jörg Ziemann; Jan Mendling

    Transformation of EPCs to BPEL: A pragmatic approach

    In: 7th International Conference on the Modern Information Technology in the Innovation Processes of the industrial enterprises. International …

  3. Jan Mendling; Jörg Ziemann

    Transformation of BPEL Processes to EPCs

    In: Proc. of the 4th GI Workshop on Event-Driven Process Chains (EPK 2005), Hamburg, Germany, CEUR Workshop Proceedings Volume 167, ISSN-1613-0073, …

  4. Software Certification Management: How Can Formal Methods Help?

    In: Proceedings of the 2005 Automated Software Engineering Workshop on Software Certificate Management (SoftCeMent05). Automated Software Engineering …

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

    On the Role of Information Compaction to Intrusion Detection

    In: Proceedings of the Fifth IEEE International Symposium and School on Advanced Distributed Systems, ISSADS 2005. IEEE International Symposium and …

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

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

  8. Mind the Gap - Maintaining Formal Developments in MAYA

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

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

    Rippling: Meta-level Guidance for Mathematical Reasoning

    Cambridge University Press, 2005.