@misc{ZhengRettinger, author = {Zheng, Xizhong and Rettinger, Robert}, title = {Weak computability and representation of real numbers}, series = {Mathematical Logic Quarterly}, volume = {50}, journal = {Mathematical Logic Quarterly}, number = {4/5}, issn = {0942-5616}, pages = {431 -- 442}, language = {en} } @misc{RettingerZheng, author = {Rettinger, Robert and Zheng, Xizhong}, title = {On the hierarchy and extension of monotonically computable real numbers}, series = {Journal of Complexity}, volume = {19}, journal = {Journal of Complexity}, number = {5}, issn = {0885-064X}, pages = {672 -- 691}, language = {en} } @misc{Zheng, author = {Zheng, Xizhong}, title = {On the Turing degrees of weakly computable real numbers}, series = {Journal of Logic and Computation}, volume = {13}, journal = {Journal of Logic and Computation}, number = {2}, issn = {0955-792X}, pages = {159 -- 172}, language = {en} } @misc{AmbosSpiesWeihrauchZheng, author = {Ambos-Spies, Klaus and Weihrauch, Klaus and Zheng, Xizhong}, title = {Weakly computable real numbers}, series = {Journal of Complexity}, volume = {16}, journal = {Journal of Complexity}, number = {4}, issn = {0885-064X}, pages = {676 -- 690}, language = {en} } @misc{WeihrauchZheng, author = {Weihrauch, Klaus and Zheng, Xizhong}, title = {Computability on Continuous, Lower Semi-Continuous and Upper Semi-Continuous Real Functions}, series = {Theoretical Computer Science}, volume = {234}, journal = {Theoretical Computer Science}, number = {1-2}, pages = {109 -- 133}, language = {en} } @article{Zheng, author = {Zheng, Xizhong}, title = {Closure properties of real numbers classes under CBV functions}, language = {en} } @article{Zheng, author = {Zheng, Xizhong}, title = {Divergence bounded computable real numbers}, language = {en} } @inproceedings{RettingerZheng, author = {Rettinger, Robert and Zheng, Xizhong}, title = {Solovay reducibility on d-c.e. real numbers}, series = {Computing and combinatorics, 11th annual international conference, COCOON 2005, Kunming, China, August 16 - 29, 2005}, booktitle = {Computing and combinatorics, 11th annual international conference, COCOON 2005, Kunming, China, August 16 - 29, 2005}, editor = {Wang, Lusheng}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {978-3-540-28061-3}, pages = {359 -- 368}, language = {en} } @misc{RettingerZheng, author = {Rettinger, Robert and Zheng, Xizhong}, title = {A hierarchy of Turing degrees of divergence bounded computable real numbers}, series = {Journal of Complexity}, volume = {22}, journal = {Journal of Complexity}, number = {6}, pages = {818 -- 826}, language = {en} } @article{ChenSuZheng, author = {Chen, Q. and Su, K. and Zheng, Xizhong}, title = {Primitive Recursive Real Numbers}, language = {en} } @article{ChenRettingerSuetal., author = {Chen, Q. and Rettinger, Robert and Su, K. and Sattar, A. and Yue, W. and Lu, G. and Zheng, Xizhong}, title = {Verification of Authentication Protocols for Epistemic Goals via SAT Compilation}, language = {en} } @article{ChenSuYueetal., author = {Chen, Q. and Su, K. and Yue, W. and Zheng, Xizhong}, title = {Instantiation Space: A New Model for Security Protocol Logic}, language = {en} } @misc{Zheng, author = {Zheng, Xizhong}, title = {Classification of the Computable Approximations}, series = {Electronic Notes in Theoretical Computer Science}, volume = {167}, journal = {Electronic Notes in Theoretical Computer Science}, issn = {1571-0661}, pages = {325 -- 344}, language = {en} } @misc{ChenSuZheng, author = {Chen, Qingliang and Su, Kaile and Zheng, Xizhong}, title = {Primitive Recursiveness of Real Numbers under Different Representations}, series = {Electronic Notes in Theoretical Computer Science}, volume = {167}, journal = {Electronic Notes in Theoretical Computer Science}, issn = {1571-0661}, pages = {303 -- 324}, language = {en} } @inproceedings{SuChenZhengetal., author = {Su, Kaile and Chen, Qingliang and Zheng, Xizhong and Yue, Weiya}, title = {Reasoning about Knowledge by SAT Solving}, series = {International Conference on Computational Intelligence and Security, CIS 2006, 3 - 6 Nov. 2006, Guangzhou, China}, booktitle = {International Conference on Computational Intelligence and Security, CIS 2006, 3 - 6 Nov. 2006, Guangzhou, China}, publisher = {IEEE Press}, address = {Piscataway, NJ}, isbn = {1-4244-0604-8}, pages = {536 -- 539}, language = {en} } @inproceedings{Zheng, author = {Zheng, Xizhong}, title = {A Computability Theory of Real Numbers}, series = {Logical approaches to computational barriers, second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30 - July 5, 2006, proceedings}, booktitle = {Logical approaches to computational barriers, second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30 - July 5, 2006, proceedings}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-35466-2}, pages = {584 -- 594}, language = {en} } @article{Zheng, author = {Zheng, Xizhong}, title = {On the Hierarchies of Delta 0_2 real Numbers}, language = {en} } @article{DowneyWuZheng, author = {Downey, Rod and Wu, D. and Zheng, Xizhong}, title = {Degrees of d.c.e. Reals}, language = {en} } @phdthesis{Zheng, author = {Zheng, Xizhong}, title = {Effective Hierarchy of Real Numbers}, publisher = {Shaker}, address = {Aachen}, isbn = {978-3-8322-6343-0}, pages = {X, 244}, language = {en} } @incollection{Zheng, author = {Zheng, Xizhong}, title = {Bounded Computable Enumerability and Hierarchy of Computably Enumerable Reals}, language = {en} } @misc{Meer, author = {Meer, Klaus}, title = {Complexity aspects of a semi-infinite optimization problem}, series = {Optimization : a Journal of Mathematical Programming and Operations Research}, volume = {57}, journal = {Optimization : a Journal of Mathematical Programming and Operations Research}, number = {1}, issn = {1029-4945}, pages = {143 -- 152}, language = {en} } @misc{MeerRautenbach, author = {Meer, Klaus and Rautenbach, Dieter}, title = {On the OBDD size for graphs of bounded tree- and clique-width}, language = {en} } @misc{MeerZiegler, author = {Meer, Klaus and Ziegler, Martin}, title = {An explicit solution to Post's problem over the reals}, series = {Journal of Complexity}, volume = {24}, journal = {Journal of Complexity}, number = {1}, issn = {0885-064x}, pages = {3 -- 15}, language = {en} } @inproceedings{MeerZiegler, author = {Meer, Klaus and Ziegler, Martin}, title = {Real Computational Universality: The word problem for a class of groups with infinite presentation}, series = {Mathematical foundations of computer science 2007, 32nd international symposium, MFCS 2007, Česk{\´y} Krumlov, Czech Republic, August 26-31, 2007, proceedings}, booktitle = {Mathematical foundations of computer science 2007, 32nd international symposium, MFCS 2007, Česk{\´y} Krumlov, Czech Republic, August 26-31, 2007, proceedings}, editor = {Kučera, Luděk}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {978-3-540-74455-9}, pages = {726 -- 737}, language = {en} } @inproceedings{MeerZiegler, author = {Meer, Klaus and Ziegler, Martin}, title = {Uncomputability below the real halting problem}, series = {Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30 - July 5, 2006, proceedings.}, booktitle = {Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30 - July 5, 2006, proceedings.}, editor = {Beckmann, Arnold}, publisher = {Springer}, address = {Berlin}, isbn = {978-3-540-35466-6}, pages = {368 -- 377}, language = {en} } @inproceedings{Meer, author = {Meer, Klaus}, title = {Optimization and approximation problems related to polynominal system solving}, series = {Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30 - July 5, 2006, proceedings}, booktitle = {Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30 - July 5, 2006, proceedings}, editor = {Beckmann, Arnold}, publisher = {Springer}, address = {Berlin}, isbn = {978-3-540-35466-6}, pages = {360 -- 367}, language = {en} } @inproceedings{Meer, author = {Meer, Klaus}, title = {On the approximation of interval functions}, language = {en} } @inproceedings{FlarupHansenMeer, author = {Flarup Hansen, Uffe and Meer, Klaus}, title = {Two logical hierarchies of optimization problems over the real numbers}, series = {Mathematical Foundations of Computer Science 2005, 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29 - September 2, 2005}, booktitle = {Mathematical Foundations of Computer Science 2005, 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29 - September 2, 2005}, editor = {Jedrzejowicz, Joanna}, publisher = {Springer}, address = {Berlin}, isbn = {978-3-540-29702-5}, pages = {459 -- 470}, language = {en} } @inproceedings{MeerZiegler, author = {Meer, Klaus and Ziegler, Martin}, title = {An explicit solution to Post's problem over the reals}, series = {Fundamentals of computation theory, 15th international symposium, FCT 2005, L{\"u}beck, Germany, August 17 - 20, 2005}, booktitle = {Fundamentals of computation theory, 15th international symposium, FCT 2005, L{\"u}beck, Germany, August 17 - 20, 2005}, editor = {Liskiewicz, Maciej}, publisher = {Springer}, address = {Berlin}, isbn = {3-540-28193-2}, pages = {456 -- 467}, language = {en} } @inproceedings{Meer, author = {Meer, Klaus}, title = {On some relations between approximation and PCPs over the real numbers}, series = {New computational paradigms, First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8 - 12, 2005}, booktitle = {New computational paradigms, First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8 - 12, 2005}, editor = {Cooper, Stuart Barry}, publisher = {Springer}, address = {Heidelberg [u.a.]}, isbn = {3-540-26179-6}, pages = {322 -- 331}, language = {en} } @inproceedings{MalajovichMeer, author = {Malajovich, Gregorio and Meer, Klaus}, title = {Computing Minimal Multi-Homogeneous B{\´e}zout Numbers Is Hard}, 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} } @book{JongenMeerTriesch, author = {Jongen, Hubertus Theodor and Meer, Klaus and Triesch, Eberhard}, title = {Optimization Theory}, publisher = {Kluwer}, address = {Boston}, isbn = {978-1-402-08098-2}, pages = {XI, 443}, language = {en} } @misc{Meer, author = {Meer, Klaus}, title = {Simulated Annealing versus Metropolis for a TSP instance}, series = {Information Processing Letters}, volume = {104}, journal = {Information Processing Letters}, number = {6}, issn = {0020-0190}, pages = {216 -- 219}, language = {en} } @misc{MalajovichMeer, author = {Malajovich, Gregorio and Meer, Klaus}, title = {Computing Minimal Multi-Homogeneous B{\´e}zout Numbers Is Hard}, series = {Theory of Computing Systems}, volume = {40}, journal = {Theory of Computing Systems}, number = {4}, issn = {1432-4350}, pages = {553 -- 570}, language = {en} } @misc{Meer, author = {Meer, Klaus}, title = {On some relations between approximation and PCPs over the real numbers}, series = {Theory of Computing Systems}, volume = {41}, journal = {Theory of Computing Systems}, number = {1}, issn = {1432-4350}, pages = {107 -- 118}, 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} } @misc{Meer, author = {Meer, Klaus}, title = {Transparent long proofs: A first PCP Theorem for NP(R)}, series = {Foundations of Computational Mathematics}, volume = {5}, journal = {Foundations of Computational Mathematics}, number = {3}, issn = {1615-3375}, pages = {231 -- 255}, language = {en} } @misc{Meer, author = {Meer, Klaus}, title = {Probabilistically checkable proofs over the reals}, series = {Electronic notes in theoretical computer science : ENTCS}, volume = {123}, journal = {Electronic notes in theoretical computer science : ENTCS}, issn = {1571-0661}, pages = {165 -- 177}, language = {en} } @misc{Meer, author = {Meer, Klaus}, title = {On a refined analysis of some problems in interval arithmetic using real number complexity theory}, series = {Reliable Computing}, volume = {10}, journal = {Reliable Computing}, number = {3}, issn = {1385-3139}, pages = {209 -- 225}, language = {en} } @inproceedings{GoriMeer, author = {Gori, Marco and Meer, Klaus}, title = {Some aspects of a complexity theory for continuous time systems}, series = {Extended abstract, Proceedings Computability in Europe, CiE 2007, Siena, Italy, June 18 - 23, 2007}, booktitle = {Extended abstract, Proceedings Computability in Europe, CiE 2007, Siena, Italy, June 18 - 23, 2007}, editor = {Cooper, Stuart Barry}, publisher = {Springer}, address = {Berlin}, isbn = {978-3-540-73000-2}, pages = {554 -- 565}, language = {en} } @inproceedings{MeerRautenbach, author = {Meer, Klaus and Rautenbach, Dieter}, title = {On the OBDD size for graphs of bounded tree- and clique-width}, series = {Parameterized and exact computation, Second International Workshop, IWPEC 2006, Z{\"u}rich, Switzerland, September 13 - 15, 2006}, booktitle = {Parameterized and exact computation, Second International Workshop, IWPEC 2006, Z{\"u}rich, Switzerland, September 13 - 15, 2006}, editor = {Bodlaender, Hans L.}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {978-3-540-39098-5}, pages = {72 -- 83}, language = {en} } @inproceedings{FlarupHansenMeer, author = {Flarup Hansen, Uffe and Meer, Klaus}, title = {Approximation classes for real number optimization problems}, series = {Extended abstract, 5th International conference on Unconventional Computation, York, UK, September 4-8, 2006}, booktitle = {Extended abstract, 5th International conference on Unconventional Computation, York, UK, September 4-8, 2006}, editor = {Calude, Cristian}, publisher = {Springer}, address = {Berlin}, isbn = {978-3-540-38593-6}, pages = {86 -- 100}, language = {en} } @inproceedings{Zheng, author = {Zheng, Xizhong}, title = {A Computability Theory of Real Numbers}, series = {CCA 2008, August 21 - 24, 2008, Hagen, Germany}, booktitle = {CCA 2008, August 21 - 24, 2008, Hagen, Germany}, editor = {Brattka, Vasco}, publisher = {Hagen}, address = {Fernuniv.}, language = {en} } @inproceedings{Meer, author = {Meer, Klaus}, title = {On Ladner's Result for a Class of Real Machines with Restricted use of Constants}, series = {5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19 - 24, 2009}, booktitle = {5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19 - 24, 2009}, editor = {Ambos-Spies, Klaus}, publisher = {Springer}, address = {Heidelber [u.a.]}, isbn = {978-3-642-03072-7}, pages = {352 -- 361}, language = {en} } @inproceedings{RettingerZheng, author = {Rettinger, Robert and Zheng, Xizhong}, title = {Points on Computable Curves of Computable Lengths}, language = {en} } @inproceedings{RettingerZheng, author = {Rettinger, Robert and Zheng, Xizhong}, title = {On the Computability of the Rectifiable Simple Curves}, language = {en} } @misc{Meer, author = {Meer, Klaus}, title = {Fragestellungen aus Mathematik und theoretischer Informatik bei der Konstruktion von Getrieben}, series = {Forum der Forschung}, volume = {12}, journal = {Forum der Forschung}, number = {21}, issn = {0947-6989}, pages = {145 -- 150}, language = {de} } @article{Zheng, author = {Zheng, Xizhong}, title = {Classification of Computably Approximable Real Numbers}, language = {en} } @article{Zheng, author = {Zheng, Xizhong}, title = {A Hierarchy of Computably Enumerable Reals}, language = {en} } @misc{MeerZiegler, author = {Meer, Klaus and Ziegler, Martin}, title = {Real Computational Universality: The word problem for a class of groups with infinite presentation}, 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{KoiranMeerBriquel, author = {Koiran, Pascal and Meer, Klaus and Briquel, Ir{\´e}n{\´e}e}, title = {On the Expressive Power of CNF Formulas of Bounded Tree- and Clique-Width}, language = {en} }