Edit Profile Meinel, Christoph Compute Distance To: Compute Author ID: meinel.christoph Published as: Meinel, C.; Meinel, Ch.; Meinel, Chr.; Meinel, Christoph External Links: MGP · Wikidata · GND Documents Indexed: 82 Publications since 1980, including 16 Books Reviewing Activity: 43 Reviews all top 5 Co-Authors 27 single-authored 15 Waack, Stephan 7 Theobald, Thorsten 6 Budach, Lothar 6 Damm, Carsten 6 Krause, Matthias 5 Mundhenk, Martin 5 Sack, Harald 4 Gergov, Jordan 3 Graw, Bernd 2 Buntrock, Gerhard 2 Giessmann, Ernst-Günter 2 Grassmann, Hubert 2 Hertrampf, Ulrich 2 Krob, Daniel 2 Molzan, Burkhard 2 Morvan, Michel 2 Schäfer, Uwe 2 Stangier, Christian 2 Zienicke, Peter 1 AlSa’deh, Ahmad 1 Cheng, Feng 1 Engel, Thomas 1 Ghasemzadeh, Mohammad 1 Haffner, Ernst-Georg 1 Heuer, Andreas 1 Hromkovič, Juraj 1 Italiano, Giuseppe Francesco 1 Plášil, František 1 Rafiee, Hosnieh 1 Roschke, Sebastian 1 Roth, Uwe 1 Schuppenies, Robert 1 Slobodová, Anna 1 Tison, Sophie 1 van der Hoek, Wiebe 1 Van Leeuwen, Jan 1 Wagner, Arno 1 Zahn, Steffen all top 5 Serials 6 Elektronische Informationsverarbeitung und Kybernetik 4 Lecture Notes in Computer Science 3 Mathematical Systems Theory 3 Theoretical Computer Science 3 Journal of Information Processing and Cybernetics 3 Bulletin of the European Association for Theoretical Computer Science (EATCS) 3 Seminarbericht, Humboldt-Universität zu Berlin, Sektion Mathematik 2 Information Processing Letters 2 Computers and Artificial Intelligence 2 Information and Computation 1 IEEE Transactions on Computers 1 Journal of Computer and System Sciences 1 Annales Societatis Mathematicae Polonae. Series IV 1 1 RAIRO. Informatique Théorique et Applications 1 Computational Complexity 1 Formal Methods in System Design 1 Theory of Computing Systems 1 Discrete Mathematics and Theoretical Computer Science. DMTCS 1 RAIRO. Theoretical Informatics and Applications all top 5 Fields 80 Computer science (68-XX) 14 Information and communication theory, circuits (94-XX) 9 General and overarching topics; collections (00-XX) 8 Mathematical logic and foundations (03-XX) 3 Category theory; homological algebra (18-XX) 2 Combinatorics (05-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 1 Algebraic topology (55-XX) 1 Numerical analysis (65-XX) 1 Operations research, mathematical programming (90-XX) 1 Mathematics education (97-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 35 Publications have been cited 173 times in 140 Documents Cited by ▼ Year ▼ Structure and importance of logspace-MOD class. Zbl 0749.68033Buntrock, Gerhard; Damm, Carsten; Hertrampf, Ulrich; Meinel, Christoph 28 1992 Algorithms and data structure in VLSI design. DBDD - foundations and applications. Zbl 0899.68040Meinel, Christoph; Theobald, Thorsten 21 1998 Efficient Boolean manipulation with OBDD’s can be extended to FBDD’s. Zbl 1063.68573Gergov, Jordan; Meinel, Christoph 17 1994 Separating the eraser Turing machine classes \(L_ e\), \(NL_ e\), \(co- NL_ e\) and \(P_ e\). Zbl 0749.68036Krause, Matthias; Meinel, Christoph; Waack, Stephan 17 1991 Algorithms and data structures in VLSI design. Transl. from the German. Zbl 0907.68116Meinel, Christoph; Theobald, Thorsten 10 1998 Polynomial size \(\Omega\)-branching programs and their computational power. Zbl 0705.68052Meinel, Christoph 9 1990 Modified branching programs and their computational power. Zbl 0669.68042Meinel, Christoph 8 1989 Frontiers of feasible and probabilistic feasible Boolean manipulation with branching programs. (Extended abstract). Zbl 0798.68078Gergov, Jordan; Meinel, Christoph 7 1993 Algebraic and topological properties of finite partially ordered sets. Zbl 0677.06001Budach, Lothar; Graw, Bernd; Meinel, Christoph; Waack, Stephan 7 1988 On relations between counting communication complexity classes. Zbl 1159.68465Damm, Carsten; Krause, Matthias; Meinel, Christoph; Waack, Stephan 6 2004 Separating complexity classes related to certain input oblivious logarithmic space-bounded Turing machines. Zbl 0768.68017Krause, Matthias; Meinel, Christoph; Waack, Stephan 6 1992 Local encoding transformations for optimizing OBDD-representations of finite state machines. Zbl 1001.68028Meinel, Christoph; Theobald, Thorsten 3 2001 Structure and importance of logspace-MOD-classes. Zbl 0764.68041Buntrock, Gerhard; Damm, Carsten; Hertrampf, Ulrich; Meinel, Christoph 3 1991 The power of polynomial size \(\Omega\)-branching programs. Zbl 0644.68074Meinel, Christoph 3 1988 The nonuniform complexity classes NC 1, L and NL. Zbl 0638.68028Meinel, Christoph 3 1987 On the influence of the state encoding on OBDD-representations of finite state machines. Zbl 0927.68051Meinel, Christoph; Theobald, Thorsten 2 1999 Branching programs provide lower bounds on the area of multilective deterministic and nondeterministic VLSI circuits. Zbl 0674.68033Hromkovič, Juraj; Krause, Matthias; Meinel, Christoph; Waack, Stephan 2 1990 Switching graphs and their complexity. Zbl 0755.68071Meinel, Christoph 2 1989 Separating completely complexity classes related to polynomial size \(\Omega\)-decision trees. Zbl 0756.68039Damm, Carsten; Meinel, Christoph 2 1989 p-projection reducibility and the complexity classes \({\mathcal L}\) nonuniform and \({\mathcal N}{\mathcal L}\) (nonuniform). Zbl 0611.03021Meinel, Christoph 2 1986 SOFSEM 2007: Theory and practice of computer science. 33rd conference on current trends in theory and practice of computer science, Harrachov, Czech Republic, January 20–26, 2007. Proceedings. Zbl 1129.68007van Leeuwen, Jan (ed.); Italiano, Giuseppe F. (ed.); van der Hoek, Wiebe (ed.); Meinel, Christoph (ed.); Sack, Harald (ed.); Plášil, František (ed.) 1 2007 Data structures for Boolean functions. BDDs – foundations and applications. Zbl 1052.68135Meinel, Christoph; Stangier, Christian 1 2001 A reducibility concept for problems defined in terms of ordered binary decision diagrams. Zbl 0876.68044Meinel, Ch.; Slobodová, A. 1 1997 Separating oblivious linear length \(\text{MOD}_ p\)-branching program classes. Zbl 0838.68037Damm, Carsten; Krause, Matthias; Meinel, Christoph; Waack, Stephan 1 1994 On the complexity of analysis and manipulation of Boolean functions in terms of decision graphs. Zbl 0803.68049Gergov, Jordan; Meinel, Christoph 1 1994 Upper and lower bounds for certain graph-accessibility-problems on bounded alternating \(\omega\)-branching programs. Zbl 0789.68054Meinel, Christoph; Waack, Stephan 1 1993 Branching programs — An efficient data structure for computer-aided circuit design. Zbl 0751.68019Meinel, Christoph 1 1992 Upper and lower bounds for certain graph-accessibility-problems on bounded alternating \(\omega\)-branching programs. Zbl 0776.68060Meinel, Christoph; Waack, Stephan 1 1991 Restricted branching programs and their computational power. Zbl 0747.68018Meinel, Christoph 1 1990 Separating the eraser Turing machine classes \(L_ e\), \(NL_ e\), \(co- NL_ e\) and \(P_ e\). Zbl 0656.68050Krause, Matthias; Meinel, Christoph; Waack, Stephan 1 1988 The power of nondeterminism in polynomial-size bounded-width branching programs. Zbl 0642.68086Meinel, Christoph 1 1987 Environments and Automata. II. Zbl 0534.68037Budach, Lothar; Meinel, Christoph 1 1982 Environments and Autmata. I. Zbl 0534.68036Budach, Lothar; Meinel, Christoph 1 1982 The importance of plane labyrinths. Zbl 0518.68033Meinel, Christoph 1 1982 Umwelten und Automaten in Umwelten. Zbl 0432.68042Budach, L.; Meinel, Ch. 1 1980 SOFSEM 2007: Theory and practice of computer science. 33rd conference on current trends in theory and practice of computer science, Harrachov, Czech Republic, January 20–26, 2007. Proceedings. Zbl 1129.68007van Leeuwen, Jan (ed.); Italiano, Giuseppe F. (ed.); van der Hoek, Wiebe (ed.); Meinel, Christoph (ed.); Sack, Harald (ed.); Plášil, František (ed.) 1 2007 On relations between counting communication complexity classes. Zbl 1159.68465Damm, Carsten; Krause, Matthias; Meinel, Christoph; Waack, Stephan 6 2004 Local encoding transformations for optimizing OBDD-representations of finite state machines. Zbl 1001.68028Meinel, Christoph; Theobald, Thorsten 3 2001 Data structures for Boolean functions. BDDs – foundations and applications. Zbl 1052.68135Meinel, Christoph; Stangier, Christian 1 2001 On the influence of the state encoding on OBDD-representations of finite state machines. Zbl 0927.68051Meinel, Christoph; Theobald, Thorsten 2 1999 Algorithms and data structure in VLSI design. DBDD - foundations and applications. Zbl 0899.68040Meinel, Christoph; Theobald, Thorsten 21 1998 Algorithms and data structures in VLSI design. Transl. from the German. Zbl 0907.68116Meinel, Christoph; Theobald, Thorsten 10 1998 A reducibility concept for problems defined in terms of ordered binary decision diagrams. Zbl 0876.68044Meinel, Ch.; Slobodová, A. 1 1997 Efficient Boolean manipulation with OBDD’s can be extended to FBDD’s. Zbl 1063.68573Gergov, Jordan; Meinel, Christoph 17 1994 Separating oblivious linear length \(\text{MOD}_ p\)-branching program classes. Zbl 0838.68037Damm, Carsten; Krause, Matthias; Meinel, Christoph; Waack, Stephan 1 1994 On the complexity of analysis and manipulation of Boolean functions in terms of decision graphs. Zbl 0803.68049Gergov, Jordan; Meinel, Christoph 1 1994 Frontiers of feasible and probabilistic feasible Boolean manipulation with branching programs. (Extended abstract). Zbl 0798.68078Gergov, Jordan; Meinel, Christoph 7 1993 Upper and lower bounds for certain graph-accessibility-problems on bounded alternating \(\omega\)-branching programs. Zbl 0789.68054Meinel, Christoph; Waack, Stephan 1 1993 Structure and importance of logspace-MOD class. Zbl 0749.68033Buntrock, Gerhard; Damm, Carsten; Hertrampf, Ulrich; Meinel, Christoph 28 1992 Separating complexity classes related to certain input oblivious logarithmic space-bounded Turing machines. Zbl 0768.68017Krause, Matthias; Meinel, Christoph; Waack, Stephan 6 1992 Branching programs — An efficient data structure for computer-aided circuit design. Zbl 0751.68019Meinel, Christoph 1 1992 Separating the eraser Turing machine classes \(L_ e\), \(NL_ e\), \(co- NL_ e\) and \(P_ e\). Zbl 0749.68036Krause, Matthias; Meinel, Christoph; Waack, Stephan 17 1991 Structure and importance of logspace-MOD-classes. Zbl 0764.68041Buntrock, Gerhard; Damm, Carsten; Hertrampf, Ulrich; Meinel, Christoph 3 1991 Upper and lower bounds for certain graph-accessibility-problems on bounded alternating \(\omega\)-branching programs. Zbl 0776.68060Meinel, Christoph; Waack, Stephan 1 1991 Polynomial size \(\Omega\)-branching programs and their computational power. Zbl 0705.68052Meinel, Christoph 9 1990 Branching programs provide lower bounds on the area of multilective deterministic and nondeterministic VLSI circuits. Zbl 0674.68033Hromkovič, Juraj; Krause, Matthias; Meinel, Christoph; Waack, Stephan 2 1990 Restricted branching programs and their computational power. Zbl 0747.68018Meinel, Christoph 1 1990 Modified branching programs and their computational power. Zbl 0669.68042Meinel, Christoph 8 1989 Switching graphs and their complexity. Zbl 0755.68071Meinel, Christoph 2 1989 Separating completely complexity classes related to polynomial size \(\Omega\)-decision trees. Zbl 0756.68039Damm, Carsten; Meinel, Christoph 2 1989 Algebraic and topological properties of finite partially ordered sets. Zbl 0677.06001Budach, Lothar; Graw, Bernd; Meinel, Christoph; Waack, Stephan 7 1988 The power of polynomial size \(\Omega\)-branching programs. Zbl 0644.68074Meinel, Christoph 3 1988 Separating the eraser Turing machine classes \(L_ e\), \(NL_ e\), \(co- NL_ e\) and \(P_ e\). Zbl 0656.68050Krause, Matthias; Meinel, Christoph; Waack, Stephan 1 1988 The nonuniform complexity classes NC 1, L and NL. Zbl 0638.68028Meinel, Christoph 3 1987 The power of nondeterminism in polynomial-size bounded-width branching programs. Zbl 0642.68086Meinel, Christoph 1 1987 p-projection reducibility and the complexity classes \({\mathcal L}\) nonuniform and \({\mathcal N}{\mathcal L}\) (nonuniform). Zbl 0611.03021Meinel, Christoph 2 1986 Environments and Automata. II. Zbl 0534.68037Budach, Lothar; Meinel, Christoph 1 1982 Environments and Autmata. I. Zbl 0534.68036Budach, Lothar; Meinel, Christoph 1 1982 The importance of plane labyrinths. Zbl 0518.68033Meinel, Christoph 1 1982 Umwelten und Automaten in Umwelten. Zbl 0432.68042Budach, L.; Meinel, Ch. 1 1980 all cited Publications top 5 cited Publications all top 5 Cited by 199 Authors 12 Meinel, Christoph 11 Waack, Stephan 8 Bollig, Beate 7 Krause, Matthias 7 Sieling, Detlef 6 Wegener, Ingo 5 Damm, Carsten 4 Allender, Eric W. 4 Arvind, Vikraman 4 Homeister, Matthias 4 Köbler, Johannes 3 Bibilo, P. N. 3 Brosenne, Henrik 3 Gál, Anna 3 Kuhnert, Sebastian 3 Semenov, Aleksandr Anatol’evich 3 Vollmer, Heribert 2 Beimel, Amos 2 Flesca, Sergio 2 Groote, Jan Friso 2 Gröpl, Clemens 2 Hertrampf, Ulrich 2 Hromkovič, Juraj 2 Klimovich, A. S. 2 Lohrey, Markus 2 Meier, Arne 2 Ogihara, Mitsunori 2 Parisi, Francesco 2 Prömel, Hans Jürgen 2 Razborov, Aleksandr Aleksandrovich 2 Sauerhoff, Martin 2 Solov’ev, Vyacheslav V. 2 Srivastav, Anand 2 Tewari, Raghunath 2 Thomas, Michael A. 2 Torán, Jacobo 2 Vinodchandran, N. Variyam 2 Wunderlich, Henning 2 Yukna, Stasys P. 2 Zantema, Hans 2 Živaljević, Rade T. 1 Al-Rawashdeh, Ahmed S. 1 Amadini, Roberto 1 Amano, Kazuyuki 1 Amarilli, Antoine 1 Andersen, Henrik Reif 1 Arnold, Stefan 1 Atserias, Albert 1 Barbier, Morgan 1 Barto, Libor 1 Behle, Markus 1 Beyersdorff, Olaf 1 Bille, Philip 1 Blais, Eric 1 Blondin, Michael 1 Borchert, Bernd 1 Borodin, Allan B. 1 Boros, Endre 1 Bousquet-Mélou, Mireille 1 Braverman, Mark 1 Breitbart, Yuri 1 Bryant, Randal E. 1 Bulatov, Andrei A. 1 Buntrock, Gerhard 1 Capelli, Florent 1 Čepek, Ondřej 1 Cheballah, Hayat 1 Choffrut, Christian 1 Chromý, Miloš 1 Cowan, Donald D. 1 Darwiche, Adnan 1 Das, Bireswar 1 Dawar, Anuj 1 Dechter, Rina 1 Drechsler, Rolf 1 Elbassioni, Khaled M. 1 Fazzinga, Bettina 1 Furfaro, Filippo 1 Gabbrielli, Maurizio 1 Gainutdinova, Aida 1 Garvin, Brady J. 1 Gentilini, Raffaella 1 Gergov, Jordan 1 Ghasemzadeh, Mohammad 1 Góngora, Pedro Arturo 1 Göös, Mika 1 Gørtz, Inge Li 1 Gosti, Wilsin 1 Grädel, Erich 1 Graw, Bernd 1 Günther, Wolfgang 1 Gurvich, Vladimir A. 1 Haddad, Yoram 1 Haus, Utz-Uwe 1 Hirata, Kouichi 1 Holzer, Markus 1 Hulgaard, Henrik 1 Hunt, Harry Bowen III 1 Ignat’ev, A. S. 1 Inoue, Katsushi ...and 99 more Authors all top 5 Cited in 44 Serials 22 Theoretical Computer Science 15 Information Processing Letters 8 Information and Computation 7 Discrete Applied Mathematics 7 Computational Complexity 7 Theory of Computing Systems 6 Journal of Computer and System Sciences 5 Journal of Computer and Systems Sciences International 4 RAIRO. Informatique Théorique et Applications 4 RAIRO. Theoretical Informatics and Applications 3 The Journal of Symbolic Logic 3 Mathematical Systems Theory 3 Algorithmica 2 Artificial Intelligence 2 Automation and Remote Control 2 International Journal of Applied Mathematics and Computer Science 2 Prikladnaya Diskretnaya Matematika 1 Acta Informatica 1 Discrete Mathematics 1 Advances in Mathematics 1 Information Sciences 1 Journal of Algebra 1 Journal of Combinatorial Theory. Series A 1 Numerical Functional Analysis and Optimization 1 SIAM Journal on Computing 1 Advances in Applied Mathematics 1 Science of Computer Programming 1 Mathematical Social Sciences 1 Discrete & Computational Geometry 1 International Journal of Algebra and Computation 1 Discrete Mathematics and Applications 1 Archive for Mathematical Logic 1 Russian Mathematics 1 Formal Methods in System Design 1 Journal of Applied Non-Classical Logics 1 The Journal of Artificial Intelligence Research (JAIR) 1 The Bulletin of Symbolic Logic 1 Annals of Mathematics and Artificial Intelligence 1 Sbornik: Mathematics 1 Journal of Combinatorial Optimization 1 The Journal of Logic and Algebraic Programming 1 Theory and Practice of Logic Programming 1 ACM Transactions on Computational Logic 1 Electronic Notes in Theoretical Computer Science all top 5 Cited in 21 Fields 122 Computer science (68-XX) 17 Combinatorics (05-XX) 14 Information and communication theory, circuits (94-XX) 12 Mathematical logic and foundations (03-XX) 5 Order, lattices, ordered algebraic structures (06-XX) 5 Operations research, mathematical programming (90-XX) 4 General algebraic systems (08-XX) 4 Linear and multilinear algebra; matrix theory (15-XX) 4 Convex and discrete geometry (52-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Group theory and generalizations (20-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Systems theory; control (93-XX) 1 General and overarching topics; collections (00-XX) 1 Commutative algebra (13-XX) 1 Associative rings and algebras (16-XX) 1 Category theory; homological algebra (18-XX) 1 Operator theory (47-XX) 1 Algebraic topology (55-XX) 1 Probability theory and stochastic processes (60-XX) 1 Quantum theory (81-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.