Publications

Klaus Fischer; Sven Jacobi

In: Proceedings of IAT 2004, Peking. Asia-Pacific Conference on Intelligent Agent Technology (IAT), 2004.

Rolf-Hendrik van Lengen; Hans Hagen

2004.

Gerd Reis

2004.

Dieter Hutter; Günter Müller; Werner Stephan; Markus Ullmann (Hrsg.)

International Conference on Security in Pervasive Computing (SPC-2003), March 12-14, Boppard, Germany, Lecture Notes in Computer Science (LNCS), Vol. 2802/2004, ISBN 978-3-540-20887-7, Springer, Berlin, Heidelberg, 2004.

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, Springer, 2004.

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 Politics, Workshop of the ESF TED Programme, Bregenz, Australia, 2004.

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 (ESORICS-2004), LNCS, Springer, 2004.

Dieter Hutter

In: Workshop on Computer-Supported Mathematical Theory Development, IJCAR'04. International Joint Conference on Automated Reasoning (IJCAR-2004), Cork, Ireland, 2004.