Edit Profile (opens in new tab) Meer, Klaus Co-Author Distance Author ID: meer.klaus Published as: Meer, Klaus; Meer, K. Documents Indexed: 77 Publications since 1990, including 2 Books 2 Contributions as Editor Co-Authors: 24 Co-Authors with 49 Joint Publications 1,017 Co-Co-Authors all top 5 Co-Authors 30 single-authored 9 Baartse, Martijn 5 Naif, Ameen 5 Ziegler, Martin 3 Lickteig, Thomas 3 Makowsky, Johann-Andreas 3 Malajovich, Gregorio 2 Cucker, Felipe 2 Flarup, Uffe 2 Gori, Marco 2 Grädel, Erich 2 Koiran, Pascal 2 Michaux, Christian 2 Rautenbach, Dieter 1 Beckmann, Arnold 1 Brandstädt, Andreas 1 Briquel, Irénée 1 Csuhaj-Varjú, Erzsébet 1 Hansen, Uffe Flarup 1 Jongen, Hubertus Th. 1 Köhler, Ekkehard 1 Matamala, Martín 1 Schmitt, Burkhard J. 1 Triesch, Eberhard 1 Weber, Gerhard-Wilhelm all top 5 Serials 8 Journal of Complexity 3 Theoretical Computer Science 3 Mathematical Logic Quarterly (MLQ) 3 Theory of Computing Systems 3 Foundations of Computational Mathematics 2 Information Processing Letters 2 Information and Computation 2 Lecture Notes in Computer Science 1 Discrete Applied Mathematics 1 Discrete Mathematics 1 The Journal of Symbolic Logic 1 SIAM Journal on Computing 1 Optimization 1 Journal of Symbolic Computation 1 Revista Matemática de la Universidad Complutense de Madrid 1 International Journal of Foundations of Computer Science 1 European Journal of Operational Research 1 Computational Complexity 1 Bulletin of the Belgian Mathematical Society - Simon Stevin 1 Reliable Computing 1 Mechanism and Machine Theory 1 Fundamenta Informaticae 1 Pure and Applied Functional Analysis all top 5 Fields 70 Computer science (68-XX) 38 Mathematical logic and foundations (03-XX) 10 Operations research, mathematical programming (90-XX) 9 Combinatorics (05-XX) 6 Numerical analysis (65-XX) 3 Field theory and polynomials (12-XX) 2 General and overarching topics; collections (00-XX) 2 Group theory and generalizations (20-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Commutative algebra (13-XX) 1 Algebraic geometry (14-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Mechanics of particles and systems (70-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 56 Publications have been cited 218 times in 137 Documents Cited by ▼ Year ▼ A survey on real structural complexity theory. Zbl 0934.68046 Meer, Klaus; Michaux, Christian 17 1997 Optimization theory. Zbl 1059.90101 Jongen, Hubertus Th.; Meer, Klaus; Triesch, Eberhard 15 2004 A note on a \(P \neq NP\) result for a restricted class of real machines. Zbl 0758.68030 Meer, Klaus 15 1992 Descriptive complexity theory over the real numbers. Zbl 0968.68517 Grädel, Erich; Meer, Klaus 12 1995 Real number models under various sets of operations. Zbl 0782.68048 Meer, K. 11 1993 Counting problems over the reals. Zbl 0947.68076 Meer, Klaus 9 2000 Logics which capture complexity classes over the reals. Zbl 0933.03047 Cucker, Felipe; Meer, Klaus 8 1999 On the complexity of quadratic programming in real number models of computation. Zbl 0811.90082 Meer, K. 8 1994 An explicit solution to Post’s problem over the reals. Zbl 1151.03019 Meer, Klaus; Ziegler, Martin 8 2008 On the OBDD size for graphs of bounded tree- and clique-width. Zbl 1177.68100 Meer, Klaus; Rautenbach, Dieter 7 2009 Polynomials of bounded tree-width. Zbl 1018.65063 Makowsky, Janos A.; Meer, Klaus 5 2002 A note on non-complete problems in \(NP_\mathbb{R}\). Zbl 0953.68058 Ben-David, S.; Meer, K.; Michaux, C. 5 2000 Transparent long proofs: A first PCP theorem for \(\text{NP}_{\mathbb R}\). Zbl 1100.68034 Meer, K. 5 2005 On the expressive power of CNF formulas of bounded tree- and clique-width. Zbl 1207.05093 Briquel, Irenée; Koiran, Pascal; Meer, Klaus 5 2011 Descriptive complexity theory over the real numbers. Zbl 0861.03034 Grädel, Erich; Meer, Klaus 4 1996 On the complexity of combinatorial and metafinite generating functions of graph properties of the computational model of Blum, Shub and Smale. Zbl 0973.68524 Makowsky, J. A.; Meer, K. 4 2000 Generalized finite automata over real and complex numbers. Zbl 1323.68274 Meer, Klaus; Naif, Ameen 4 2015 The PCP theorem for NP over the reals. Zbl 1327.68107 Baartse, Martijn; Meer, Klaus 4 2015 Almost transparent short proofs for \(\mathrm{NP}_{\mathbb R}\). Zbl 1342.68138 Meer, Klaus 4 2011 Simulated annealing versus Metropolis for a TSP instance. Zbl 1189.90133 Meer, Klaus 4 2007 Uncomputability below the real halting problem. Zbl 1145.68417 Meer, Klaus; Ziegler, Martin 4 2006 A step towards a complexity theory for analog systems. Zbl 1009.68055 Gori, Marco; Meer, Klaus 3 2002 Testing low degree trigonometric polynomials. Zbl 1407.68189 Baartse, Martijn; Meer, Klaus 3 2014 Topics in real and complex number complexity theory. Zbl 1317.68055 Baartse, Martijn; Meer, Klaus 3 2013 On the structure of \(\text{NP}_{\mathbb C}\). Zbl 0915.68069 Malajovich, Gregorio; Meer, Klaus 3 1998 An explicit solution to Post’s problem over the reals. Zbl 1123.03034 Meer, Klaus; Ziegler, Martin 3 2005 An algebraic proof of the real number PCP theorem. Zbl 1370.68105 Baartse, Martijn; Meer, Klaus 3 2017 An extended tree-width notion for directed graphs related to the computation of permanents. Zbl 1332.68086 Meer, Klaus 3 2011 Periodic generalized automata over the reals. Zbl 1443.68093 Meer, Klaus; Naif, Ameen 3 2016 Computing minimal multi-homogeneous Bezout numbers is hard. Zbl 1126.90082 Malajovich, Gregorio; Meer, Klaus 3 2007 Real interactive proofs for VPSPACE. Zbl 1398.68175 Baartse, Martijn; Meer, Klaus 2 2016 Some aspects of studying an optimization or decision problem in different computational models. Zbl 1058.90081 Meer, K.; Weber, G. W. 2 2002 Two logical hierarchies of optimization problems over the real numbers. Zbl 1090.03007 Flarup, Uffe; Meer, Klaus 2 2006 On a refined analysis of some problems in interval arithmetic using real number complexity theory. Zbl 1055.65061 Meer, Klaus 2 2004 The PCP theorem for NP over the reals. Zbl 1354.68092 Baartse, Martijn; Meer, Klaus 2 2013 Periodic generalized automata over the reals. Zbl 1435.68178 Meer, Klaus; Naif, Ameen 2 2019 On the expressive power of CNF formulas of bounded tree- and clique-width. Zbl 1198.68183 Koiran, Pascal; Meer, Klaus 2 2008 An algebraic proof of the real number PCP theorem. Zbl 1370.68104 Baartse, Martijn; Meer, Klaus 1 2015 Dimensional synthesis of planar Stephenson mechanisms for motion generation using circlepoint search and homotopy methods. Zbl 1140.70358 Schreiber, H.; Meer, K.; Schmitt, B. J. 1 2002 Polynomials of bounded tree width (extended abstract). Zbl 0972.05035 Makowsky, J. A.; Meer, K. 1 2000 On some relations between approximation problems and PCPs over the real numbers. Zbl 1113.68402 Meer, Klaus 1 2005 Graph-theoretic concepts in computer science. 44th international workshop, WG 2018, Cottbus, Germany, June 27–29, 2018. Proceedings. Zbl 1398.68016 1 2018 Generalized finite automata over real and complex numbers. Zbl 1407.68263 Meer, Klaus; Naif, Ameen 1 2014 Computations over \(\mathbb{Z}\) and \(\mathbb{R}\): a comparison. Zbl 0712.12005 Meer, Klaus 1 1990 On the relations between discrete and continuous complexity theory. Zbl 0827.68042 Meer, Klaus 1 1995 A note on testing the resultant. Zbl 0851.68043 Lickteig, Thomas; Meer, Klaus 1 1995 Two logical hierarchies of optimization problems over the real numbers. Zbl 1156.68395 Hansen, Uffe Flarup; Meer, Klaus 1 2005 On Ladner’s result for a class of real machines with restricted use of constants. Zbl 1280.68101 Meer, Klaus 1 2012 Real computational universality: the word problem for a class of groups with infinite presentation. Zbl 1191.03031 Meer, Klaus; Ziegler, Martin 1 2009 Automata over infinite sequences of reals. Zbl 1425.68220 Meer, Klaus; Naif, Ameen 1 2019 Some results on interactive proofs for real computations. Zbl 1461.03042 Baartse, Martijn; Meer, Klaus 1 2015 Some aspects of a complexity theory for continuous time systems. Zbl 1151.68424 Gori, Marco; Meer, Klaus 1 2007 On the complexity of some problems in interval arithmetic. Zbl 1124.65300 Meer, K. 1 2003 On the OBDD size for graphs of bounded tree- and clique-width. Zbl 1154.68432 Meer, Klaus; Rautenbach, Dieter 1 2006 Some relations between approximation problems and PCPs over the real numbers. Zbl 1127.68033 Meer, Klaus 1 2007 On Ladner’s result for a class of real machines with restricted use of constants. Zbl 1268.03063 Meer, Klaus 1 2009 Periodic generalized automata over the reals. Zbl 1435.68178 Meer, Klaus; Naif, Ameen 2 2019 Automata over infinite sequences of reals. Zbl 1425.68220 Meer, Klaus; Naif, Ameen 1 2019 Graph-theoretic concepts in computer science. 44th international workshop, WG 2018, Cottbus, Germany, June 27–29, 2018. Proceedings. Zbl 1398.68016 1 2018 An algebraic proof of the real number PCP theorem. Zbl 1370.68105 Baartse, Martijn; Meer, Klaus 3 2017 Periodic generalized automata over the reals. Zbl 1443.68093 Meer, Klaus; Naif, Ameen 3 2016 Real interactive proofs for VPSPACE. Zbl 1398.68175 Baartse, Martijn; Meer, Klaus 2 2016 Generalized finite automata over real and complex numbers. Zbl 1323.68274 Meer, Klaus; Naif, Ameen 4 2015 The PCP theorem for NP over the reals. Zbl 1327.68107 Baartse, Martijn; Meer, Klaus 4 2015 An algebraic proof of the real number PCP theorem. Zbl 1370.68104 Baartse, Martijn; Meer, Klaus 1 2015 Some results on interactive proofs for real computations. Zbl 1461.03042 Baartse, Martijn; Meer, Klaus 1 2015 Testing low degree trigonometric polynomials. Zbl 1407.68189 Baartse, Martijn; Meer, Klaus 3 2014 Generalized finite automata over real and complex numbers. Zbl 1407.68263 Meer, Klaus; Naif, Ameen 1 2014 Topics in real and complex number complexity theory. Zbl 1317.68055 Baartse, Martijn; Meer, Klaus 3 2013 The PCP theorem for NP over the reals. Zbl 1354.68092 Baartse, Martijn; Meer, Klaus 2 2013 On Ladner’s result for a class of real machines with restricted use of constants. Zbl 1280.68101 Meer, Klaus 1 2012 On the expressive power of CNF formulas of bounded tree- and clique-width. Zbl 1207.05093 Briquel, Irenée; Koiran, Pascal; Meer, Klaus 5 2011 Almost transparent short proofs for \(\mathrm{NP}_{\mathbb R}\). Zbl 1342.68138 Meer, Klaus 4 2011 An extended tree-width notion for directed graphs related to the computation of permanents. Zbl 1332.68086 Meer, Klaus 3 2011 On the OBDD size for graphs of bounded tree- and clique-width. Zbl 1177.68100 Meer, Klaus; Rautenbach, Dieter 7 2009 Real computational universality: the word problem for a class of groups with infinite presentation. Zbl 1191.03031 Meer, Klaus; Ziegler, Martin 1 2009 On Ladner’s result for a class of real machines with restricted use of constants. Zbl 1268.03063 Meer, Klaus 1 2009 An explicit solution to Post’s problem over the reals. Zbl 1151.03019 Meer, Klaus; Ziegler, Martin 8 2008 On the expressive power of CNF formulas of bounded tree- and clique-width. Zbl 1198.68183 Koiran, Pascal; Meer, Klaus 2 2008 Simulated annealing versus Metropolis for a TSP instance. Zbl 1189.90133 Meer, Klaus 4 2007 Computing minimal multi-homogeneous Bezout numbers is hard. Zbl 1126.90082 Malajovich, Gregorio; Meer, Klaus 3 2007 Some aspects of a complexity theory for continuous time systems. Zbl 1151.68424 Gori, Marco; Meer, Klaus 1 2007 Some relations between approximation problems and PCPs over the real numbers. Zbl 1127.68033 Meer, Klaus 1 2007 Uncomputability below the real halting problem. Zbl 1145.68417 Meer, Klaus; Ziegler, Martin 4 2006 Two logical hierarchies of optimization problems over the real numbers. Zbl 1090.03007 Flarup, Uffe; Meer, Klaus 2 2006 On the OBDD size for graphs of bounded tree- and clique-width. Zbl 1154.68432 Meer, Klaus; Rautenbach, Dieter 1 2006 Transparent long proofs: A first PCP theorem for \(\text{NP}_{\mathbb R}\). Zbl 1100.68034 Meer, K. 5 2005 An explicit solution to Post’s problem over the reals. Zbl 1123.03034 Meer, Klaus; Ziegler, Martin 3 2005 On some relations between approximation problems and PCPs over the real numbers. Zbl 1113.68402 Meer, Klaus 1 2005 Two logical hierarchies of optimization problems over the real numbers. Zbl 1156.68395 Hansen, Uffe Flarup; Meer, Klaus 1 2005 Optimization theory. Zbl 1059.90101 Jongen, Hubertus Th.; Meer, Klaus; Triesch, Eberhard 15 2004 On a refined analysis of some problems in interval arithmetic using real number complexity theory. Zbl 1055.65061 Meer, Klaus 2 2004 On the complexity of some problems in interval arithmetic. Zbl 1124.65300 Meer, K. 1 2003 Polynomials of bounded tree-width. Zbl 1018.65063 Makowsky, Janos A.; Meer, Klaus 5 2002 A step towards a complexity theory for analog systems. Zbl 1009.68055 Gori, Marco; Meer, Klaus 3 2002 Some aspects of studying an optimization or decision problem in different computational models. Zbl 1058.90081 Meer, K.; Weber, G. W. 2 2002 Dimensional synthesis of planar Stephenson mechanisms for motion generation using circlepoint search and homotopy methods. Zbl 1140.70358 Schreiber, H.; Meer, K.; Schmitt, B. J. 1 2002 Counting problems over the reals. Zbl 0947.68076 Meer, Klaus 9 2000 A note on non-complete problems in \(NP_\mathbb{R}\). Zbl 0953.68058 Ben-David, S.; Meer, K.; Michaux, C. 5 2000 On the complexity of combinatorial and metafinite generating functions of graph properties of the computational model of Blum, Shub and Smale. Zbl 0973.68524 Makowsky, J. A.; Meer, K. 4 2000 Polynomials of bounded tree width (extended abstract). Zbl 0972.05035 Makowsky, J. A.; Meer, K. 1 2000 Logics which capture complexity classes over the reals. Zbl 0933.03047 Cucker, Felipe; Meer, Klaus 8 1999 On the structure of \(\text{NP}_{\mathbb C}\). Zbl 0915.68069 Malajovich, Gregorio; Meer, Klaus 3 1998 A survey on real structural complexity theory. Zbl 0934.68046 Meer, Klaus; Michaux, Christian 17 1997 Descriptive complexity theory over the real numbers. Zbl 0861.03034 Grädel, Erich; Meer, Klaus 4 1996 Descriptive complexity theory over the real numbers. Zbl 0968.68517 Grädel, Erich; Meer, Klaus 12 1995 On the relations between discrete and continuous complexity theory. Zbl 0827.68042 Meer, Klaus 1 1995 A note on testing the resultant. Zbl 0851.68043 Lickteig, Thomas; Meer, Klaus 1 1995 On the complexity of quadratic programming in real number models of computation. Zbl 0811.90082 Meer, K. 8 1994 Real number models under various sets of operations. Zbl 0782.68048 Meer, K. 11 1993 A note on a \(P \neq NP\) result for a restricted class of real machines. Zbl 0758.68030 Meer, Klaus 15 1992 Computations over \(\mathbb{Z}\) and \(\mathbb{R}\): a comparison. Zbl 0712.12005 Meer, Klaus 1 1990 all cited Publications top 5 cited Publications all top 5 Cited by 148 Authors 25 Meer, Klaus 13 Cucker, Felipe 6 Koiran, Pascal 6 Shikhman, Vladimir 5 Baartse, Martijn 5 Bournez, Olivier 5 Gaßner, Christine 5 Jongen, Hubertus Th. 5 Stein, Oliver 4 Flarup, Uffe 4 Makowsky, Johann-Andreas 4 Matamala, Martín 4 Moore, Cristopher 4 Weber, Gerhard-Wilhelm 4 Ziegler, Martin 3 Bollig, Beate 3 Bury, Marc 3 Costa, José Félix 3 Emiris, Ioannis Z. 3 Hannula, Miika 3 Lyaudet, Laurent 3 Michaux, Christian 2 Bartzos, Evangelos 2 Basu, Saugata 2 Brihaye, Thomas 2 Briquel, Irénée 2 Bürgisser, Peter 2 Campagnolo, Manuel Lameiras 2 Cifuentes, Diego 2 Cosnard, Michel Y. 2 de Naurois, Paulin Jacobé 2 Dorsch, Dominik 2 Grädel, Erich 2 Günzel, Harald 2 Gurevich, Yuri 2 Marion, Jean-Yves 2 Mengel, Stefan 2 Naif, Ameen 2 Orponen, Pekka 2 Parrilo, Pablo A. 2 Prunescu, Mihai 2 Ravve, Elena V. 2 Šíma, Jiří 2 Virtema, Jonni 2 Volkovich, Vladimir E. 1 Alparslan Gök, Sırma Zeynep 1 Amiri, Babak 1 Angeles, Jorge 1 Apkarian, Pierre 1 Arefi, Ali 1 Banerjee, Avah 1 Barlag, Timon 1 Bedregal, Benjamín René Callejas 1 Bender, Matías R. 1 Berend, Daniel 1 Bompart, Vincent 1 Bouyer, Patricia 1 Brimkov, Valentin E. 1 Chen, Chao 1 Chow, Shui-Nee 1 Courcelle, Bruno 1 Dantchev, Stefan Stoyanov 1 Dediu, Adrian Horia 1 Deligkas, Argyrios 1 Dimuro, Graçaliz Pereira 1 Doerr, Benjamin 1 Durand, Arnaud 1 Ergün, Serap 1 Flåm, Sjur Didrik 1 Franzin, Alberto 1 Gao, Ziyuan 1 Gärtner, Tobias 1 Golan, Shahar 1 Gomaa, Walid E. 1 Gómez Bofill, Walter 1 Grumbach, Stéphane 1 Hemmerling, Armin 1 Hernández Escobar, Daniel 1 Hirvonen, Minna 1 Hotz, Günter 1 Jain, Sanjay 1 Jurdziński, Marcin 1 Kamali, Shahin 1 Khoussainov, Bakhadyr M. 1 Kleist, Linda 1 Kontinen, Juha 1 Koolen, Wouter M. 1 Krick, Teresa 1 Krömer, Pavel 1 Lämmel, Sebastian 1 Lazić, Ranko 1 Li, Qiaoxing 1 Li, Zeyong 1 Liu, Jiamou 1 Lotz, Martin 1 Lundow, Per Håkan 1 Mahajan, Meena 1 Malajovich, Gregorio 1 Markström, Klas 1 Martín-Vide, Carlos ...and 48 more Authors all top 5 Cited in 44 Serials 18 Theoretical Computer Science 18 Journal of Complexity 7 Information and Computation 5 Discrete Applied Mathematics 5 Theory of Computing Systems 5 Foundations of Computational Mathematics 3 Information Processing Letters 3 Annals of Pure and Applied Logic 3 Optimization 3 European Journal of Operational Research 3 Set-Valued and Variational Analysis 2 Journal of Optimization Theory and Applications 2 Mathematical Programming. Series A. Series B 2 Optimization Letters 1 Discrete Mathematics 1 Journal of Computational Physics 1 Journal of Mathematical Analysis and Applications 1 Applied Mathematics and Computation 1 Information Sciences 1 Journal of Algebra 1 Journal of Computer and System Sciences 1 Mathematical Systems Theory 1 Numerische Mathematik 1 Advances in Applied Mathematics 1 Journal of Symbolic Computation 1 Algorithmica 1 SIAM Journal on Discrete Mathematics 1 Annals of Operations Research 1 Neural Computation 1 MSCS. Mathematical Structures in Computer Science 1 International Journal of Foundations of Computer Science 1 Journal of Global Optimization 1 Computational Mathematics and Mathematical Physics 1 Linear Algebra and its Applications 1 Applicable Algebra in Engineering, Communication and Computing 1 Computational Complexity 1 Computational Optimization and Applications 1 Mathematical Logic Quarterly (MLQ) 1 The Bulletin of Symbolic Logic 1 Mechanism and Machine Theory 1 Natural Computing 1 Journal of Discrete Algorithms 1 Journal of Zhejiang University. Science A 1 Inverse Problems and Imaging all top 5 Cited in 20 Fields 102 Computer science (68-XX) 49 Mathematical logic and foundations (03-XX) 22 Operations research, mathematical programming (90-XX) 20 Combinatorics (05-XX) 5 Linear and multilinear algebra; matrix theory (15-XX) 4 Algebraic geometry (14-XX) 3 Commutative algebra (13-XX) 3 Numerical analysis (65-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 General and overarching topics; collections (00-XX) 2 Convex and discrete geometry (52-XX) 2 Manifolds and cell complexes (57-XX) 2 Systems theory; control (93-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Field theory and polynomials (12-XX) 1 Group theory and generalizations (20-XX) 1 Real functions (26-XX) 1 Integral transforms, operational calculus (44-XX) 1 Mechanics of particles and systems (70-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year