Publikationen

• Heiko Mantel; Axel Schairer
  Exploiting Generic Aspects of Security Models in Formal Developments.
  In: Dieter Hutter; Werner Stephan (Hrsg.). Essays in Honor of Jörg Siekmann on the Occasion of His 60th Birthday. Page o.A. Springer, 2005.
• Dieter Hutter; Werner Stephan
  Mechanizing Mathematical Reasoning, Techniques, Tools, and Applications, Festschrift in Honour of J.H.~Siekmann.
  Springer-Verlag, LNCS 2605, 2005.
• Dieter Hutter; Werner Stephan
  A Portrait of a Scientist: Logics, AI and Politics.
  In: Festschrift in Honor of J.H.~Siekmann. Pages 1-14, Springer-Verlag, LNCS 2605, 2005.
• Erica Melis
  Why Proof Planning for Maths Education and How?.
  In: Dieter Hutter; Werner Stephan (Hrsg.). Mechanizing Mathematical Reasoning: Essays in Honor of Jörg Siekmann on the Occasion of His 60th Birthday. Pages 364-376, LNCS, Vol. 2605, Springer-Verlag, 2005.
• Dieter Hutter; Günter Müller; Werner Stephan; Markus Ullmann (Hrsg.)
  Proceedings of the First 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.
• Mehr...