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 81 to 90 of 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. Paul Buitelaar; Philipp Cimiano; Stefania Racioppa; Melanie Siegel

    Ontology-based Information Extraction with SOBA

    In: Proc. of LREC. International Conference on Language Resources and Evaluation (LREC), Genoa, Italy, 2006.

  8. Anupriya Ankolekar; Paul Buitelaar; Philipp Cimiano; Pascal Hitzler; Malte Kiesel; Markus Krötzsch; Holger Lewen; Günter Neumann; Michael Sintek; Tuvshintur Tserendorj; Rudi Studer

    SmartWeb: Mobile Access to the Semantic Web

    In: Proc. of the Demo Session at the International Semantic Web Conference. International Semantic Web Conference (ISWC), Athens GA, USA, 11/2006.

  9. Paul Buitelaar; Philipp Cimiano; Anette Frank; Stefania Racioppa

    SOBA: SmartWeb Ontology-based Annotation

    In: Proc. of the Demo Session at the International Semantic Web Conference. International Semantic Web Conference (ISWC), Athens GA, USA, 2006.

  10. Nicolas Weber; Paul Buitelaar

    Web-based Ontology Learning with ISOLDE

    In: Proc. of the Workshop on Web Content Mining with Human Language at the International Semantic Web Conference. International Semantic Web …