Publikationen
- 2016
- Veröffentlicht
SAT and Interactions (Dagstuhl Seminar 16381).
Beyersdorff, O., Creignou, N., Egly, U. & Vollmer, H., 2016Publikation: Sonstige Publikation › Forschung
- Veröffentlicht
Strong Backdoors for Default Logic
Fichte, J. K., Meier, A. & Schindler, I., 2016, Theory and Applications of Satisfiability Testing – SAT 2016 - 19th International Conference, Proceedings. Le Berre, D. & Creignou, N. (Hrsg.). Cham, S. 45-59 15 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 9710).Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
- 2015
- Veröffentlicht
Dependence logic with a majority quantifier
Durand, A., Ebbing, J., Kontinen, J. & Vollmer, H., Sept. 2015, in: Journal of Logic, Language and Information. 24, S. 289-305 17 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- Veröffentlicht
Complexity of Propositional Logics in Team Semantic
Hannula, M., Kontinen, J., Virtema, J. & Vollmer, H., 23 Apr. 2015.Publikation: Arbeitspapier/Preprint › Arbeitspapier/Diskussionspapier
- Veröffentlicht
A Team Based Variant of CTL.
Krebs, A., Meier, A. & Virtema, J., 2015, 22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015. S. 140-149Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
- Veröffentlicht
A Van Benthem Theorem for Modal Team Semantics
Kontinen, J., Müller, J., Schnoor, H. & Vollmer, H., 2015, 24th EACSL Annual Conference on Computer Science Logic (CSL 2015). S. 277-291Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
- Veröffentlicht
Circuits, Logic and Games (Dagstuhl Seminar 15401).
Bojanczyk, M., Mahajan, M., Schwentick, T. & Vollmer, H., 2015Publikation: Sonstige Publikation › Forschung
- Veröffentlicht
Complexity of Propositional Independence and Inclusion Logic
Hannula, M., Kontinen, J., Virtema, J. & Vollmer, H., 2015, Mathematical Foundations of Computer Science 2015: 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I. S. 269-280Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
- Veröffentlicht
Dependence Logic with a Majority Quantifier.
Durand, A., Ebbing, J., Kontinen, J. & Vollmer, H., 2015, in: J. Log. Lang. Inf.. 24, 3, S. 289-305Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- Veröffentlicht
Komplexität von Algorithmen.
Meier, A. & Vollmer, H., 2015Publikation: Buch/Bericht/Sammelwerk/Konferenzband › Lehrbuch › Lehre
- Veröffentlicht
Logics for Dependence and Independence (Dagstuhl Seminar 15261).
Grädel, E., Kontinen, J., Väänänen, J. & Vollmer, H., 2015Publikation: Sonstige Publikation › Forschung
- Veröffentlicht
LTL Fragments are Hard for Standard Parameterisations
Lück, M. & Meier, A., 2015, 22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015. S. 59-68Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
- Veröffentlicht
Modal Inclusion Logic - Being Lax is Simpler than Being Strict.
Hella, L., Kuusisto, A., Meier, A. & Vollmer, H., 2015, Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings. S. 281-292Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
- Veröffentlicht
On the parameterized complexity of non-monotonic logics.
Meier, A., Schindler, I., Schmidt, J., Thomas, M. & Vollmer, H., 2015, in: Arch. Math. Log.. 54, 5-6, S. 685-710Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- Veröffentlicht
Parallel Computational Tree Logic.
Krebs, A., Meier, A. & Virtema, J., 2015, (CoRR).Publikation: Arbeitspapier/Preprint › Technical Report › Forschung
- Veröffentlicht
Parameterized Complexity of CTL - A Generalization of Courcelle's Theorem
Lück, M., Meier, A. & Schindler, I., 2015, Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings. Dediu, A.-H., Formenti, E., Martín-Vide, C. & Truthe, B. (Hrsg.). Band 8977. S. 549-560 12 S. (Lecture Notes in Computer Science).Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
- Veröffentlicht
Parameterized Complexity of Weighted Satisfiability Problems - Decision, Enumeration, Counting.
Creignou, N. & Vollmer, H., 2015, in: Fundam. Informaticae. 136, 4, S. 297-316Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- Veröffentlicht
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.. S. 524-536Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
- Veröffentlicht
The model checking fingerprints of CTL operators
Krebs, A., Meier, A. & Mundhenk, M., 2015, 22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015. Grandi, F., Lange, M. & Lomuscio, A. (Hrsg.). IEEE Computer Society, S. 101-110 10 S. (CoRR).Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
- 2014
- Veröffentlicht
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, 3Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review