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 91 to 100 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. Christian Hahn; Cristián Madrigal Mora; Klaus Fischer; Brian Elvesæter; Arne-Jørgen Berre; Ingo Zinnikus

    Meta-models, Models, and Model Transformations: Towards Interoperable Agents

    In: MATES. German Conference on Multiagent System Technologies (MATES-2006), 4th German Conference, September 19-20, Erfurt, Germany, Pages 123-134, …

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

    Genetic Algorithms for syntactic and data-driven Question Answering on the Web

    Mastersthesis, Computer Linguistics, 2006.

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

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

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