Introduction to circuit complexity: a uniform approach H Vollmer Springer Science & Business Media, 1999 | 797 | 1999 |
Playing with Boolean blocks, part I: Post's lattice with applications to complexity theory E Bohler ACM SIGACT News 34 (4), 38-52, 2003 | 149 | 2003 |
On the power of polynomial time bit-reductions U Hertrampf, C Lautemann, T Schwentick, H Vollmer, KW Wagner [1993] Proceedings of the Eigth Annual Structure in Complexity Theory …, 1993 | 136 | 1993 |
The satanic notations: counting classes beyond# P and other definitional adventures LA Hemaspaandra, H Vollmer ACM SIGACT News 26 (1), 2-13, 1995 | 126 | 1995 |
NondeterministicNC1Computation H Caussinus, P McKenzie, D Thérien, H Vollmer Journal of Computer and System Sciences 57 (2), 200-212, 1998 | 113 | 1998 |
A polynomial-time approximation scheme for base station positioning in UMTS networks M Galota, C Glaßer, S Reith, H Vollmer Proceedings of the 5th international workshop on Discrete algorithms and …, 2001 | 103 | 2001 |
The complexity of satisfiability problems: Refining Schaefer's theorem E Allender, M Bauland, N Immerman, H Schnoor, H Vollmer Journal of Computer and System Sciences 75 (4), 245-254, 2009 | 99* | 2009 |
The complexity of base station positioning in cellular networks C Glaßer, S Reith, H Vollmer Discrete Applied Mathematics 148 (1), 1-12, 2005 | 93 | 2005 |
Playing with Boolean blocks, part II: Constraint satisfaction problems E Böhler, N Creignou, S Reith, H Vollmer ACM SIGACT-Newsletter 35 (1), 22-35, 2004 | 82 | 2004 |
Taschenbuch der Algorithmen B Vöcking, H Alt, M Dietzfelbinger, R Reischuk, C Scheideler, H Vollmer, ... Springer, 2008 | 81* | 2008 |
Partially-ordered two-way automata: A new characterization of DA T Schwentick, D Thérien, H Vollmer International Conference on Developments in Language Theory, 239-250, 2001 | 80 | 2001 |
On the autoreducibility of random sequences T Ebert, W Merkle, H Vollmer SIAM Journal on Computing 32 (6), 1542-1569, 2003 | 72 | 2003 |
Bases for Boolean co-clones E Böhler, S Reith, H Schnoor, H Vollmer Information Processing Letters 96 (2), 59-66, 2005 | 62 | 2005 |
The complexity of generalized satisfiability for linear temporal logic M Bauland, T Schneider, H Schnoor, I Schnoor, H Vollmer Logical Methods in Computer Science 5, 2009 | 59 | 2009 |
The complexity of satisfiability for fragments of CTL and CTL⋆ A Meier, M Thomas, H Vollmer, M Mundhenk International Journal of Foundations of Computer Science 20 (05), 901-918, 2009 | 58 | 2009 |
The descriptive complexity approach to LOGCFL C Lautemann, P McKenzie, T Schwentick, H Vollmer Journal of Computer and System Sciences 62 (4), 629-652, 2001 | 57 | 2001 |
Lindström quantifiers and leaf language definability HJ Burtschick, H Vollmer International Journal of Foundations of Computer Science 9 (03), 277-294, 1998 | 56 | 1998 |
Paradigms for parameterized enumeration N Creignou, A Meier, JS Müller, J Schmidt, H Vollmer Theory of Computing Systems 60, 737-758, 2017 | 55 | 2017 |
Complexity results for modal dependence logic P Lohmann, H Vollmer Studia Logica 101, 343-366, 2013 | 55 | 2013 |
Complexity of constraints: an overview of current research themes N Creignou, PG Kolaitis, H Vollmer Springer Science & Business Media, 2008 | 52 | 2008 |