Loading [MathJax]/extensions/tex2jax.js
Image/logo of the organisation entitled Institute of Theoretical Computer Science

Institute of Theoretical Computer Science

Organisational unit: Institute

Type of address: Visitor addres
Appelstraße 9a
30167
Hannover
21 - 40 out of 215Page size: 20
Order:

Publications

  1. 2022

  2. Published

    Enumerating teams in first-order team logics

    Haak, A., Meier, A., Müller, F. & Vollmer, H., Dec 2022, In: Annals of Pure and Applied Logic. 173, 10, 103163.

    Research output: Contribution to journal › Article › Research › peer review

  3. Published

    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. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 39. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 241).

    Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

  4. Published

    Temporal Team Semantics Revisited

    Gutsfeld, J. O., Meier, A., Ohrem, C. & Virtema, J., Aug 2022, LICS 22: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science. New York: Association for Computing Machinery (ACM), p. 44:1-44:13 13 p. 3533360

    Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

  5. Published

    Parameterised complexity of model checking and satisfiability in propositional dependence logic

    Mahmood, Y. & Meier, A., Mar 2022, In: Annals of Mathematics and Artificial Intelligence. 90, 2-3, p. 271-296 26 p.

    Research output: Contribution to journal › Article › Research › peer review

  6. Published

    A Parameterized View on the Complexity of Dependence Logic.

    Kontinen, J., Meier, A. & Mahmood, Y., 2022, Logical Foundations of Computer Science: International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings.. Artemov, S. & Nerode, A. (eds.). Cham, p. 125-142 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13137 LNCS).

    Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

  7. Published

    Submodel Enumeration of Kripke Structures in Modal Logic

    Fröhlich, N. & Meier, A., 2022, AiML. Fernandez-Duque, D., Palmigiano, A., Palmigiano, A. & Pinchinat, S. (eds.). p. 391-406 16 p. (Advances in Modal Logic; vol. 14).

    Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

  8. 2021

  9. Published

    Knowledge-Base Degrees of Inconsistency - Complexity and Counting

    Fichte, J. K., Hecher, M. & Meier, A., 18 May 2021, 35th AAAI Conference on Artificial Intelligence, AAAI 2021. p. 6349-6357 9 p. (AAAI-21 Technical Tracks; vol. 35, no. 7).

    Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

  10. Published

    Parameterized Complexity of Logic-Based Argumentation in Schaefer's Framework.

    Mahmood, Y., Meier, A. & Schmidt, J., 18 May 2021, 35th AAAI Conference on Artificial Intelligence, AAAI 2021. p. 6426-6434 9 p.

    Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

  11. Published

    Descriptive complexity of #P functions: A new perspective

    Durand, A., Haak, A., Kontinen, J. & Vollmer, H., Mar 2021, In: Journal of Computer and System Sciences. 116, p. 40-54 15 p.

    Research output: Contribution to journal › Article › Research › peer review

  12. Published

    Parameterized complexity of abduction in Schaefer's framework

    Mahmood, Y., Meier, A. & Schmidt, J., Jan 2021, In: J. Log. Comput.. 31, 1, p. 266-296 31 p., 1.

    Research output: Contribution to journal › Article › Research › peer review

  13. Published

    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. (eds.). Vol. abs/2005.04916. p. 16-30 15 p. (Lecture Notes in Computer Science (LNCS); vol. 13038).

    Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

  14. Published

    Decomposition-Guided Reductions for Argumentation and Treewidth

    Fichte, J. K., Hecher, M., Mahmood, Y. & Meier, A., 2021, Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021, Virtual Event / Montreal, Canada, 19-27 August 2021.. Zhou, Z.-H. (ed.). p. 1880-1886 7 p. (IJCAI International Joint Conference on Artificial Intelligence).

    Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

  15. Published

    Descriptive Complexity of Circuit-Based Counting Classes

    Haak, A., 2021, Hannover. 183 p.

    Research output: Thesis › Doctoral thesis

  16. 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

  17. 2020

  18. Published

    Incremental FPT delay

    Meier, A., 15 May 2020, In: Algorithms. 13, 5, 122.

    Research output: Contribution to journal › Article › Research › peer review

  19. 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

  20. 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

  21. 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

  22. Published

    Parametrised enumeration

    Meier, A., 2020, Hannover. 111 p.

    Research output: Thesis › Habilitation treatise

  23. Published

    Team Logic: Axioms, Expressiveness, Complexity

    Lück, M., 2020, Hannover. 216 p.

    Research output: Thesis › Doctoral thesis

Previous 1 2 3 4 5 6 7 8 ...11 Next