Due to maintenance work, it is currently not possible to search for publications by author.
Till Mossakowski; P. Hoffman; Serge Autexier; Dieter Hutter
In: Bernd Krieg-Brückner; P. Mosses (Hrsg.). The CASL Reference Manual. LNCS, Vol. 2960, Springer, 2004.
Till Mossakowski; Serge Autexier; Dieter Hutter
In: Journal of Logic and Algebraic Programming (JLAP), Elsevier, 2004.
Fernando Godinez; Dieter Hutter; Raul Monroy
In: J. Favela; E. Manasalvas (Hrsg.). Proceedings of Atlantic Web Intelligence Conference, AWIC04. Atlantic Web Intelligence Conference (AWIC), LNCS, …
Melanie Volkamer; Dieter Hutter
In: A. Prosser (Hrsg.). Proceedings of Electronic Voting in Europe: Technology, Law and Politics. Electronic Voting in Europe: Technology, Law and …
Dieter Hutter; Axel Schairer
In: P.Ryan; P.Samarati (Hrsg.). 9th European Symposium on Research in Computer Security, ESORICS 2004. European Symposium on Computer Security …
Dieter Hutter
In: Workshop on Computer-Supported Mathematical Theory Development, IJCAR'04. International Joint Conference on Automated Reasoning (IJCAR-2004), …
Markus Löckelt
In: KONVENS 2004 Proceedings. Konferenz zur Verarbeitung natürlicher Sprache (KONVENS), 2004.
Ralf Engel; Jan Alexandersson; Tilman Becker; Markus Löckelt; Elsa Pecourt Gracia; Peter Poller; Norbert Pfleger; Norbert Reithinger
In: Proceedings of 2nd Workshop on Scalable Natural Language Understanding (ScaNaLu)''Boston, MA, May 6, 2004. Workshop on Scalable Natural Language …
Eric Schwarzkopf
In: Intelligent User Interfaces (IUI) 2004. International Conference on Intelligent User Interfaces (IUI-2004), 2004.
Ralf Engel; Norbert Pfleger; Louis Vuurpijl; Louis ten Bosch; Stephane Rossignol; Andre Neumann
In: LREC WS on Multimodal Corpora Lisbon, Portugal (2004). International Conference on Language Resources and Evaluation (LREC-2004), 2004.