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
41 - 60 out of 215Page size: 20
Order:

Publications

  1. 2019

  2. Published

    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, p. 191-209 19 p.

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

  3. Published

    The model checking fingerprints of CTL operators

    Krebs, A., Meier, A. & Mundhenk, M., 1 Sept 2019, In: Acta informatica. 56, 6, p. 487-519 33 p.

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

  4. Published

    A model-theoretic characterization of constant-depth arithmetic circuits

    Haak, A. & Vollmer, H., Sept 2019, In: Annals of Pure and Applied Logic. 170, 9, p. 1008-1029 22 p.

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

  5. Published

    Model checking and validity in propositional and modal inclusion logics

    Hella, L., Kuusisto, A., Meier, A. & Virtema, J., Sept 2019, In: Journal of logic and computation. 29, 5, p. 605-630 26 p.

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

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

  7. Published

    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. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. abs/1902.00246. p. 19:1-19:15 15 p. 19. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 138).

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

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

  9. Published

    Guest Editorial: Special Issue on Theoretical Aspects of Computer Science

    Vollmer, H. & Vallée, B., 15 Jul 2019, In: Theory of computing systems. 63, 5, p. 923-925 3 p., 5.

    Research output: Contribution to journal › Editorial in journal › Research › peer review

  10. E-pub ahead of print

    Logics for Dependence and Independence: Report from Dagstuhl Seminar 19031

    Vollmer, H., Kontinen, J., Grädel, E. & Kolaitis, P. G., 19 Jun 2019, (E-pub ahead of print) In: Dagstuhl Reports. 9, 1, p. 28-46 19 p.

    Research output: Contribution to journal › Article › Research

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

  12. Published

    Towards Automated Defect Analysis Using Execution Traces of Scenario-Based Models

    Greenyer, J., Gritzner, D., Harel, D. & Marron, A., 1 Feb 2019, Model-Driven Engineering and Software Development: 6th International Conference, MODELSWARD 2018, Revised Selected Papers. Pires, L. F., Selic, B. & Hammoudi, S. (eds.). Springer Verlag, p. 335-354 20 p. (Communications in Computer and Information Science; vol. 991).

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

  13. Published

    Künstlicher Geist?

    Vollmer, H., 6 Jan 2019, In: Christ in der Gegenwart. 2019, 1, p. 17-18

    Research output: Contribution to journal › Article › Transfer

  14. 2018

  15. Published

    Die Zukunft der Menschheit: Pierre Teilhard de Cardin und die Künstliche Intelligenz

    Vollmer, H., Nov 2018, In: Herder-Korrespondenz. 2018, 11, p. 28-32

    Research output: Contribution to journal › Article › Research

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

  17. Published

    Approximation and dependence via multiteam semantics

    Durand, A., Hannula, M., Kontinen, J., Meier, A. & Virtema, J., Aug 2018, In: Annals of Mathematics and Artificial Intelligence. 83, 3-4, p. 297-320 24 p.

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

  18. Published

    Model-Theoretic Characterization of Boolean and Arithmetic Circuit Classes of Small Depth

    Durand, A., Haak, A. & Vollmer, H., 9 Jul 2018, LICS '18: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. New York: Association for Computing Machinery (ACM), p. 354-363 10 p. (Proceedings - Symposium on Logic in Computer Science).

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

  19. E-pub ahead of print

    Enumeration in Incremental FPT-Time

    Meier, A., 20 Apr 2018, (E-pub ahead of print).

    Research output: Working paper/Preprint › Technical report › Research

  20. Published

    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, p. 2:1-2:14 14 p., 2.

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

  21. Published

    Preface of STACS 2016 Special Issue

    Dürr, C. & Vollmer, H., Jan 2018, In: Theory of Computing Systems. 62, 1, p. 1-3 3 p.

    Research output: Contribution to journal › Editorial in journal › Research › peer review

  22. Published

    Computational complexity aspects of implicit graph representations

    Chandoo, M., 2018, Hannover. 89 p.

    Research output: Thesis › Doctoral thesis

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