@inproceedings{BaartseMeer, author = {Baartse, Martijn and Meer, Klaus}, title = {Real Interactive Proofs for VPSPACE}, series = {41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016)}, booktitle = {41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016)}, editor = {Faliszewski, Piotr and Muscholl, Anca and Niedermeier, Rolf}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"u}r Informatik GmbH}, address = {Wadern}, isbn = {978-3-95977-016-3}, doi = {10.4230/LIPIcs.MFCS.2016.14}, url = {http://nbn-resolving.de/urn:nbn:de:0030-drops-64300}, pages = {14.1 -- 14.13}, 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} } @periodical{OPUS4-21283, title = {Journal of Complexity}, volume = {Vol. 32 - 37}, editor = {Meer, Klaus and Novak, Erich and Dick, Josef and Hinrichs, Aicke and Ritter, Klaus and Sloan, Ian and Wasilkowski, Greg and Wozniakowski, Henryk}, publisher = {Elsevier}, address = {Amsterdam [u.a.]}, issn = {0885-064X}, language = {en} } @periodical{OPUS4-21277, title = {Mathematical Logic Quarterly}, volume = {Vol. 62}, number = {1-2, 3, 4-5, 6}, editor = {Meer, Klaus and L{\"o}we, Benedikt and Macpherson, H. Dugald}, publisher = {Wiley-VCH}, address = {Berlin [u.a.]}, issn = {1521-3870}, language = {en} }