Publikationen
- 2024
- Veröffentlicht
Parameterized complexity of weighted team definability
Kontinen, J., Mahmood, Y., Meier, A. & Vollmer, H., Mai 2024, in: Mathematical Structures in Computer Science. 34, 5, S. 375-389 15 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- 2022
- Veröffentlicht
Enumerating teams in first-order team logics
Haak, A., Meier, A., Müller, F. & Vollmer, H., Dez. 2022, in: Annals of Pure and Applied Logic. 173, 10, 103163.Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- Veröffentlicht
Enumeration Classes Defined by Circuits
Creignou, N., Durand, A. & Vollmer, H., 22 Aug. 2022, 47th International Symposium on Mathematical Foundations of Computer Science, MFCS 2022. Szeider, S., Ganian, R. & Silva, A. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 39. (Leibniz International Proceedings in Informatics, LIPIcs; Band 241).Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
- 2021
- Veröffentlicht
Descriptive complexity of #P functions: A new perspective
Durand, A., Haak, A., Kontinen, J. & Vollmer, H., März 2021, in: Journal of Computer and System Sciences. 116, S. 40-54 15 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- Veröffentlicht
A Logical Characterization of Constant-Depth Circuits over the Reals
Barlag, T. & Vollmer, H., 2021, Logic, Language, Information, and Computation: 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings. Silva, A., Wassermann, R. & de Queiroz, R. (Hrsg.). Band abs/2005.04916. S. 16-30 15 S. (Lecture Notes in Computer Science (LNCS); Band 13038).Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
- 2020
- Veröffentlicht
Satisfiability of modal inclusion logic: Lax and strict semantics
Hella, L., Kuusisto, A., Meier, A. & Vollmer, H., 10 Jan. 2020, in: ACM Transactions on Computational Logic. 21, 1, S. 1-18 18 S., 7.Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- 2019
- Veröffentlicht
A complexity theory for hard enumeration problems
Creignou, N., Kröll, M., Pichler, R., Skritek, S. & Vollmer, H., 15 Sept. 2019, in: Discrete applied mathematics. 268, S. 191-209 19 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- Veröffentlicht
A model-theoretic characterization of constant-depth arithmetic circuits
Haak, A. & Vollmer, H., Sept. 2019, in: Annals of Pure and Applied Logic. 170, 9, S. 1008-1029 22 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- Veröffentlicht
Parameterised Enumeration for Modification Problems
Creignou, N., Ktari, R., Meier, A., Müller, J. S., Olive, F. & Vollmer, H., Sept. 2019, in: Algorithms. 12, 9, S. 189 1 S., 9.Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- Veröffentlicht
Counting of teams in first-order team logics
Haak, A., Kontinen, J., Müller, F., Vollmer, H. & Yang, F., 20 Aug. 2019, 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019). Rossmanith, P., Heggernes, P. & Katoen, J.-P. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Band abs/1902.00246. S. 19:1-19:15 15 S. 19. (Leibniz International Proceedings in Informatics, LIPIcs; Band 138).Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
- Veröffentlicht
Guest Editorial: Special Issue on Theoretical Aspects of Computer Science
Vollmer, H. & Vallée, B., 15 Juli 2019, in: Theory of computing systems. 63, 5, S. 923-925 3 S., 5.Publikation: Beitrag in Fachzeitschrift › Editorial in Fachzeitschrift › Forschung › Peer-Review
- Elektronisch veröffentlicht (E-Pub)
Logics for Dependence and Independence: Report from Dagstuhl Seminar 19031
Vollmer, H., Kontinen, J., Grädel, E. & Kolaitis, P. G., 19 Juni 2019, (Elektronisch veröffentlicht (E-Pub)) in: Dagstuhl Reports. 9, 1, S. 28-46 19 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung
- Veröffentlicht
Künstlicher Geist?
Vollmer, H., 6 Jan. 2019, in: Christ in der Gegenwart. 2019, 1, S. 17-18Publikation: Beitrag in Fachzeitschrift › Artikel › Transfer
- 2018
- Veröffentlicht
Die Zukunft der Menschheit: Pierre Teilhard de Cardin und die Künstliche Intelligenz
Vollmer, H., Nov. 2018, in: Herder-Korrespondenz. 2018, 11, S. 28-32Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung
- Veröffentlicht
Model-Theoretic Characterization of Boolean and Arithmetic Circuit Classes of Small Depth
Durand, A., Haak, A. & Vollmer, H., 9 Juli 2018, LICS '18: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. New York: Association for Computing Machinery (ACM), S. 354-363 10 S. (Proceedings - Symposium on Logic in Computer Science).Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
- Veröffentlicht
Complexity of propositional logics in team semantic
Vollmer, H., Hannula, M., Kontinen, J. & Virtema, J., Jan. 2018, in: ACM Transactions on Computational Logic. 19, 1, S. 2:1-2:14 14 S., 2.Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- Veröffentlicht
Preface of STACS 2016 Special Issue
Dürr, C. & Vollmer, H., Jan. 2018, in: Theory of Computing Systems. 62, 1, S. 1-3 3 S.Publikation: Beitrag in Fachzeitschrift › Editorial in Fachzeitschrift › Forschung › Peer-Review
- 2017
- Veröffentlicht
Modal independence logic
Kontinen, J., Müller, J. S., Schnoor, H. & Vollmer, H., Juli 2017, in: Journal of Logic and Computation. 27, 5, S. 1333-1352 20 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- Veröffentlicht
Paradigms for Parameterized Enumeration
Creignou, N., Meier, A., Müller, J. S., Schmidt, J. & Vollmer, H., 1 Mai 2017, in: Theory of Computing Systems. 60, 4, S. 737-758 22 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- Veröffentlicht
On the complexity of hard enumeration problems
Creignou, N., Kröll, M., Pichler, R., Skritek, S. & Vollmer, H., 16 Feb. 2017, Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Proceedings. Springer Verlag, S. 183-195 13 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 10168 LNCS).Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review