Takip et
Heribert Vollmer
Heribert Vollmer
Professor für Theoretische Informatik, Leibniz Universität Hannover
thi.uni-hannover.de üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Introduction to circuit complexity: a uniform approach
H Vollmer
Springer Science & Business Media, 1999
8281999
Playing with Boolean blocks, part I: Post's lattice with applications to complexity theory
E Bohler
ACM SIGACT News 34 (4), 38-52, 2003
1472003
The satanic notations: counting classes beyond# P and other definitional adventures
LA Hemaspaandra, H Vollmer
ACM SIGACT News 26 (1), 2-13, 1995
1361995
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
1361993
NondeterministicNC1Computation
H Caussinus, P McKenzie, D Thérien, H Vollmer
Journal of Computer and System Sciences 57 (2), 200-212, 1998
1151998
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
1052001
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
101*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
952005
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
892001
Taschenbuch der Algorithmen
B Vöcking, H Alt, M Dietzfelbinger, R Reischuk, C Scheideler, H Vollmer, ...
Springer-Verlag, 2008
84*2008
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
842004
On the autoreducibility of random sequences
T Ebert, W Merkle, H Vollmer
SIAM Journal on Computing 32 (6), 1542-1569, 2003
692003
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
672009
Bases for Boolean co-clones
E Böhler, S Reith, H Schnoor, H Vollmer
Information Processing Letters 96 (2), 59-66, 2005
632005
Paradigms for parameterized enumeration
N Creignou, A Meier, JS Müller, J Schmidt, H Vollmer
Theory of Computing Systems 60, 737-758, 2017
582017
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
582009
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
572001
Lindström quantifiers and leaf language definability
HJ Burtschick, H Vollmer
International Journal of Foundations of Computer Science 9 (03), 277-294, 1998
561998
Complexity results for modal dependence logic
P Lohmann, H Vollmer
Studia Logica 101, 343-366, 2013
542013
Complexity of constraints: an overview of current research themes
N Creignou, PG Kolaitis, H Vollmer
Springer, 2008
532008
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20