1 - 6 out of 6Page size: 20
Publications
2019
- 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
2018
- 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
2017
- 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 journal › Article › Research › peer review
2010
- 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-490Research output: Contribution to journal › Article › Research › peer review
1998
- 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 journal › Article › Research › peer review
1996
- Published
On balanced versus unbalanced computation trees
Hertrampf, U., Vollmer, H. & Wagner, K. W., 1996, In: Theory of computing systems.Research output: Contribution to journal › Article › Research › peer review