Publikationen
- 2012
- Veröffentlicht
SAT Interactions (Dagstuhl Seminar 12471).
Creignou, N., Galesi, N., Kullmann, O. & Vollmer, H., 2012Publikation: Sonstige Publikation › Forschung
- Veröffentlicht
The Complexity of Monotone Hybrid Logics over Linear Frames and the Natural Numbers
Göller, S., Meier, A., Mundhenk, M., Schneider, T., Thomas, M. & Weiß, F., 2012, Advances in Modal Logic 9, papers from the ninth conference on "Advances in Modal Logic," held in Copenhagen, Denmark, 22-25 August 2012. S. 261-278Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
- Veröffentlicht
The Complexity of Reasoning for Fragments of Autoepistemic Logic.
Creignou, N., Meier, A., Vollmer, H. & Thomas, M., 2012, in: ACM Trans. Comput. Log.. 13, 2, S. 17:1-17:22Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- Veröffentlicht
The complexity of reasoning for fragments of default logic.
Beyersdorff, O., Meier, A., Thomas, M. & Vollmer, H., 2012, in: J. Log. Comput.. 22, 3, S. 587-604Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- 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: Electronic colloquium on computational complexity (ECCC). 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
Generalized Satisfiability for the Description Logic ALC - (Extended Abstract)
Meier, A. & Schneider, T., 2011, Theory and Applications of Models of Computation - 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings. Ogihara, M. & Tarui, J. (Hrsg.). Band 6648. S. 552-562 11 S. (Lecture Notes in Computer Science).Publikation: 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
On the Complexity of Modal Logic Variants and their Fragments
Meier, A., 2011Publikation: Qualifikations-/Studienabschlussarbeit › Dissertation
- 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 (DSP). 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