Publications
2021
- Published
Parameterised Counting in Logspace
Haak, A., Meier, A., Prakash, O. & Rao, B. V. R., 2021, 38th International Symposium on Theoretical Aspects of Computer Science, STACS 2021. Blaser, M. & Monmege, B. (eds.). p. 1-17 17 p. 40. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 187).Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
2020
- Published
Incremental FPT delay
Meier, A., 15 May 2020, In: Algorithms. 13, 5, 122.Research output: Contribution to journal › Article › Research › peer review
- Published
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, p. 1-18 18 p., 7.Research output: Contribution to journal › Article › Research › peer review
- Published
Parameterised Complexity of Abduction in Schaefer’s Framework
Mahmood, Y., Meier, A. & Schmidt, J., 2020, Logical Foundations of Computer Science (LFCS 2020): International Symposium, LFCS 2020, Proceedings. Artemov, S. & Nerode, A. (eds.). Cham, p. 195-213 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11972 LNCS).Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
- Published
Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic
Mahmood, Y. & Meier, A., 2020, Foundations of Information and Knowledge Systems - 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings. Herzig, A. & Kontinen, J. (eds.). p. 157-174 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12012 LNCS).Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
2019
- Published
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, p. 189 1 p., 9.Research output: Contribution to journal › Article › Research › peer review
- Published
Counting complexity for reasoning in abstract argumentation
Fichte, J. K., Hecher, M. & Meier, A., 23 Jul 2019, AAAI-19, IAAI-19, EAAI-19 Proceedings. Vol. 1. p. 2827-2834 8 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 33).Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
- Published
Backdoors for Linear Temporal Logic
Meier, A., Ordyniak, S., Ramanujan, M. S. & Schindler, I., 15 Feb 2019, In: ALGORITHMICA. 81, 2, p. 476-496 21 p.Research output: Contribution to journal › Article › Research › peer review
2018
- Published
Team semantics for the specification and verification of hyperproperties
Krebs, A., Meier, A., Virtema, J. & Zimmermann, M., 27 Aug 2018, 43rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2018. Potapov, I., Worrell, J. & Spirakis, P. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 10. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 117).Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
- Published
Enumeration complexity of poor man’s propositional dependence logic
Meier, A. & Reinbold, C., 2018, Foundations of Information and Knowledge Systems: 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14–18, 2018, Proceedings. Woltran, S. & Ferrarotti, F. (eds.). 1. ed. Springer Verlag, p. 303-321 19 p. (Lecture Notes in Computer Science (LNCS); vol. 10833)(Information Systems and Applications, incl. Internet/Web, and HCI (LNISA)).Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review