Due to maintenance work, it is currently not possible to search for publications by author.
Axel Schairer; Serge Autexier; Dieter Hutter
In: Proceedings of the 4th International Workshop on Strategies in Automated Deduction (STRATEGIES 2001), 1st International Joint Conference on …
Dieter Hutter; Klaus Fischer; Matthias Klusch; Werner Stephan
In: Proceedings Workshop on Security in Mobile Multiagent Systems, SEMAS-2001, Autonomous Agents 2001. Workshop on Security in Mobile Multiagent …
Dieter Hutter; Axel Schairer
In: Proceedings 16th IEEE International Conference on Automated Software Engineering, ASE-2001. IEEE International Conference on Automated Software …
Christian Müller; Anthony Jameson; B. Großmann-Hutter; R. Rummer; Frank Wittig
In: M. Bauer, P. Gmytrasiewicz, & J. Vassileva (Eds.), UM2001, User Modeling: Proceedings of the Eighth International Conference. Berlin: Springer. …
Paul Libbrecht; Adrian Frischauf; Erica Melis; Martin Pollet; Carsten Ullrich
In: Paul Wang; Norbert Kajler; Angel Diaz (Hrsg.). Workshop on Internet Accessible Mathematical Computation. Workshop on Internet Accessible …
Paul Libbrecht; Erica Melis; Carsten Ullrich
In: IEEE Learning Technology Newsletter, 7/2001.
In: ED-MEDIA 2001-World Conference on Educational Multimedia, Hypermedia and Telecommunications. World Conference on Educational Multimedia …
In: Calculemus Workshop at IJCAR. Symposium on the Integration of Symbolic Computation and Mechanised Reasoning (CALCULEMUS), Pages 173-177, 2001.
Erica Melis; Eric Andres; Giorgi Goguadze; Paul Libbrecht; Martin Pollet; Carsten Ullrich
In: Johanna D. Moore; Carol Redfield; W. Lewis Johnson (Hrsg.). Artificial Intelligence for Education (AIED), Vol. 68 - Frontiers in Artificial …
Erica Melis; Eric Andres; Jochen Büdenbender; Adrian Frischauf; Giorgi Goguadze; Paul Libbrecht; Martin Pollet; Carsten Ullrich
In: International Journal on Artificial Intelligence in Education (IJAIED), Vol. 12, No. 4, Pages 385-407, 2001.
