|
Page in English
Elmar BöhlerAdresse:Lehrstuhl für Theoretische InformatikInstitut für Informatik Julius-Maximilians-Universität Würzburg Am Hubland 97074 Würzburg
Raum B 113
Tel.: +49-931-888-6669 |
|
Veröffentlichungen
| Dissertation |
| Algebraic Closures in Complexity Theory |
| Diplomarbeit |
| On the Relative Complexity of Post's Classes |
| Zeitschriften |
|
E. Böhler, N. Creignou, S. Reith, H. Vollmer Playing with Boolean blocks, Part I: Post's lattice with applications to complexity theory ACM-SIGACT Newsletter 34(4), 38 - 52, 2003 |
|
E. Böhler, N. Creignou, S. Reith, H. Vollmer Playing with Boolean blocks, Part II: Constraint satisfaction problems ACM-SIGACT Newsletter 35(1), 22 - 35, 2004 |
|
E. Böhler, H. Schnoor, S. Reith, H. Vollmer Bases for Boolean co-clones Information Processing Letters 96(2), 59-66, 2005 |
|
E. Böhler, C. Glaßer, B. Schwarz, K. W. Wagner Generation Problems Theoretical Computer Science 345 (2-3), 260-295, 22 November 2005 |
|
E. Böhler, Henning Schnoor The complexity of the descriptiveness of Boolean circuits over different sets of gates To appear in Theory of Computing Systems |
| Konferenzbeiträge |
|
E. Böhler, E. Hemaspaandra, S. Reith, H. Vollmer Equivalence and isomorphism for Boolean constraint satisfaction Proceedings of the 16th International Workshop of Computer Science Logic, 412 - 426, 2002 |
|
E. Böhler, C. Glaßer, D. Meister Error-bounded probabilistic computations between MA and AM Proceedings of the 28th Symposium of Mathematical Foundations of Computer Science, 249 - 258, 2003 |
|
E. Böhler, E. Hemaspaandra, S. Reith, H. Vollmer The complexity of boolean constraint isomorphism Proceedings of the 21st Annual Symposium on Theoretical Aspects of Computer Science, 164 - 175, 2004 |
|
E. Böhler, C. Glaßer, B. Schwarz, K. W. Wagner Generation Problems Proceedings of the 29th Symposium of Mathematical Foundations of Computer Science, 392 - 403, 2004 |
| Technische Berichte |
|
E. Böhler, E. Hemaspaandra, St. Reith, H. Vollmer Equivalence Problems for Boolean Constraint Satisfaction Technischer Bericht Nr. 282 der Universität Würzburg, September 2001 |
|
E. Böhler On the Relative Complexity of Post's Classes Technischer Bericht Nr. 286 der Universität Würzburg, November 2001 |
|
E. Böhler, H. Vollmer Boolean Functions and Post's Lattice with Applications to Complexity Theory Technischer Bericht Nr. 290 der Universität Würzburg, Januar 2002 |
|
E. Böhler, Chr. Glaßer, D. Meister Error-bounded probabilistic computations between MA and AM Technischer Bericht Nr. 299 der Universität Würzburg, August 2002 |
|
E. Böhler, Chr. Glaßer, D. Meister Small Bounded-Error Computations and Completeness Technischer Bericht Nr. 311 der Universität Würzburg, Juli 2003 |
|
E. Böhler, K. W. Wagner Polynomial Time Generation Problems Technischer Bericht Nr. 312 der Universität Würzburg, Juli 2003 |
|
E. Böhler, N. Creignou, St. Reith, H. Vollmer Playing with Boolean Blocks: Post's Lattice with Applications to Complexity Theory Technischer Bericht Nr. 317 der Universität Würzburg, Februar 2004 |
|
E. Böhler, N. Creignou, St. Reith, H. Vollmer Playing with Boolean Blocks: Constraint Satisfaction Problems Technischer Bericht Nr. 318 der Universität Würzburg, Februar 2004 |
|
E. Böhler, Chr. Glaßer, B. Schwarz, K.W. Wagner Generation Problems Technischer Bericht Nr. 329 der Universität Würzburg, April 2004 |
|
E. Böhler, St. Reith, H. Schnoor, H. Vollmer Simple Bases for Boolean Co-Clones Technischer Bericht Nr. 350 der Universität Würzburg, Januar 2005 |
|
E. Böhler On the Lattice of Clones Below the Polynomial Time Functions Technischer Bericht Nr. 352 der Universität Würzburg, Februar 2005 |
|
M. Bauland, E. Böhler, N. Creignou, St. Reith, H. Schnoor, H. Vollmer Quantified Constraints: The Complexity of Decision and Counting for Bounded Alternation Technischer Bericht Nr. 353 der Universität Würzburg, Februar 2005 |
|
E. Böhler, H. Schnoor The Complexity of the Descriptiveness of Boolean Circuits Over Different Sets of Gates Technischer Bericht Nr. 357 der Universität Würzburg, April 2005 |
Lehre
| Logik für Informatiker | Übung im Grundstudium | 2001, 2003, 2005 |
| Theoretische Informatik | Übung im Grundstudium | 2001/02, 2002/03, 2005/06 |
| Komplexitätstheorie | Übung im Hauptstudium | 2002 |
| Rekursionstheorie und Logik | Übung im Hauptstudium | 2005 |
| Bio-Informatik | Seminar | 2004 |
| Derandomisierung | Seminar | 2004/05 |
Für Probleme, Kritik oder Anregungen: e-M@il an Webmaster.
Letzte Änderung am 1. März 2006.
[ Institut für Informatik] [ Fakultät für Mathematik und Informatik] [ Universität Würzburg]