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 377
  1. Till Mossakowski

    Monad-Based Logics for Computational Effects

    In: M. Johnson; V. Vene (Hrsg.). AMAST 2006. International Conference on Algebraic Methodology and Software Technology (AMAST-06), 11th, July 5-8, …

  2. Till Mossakowski

    Institutional 2-cells and Grothendieck institutions

    In: K. Futatsugi; J.-P. Jouannaud; J. Meseguer (Hrsg.). Algebra, Meaning and Computation. Essays Dedicated to Joseph A. Goguen on the Occasion of His …

  3. Maksym Bortin; Einar Broch Johnsen; Christoph Lüth

    Structured Formal Development in Isabelle

    In: Nordic Journal of Computing, Vol. 13, Pages 1-20, 2006.

  4. David Aspinall; Christoph Lüth; Daniel Winterstein; Ahsan Fayyaz

    Proof General in Eclipse

    In: Eclipse Technology eXchange ETX'06. Eclipse Technology Exchange Workshop (ETX-06), ACM SIGPLAN International Conference on Object-Oriented …

  5. Stefan Wölfl; Till Mossakowski (Hrsg.)

    Qualitative Constraint Calculi: Application and Integration, Workshop at KI 2006, Bremen, Germany, June 14, 2006, Workshop Proceedings

    German Conference on Artificial Intelligence (KI-2006), located at 29th annual German Conference on Artificial Intelligence, June 14, Bremen, Germany, …

  6. Oliver Thomas; Michael Fellmann

    Semantische Ereignisgesteuerte Prozessketten

    In: J. Schelp; R. Winter; U. Frank; B. Rieger; K. Turowski (Hrsg.). Integration, Informationslogistik und Architektur. Data Warehousing (DW-2006), …

  7. Oliver Thomas; Michael Fellmann

    Semantische Integration von Ontologien und Ereignisgesteuerten Prozessketten

    In: M. Nüttgens; F. J. Rump; J. Mendling (Hrsg.). EPK 2006 : Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten ; 5.Workshop der …

  8. Oliver Thomas; Michael Fellmann

    Semantic Event-driven Process Chains

    In: M. Hepp; Knut Hinkelmann; D. Karagiannis; R. Klein; N. Stojanovic (Hrsg.). Proceedings of the Workshop on Semantics for Business Process …

  9. Jürgen Wiese; Heidrun Steinmetz; Armin Stahl

    Application of Case-Based Reasoning to predict Sludge Settling process and Endogenous Denitrification

    In: Proceedings of the 5th IWA World Water Congress. IWA World Water Congress, 5th, September 11-14, Beijing, China, IWA Publishing, 2006.

  10. Daniel Hausmann; Till Mossakowski; Lutz Schröder

    A Coalgebraic Approach to the Semantics of the Ambient Calculus

    In: Theoretical Computer Science, Vol. 366, No. 1-2, Pages 121-143, 2006.