@inproceedings{MeerBaartse, author = {Meer, Klaus and Baartse, Martijn}, title = {Testing Low Degree Trigonometric Polynomials}, series = {Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014, Proceedings}, booktitle = {Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014, Proceedings}, editor = {Hirsch, Edward and Kuznetsov, Sergei O. and Pin, Jean-{\´E}ric and Vereshchagin, Nikolay}, publisher = {Springer International Publishing}, address = {Berlin [u.a.]}, isbn = {978-3-319-06685-1}, doi = {10.1007/978-3-319-06686-8}, pages = {77 -- 96}, language = {en} } @inproceedings{MeerNaif, author = {Meer, Klaus and Naif, Ameen}, title = {Generalized Finite Automata over Real and Complex Numbers}, series = {Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings}, booktitle = {Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings}, editor = {Gopal, T. V. and Agrawal, Manindra and Li, Angsheng and Cooper, Stuart Barry}, publisher = {Springer International Publishing}, address = {Berlin [u.a.]}, isbn = {978-3-319-06088-0}, doi = {10.1007/978-3-319-06089-7}, pages = {168 -- 187}, language = {en} } @inproceedings{MeerBaartse, author = {Meer, Klaus and Baartse, Martijn}, title = {An algebraic proof of the real number PCP theorem}, series = {Mathematical Foundations of Computer Science 2015 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II}, booktitle = {Mathematical Foundations of Computer Science 2015 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II}, publisher = {Springer-Verlag}, address = {Berlin [u.a.]}, isbn = {978-3-662-48053-3}, doi = {10.1007/978-3-662-48054-0}, pages = {50 -- 61}, language = {en} } @inproceedings{MakowskyMeer, author = {Makowsky, Janos A. and Meer, Klaus}, title = {On the complexity of combinatorial and metafinite generating functions}, series = {Computer science logic, 14th international workshop, proceedings, CSL 2000, Fischbachau, Germany, August 21 - 26, 2000}, booktitle = {Computer science logic, 14th international workshop, proceedings, CSL 2000, Fischbachau, Germany, August 21 - 26, 2000}, editor = {Clote, Peter and Schwichtenberg, Helmut}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-67895-6}, pages = {399 -- 410}, language = {en} } @inproceedings{MakowskyMeer, author = {Makowsky, Janos A. and Meer, Klaus}, title = {Polynomials of bounded tree-width}, series = {Formal Power Series and Algebraic Combinatorics, Proceedings of the 12th International Conference, FPSAC'00, Moscow, Russia, June 2000}, booktitle = {Formal Power Series and Algebraic Combinatorics, Proceedings of the 12th International Conference, FPSAC'00, Moscow, Russia, June 2000}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-67247-8}, pages = {692 -- 703}, language = {en} } @inproceedings{MeerNaif, author = {Meer, Klaus and Naif, Ameen}, title = {Periodic Generalized Automata over the Reals}, series = {Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings}, booktitle = {Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings}, editor = {Dediu, Adrian-Horia and Janoušek, Jan and Mart{\´i}n-Vide, Carlos and Truthe, Bianca}, publisher = {Springer International Publishing}, address = {Berlin [u.a.]}, isbn = {978-3-319-29999-0}, doi = {10.1007/978-3-319-30000-9}, pages = {168 -- 180}, language = {en} } @inproceedings{MeerBaartse, author = {Meer, Klaus and Baartse, Martijn}, title = {Topics in Real and Complex Number Complexity Theory}, series = {Recent Advances in Real Complexity and Computation}, booktitle = {Recent Advances in Real Complexity and Computation}, editor = {Monta{\~n}a, Jos{\´e} Luis and Pardo, Luis Miguel}, publisher = {American Mathematical Society}, address = {Providence, RI}, isbn = {978-0-8218-9150-6}, doi = {10.1090/conm/604}, pages = {1 -- 53}, language = {en} } @inproceedings{CuckerMeer, author = {Cucker, Felipe and Meer, Klaus}, title = {Logics which capture complexity classes over the reals}, series = {Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS '97 Bratislava, Slovakia, August 25-29, 1997 Proceedings}, booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS '97 Bratislava, Slovakia, August 25-29, 1997 Proceedings}, publisher = {Springer}, address = {Heidelberg}, pages = {398 -- 407}, language = {en} } @inproceedings{GraedelMeer, author = {Gr{\"a}del, Erich and Meer, Klaus}, title = {Descriptive Complexity Theory over the real numbers}, series = {Proceedings of the 27th Annual ACM Symposium on Theory of Computing STOC, Las Vegas, 1995}, booktitle = {Proceedings of the 27th Annual ACM Symposium on Theory of Computing STOC, Las Vegas, 1995}, publisher = {ACM}, address = {New York, NY}, doi = {10.1145/225058.225151}, pages = {315 -- 324}, language = {en} } @inproceedings{MeerSchreiber, author = {Meer, Klaus and Schreiber, Harold}, title = {Maßsynthese vier- sechs- und achtgliedriger ebener Kurbelgetriebe und ihre Anwendung im Kfz-Karosseriebau}, series = {Kurvengetriebe, Koppelgetriebe, gesteuerte Antriebe, Probleml{\"o}sungen in der Bewegungstechnik, Conference Veitsh{\"o}chheim 26. and 27. September 2000, VDI-Getriebetagung 2000}, booktitle = {Kurvengetriebe, Koppelgetriebe, gesteuerte Antriebe, Probleml{\"o}sungen in der Bewegungstechnik, Conference Veitsh{\"o}chheim 26. and 27. September 2000, VDI-Getriebetagung 2000}, publisher = {VDI Verlag}, address = {D{\"u}sseldorf}, isbn = {3-18-091567-6}, pages = {277 -- 297}, language = {de} } @inproceedings{Meer, author = {Meer, Klaus}, title = {On consistency and width notions for constraint programs with algebraic constraints}, series = {Functional and logic programming, 6th international symposium, proceedings, FLOPS 2002, Aizu, Japan, September 15 - 17, 2002}, booktitle = {Functional and logic programming, 6th international symposium, proceedings, FLOPS 2002, Aizu, Japan, September 15 - 17, 2002}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-44233-2}, pages = {88 -- 102}, language = {en} } @inproceedings{Meer, author = {Meer, Klaus}, title = {Counting problems over the reals}, series = {Mathematical foundations of computer science 1997, 22nd international symposium, proceedings, MFCS '97, Bratislava, Slovakia, August 25 - 29, 1997}, booktitle = {Mathematical foundations of computer science 1997, 22nd international symposium, proceedings, MFCS '97, Bratislava, Slovakia, August 25 - 29, 1997}, editor = {Pr{\´i}vara, Igor and Ružička, Peter}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {978-3-540-63437-9}, doi = {10.1007/BFb0029983}, pages = {398 -- 407}, abstract = {In this paper we introduce a complexity theoretic notion of counting problems over the real numbers. We follow the approaches of Blum, Shub, and Smale.}, language = {en} } @inproceedings{Meer, author = {Meer, Klaus}, title = {On the Approximation of Interval Functions}, series = {Applied Parallel Computing. State of the Art in Scientific Computing, 7th International Workshop, PARA 2004, Lyngby, Denmark, June 20-23, 2004, Revised Selected Papers}, booktitle = {Applied Parallel Computing. State of the Art in Scientific Computing, 7th International Workshop, PARA 2004, Lyngby, Denmark, June 20-23, 2004, Revised Selected Papers}, editor = {Dongarra, Jack}, publisher = {Springer}, address = {Heidelberg [u.a.]}, isbn = {978-3-540-29067-4}, pages = {169 -- 178}, language = {en} } @inproceedings{LickteigMeerPardo, author = {Lickteig, Thomas and Meer, Klaus and Pardo, Luis Miguel}, title = {Real Computation and Complexity, Dagstuhl seminar}, publisher = {Internationale Begegnungs- und Forschungszentrum f{\"u}r Informatik}, address = {Dagstuhl}, url = {http://nbn-resolving.de/urn:nbn:de:0030-drops-4994}, language = {en} } @inproceedings{MeerBaartse, author = {Meer, Klaus and Baartse, Martijn}, title = {The PCP theorem for NP over the reals}, series = {30th Symposium on Theoretical Aspects of Computer Science STACS , Kiel, 2013}, booktitle = {30th Symposium on Theoretical Aspects of Computer Science STACS , Kiel, 2013}, address = {Leibnitz}, doi = {10.4230/LIPIcs.STACS.2013.104}, url = {http://nbn-resolving.de/urn:nbn:de:0030-drops-39262}, pages = {104 -- 115}, language = {en} } @inproceedings{Meer, author = {Meer, Klaus}, title = {Almost transparent short proof for NP?}, series = {Extended abstract, Proceedings 18th International Symposium on Fundamentals of Computation Theory FCT 2011, Oslo, 2011}, booktitle = {Extended abstract, Proceedings 18th International Symposium on Fundamentals of Computation Theory FCT 2011, Oslo, 2011}, isbn = {978-3-642-22952-7}, pages = {41 -- 52}, language = {en} } @inproceedings{Meer, author = {Meer, Klaus}, title = {An Extended Tree-Width Notion for Directed Graphs Related to the Computation of Permanents}, language = {en} } @inproceedings{KoiranMeer, author = {Koiran, Pascal and Meer, Klaus}, title = {On the Expressive Power of CNF Formulas of Bounded Tree- and Clique-Width}, series = {Graph-theoretic concepts in computer science, 34th international workshop, WG 2008, Durham, UK, June 30-July 2, 2008}, booktitle = {Graph-theoretic concepts in computer science, 34th international workshop, WG 2008, Durham, UK, June 30-July 2, 2008}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {978-3-540-92247-6}, pages = {252 -- 263}, language = {en} } @misc{FlarupHansenMeer, author = {Flarup Hansen, Uffe and Meer, Klaus}, title = {Two logical hierarchies of optimization problems over the real numbers}, series = {Mathematical Logic Quaterly}, volume = {52}, journal = {Mathematical Logic Quaterly}, number = {1}, issn = {0942-5616}, pages = {37 -- 50}, language = {en} } @inproceedings{Meer, author = {Meer, Klaus}, title = {Transparent long proofs: A first PCP theorem for NP(R)}, series = {Extended Abstract in 31st International Colloquium on Automata, Languages and Programming ICALP 2004, Turku}, booktitle = {Extended Abstract in 31st International Colloquium on Automata, Languages and Programming ICALP 2004, Turku}, publisher = {Springer}, address = {Berlin}, isbn = {3-540-22849-7}, pages = {959 -- 970}, language = {en} }