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 91 bis 100 von 377
  1. Till Mossakowski

    Hets User Guide

    Department of Computer Science; Universität Bremen, o.A. 2006.

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

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

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

    Structured Formal Development in Isabelle

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

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

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

  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 …