Publications
- 2015
- Published
Parameterized Enumeration for Modification Problems.
Creignou, N., Ktari, R., Meier, A., Müller, J., Olive, F. & Vollmer, H., 2015, Adrian-Horia Dediu, Enrico Formenti, Carlos Martín-Vide, Bianca Truthe: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings.. p. 524-536Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
- 2014
- Published
A Fragment of Dependence Logic Capturing Polynomial Time
Ebbing, J., Kontinen, J., Müller, J. & Vollmer, H., 2014, In: Logical Methods in Computer Science, Volume. 10, 3Research output: Contribution to journal › Article › Research › peer review
- Published
LoCo - A Logic for Configuration Problems.
Aschinger, M., Drescher, C., Gottlob, G. & Vollmer, H., 2014, In: ACM Trans. Comput. Log.. 15, 3, p. 20:1-20:25Research output: Contribution to journal › Article › Research › peer review
- Published
Modal Independence Logic
Kontinen, J., Müller, J., Schnoor, H. & Vollmer, H., 2014, Advances in Modal Logic 10, invited and contributed papers from the tenth conference on "Advances in Modal Logic," held in Groningen, The Netherlands, August 5-8, 2014. Goré, R., Kooi, B. P. & Kurucz, A. (eds.). p. 353-372 20 p.Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
- 2013
- Published
Complexity Results for Modal Dependence Logic.
Lohmann, P. & Vollmer, H., 2013, In: STUD LOGICA. 101, 2, p. 343-366Research output: Contribution to journal › Article › Research › peer review
- Published
Dependence Logic - Theory and Applications (Dagstuhl Seminar 13071).
Abramsky, S., Kontinen, J., Väänänen, J. A. & Vollmer, H., 2013Research output: Other contribution › Other publication › Research
- Published
Extended Modal Dependence Logic.
Ebbing, J., Hella, L., Meier, A., Müller, J., Virtema, J. & Vollmer, H., 2013, Logic, Language, Information, and Computation - 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings. p. 126-137Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
- Published
Model Checking for Modal Dependence Logic: An Approach Through Post's Lattice
Müller, J. & Vollmer, H., 2013, Logic, Language, Information, and Computation. p. 238-250Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
- Published
Paradigms for Parameterized Enumeration
Creignou, N., Meier, A., Müller, J., Schmidt, J. & Vollmer, H., 2013, Mathematical Foundations of Computer Science 2013: 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Chatterjee, K. & Sgall, J. (eds.). p. 290-301 (Lecture Notes in Computer Science (LNCS); vol. 8087).Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
- Published
Paradigms for Parameterized Enumeration
Creignou, N., Meier, A., Müller, J., Schmidt, J. & Vollmer, H., 2013, (CoRR).Research output: Working paper/Preprint › Technical report › Research
- Published
Parameterized Enumeration with Ordering.
Creignou, N., Ktari, R., Meier, A., Müller, J., Olive, F. & Vollmer, H., 2013.Research output: Working paper/Preprint › Technical report › Research
- Published
Verifying proofs in constant depth.
Beyersdorff, O., Datta, S., Krebs, A., Mahajan, M., Scharfenberger-Fabian, G., Sreenivasaiah, K., Thomas, M. & Vollmer, H., 2013, In: ACM Trans. Comput. Theory. 5, 1, p. 2:1-2:23Research output: Contribution to journal › Article › Research › peer review
- 2012
- Published
Complexity of Model Checking for Logics over Kripke models.
Meier, A., Müller, J., Mundhenk, M. & Vollmer, H., 2012, In: Bull. EATCS. 108, p. 49-89Research output: Contribution to journal › Article › Research › peer review
- Published
Counting classes and the fine structure between NC1 and L.
Datta, S., Mahajan, M., Rao, B. V. R., Thomas, M. & Vollmer, H., 2012, In: Theor. Comput. Sci.. 417, p. 36-49Research output: Contribution to journal › Article › Research › peer review
- Published
LoCo - A Logic for Configuration Problems.
Aschinger, M., Drescher, C. & Vollmer, H., 2012, p. 73-78.Research output: Contribution to conference › Paper › Research › peer review
- Published
On the Parameterized Complexity of Default Logic and Autoepistemic Logic.
Meier, A., Schmidt, J., Thomas, M. & Vollmer, H., 2012, Language and Automata Theory and Applications: 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings. p. 389-400Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
- Published
Parameterized Complexity of Weighted Satisfiability Problems.
Creignou, N. & Vollmer, H., 2012, p. 341-354.Research output: Contribution to conference › Paper › Research › peer review
- Published
SAT Interactions (Dagstuhl Seminar 12471).
Creignou, N., Galesi, N., Kullmann, O. & Vollmer, H., 2012Research output: Other contribution › Other publication › Research
- Published
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, p. 17:1-17:22Research output: Contribution to journal › Article › Research › peer review
- Published
The complexity of reasoning for fragments of default logic.
Beyersdorff, O., Meier, A., Thomas, M. & Vollmer, H., 2012, In: J. Log. Comput.. 22, 3, p. 587-604Research output: Contribution to journal › Article › Research › peer review