Page 1 of 3.
Thomas Bauereiß; Dieter Hutter
In: Heiko Mantel (Hrsg.). IT - information technology (IT), Vol. 6/2014, Pages 294-299, De Gruyter, Berlin, 12/2014.
Serge Autexier; Heiko Mantel; Stephan Merz; Tobias Nipkow
In: Journal of Automated Reasoning (JAR), Vol. 41, No. 3-4, Journal of Automated Reasoning, Springer Netherlands, 12/2008.
Serge Autexier; Heiko Mantel; S. Merz; T. Nipkow
In: Journal of Automated Reasoning (JAR), Vol. 41, No. 3-4, Pages 191-192, Springer Netherlands, 11/2008.
Dieter Hutter; Heiko Mantel; Ina Schäfer; Axel Schairer
In: Journal of Applied Logic, Vol. 5, No. 2, Pages 303-332, Elsevier B.V. 6/2007.
Dieter Hutter
In: Serge Autexier; Heiko Mantel (Hrsg.). Workshop Proceedings VERIFY06 at the International Joint Conference on Automated Reasoning. International …
Heiko Mantel; Axel Schairer
In: Dieter Hutter; Werner Stephan (Hrsg.). Essays in Honor of Jörg Siekmann on the Occasion of His 60th Birthday. Springer, 2005.
Dieter Hutter; Heiko Mantel; Axel Schairer
In: PIK - Praxis der Informationsverarbeitung und Kommunikation, Sonderheft Sicherheit, 2003.
Heiko Mantel; Axel Schairer; Matthias Kabatnik; Michael Kreutzer; Alf Zugenmaier
Technical Report, Vol. 159, 8/2001.
Heiko Mantel; Andrei Sabelfeld
In: Proceedings of the 14th IEEE Computer Security Foundations Workshop. IEEE Computer Security Foundations Workshop, Cape Breton, Pages 126-142, IEEE …
Heiko Mantel
In: Proceedings of the IEEE Symposium on Security and Privacy. IEEE Symposium on Security and Privacy (SP), Oakland, Pages 78-91, IEEE Computer …