Publikationen
- 2012
- Veröffentlicht
Verifying Proofs in Constant Depth
Beyersdorff, O., Datta, S., Krebs, A., Mahajan, M., Scharfenberger-Fabian, G., Sreenivasaiah, K., Thomas, M. & Vollmer, H., 2012, in: Electron. Colloquium Comput. Complex.. TR12-079Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- 2011
- Veröffentlicht
Algorithms Unplugged
Vöcking, B., Alt, H., Dietzfelbinger, M., Reischuk, R., Scheideler, C., Vollmer, H. & Wagner, D., 2011, (Fachbuch)Publikation: Buch/Bericht/Sammelwerk/Konferenzband › Lehrbuch › Transfer
- Veröffentlicht
Dependence logic with a majority quantifier
Durand, A., Ebbing, J., Kontinen, J. & Vollmer, H., 2011, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2011). Band abs/1109.4750. S. 252-263Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
- Veröffentlicht
Model Checking CTL is Almost Always Inherently Sequential
Beyersdorff, O., Meier, A., Mundhenk, M., Schneider, T., Thomas, M. & Vollmer, H., 2011, in: Log. Methods Comput. Sci.. 7, 2Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- Veröffentlicht
Proof complexity of propositional default logic.
Beyersdorff, O., Meier, A., Müller, S., Thomas, M. & Vollmer, H., 2011, in: Arch. Math. Log.. 50, 7-8, S. 727-742Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- Veröffentlicht
The tractability of model checking for LTL - The good, the bad, and the ugly fragments.
Bauland, M., Mundhenk, M., Schneider, T., Schnoor, H., Schnoor, I. & Vollmer, H., 2011, in: ACM Trans. Comput. Log.. 12, 2, S. 13:1-13:28Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- Veröffentlicht
Verifying Proofs in Constant Depth.
Beyersdorff, O., Datta, S., Mahajan, M., Scharfenberger-Fabian, G., Sreenivasaiah, K., Thomas, M. & Vollmer, H., 2011, Mathematical Foundations of Computer Science 2011: 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings. S. 84-95Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
- 2010
- Veröffentlicht
10061 Abstracts Collection - Circuits, Logic, and Games.
Rossman, B., Schwentick, T., Thérien, D. & Vollmer, H., 2010, Circuits, Logic, and Games.Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
- Veröffentlicht
10061 Executive Summary - Circuits, Logic, and Games.
Rossman, B., Schwentick, T., Thérien, D. & Vollmer, H., 2010, Circuits, Logic, and Games.Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
- Veröffentlicht
Boolean Circuits as a Data Structure for Boolean Functions - Efficient Algorithms and Hard Problems
Böhler, E., Creignou, N., Galota, M., Reith, S., Schnoor, H. & Vollmer, H., 2010, in: Log. Methods Comput. Sci.. 8, 3Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- Veröffentlicht
Circuits, Logic, and Games
Rossman, B., Schwentick, T., Thérien, D. & Vollmer, H., 2010, in: Dagstuhl Seminar Proceedings. 10061Publikation: Beitrag in Fachzeitschrift › Konferenzaufsatz in Fachzeitschrift › Forschung › Peer-Review
- Veröffentlicht
Complexity of Non-Monotonic Logics
Thomas, M. & Vollmer, H., 2010, in: Bull. EATCS. 102, S. 53-82Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- Veröffentlicht
Complexity Results for Modal Dependence Logic
Lohmann, P. & Vollmer, H., 2010, Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings. Dawar, A. & Veith, H. (Hrsg.). S. 411-425 15 S. (Lecture Notes in Computer Science).Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
- Veröffentlicht
Counting classes and the fine structure between NC1 and L.
Datta, S., Mahajan, M., Rao, B. V. R., Thomas, M. & Vollmer, H., 2010, MFCS. S. 306-317 12 S.Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
- Veröffentlicht
Counting classes and the fine structure between NC1 and L.
Datta, S., Mahajan, M., Rao, B. V. R., Thomas, M. & Vollmer, H., 2010, in: Electron. Colloquium Comput. Complex.. TR10Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- Veröffentlicht
Extensional Uniformity for Boolean Circuits
McKenzie, P., Thomas, M. & Vollmer, H., 2010, in: SIAM J. Comput.. 39, 7, S. 3186-3206 21 S., 7.Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- Veröffentlicht
On Second-Order Monadic Monoidal and Groupoidal Quantifiers
Kontinen, J. & Vollmer, H., 2010, in: Log. Methods Comput. Sci.. 6, 3Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- Veröffentlicht
Proof Complexity of Propositional Default Logic
Beyersdorff, O., Meier, A., Müller, S., Thomas, M. & Vollmer, H., 2010, Theory and Applications of Satisfiability Testing: SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings. Strichman, O. & Szeider, S. (Hrsg.). S. 30-43 14 S. (Lecture Notes in Computer Science; Band 6175).Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
- Veröffentlicht
Proof Complexity of Propositional Default Logic
Beyersdorff, O., Meier, A., Müller, S., Thomas, M. & Vollmer, H., 2010, in: Dagstuhl Seminar Proceedings. 10061Publikation: Beitrag in Fachzeitschrift › Konferenzaufsatz in Fachzeitschrift › Forschung › Peer-Review
- Veröffentlicht
The Complexity of Problems for Quantified Constraints.
Bauland, M., Böhler, E., Creignou, N., Reith, S., Schnoor, H. & Vollmer, H., 2010, in: Theory Comput. Syst.. 47, 2, S. 454-490Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review