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 61 bis 70 von 377
  1. Lutz Schröder

    A Finite Model Construction for Coalgebraic Modal Logic

    In: Luca Aceto; Anna Ingólfsdóttir (Hrsg.). Foundations Of Software Science And Computation Structures. International Conference on Foundations of …

  2. Lutz Schröder

    The HasCASL Prologue - Categorical Syntax and Semantics of the Partial $lambda$-calculus

    In: Theoretical Computer Science, Vol. 353, Pages 1-25, 2006.

  3. Centrally Managed System Infrastructure and Integration in COMIC

    In: Aaron Quigley; K.P. Fishkin; B. Schiele; P. Nixon (Hrsg.). Pervasive 2006 Workshop Proceedings. International Conference on Pervasive Computing …

  4. Ivana Kruijff-Korbayová; Tilman Becker; Nate Blaylock; Ciprian Gerstenberger; Michael Kaisser; Peter Poller; Verena Rieser; Jan Schehl

    The SAMMIE corpus of multimodal dialogues with an MP3 player

    In: Proceedings of The 5th Language Resources and Evaluation Conference. International Conference on Language Resources and Evaluation (LREC-2006), …

  5. Till Mossakowski; Serge Autexier; Dieter Hutter

    Development Graphs -- Proof Management for Structured Specifications

    In: Journal of Logic and Algebraic Programming (JLAP), Vol. 67, No. 1-2, Pages 114-145, 2006.

  6. Till Mossakowski; Lutz Schröder; Markus Roggenbach; Horst Reichel

    Algebraic-co-algebraic specification in CoCASL

    In: Journal of Logic and Algebraic Programming (JLAP), Vol. 67, No. 1-2, Pages 146-197, 2006.

  7. Tania Avgustinova; Hans Uszkoreit

    Shared and Non-Shared Grammar in Modelling Slavic Morphosyntax

    In: Readings in Multilinguality. Selected papers for young researchers in BIS-21++. Pages 9-16, Institute for Parallel Processing, Bulgarian Academy …

  8. Tania Avgustinova

    Grammatical Relatedness of Slavic Languages Taken Seriously

    In: Formal Approaches to South Slavic and Balkan Languages. Formal Approaches to South Slavic and Balkan Languages (FASSBL-5), October 18-20, Sofia, …

  9. Norbert Reithinger; Simon Bergweiler; Anselm Blocher; Ralf Engel; Gerd Herzog; Alexander Pfalzgraf; Norbert Pfleger; Massimo Romanelli; Gerhard Sonnenberg; Daniel Sonntag; Wolfgang Wahlster

    SmartWeb - Multimodal Interaction with Web Services

    In: Proceedings of the 29th Annual German Conference on Artificial Intelligence (KI 2006). German Conference on Artificial Intelligence (KI), Pages …

  10. Oliver Thomas; Otmar Adam; Peter Loos; Katrina Leyking

    A Fuzzy Paradigm Approach for Business Process Intelligence.

    In: Proceedings of the IEEE-EEE/CEC. IEEE Congress on Evolutionary Computation (IEEE CEC), 2006.