TY - GEN A1 - Meer, Klaus T1 - Complexity aspects of a semi-infinite optimization problem T2 - Optimization : a Journal of Mathematical Programming and Operations Research Y1 - 2008 SN - 1029-4945 SN - 0233-1934 VL - 57 IS - 1 SP - 143 EP - 152 ER - TY - GEN A1 - Meer, Klaus A1 - Rautenbach, Dieter T1 - On the OBDD size for graphs of bounded tree- and clique-width Y1 - 2009 ER - TY - GEN A1 - Meer, Klaus A1 - Ziegler, Martin T1 - An explicit solution to Post's problem over the reals T2 - Journal of Complexity Y1 - 2008 SN - 0885-064x VL - 24 IS - 1 SP - 3 EP - 15 ER - TY - CHAP A1 - Meer, Klaus A1 - Ziegler, Martin ED - Kučera, Luděk T1 - Real Computational Universality: The word problem for a class of groups with infinite presentation T2 - Mathematical foundations of computer science 2007, 32nd international symposium, MFCS 2007, Český Krumlov, Czech Republic, August 26-31, 2007, proceedings Y1 - 2007 SN - 978-3-540-74455-9 SP - 726 EP - 737 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP A1 - Meer, Klaus A1 - Ziegler, Martin ED - Beckmann, Arnold T1 - Uncomputability below the real halting problem T2 - Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30 - July 5, 2006, proceedings. Y1 - 2006 SN - 978-3-540-35466-6 SP - 368 EP - 377 PB - Springer CY - Berlin ER - TY - CHAP A1 - Meer, Klaus ED - Beckmann, Arnold T1 - Optimization and approximation problems related to polynominal system solving T2 - Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30 - July 5, 2006, proceedings Y1 - 2006 SN - 978-3-540-35466-6 SP - 360 EP - 367 PB - Springer CY - Berlin ER - TY - CHAP A1 - Meer, Klaus T1 - On the approximation of interval functions Y1 - 2006 ER - TY - CHAP A1 - Flarup Hansen, Uffe A1 - Meer, Klaus ED - Jedrzejowicz, Joanna T1 - Two logical hierarchies of optimization problems over the real numbers T2 - Mathematical Foundations of Computer Science 2005, 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29 - September 2, 2005 Y1 - 2005 SN - 978-3-540-29702-5 SP - 459 EP - 470 PB - Springer CY - Berlin ER - TY - CHAP A1 - Meer, Klaus A1 - Ziegler, Martin ED - Liskiewicz, Maciej T1 - An explicit solution to Post's problem over the reals T2 - Fundamentals of computation theory, 15th international symposium, FCT 2005, Lübeck, Germany, August 17 - 20, 2005 Y1 - 2005 SN - 3-540-28193-2 SP - 456 EP - 467 PB - Springer CY - Berlin ER - TY - CHAP A1 - Meer, Klaus ED - Cooper, Stuart Barry T1 - On some relations between approximation and PCPs over the real numbers T2 - New computational paradigms, First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8 - 12, 2005 Y1 - 2005 SN - 3-540-26179-6 SP - 322 EP - 331 PB - Springer CY - Heidelberg [u.a.] ER - TY - CHAP A1 - Malajovich, Gregorio A1 - Meer, Klaus T1 - Computing Minimal Multi-Homogeneous Bézout Numbers Is Hard Y1 - 2005 ER - TY - GEN A1 - Meer, Klaus T1 - Simulated Annealing versus Metropolis for a TSP instance T2 - Information Processing Letters Y1 - 2007 SN - 0020-0190 VL - 104 IS - 6 SP - 216 EP - 219 ER - TY - GEN A1 - Malajovich, Gregorio A1 - Meer, Klaus T1 - Computing Minimal Multi-Homogeneous Bézout Numbers Is Hard T2 - Theory of Computing Systems Y1 - 2007 SN - 1432-4350 VL - 40 IS - 4 SP - 553 EP - 570 ER - TY - GEN A1 - Meer, Klaus T1 - On some relations between approximation and PCPs over the real numbers T2 - Theory of Computing Systems Y1 - 2007 SN - 1432-4350 VL - 41 IS - 1 SP - 107 EP - 118 ER - TY - GEN A1 - Meer, Klaus T1 - Transparent long proofs: A first PCP Theorem for NP(R) T2 - Foundations of Computational Mathematics Y1 - 2005 SN - 1615-3375 VL - 5 IS - 3 SP - 231 EP - 255 ER - TY - GEN A1 - Meer, Klaus T1 - Probabilistically checkable proofs over the reals T2 - Electronic notes in theoretical computer science : ENTCS Y1 - 2005 SN - 1571-0661 VL - 123 SP - 165 EP - 177 ER - TY - GEN A1 - Meer, Klaus T1 - On a refined analysis of some problems in interval arithmetic using real number complexity theory T2 - Reliable Computing Y1 - 2004 SN - 1385-3139 VL - 10 IS - 3 SP - 209 EP - 225 ER - TY - CHAP A1 - Gori, Marco A1 - Meer, Klaus ED - Cooper, Stuart Barry T1 - Some aspects of a complexity theory for continuous time systems T2 - Extended abstract, Proceedings Computability in Europe, CiE 2007, Siena, Italy, June 18 - 23, 2007 Y1 - 2007 SN - 978-3-540-73000-2 SP - 554 EP - 565 PB - Springer CY - Berlin ER - TY - CHAP A1 - Meer, Klaus A1 - Rautenbach, Dieter ED - Bodlaender, Hans L. T1 - On the OBDD size for graphs of bounded tree- and clique-width T2 - Parameterized and exact computation, Second International Workshop, IWPEC 2006, Zürich, Switzerland, September 13 - 15, 2006 Y1 - 2006 SN - 978-3-540-39098-5 SP - 72 EP - 83 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP A1 - Flarup Hansen, Uffe A1 - Meer, Klaus ED - Calude, Cristian T1 - Approximation classes for real number optimization problems T2 - Extended abstract, 5th International conference on Unconventional Computation, York, UK, September 4-8, 2006 Y1 - 2006 SN - 978-3-540-38593-6 SP - 86 EP - 100 PB - Springer CY - Berlin ER -