Probabilistically checkable proofs; Real number model of computation; PCP theorem for NP over the reals; Testing trigonometric polynomials; Algebraic proofs
Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, S. 168 - 180
Mathematical Foundations of Computer Science 2015 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II, S. 50 - 61
Informatik 2015, 45. Jahrestagung der Gesellschaft für Informatik,Informatik, Energie und Umwelt, Tagung von 28. September – 2. Oktober 2015 in Cottbus
Herausgeber
Cunningham, Douglas W., Hofstedt, Petra, Meer, Klaus, Schmitt, Ingo
Hirsch, Edward, Kuznetsov, Sergei O., Pin, Jean-Éric, Vereshchagin, Nikolay
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2014
Verlag
Berlin [u.a.] : Springer International Publishing
Quelle
Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014, Proceedings, S. 77 - 96
On the Expressive Power of CNF Formulas of Bounded Tree- and Clique-Width
Autor(en)
Koiran, Pascal, Meer, Klaus, Briquel, Irénée
Publikationsart
Wissenschaftlicher Zeitschriftenartikel referiert
Erscheinungsjahr
2011
Quelle
Discrete Applied Mathematics 159(2011)1, S. 1-14, 0166-218x
An Extended Tree-Width Notion for Directed Graphs Related to the Computation of Permanents
Autor(en)
Meer, Klaus
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2011
Quelle
Computer science - theory and applications / 6th Computer Science Symposium in Russia CSR, St. Petersburg, 2011, S. 247-260, 978-3-642-20711-2 (Lecture Notes in Computer Science ; 6651)
Almost transparent short proof for NP?
Autor(en)
Meer, Klaus
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2011
Quelle
Extended abstract, Proceedings 18th International Symposium on Fundamentals of Computation Theory FCT 2011, Oslo, 2011, S. 41 - 52
ISBN
978-3-642-22952-7
Schriftenreihe(n) ; Bandnummer
Lecture Notes in Computer Science ; 6914
Multilevel local search algorithms for modularity clusterin
Autor(en)
Rotta, Randolf, Noack, Andreas
Publikationsart
Wissenschaftlicher Zeitschriftenartikel referiert
Erscheinungsjahr
2011
Quelle
Journal on Experimental Algorithmics
Band/Jahrgang
16
Ausgabe/Heft
2
ISSN
1084-6654
Treewidth in Algebraic Complexity
Autor(en)
Meer, Klaus
Publikationsart
Wissenschaftlicher Zeitschriftenartikel referiert
Erscheinungsjahr
2010
Quelle
Fundamenta Informaticae 98(2010)4, S. 391-409, 0169-2968
On the OBDD size for graphs of bounded tree- and clique-width
Autor(en)
Meer, Klaus, Rautenbach, Dieter
Publikationsart
Wissenschaftlicher Zeitschriftenartikel referiert
Erscheinungsjahr
2009
Quelle
Discrete Mathematics 309(2009)4, S. 843-851, 0012-365x
Multi-level Algorithms for Modularity Clustering
Autor(en)
Noack, Andreas, Rotta, Randolf
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2009
Freie Schlagworte
Clustering; Algorithmen
Quelle
Experimental Algorithms : 8th International Symposium, SEA 2009, Dortmund, Germany, June 4 - 6, 2009. - Berlin : Springer, 2009, S. 257 - 268, 978-3-642-02010-0 (Lecture Notes in Computer Science ; 5526)
On Ladner's Result for a Class of Real Machines with Restricted use of Constants
Autor(en)
Meer, Klaus
Herausgeber
Ambos-Spies, Klaus
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2009
Verlag
Heidelber [u.a.] : Springer
Quelle
5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19 - 24, 2009, S. 352 - 361
ISBN
978-3-642-03072-7
Schriftenreihe(n) ; Bandnummer
Lecture notes in computer science ; 5635
Points on Computable Curves of Computable Lengths
Autor(en)
Rettinger, Robert, Zheng, Xizhong
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2009
Quelle
MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24 - 28, 2009. - Berlin : Springer, 2009, S. 736 - 743, 978-3-642-03815-0 (Lecture notes in computer science ; 5734)
On the Computability of the Rectifiable Simple Curves
Autor(en)
Rettinger, Robert, Zheng, Xizhong
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2009
Quelle
CCA 2009 : Sixth International Conference on Computability and Complexity in Analysis ; August 18-22, 2009, Ljubljana, Slovenia. - Hagen : Fernuniv., Fak. für Mathematik u. Informatik, 2009, S. 243 - 253 (Informatik-Berichte ; 353)
Real Computational Universality: The word problem for a class of groups with infinite presentation
Autor(en)
Meer, Klaus, Ziegler, Martin
Publikationsart
Wissenschaftlicher Zeitschriftenartikel referiert
Erscheinungsjahr
2009
Quelle
Foundations of Computational Mathematics 9(2009)5, S. 599-609, 1615-3375
Syropoulos, Apostolos: Hypercomputation. Berlin : Springer, 2008
Autor(en)
Meer, Klaus
Publikationsart
Rezension
Erscheinungsjahr
2009
Quelle
AMS Mathematical Reviews
Ausgabe/Heft
2009j
ISSN
0025-5629
Complexity aspects of a semi-infinite optimization problem
Autor(en)
Meer, Klaus
Publikationsart
Wissenschaftlicher Zeitschriftenartikel referiert
Erscheinungsjahr
2008
Quelle
Optimization : a Journal of Mathematical Programming and Operations Research, S. 143 - 152
Band/Jahrgang
57
Ausgabe/Heft
1
ISSN
1029-4945
0233-1934
An explicit solution to Post's problem over the reals
Autor(en)
Meer, Klaus, Ziegler, Martin
Publikationsart
Wissenschaftlicher Zeitschriftenartikel referiert
Erscheinungsjahr
2008
Quelle
Journal of Complexity, S. 3 - 15
Band/Jahrgang
24
Ausgabe/Heft
1
ISSN
0885-064x
A Computability Theory of Real Numbers
Autor(en)
Zheng, Xizhong
Herausgeber
Brattka, Vasco
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2008
Verlag
Fernuniv. : Hagen
Quelle
CCA 2008, August 21 - 24, 2008, Hagen, Germany
Schriftenreihe(n) ; Bandnummer
Informatik-Berichte ; 348
Fragestellungen aus Mathematik und theoretischer Informatik bei der Konstruktion von Getrieben
Autor(en)
Meer, Klaus
Publikationsart
Wissenschaftlicher Zeitschriftenartikel nicht referiert
Erscheinungsjahr
2008
Quelle
Forum der Forschung, S. 145 - 150
Band/Jahrgang
12
Ausgabe/Heft
21
ISSN
0947-6989
Classification of Computably Approximable Real Numbers
Autor(en)
Zheng, Xizhong
Publikationsart
Artikel
Erscheinungsjahr
2008
Quelle
Theory of Computing Systems 43(2008)3-4, S. 603-624, 1432-4350
A Hierarchy of Computably Enumerable Reals
Autor(en)
Zheng, Xizhong
Publikationsart
Artikel
Erscheinungsjahr
2008
Quelle
Fundamenta Informaticae 83(2008)1-2, S. 219-230, 0169-2968
On the Expressive Power of CNF Formulas of Bounded Tree- and Clique-Width
Autor(en)
Koiran, Pascal, Meer, Klaus
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2008
Verlag
Berlin [u.a.] : Springer
Quelle
Graph-theoretic concepts in computer science, 34th international workshop, WG 2008, Durham, UK, June 30-July 2, 2008, S. 252 - 263
ISBN
978-3-540-92247-6
Schriftenreihe(n) ; Bandnummer
Lecture notes in computer science ; 5344
Bounded Computable Enumerability and Hierarchy of Computably Enumerable Reals
Autor(en)
Zheng, Xizhong
Publikationsart
Teil eines Buches (Kapitel)
Erscheinungsjahr
2007
Quelle
Lin, Guohui (Hrsg.): Computing and combinatorics : 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16 - 19, 2007. - Berlin : Springer, 2007, S. 327-337, 978-3-540-73544-1 (Lecture notes in computer science ; 4598)
Real Computational Universality: The word problem for a class of groups with infinite presentation
Autor(en)
Meer, Klaus, Ziegler, Martin
Herausgeber
Kučera, Luděk
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2007
Verlag
Berlin [u.a.] : Springer
Quelle
Mathematical foundations of computer science 2007, 32nd international symposium, MFCS 2007, Český Krumlov, Czech Republic, August 26-31, 2007, proceedings, S. 726 - 737
ISBN
978-3-540-74455-9
Schriftenreihe(n) ; Bandnummer
Lecture notes in computer science ; 4708
Simulated Annealing versus Metropolis for a TSP instance
Autor(en)
Meer, Klaus
Publikationsart
Wissenschaftlicher Zeitschriftenartikel referiert
Erscheinungsjahr
2007
Quelle
Information Processing Letters, S. 216 - 219
Band/Jahrgang
104
Ausgabe/Heft
6
ISSN
0020-0190
Computing Minimal Multi-Homogeneous Bézout Numbers Is Hard
Autor(en)
Malajovich, Gregorio, Meer, Klaus
Publikationsart
Wissenschaftlicher Zeitschriftenartikel referiert
Erscheinungsjahr
2007
Quelle
Theory of Computing Systems, S. 553 - 570
Band/Jahrgang
40
Ausgabe/Heft
4
ISSN
1432-4350
On some relations between approximation and PCPs over the real numbers
Autor(en)
Meer, Klaus
Publikationsart
Wissenschaftlicher Zeitschriftenartikel referiert
Erscheinungsjahr
2007
Quelle
Theory of Computing Systems, S. 107 - 118
Band/Jahrgang
41
Ausgabe/Heft
1
ISSN
1432-4350
Some aspects of a complexity theory for continuous time systems
Autor(en)
Gori, Marco, Meer, Klaus
Herausgeber
Cooper, Stuart Barry
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2007
Verlag
Berlin : Springer
Quelle
Extended abstract, Proceedings Computability in Europe, CiE 2007, Siena, Italy, June 18 - 23, 2007, S. 554 - 565
ISBN
978-3-540-73000-2
Schriftenreihe(n) ; Bandnummer
Lecture notes in computer science ; 4497
Primitive Recursive Real Numbers
Autor(en)
Chen, Q., Su, K., Zheng, Xizhong
Publikationsart
Artikel
Erscheinungsjahr
2007
Quelle
Mathematical Logic Quarterly 53(2007)4/5, S. 345-360, 0942-5616
Classification of the Computable Approximations
Autor(en)
Zheng, Xizhong
Publikationsart
Wissenschaftlicher Zeitschriftenartikel nicht referiert
Erscheinungsjahr
2007
Quelle
Electronic Notes in Theoretical Computer Science, S. 325 - 344
Band/Jahrgang
167
ISSN
1571-0661
Primitive Recursiveness of Real Numbers under Different Representations
Autor(en)
Chen, Qingliang, Su, Kaile, Zheng, Xizhong
Publikationsart
Wissenschaftlicher Zeitschriftenartikel nicht referiert
Erscheinungsjahr
2007
Quelle
Electronic Notes in Theoretical Computer Science, S. 303 - 324
Band/Jahrgang
167
ISSN
1571-0661
On the Hierarchies of Delta 0_2 real Numbers
Autor(en)
Zheng, Xizhong
Publikationsart
Artikel
Erscheinungsjahr
2007
Quelle
Theoretical Informatics and Applications 41(2007)1, S. 3-25, 0988-3754
Effective Hierarchy of Real Numbers
Autor(en)
Zheng, Xizhong
Publikationsart
Dissertation
Erscheinungsjahr
2007
Verlag
Aachen : Shaker
ISBN
978-3-8322-6343-0
Divergence bounded computable real numbers
Autor(en)
Zheng, Xizhong
Publikationsart
Artikel
Erscheinungsjahr
2006
Quelle
Theoretical Computer Science 351(2006)1, S. 27-38, 0304-3975
A hierarchy of Turing degrees of divergence bounded computable real numbers
Autor(en)
Rettinger, Robert, Zheng, Xizhong
Publikationsart
Wissenschaftlicher Zeitschriftenartikel referiert
Erscheinungsjahr
2006
Quelle
Journal of Complexity, S. 818 - 826
Band/Jahrgang
22
Ausgabe/Heft
6
Uncomputability below the real halting problem
Autor(en)
Meer, Klaus, Ziegler, Martin
Herausgeber
Beckmann, Arnold
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2006
Verlag
Berlin : Springer
Quelle
Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30 - July 5, 2006, proceedings., S. 368 - 377
ISBN
978-3-540-35466-6
Schriftenreihe(n) ; Bandnummer
Lecture notes in computer science ; 3988
Optimization and approximation problems related to polynominal system solving
Autor(en)
Meer, Klaus
Herausgeber
Beckmann, Arnold
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2006
Verlag
Berlin : Springer
Quelle
Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30 - July 5, 2006, proceedings, S. 360 - 367
ISBN
978-3-540-35466-6
Schriftenreihe(n) ; Bandnummer
Lecture notes in computer science ; 3988
On the approximation of interval functions
Autor(en)
Meer, Klaus
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2006
Quelle
Dongarra, Jack (Hrsg.): Applied parallel computing : State of the art in scientific computing, PARA 2004, Lyngby, Denmark, June 20 - 23, 2004. - Berlin : Springer, 2006, S.169-178, 978-3-540-29067-4 (Lecture notes in computer computer science ; 3732)
Two logical hierarchies of optimization problems over the real numbers
Autor(en)
Flarup Hansen, Uffe, Meer, Klaus
Publikationsart
Wissenschaftlicher Zeitschriftenartikel referiert
Erscheinungsjahr
2006
Quelle
Mathematical Logic Quaterly, S. 37 - 50
Band/Jahrgang
52
Ausgabe/Heft
1
ISSN
0942-5616
On the OBDD size for graphs of bounded tree- and clique-width
Autor(en)
Meer, Klaus, Rautenbach, Dieter
Herausgeber
Bodlaender, Hans L.
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2006
Verlag
Berlin [u.a.] : Springer
Quelle
Parameterized and exact computation, Second International Workshop, IWPEC 2006, Zürich, Switzerland, September 13 - 15, 2006, S. 72 - 83
ISBN
978-3-540-39098-5
Schriftenreihe(n) ; Bandnummer
Lecture notes in computer science ; 4169
Approximation classes for real number optimization problems
Autor(en)
Flarup Hansen, Uffe, Meer, Klaus
Herausgeber
Calude, Cristian
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2006
Verlag
Berlin : Springer
Quelle
Extended abstract, 5th International conference on Unconventional Computation, York, UK, September 4-8, 2006, S. 86 - 100
ISBN
978-3-540-38593-6
Schriftenreihe(n) ; Bandnummer
Lecture notes in computer science ; 4135
Verification of Authentication Protocols for Epistemic Goals via SAT Compilation
Autor(en)
Chen, Q., Rettinger, Robert, Su, K., Sattar, A., Yue, W., Lu, G., Zheng, Xizhong
Publikationsart
Artikel
Erscheinungsjahr
2006
Quelle
Journal of Computer Science and Technology 21(2006)6, S. 932-943, 1000-9000
Instantiation Space: A New Model for Security Protocol Logic
Autor(en)
Chen, Q., Su, K., Yue, W., Zheng, Xizhong
Publikationsart
Artikel
Erscheinungsjahr
2006
Quelle
Chinese Journal of Computers 29(2006)9, S. 1657-1665, 0254-4164
Reasoning about Knowledge by SAT Solving
Autor(en)
Su, Kaile, Chen, Qingliang, Zheng, Xizhong, Yue, Weiya
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2006
Verlag
Piscataway, NJ : IEEE Press
Quelle
International Conference on Computational Intelligence and Security, CIS 2006, 3 - 6 Nov. 2006, Guangzhou, China, S. 536 - 539
ISBN
1-4244-0604-8
1-4244-0605-6
A Computability Theory of Real Numbers
Autor(en)
Zheng, Xizhong
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2006
Verlag
Berlin [u.a.] : Springer
Quelle
Logical approaches to computational barriers, second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30 - July 5, 2006, proceedings, S. 584 - 594
ISBN
3-540-35466-2
Schriftenreihe(n) ; Bandnummer
Lecture notes in computer science ; 3988
Real Computation and Complexity, Dagstuhl seminar
Autor(en)
Lickteig, Thomas, Meer, Klaus, Pardo, Luis Miguel
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2006
Verlag
Dagstuhl : Internationale Begegnungs- und Forschungszentrum für Informatik
Wegener, Ingo: Komplexitätstheorie. Berlin : Springer, 2003
Autor(en)
Meer, Klaus
Publikationsart
Rezension
Erscheinungsjahr
2006
Quelle
Jahresbericht der Deutschen Mathematiker-Vereinigung, S. 5 - 8
Band/Jahrgang
108
Ausgabe/Heft
2
ISSN
0012-0456
Effective Jordan decomposition
Autor(en)
Zheng, Xizhong, Rettinger, Robert
Publikationsart
Wissenschaftlicher Zeitschriftenartikel nicht referiert
Erscheinungsjahr
2005
Quelle
Theory of Computing System, S. 189 - 209
Band/Jahrgang
38
Ausgabe/Heft
2
ISSN
1432-4350
On the Turing degrees of divergence bounded computable reals
Autor(en)
Rettinger, Robert, Zheng, Xizhong
Herausgeber
Cooper, Stuart Barry
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2005
Verlag
Berlin [u.a.] : Springer
Quelle
New computational paradigms, First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8 - 12, 2005, S. 418 - 428
ISBN
3-540-26179-6
Schriftenreihe(n) ; Bandnummer
Lecture notes in computer science ; 3526
h-Monotonically computable real numbers
Autor(en)
Zheng, Xizhong, Rettinger, Robert, Barmpalias, George
Publikationsart
Artikel
Erscheinungsjahr
2005
Quelle
Mathematical Logic Quarterly, S. 157 - 170
Band/Jahrgang
51
Ausgabe/Heft
2
ISSN
0942-5616
Closure properties of real numbers classes under CBV functions
Autor(en)
Zheng, Xizhong
Publikationsart
Artikel
Erscheinungsjahr
2005
Quelle
Theory of Computing Systems 38(2005)6, S. 701-729, 1432-4350
Solovay reducibility on d-c.e. real numbers
Autor(en)
Rettinger, Robert, Zheng, Xizhong
Herausgeber
Wang, Lusheng
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2005
Verlag
Berlin [u.a.] : Springer
Quelle
Computing and combinatorics, 11th annual international conference, COCOON 2005, Kunming, China, August 16 - 29, 2005, S. 359 - 368
ISBN
978-3-540-28061-3
Schriftenreihe(n) ; Bandnummer
Lecture notes in computer science ; 3595
Two logical hierarchies of optimization problems over the real numbers
Autor(en)
Flarup Hansen, Uffe, Meer, Klaus
Herausgeber
Jedrzejowicz, Joanna
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2005
Verlag
Berlin : Springer
Quelle
Mathematical Foundations of Computer Science 2005, 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29 - September 2, 2005, S. 459 - 470
ISBN
978-3-540-29702-5
Schriftenreihe(n) ; Bandnummer
Lecture notes in computer science ; 3618
An explicit solution to Post's problem over the reals
Autor(en)
Meer, Klaus, Ziegler, Martin
Herausgeber
Liskiewicz, Maciej
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2005
Verlag
Berlin : Springer
Quelle
Fundamentals of computation theory, 15th international symposium, FCT 2005, Lübeck, Germany, August 17 - 20, 2005, S. 456 - 467
ISBN
3-540-28193-2
Schriftenreihe(n) ; Bandnummer
Lecture notes in computer science ; 3623
On some relations between approximation and PCPs over the real numbers
Autor(en)
Meer, Klaus
Herausgeber
Cooper, Stuart Barry
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2005
Verlag
Heidelberg [u.a.] : Springer
Quelle
New computational paradigms, First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8 - 12, 2005, S. 322 - 331
ISBN
3-540-26179-6
Schriftenreihe(n) ; Bandnummer
Lecture notes in computer science ; 3526
Computing Minimal Multi-Homogeneous Bézout Numbers Is Hard
Autor(en)
Malajovich, Gregorio, Meer, Klaus
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2005
Quelle
Extended Abstract in 22nd Symposium on Theoretical Aspects of Computer Science STACS 2005, Stuttgart. - Berlin : Springer, 2005, S. 244-255, 3-540-24998-2 (Lecture notes in computer science ; 3404 )
Transparent long proofs: A first PCP Theorem for NP(R)
Autor(en)
Meer, Klaus
Publikationsart
Wissenschaftlicher Zeitschriftenartikel referiert
Erscheinungsjahr
2005
Quelle
Foundations of Computational Mathematics, S. 231 - 255
Band/Jahrgang
5
Ausgabe/Heft
3
ISSN
1615-3375
Probabilistically checkable proofs over the reals
Autor(en)
Meer, Klaus
Publikationsart
Wissenschaftlicher Zeitschriftenartikel referiert
Erscheinungsjahr
2005
Quelle
Electronic notes in theoretical computer science : ENTCS, S. 165 - 177
Band/Jahrgang
123
ISSN
1571-0661
On the hierarchy of Delta_02-numbers
Autor(en)
Zheng, Xizhong
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2004
Quelle
Frougny, Christiane (Hrsg.): RNC'6, 6th Conference on Real Numbers and Computers : Dagstuhl, Germany, Trier : Univ., Fachbereich IV, Mathematik, Informatik, 2004, S. 192-216 (Forschungsberichte : Mathematik, Informatik ; 04,8)
On a refined analysis of some problems in interval arithmetic using real number complexity theory
Autor(en)
Meer, Klaus
Publikationsart
Wissenschaftlicher Zeitschriftenartikel referiert
Erscheinungsjahr
2004
Quelle
Reliable Computing, S. 209 - 225
Band/Jahrgang
10
Ausgabe/Heft
3
ISSN
1385-3139
Degrees of d.c.e. Reals
Autor(en)
Downey, Rod, Wu, D., Zheng, Xizhong
Publikationsart
Artikel
Erscheinungsjahr
2004
Quelle
Mathematical logic quarterly 50(2004)4/5, S. 345-350, 0942-5616
On the Approximation of Interval Functions
Autor(en)
Meer, Klaus
Herausgeber
Dongarra, Jack
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2004
Verlag
Heidelberg [u.a.] : Springer
Quelle
Applied Parallel Computing. State of the Art in Scientific Computing, 7th International Workshop, PARA 2004, Lyngby, Denmark, June 20-23, 2004, Revised Selected Papers, S. 169 - 178
Mathematical foundations of computer science 2003, 28th international symposium MFCS, Bratislava, Slovakia, August 25 - 29, 2003, S. 681 - 690
ISBN
3-540-40671-9
Schriftenreihe(n) ; Bandnummer
Lecture notes in computer science ; 2747
On the divergence bounded computable real numbers
Autor(en)
Zheng, Xizhong
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2003
Quelle
Warnow, Tandy (Hrsg.): Computing and combinatorics : 9th annual international conference ; proceedings / COCOON 2003, Big Sky, MT, USA, July 25 - 28, 2003, Berlin [u.a.] Springer, 2003, S. 102-111, 3-540-40534-8 (Lecture notes in computer science ; 2697)
On the monotonic computability of semi-computable real numbers
Autor(en)
Zheng, Xizhong, Barmpalias, George
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2003
Quelle
Calude, Christian S. (Hrsg.): Discrete mathematics and theoretical computer science : 4th international conference ; proceedings / DMTCS 2003, Dijon, France, July 7 - 12, 2003., Berlin [u.a.] : Springer, 2003, S. 290-300, 3-540-40505-4 (LNCS ; 2731)
On the effective Jordan decomposability
Autor(en)
Zheng, Xizhong, Rettinger, Robert, Braunmühl, Burchard von
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2003
Quelle
Alt, Helmut (Hrsg.): Proceedings / STACS 2003 : Berlin, Germany, February 27 - March 1, 2003. - Berlin [u.a.] : Springer, 2003, S. 167-178, 3-540-00623-0 (Lecture notes in computer science ; 2607)
On the hierarchy and extension of monotonically computable real numbers
Autor(en)
Rettinger, Robert, Zheng, Xizhong
Publikationsart
Wissenschaftlicher Zeitschriftenartikel nicht referiert
Erscheinungsjahr
2003
Quelle
Journal of Complexity, S. 672 - 691
Band/Jahrgang
19
Ausgabe/Heft
5
ISSN
0885-064X
On the Turing degrees of weakly computable real numbers
Autor(en)
Zheng, Xizhong
Publikationsart
Wissenschaftlicher Zeitschriftenartikel nicht referiert
Erscheinungsjahr
2003
Quelle
Journal of Logic and Computation, S. 159 - 172
Band/Jahrgang
13
Ausgabe/Heft
2
ISSN
0955-792X
On the complexity of some problems in interval arithmetic
Autor(en)
Meer, Klaus
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2003
Verlag
Berlin [u.a.] : Springer
Quelle
Proceedings, 28th International Symposium on Mathematical Foundations of Computer Science, Bratislava, Slovakia, 2003, S. 582 - 591
On consistency and width notions for constraint programs with algebraic constraints
Autor(en)
Meer, Klaus
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2002
Verlag
Berlin [u.a.] : Springer
Quelle
Functional and logic programming, 6th international symposium, proceedings, FLOPS 2002, Aizu, Japan, September 15 - 17, 2002, S. 88 - 102
ISBN
3-540-44233-2
Schriftenreihe(n) ; Bandnummer
Lecture notes in computer science ; 2441
A step towards a complexity theory for analog systems.
Autor(en)
Gori, Marco, Meer, Klaus
Publikationsart
Wissenschaftlicher Zeitschriftenartikel referiert
Erscheinungsjahr
2002
Quelle
Mathematical Logic Quarterly, S. 45 - 58
Band/Jahrgang
48
Ausgabe/Heft
Suppl. 1
ISSN
0942-5616
Polynomials of bounded treewidth
Autor(en)
Makowsky, Janos A., Meer, Klaus
Herausgeber
Cucker, Felipe, Rojas, Maurice
Publikationsart
Teil eines Buches (Kapitel)
Erscheinungsjahr
2002
Verlag
Singapore : World Scientific
Quelle
Foundations of Computational Mathematics, Proceedings of the Smalefest 2000, S. 211 - 250
ISBN
978-981-02-4845-1
Monotonically Computable Real Numbers
Autor(en)
Rettinger, Robert, Gengler, Romain, Zheng, Xizhong, Braunmühl, Burchard von
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2001
Verlag
Berlin [u.a.] : Springer
Quelle
Combinatorics, computability and logic, proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS '01), S. 187 - 202
ISBN
1-85233-526-2
Hierarchy of monotonically computable real numbers
Autor(en)
Rettinger, Robert, Zheng, Xizhong
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2001
Verlag
Berlin [u.a.] : Springer
Quelle
Mathematical foundations of computer science 2001, 26th international symposium, Mariánské Lázně, Czech Republic, August 27 - 31, 2001, S. 633 - 644
ISBN
3-540-42496-2
Schriftenreihe(n) ; Bandnummer
Lecture notes in computer science ; 2136
Weakly computable real numbers and total computable real functions
Autor(en)
Rettinger, Robert, Zheng, Xizhong, Gengler, Romain, Braunmühl, Burchard von
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2001
Quelle
Wang, Jie (Hrsg.): Computing and combinatorics : 7th annual international conference / COCOON 2001, Guilin, China August 20 - 23, 2001, Berlin [u.a.] : Springer, 2001, S. 586-595, 3-540-42494-6 (Lecture notes in computer sciences ; 2108)
The arithmetical hierarchy of real numbers
Autor(en)
Zheng, Xizhong, Weihrauch, Klaus
Publikationsart
Wissenschaftlicher Zeitschriftenartikel nicht referiert
Wissenschaftlicher Zeitschriftenartikel nicht referiert
Erscheinungsjahr
2000
Quelle
Journal of Complexity, S. 676 - 690
Band/Jahrgang
16
Ausgabe/Heft
4
ISSN
0885-064X
Computability on Continuous, Lower Semi-Continuous and Upper Semi-Continuous Real Functions
Autor(en)
Weihrauch, Klaus, Zheng, Xizhong
Publikationsart
Wissenschaftlicher Zeitschriftenartikel nicht referiert
Erscheinungsjahr
2000
Quelle
Theoretical Computer Science, S. 109 - 133
Band/Jahrgang
234
Ausgabe/Heft
1-2
Maßsynthese vier- sechs- und achtgliedriger ebener Kurbelgetriebe und ihre Anwendung im Kfz-Karosseriebau
Autor(en)
Meer, Klaus, Schreiber, Harold
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2000
Verlag
Düsseldorf : VDI Verlag
Quelle
Kurvengetriebe, Koppelgetriebe, gesteuerte Antriebe, Problemlösungen in der Bewegungstechnik, Conference Veitshöchheim 26. and 27. September 2000, VDI-Getriebetagung 2000, S. 277 - 297
ISBN
3-18-091567-6
Schriftenreihe(n) ; Bandnummer
VDI-Berichte : 1567
On the complexity of combinatorial and metafinite generating functions
Autor(en)
Makowsky, Janos A., Meer, Klaus
Herausgeber
Clote, Peter, Schwichtenberg, Helmut
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2000
Verlag
Berlin [u.a.] : Springer
Quelle
Computer science logic, 14th international workshop, proceedings, CSL 2000, Fischbachau, Germany, August 21 - 26, 2000, S. 399 - 410
ISBN
3-540-67895-6
Schriftenreihe(n) ; Bandnummer
Springer Lecture Notes in Computer Science ; 1862
Polynomials of bounded tree-width
Autor(en)
Makowsky, Janos A., Meer, Klaus
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2000
Verlag
Berlin [u.a.] : Springer
Quelle
Formal Power Series and Algebraic Combinatorics, Proceedings of the 12th International Conference, FPSAC'00, Moscow, Russia, June 2000, S. 692 - 703
ISBN
3-540-67247-8
Counting problems over the reals.
Autor(en)
Meer, Klaus
Publikationsart
Wissenschaftlicher Zeitschriftenartikel referiert
Erscheinungsjahr
2000
Quelle
Theoretical Computer Science, S. 41 - 58
Band/Jahrgang
242
Ausgabe/Heft
1-2
ISSN
0304-397
A note on non-complete problems in NP_R.
Autor(en)
Ben-David, Shai, Meer, Klaus, Michaux, Christian
Publikationsart
Wissenschaftlicher Zeitschriftenartikel referiert
Erscheinungsjahr
2000
Quelle
Journal of Complexity, S. 324 - 332
Band/Jahrgang
16
Ausgabe/Heft
1
ISSN
0885-064X
Blum, Lenore [u.a.]: Complexity and real computation. Berlin : Springer, 1998
Autor(en)
Meer, Klaus
Publikationsart
Rezension
Erscheinungsjahr
1999
Quelle
AMS Mathematical Reviews, S. 509 - 600
Ausgabe/Heft
99a
ISSN
0025-5629
Query languages for real number databases based on descriptive complexity over R
Autor(en)
Meer, Klaus
Herausgeber
Kutylowski, Miroslaw, Leszek, Pacholski, Wierzbicki, Tomasz
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
1999
Verlag
Berlin [u.a.] : Springer
Quelle
Mathematical foundations of computer science 1999, 24th international symposium, MFCS '99, Szklarska Pore̜ba, Poland, September 6 - 10, 1999, proceedings, S. 12 - 22
On the computational structure of the connected components of difficult sets
Autor(en)
Matamala, Martin, Meer, Klaus
Publikationsart
Wissenschaftlicher Zeitschriftenartikel referiert
Erscheinungsjahr
1999
Quelle
Information Processing Letters, S. 83 - 90
Band/Jahrgang
72
Ausgabe/Heft
3-4
ISSN
0020-0190
Logics which capture complexity classes over the reals
Autor(en)
Cucker, Felipe, Meer, Klaus
Publikationsart
Wissenschaftlicher Zeitschriftenartikel referiert
Erscheinungsjahr
1999
Quelle
Journal of Symbolic Logic, S. 363 - 390
Band/Jahrgang
64
Ausgabe/Heft
1
ISSN
0022-4812
Counting problems over the reals
Autor(en)
Meer, Klaus
Herausgeber
Prívara, Igor, Ružička, Peter
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
1997
Verlag
Berlin [u.a.] : Springer
Quelle
Mathematical foundations of computer science 1997, 22nd international symposium, proceedings, MFCS '97, Bratislava, Slovakia, August 25 - 29, 1997, S. 398 - 407
Logics which capture complexity classes over the reals
Autor(en)
Cucker, Felipe, Meer, Klaus
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
1997
Verlag
Heidelberg : Springer
Quelle
Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS '97 Bratislava, Slovakia, August 25-29, 1997 Proceedings, S. 398 - 407
Schriftenreihe(n) ; Bandnummer
Lecture Notes in Computer Science; 1295
Innere-Punkt Methoden für die automatisierte Fehlersuche in geodätischen Anwendungen (Interior point methods for automatic blunders detection in surveying)
Autor(en)
Benning, Wilhelm, Elkoushy, Ashraf, Meer, Klaus
Publikationsart
Wissenschaftlicher Zeitschriftenartikel referiert
Erscheinungsjahr
1997
Quelle
Allgemeine Vermessungsnachrichten, S. 319 - 324
Band/Jahrgang
104
Ausgabe/Heft
8-9
ISSN
0002-5968
A Survey on Real Structural Complexity Theory
Autor(en)
Meer, Klaus, Michaux, Christian
Publikationsart
Wissenschaftlicher Zeitschriftenartikel referiert
Erscheinungsjahr
1997
Quelle
Bulletin of the Belgian Mathematical Society Simon Stevin, S. 113 - 148
Band/Jahrgang
4
Ausgabe/Heft
1
ISSN
1370-1444
On the relations between discrete and continuous complexity theory
Autor(en)
Meer, Klaus
Publikationsart
Wissenschaftlicher Zeitschriftenartikel referiert
Erscheinungsjahr
1995
Freie Schlagworte
Real model of computation; 3-Satisfiability; Sparseness; Exponential-time computations
Unsere Webseite verwendet Cookies. Diese haben zwei Funktionen: Zum einen sind sie erforderlich für die grundlegende Funktionalität unserer Website. Zum anderen können wir mit Hilfe der Cookies unsere Inhalte für Sie immer weiter verbessern. Hierzu werden pseudonymisierte Daten von Website-Besuchern gesammelt und ausgewertet. Das Einverständnis in die Verwendung der technisch nicht notwendigen Cookies können Sie jeder Zeit wiederrufen. Weitere Informationen erhalten Sie auf unseren Seiten zum Datenschutz.
