Loading [MathJax]/extensions/tex2jax.js

Theory of Computing Systems

1 - 6 out of 6Page size: 20

Publications

  1. 2019

  2. 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 journalEditorial in journalResearchpeer review

  3. 2018

  4. 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 journalEditorial in journalResearchpeer review

  5. 2017

  6. Published

    Paradigms for Parameterized Enumeration

    Creignou, N., Meier, A., Müller, J. S., Schmidt, J. & Vollmer, H., 1 May 2017, In: Theory of Computing Systems. 60, 4, p. 737-758 22 p.

    Research output: Contribution to journalArticleResearchpeer review

  7. 2010

  8. Published

    The Complexity of Problems for Quantified Constraints.

    Bauland, M., Böhler, E., Creignou, N., Reith, S., Schnoor, H. & Vollmer, H., 2010, In: Theory Comput. Syst.. 47, 2, p. 454-490

    Research output: Contribution to journalArticleResearchpeer review

  9. 1998

  10. Published

    The chain method to separate counting classes

    Cronauer, K., Hertrampf, U., Vollmer, H. & Wagner, K. W., 1998, In: Theory of computing systems.

    Research output: Contribution to journalArticleResearchpeer review

  11. 1996

  12. Published

    On balanced versus unbalanced computation trees

    Hertrampf, U., Vollmer, H. & Wagner, K. W., 1996, In: Theory of computing systems.

    Research output: Contribution to journalArticleResearchpeer review