Humboldt-Universität zu Berlin - Faculty of Mathematics and Natural Sciences - Complexity and Cryptography

The Deduction Theorem, Optimal Proof Systems, and Complete Disjoint NP-Pairs
3rd Conference on Computability in Europe (CiE), Siena (Italy), June 2007.

Disjunkte NP-Paare und aussagenlogische Beweissysteme
Vortrag zur Verteidigung der Dissertation, Humboldt-Universität zu Berlin, July 2006.

Tuples of Disjoint NP-Sets
1st International Computer Science Symposium in Russia (CSR), St.Petersburg (Russia), June 2006.

Disjoint NP Pairs from propositional proof systems
3rd Conference on Theory and Applications of Models of Computation (TAMC), Beijing (China), May 2006.

Representable Disjoint NP-Pairs
24th Conference on Foundations of Software Technology & Theoretical Computer Science (FST&TCS), Chennai (India), December 2004.