Homepage

Patrick Wischnewski

Email: Get my email address via email
Office: Room 2.04 (Building E1 7)
Phone: +49 681 9325 908
Fax: +49 681 9325 999

November 2007 - present:
Ph. D. student in Computer Science at the Universität des Saarlandes, Saarbrücken, Germany and the Max-Planck-Institut für Informatik
Supervisor: Prof. Dr. Christoph Weidenbach
2007 Master of Computer Science at the Universität des Saarlandes, Saarbrücken, Germany
Title of Master's Thesis: Contextual Rewriting in SPASS (Supervisor: Priv.-Doz. Dr. Christoph Weidenbach)
2006 Bachelor of Computer Science at the Universität des Saarlandes, Saarbrücken, Germany
Title of Bachelors's Thesis: SBDD - Representing Sets of Boolean Functions (Supervisor: Prof. Bernd Finkbeiner, PhD )

Suda M., Weidenbach C. and Wischnewski P., On the Saturation of YAGO, in 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, LNCS 6173, pp. 441-456.
Weidenbach C. and Wischnewski P., Subterm contextual rewriting, AI Communications, 23 (2-3):97-109 (2010).
Weidenbach C., Dimova D., Fietzke A., Kumar R., Suda M. and Wischnewski P., 2009, SPASS Version 3.5. in 22nd International Conference on Automated Deduction, CADE 2009, LNCS 5663, pp. 140-145.
Suda M., Sutcliff G., Lamotte-Schubert M., deMelo G. and Wischnewski P., 2009, External Sources of Axioms in Automated Theorem Proving in KI 2009: Advances in Artificial Intelligence, KI 2009, LNAI 5803, pp. 281-288.
Weidenbach C.and Wischnewski P., Contextual Rewriting in SPASS, In PAAR/ESHOL, Sydney, Australia, 2008, 115-124