@misc{Meer, author = {Meer, Klaus}, title = {Wegener, Ingo: Komplexit{\"a}tstheorie. Berlin : Springer, 2003}, series = {Jahresbericht der Deutschen Mathematiker-Vereinigung}, volume = {108}, journal = {Jahresbericht der Deutschen Mathematiker-Vereinigung}, number = {2}, issn = {0012-0456}, pages = {5 -- 8}, language = {de} } @misc{Meer, author = {Meer, Klaus}, title = {Blum, Lenore [u.a.]: Complexity and real computation. Berlin : Springer, 1998}, series = {AMS Mathematical Reviews}, journal = {AMS Mathematical Reviews}, number = {99a}, issn = {0025-5629}, pages = {509 -- 600}, language = {en} } @misc{OPUS4-15615, title = {Language, Life, Limits 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014, Proceedings}, editor = {Beckmann, Arnold and Csuhaj-Varj{\´u}, Erzs{\´e}bet and Meer, Klaus}, publisher = {Springer International Publishing}, address = {Berlin [u.a.]}, isbn = {978-3-319-08018-5}, doi = {10.1007/978-3-319-08019-2}, pages = {XIV, 410}, abstract = {This book constitutes the refereed proceedings of the 10th Conference on Computability in Europe, CiE 2014, held in Budapest, Hungary, in June 2014. The 42 revised papers presented were carefully reviewed and selected from 78 submissions and included together with 15 invited papers in this proceedings. The conference had six special sessions: computational linguistics, bio-inspired computation, history and philosophy of computing, computability theory, online algorithms and complexity in automata theory.}, language = {en} } @misc{MeerNaif, author = {Meer, Klaus and Naif, Ameen}, title = {Generalized finite automata over real and complex numbers}, series = {Theoretical Computer Science}, volume = {Vol. 591}, journal = {Theoretical Computer Science}, issn = {0304-3975}, doi = {10.1016/j.tcs.2015.05.001}, pages = {85 -- 98}, abstract = {In a recent work, Gandhi, Khoussainov, and Liu [7] introduced and studied a generalized model of finite automata able to work over arbitrary structures. As one relevant area of research for this model the authors identify studying such automata over particular structures such as real and algebraically closed fields. In this paper we start investigations into this direction. We prove several structural results about sets accepted by such automata, and analyze decidability as well as complexity of several classical questions about automata in the new framework. Our results show quite a diverse picture when compared to the well known results for finite automata over finite alphabets.}, language = {en} } @misc{MeerBaartse, author = {Meer, Klaus and Baartse, Martijn}, title = {The PCP theorem for NP over the reals}, series = {Foundations of Computational Mathematics}, volume = {15}, journal = {Foundations of Computational Mathematics}, number = {3}, issn = {1615-3375}, doi = {10.1007/s10208-014-9188-x}, pages = {651 -- 680}, 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{MeerBaartse, author = {Meer, Klaus and Baartse, Martijn}, title = {Some results on interactive proofs for real computations}, series = {Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015, Proceedings}, booktitle = {Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015, Proceedings}, editor = {Beckmann, Arnold and Mitrana, Victor and Soskova, Mariya}, publisher = {Springer International Publishing}, address = {Berlin [u.a.]}, isbn = {978-3-319-20027-9}, doi = {10.1007/978-3-319-20028-6}, pages = {107 -- 116}, 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 = {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 = {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} } @misc{MeerLickteig, author = {Meer, Klaus and Lickteig, Thomas}, title = {Semi-algebraic complexity - Additive complexity of matrix computational tasks}, series = {Journal of Complexity}, volume = {13}, journal = {Journal of Complexity}, number = {1}, issn = {0885-064X}, doi = {10.1006/jcom.1997.0430}, pages = {83 -- 107}, abstract = {This paper is devoted to the study of lower bounds on the inherent number of additions and subtractions necessary to solve some natural matrix computational tasks such as computing the nullspace, some band transformation, and some triangulation of a givenm×mmatrix. The additive complexities of such tasks are shown to grow asymptotically like that of them×mmatrix multiplication. The paper is a continuation of an earlier paper by the authors, and also of 4where multiplicative complexity has been considered. We also propose a formalization of semialgebraic computational tasks.}, language = {en} } @misc{MeerMalajovich, author = {Meer, Klaus and Malajovich, Gregorio}, title = {On the structure of NP_C}, series = {SIAM Journal on Computing}, volume = {28}, journal = {SIAM Journal on Computing}, number = {1}, issn = {1095-7111}, doi = {10.1137/S0097539795294980}, pages = {27 -- 35}, language = {en} }