Due to maintenance work, it is currently not possible to search for publications by author.
Andreas Abecker; Ansgar Bernardi; Michael Sintek
In: KnowTechForum´99, International Knowledge Technology Forum, Potsdam, Germany. International Conference on Knowledge Management and Knowledge …
In: ECIS'99 - The 7th European Conference on Information Systems. European Conference on Information Systems (ECIS), Copenhagen, 6/1999.
In: SEKE'99 The Eleventh International Conference on Software and Knowledge Engineering. International Conference on Software Engineering and …
In: Fawzi Daoud (Hrsg.). IEEE WET-ICE'99 Workshop on Knowledge Media Networking, Stanford, 16-18 June. IEEE International Workshops on Enabling …
Heiko Maus
In: Workflow Based Applications, Proceedings of Workflow Management 99. Workflow Management Conference, 1999.
Heiko Mantel; Jens Otten
In: Neil V.Murray (Hrsg.). Automated Reasoning with Analytic Tableaux and Related Methods, International Conference (TABLEAUX'99). International …
Serge Autexier; Dieter Hutter; Heiko Mantel; Axel Schairer
In: H.Ganzinger (Hrsg.). Proceedings 16th International Conference on Automated Deduction, CADE-16. International Conference on Automated Deduction …
Dennis Dams; Dieter Hutter; Natalia Sidorova
In: Françoise Bellegarde; Olga Kouchnarenko (Hrsg.). Workshop on Modelling and Verification, C.I.S. Workshop on Modelling and Verification, Besançon, …
Dieter Hutter; Alan Bundy
In: H. Ganzinger (Hrsg.). Proceedings 16th International Conference on Automated Deduction, CADE-16. International Conference on Automated Deduction …
Dieter Hutter; Heiko Mantel; Georg Rock; Werner Stephan; Andreas Wolpers; Michael Balser; Wolfgang Reif; Gerhard Schellhorn; Kurt Stenzel
In: Dieter Hutter; Werner Stephan; P. Traverso; M. Ullmann (Hrsg.). Proceedings Current Trends in Applied Formal Methods. International Workshop on …