Publikationen

An algebraic proof of the real number PCP theorem

Autor(en)
Baartse, Martijn, Meer, Klaus
Publikationsart
Wissenschaftlicher Zeitschriftenartikel referiert
Erscheinungsjahr
2017
Quelle
Journal of Complexity, S. 34 - 77
Band/Jahrgang
40
ISSN
0885-064X
URL
http://www.sciencedirect.com/science/article/pii/S0885064X1630111X
DOI
http://dx.doi.org/10.1016/j.jco.2016.11.006

Periodic Generalized Automata over the Reals

Autor(en)
Meer, Klaus, Naif, Ameen
Herausgeber
Dediu, Adrian-Horia, Janoušek, Jan, Martín-Vide, Carlos, Truthe, Bianca
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2016
Verlag
Berlin [u.a.] : Springer International Publishing
Quelle
Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, S. 168 - 180
ISBN
978-3-319-29999-0
URL
http://www.springer.com/de/book/9783319299990
DOI
http://dx.doi.org/10.1007/978-3-319-30000-9
Schriftenreihe(n) ; Bandnummer
Lecture Notes in Computer Science ; 9618

Real Interacive Proofs for VPSPACE

Autor(en)
Baartse, Martijn, Meer, Klaus
Herausgeber
Faliszewski, Piotr, Muscholl, Anca, Niedermeier, Rolf
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2016
Verlag
Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
Quelle
41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016), S. 141 - 1413
ISBN
978-3-95977-016-3
URN
urn:nbn:de:0030-drops-64300
DOI
http://dx.doi.org/10.4230/LIPIcs.MFCS.2016.14
Schriftenreihe(n) ; Bandnummer
Leibniz International Proceedings in Informatics (LIPIcs) ; 58

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, Hofstedt, Petra, Meer, Klaus, Schmitt, Ingo
Publikationsart
Buch (Herausgeber)
Erscheinungsjahr
2015
Verlag
Bonn : Gesellschaft für Informatik
ISBN
978-3-88579-640-4
URL
https://www.gi.de/service/publikationen/lni/gi-edition-proceedings-2015/gi-edition-lecture-notes-in-informatics-lni-p-246.html
Schriftenreihe(n) ; Bandnummer
GI-Edition : Lecture Notes in Informatics ; 246

Generalized finite automata over real and complex numbers

Autor(en)
Meer, Klaus, Naif, Ameen
Publikationsart
Wissenschaftlicher Zeitschriftenartikel referiert
Erscheinungsjahr
2015
Quelle
Theoretical Computer Science, S. 85 - 98
Band/Jahrgang
Vol. 591
ISSN
0304-3975
URL
http://www.sciencedirect.com/science/article/pii/S0304397515003928
DOI
http://dx.doi.org/10.1016/j.tcs.2015.05.001

The PCP theorem for NP over the reals

Autor(en)
Meer, Klaus, Baartse, Martijn
Publikationsart
Wissenschaftlicher Zeitschriftenartikel referiert
Erscheinungsjahr
2015
Quelle
Foundations of Computational Mathematics, S. 651 - 680
Band/Jahrgang
15
Ausgabe/Heft
3
ISSN
1615-3375
URL
http://link.springer.com/article/10.1007/s10208-014-9188-x?sa_campaign=email/event/articleAuthor/onlineFirst
DOI
http://dx.doi.org/10.1007/s10208-014-9188-x

An algebraic proof of the real number PCP theorem

Autor(en)
Meer, Klaus, Baartse, Martijn
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2015
Verlag
Berlin [u.a.] : Springer-Verlag
Quelle
Mathematical Foundations of Computer Science 2015 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II, S. 50 - 61
ISBN
978-3-662-48053-3
URL
http://www.springer.com/us/book/9783662480533
DOI
http://dx.doi.org/10.1007/978-3-662-48054-0
Schriftenreihe(n) ; Bandnummer
Lecture Notes in Computer Science ; 9235

Some results on interactive proofs for real computations

Autor(en)
Meer, Klaus, Baartse, Martijn
Herausgeber
Beckmann, Arnold, Mitrana, Victor, Soskova, Mariya
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2015
Verlag
Berlin [u.a.] : Springer International Publishing
Quelle
Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015, Proceedings, S. 107 - 116
ISBN
978-3-319-20027-9
URL
http://www.springer.com/in/book/9783319200279
DOI
http://dx.doi.org/10.1007/978-3-319-20028-6
Schriftenreihe(n) ; Bandnummer
Lecture Notes in Computer Science ; 9136

An Extended Tree-Width Notion for Directed Graphs Related to the Computation of Permanents

Autor(en)
Meer, Klaus
Publikationsart
Wissenschaftlicher Zeitschriftenartikel referiert
Erscheinungsjahr
2014
Quelle
Theory of Computing Systems, S. 330 - 346
Band/Jahrgang
55
Ausgabe/Heft
2
ISSN
1432-4350

Language, Life, Limits 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014, Proceedings

Herausgeber
Beckmann, Arnold, Csuhaj-Varjú, Erzsébet, Meer, Klaus
Publikationsart
Buch (Herausgeber)
Erscheinungsjahr
2014
Verlag
Berlin [u.a.] : Springer International Publishing
ISBN
978-3-319-08018-5
DOI
http://dx.doi.org/10.1007/978-3-319-08019-2
Schriftenreihe(n) ; Bandnummer
Lecture Notes in Computer Science ; 8493

Generalized Finite Automata over Real and Complex Numbers

Autor(en)
Meer, Klaus, Naif, Ameen
Herausgeber
Gopal, T. V., Agrawal, Manindra, Li, Angsheng, Cooper, S. Barry
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2014
Verlag
Berlin [u.a.] : Springer International Publishing
Quelle
Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings, S. 168 - 187
ISBN
978-3-319-06088-0
URL
http://www.springer.com/us/book/9783319060880
DOI
http://dx.doi.org/10.1007/978-3-319-06089-7
Schriftenreihe(n) ; Bandnummer
Lecture Notes in Computer Science ; 8402

Testing Low Degree Trigonometric Polynomials

Autor(en)
Meer, Klaus, Baartse, Martijn
Herausgeber
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
ISBN
978-3-319-06685-1
URL
http://www.springer.com/de/book/9783319066851
DOI
http://dx.doi.org/10.1007/978-3-319-06686-8
Schriftenreihe(n) ; Bandnummer
Lecture Notes in Computer Science ; 8476

The PCP theorem for NP over the reals

Autor(en)
Meer, Klaus, Baartse, Martijn
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2013
Quelle
30th Symposium on Theoretical Aspects of Computer Science STACS , Kiel, 2013, S. 104 - 115
URL
http://drops.dagstuhl.de/opus/volltexte/2013/3926/
URN
urn:nbn:de:0030-drops-39262
DOI
http://dx.doi.org/10.4230/LIPIcs.STACS.2013.104
Schriftenreihe(n) ; Bandnummer
Leibniz international proceedings in informatics ; 20

Topics in Real and Complex Number Complexity Theory

Autor(en)
Meer, Klaus, Baartse, Martijn
Herausgeber
Montaña, José Luis, Pardo, Luis M.
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2013
Verlag
Providence, RI : American Mathematical Society
Quelle
Recent Advances in Real Complexity and Computation, S. 1 - 53
ISBN
978-0-8218-9150-6
URL
http://bookstore.ams.org/conm-604?c=1
DOI
http://dx.doi.org/10.1090/conm/604
Schriftenreihe(n) ; Bandnummer
Contemporary mathematics ; 604

On Ladnerʼs result for a class of real machines with restricted use of constants

Autor(en)
Meer, Klaus
Publikationsart
Wissenschaftlicher Zeitschriftenartikel referiert
Erscheinungsjahr
2012
Quelle
Information and Computation, S. 13 - 20
Band/Jahrgang
210
ISSN
0890-5401
URL
http://www.sciencedirect.com/science/article/pii/S0890540111001507#

Data Sharing Mechanisms for Parallel Graph Algorithms on the Intel SCC

Autor(en)
Rotta, Randolf, Prescher, Thomas, Traue, Jana, Nolte, Jörg
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2012
Quelle
MARC Symposium at ONERA'2012, July 19th–20th 2012, Toulouse, Frankreich, S. 13 - 18
ISBN
978-2-7257-0016-8
URL
http://hal.archives-ouvertes.fr/hal-00718993

On the gap between trivial and nontrivial initial segment prefix-free complexity

Autor(en)
Baartse, Martijn, Barmpalias, George
Publikationsart
Wissenschaftlicher Zeitschriftenartikel referiert
Erscheinungsjahr
2012
Quelle
Theory of Computing Systems
ISSN
1433-0490
URL
http://www.springerlink.com/content/h0k3581g7202p574/

In-Memory Communication Mechanisms for Many-Cores – Experiences with the Intel SCC

Autor(en)
Rotta, Randolf, Prescher, Thomas, Traue, Jana, Nolte, Jörg
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2012
Quelle
TACC-Intel Highly Parallel Computing Symposium (TIHPCS), Austin/Texas, 2012
URL
http://www.tacc.utexas.edu/documents/13601/4234acca-2171-4465-aa48-7592d5e577f9
http://www.tacc.utexas.edu/documents/13601/06d702ab-3f48-4942-9b07-2fbd880d4310
http://www.tacc.utexas.edu/ti-hpcs12

Some initial thoughts on bounded query computations over the reals

Autor(en)
Meer, Klaus
Publikationsart
Wissenschaftlicher Zeitschriftenartikel referiert
Erscheinungsjahr
2012
Quelle
International Journal of Foundations of Computer Science, S. 1499 - 1510
Band/Jahrgang
23
Ausgabe/Heft
7
ISSN
0129-0541
DOI
http://dx.doi.org/10.1142/S0129054112400618

Middleware for Many-Cores - Why It Is Needed and What Functionality It Should Provide

Autor(en)
Rotta, Randolf, Büchner, Steffen, Nolte, Jörg
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2012
Quelle
4th USENIX Workshop on Hot Topics in Parallelism (HotPar '12), Berkeley, 2012
URL
https://www.usenix.org/conference/hotpar12/tech-schedule/poster-session
Schriftenreihe(n) ; Bandnummer
Conference Reports USENIX ; Vol. 37, No. 5

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)

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

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

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

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

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

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)

Multi-level Algorithms for Modularity Clustering

Autor(en)
Noack, Andreas, Rotta, Randolf
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2009
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)
URL
http://www.springerlink.com/content/qugv7708h3806230/

Syropoulos, Apostolos: Hypercomputation. Berlin : Springer, 2008

Autor(en)
Meer, Klaus
Publikationsart
Rezension
Erscheinungsjahr
2009
Quelle
AMS Mathematical Reviews
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

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

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

Effective Hierarchy of Real Numbers

Autor(en)
Zheng, Xizhong
Publikationsart
Dissertation
Erscheinungsjahr
2007
Verlag
Aachen : Shaker
ISBN
978-3-8322-6343-0

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

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, G., 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 B.
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

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

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

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

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)

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
URL
http://drops.dagstuhl.de/opus/volltexte/2006/499/
URN
urn:nbn:de:0030-drops-4994
Schriftenreihe(n) ; Bandnummer
Dagstuhl Seminar Proceedings ; 04061

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

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

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, S. 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

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

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

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, S. 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, G., 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 )

Weak computability and representation of real numbers

Autor(en)
Zheng, Xizhong, Rettinger, Robert
Publikationsart
Wissenschaftlicher Zeitschriftenartikel nicht referiert
Erscheinungsjahr
2004
Quelle
Mathematical Logic Quarterly, S. 431 - 442
Band/Jahrgang
50
Ausgabe/Heft
4/5
ISSN
0942-5616

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)
URL
http://www.informatik.uni-trier.de/Reports/TR-08-2004/rnc6_15_zheng.pdf

A note on the Turing degrees of divergence bounded computable reals

Autor(en)
Zheng, Xizhong, Rettinger, Robert
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2004
Quelle
Brattka, Vasco (Hrsg.): Sixth International Workshop on Computability and complexity in analysis : August 16 - 20, 2004, Lutherstadt Wittenberg, Germany ; CCA 2004. - Hagen : FernUniv., Fachbereich Informatik, 2004 (Informatik-Berichte ; 320)

On the extensions of Solovay Reducibility

Autor(en)
Zheng, Xizhong, Rettinger, Robert
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2004
Quelle
Chwa, Kyung-Yong (Hrsg.): Computing and combinatorics : 10th annual international conference / COCOON 2004, Jeju Island, Korea, August 17 - 20, 2004. - Berlin[u.a.] : Springer, 2004, S. 360-369, 3-540-22856-X (Lecture notes in computer science ; 3106)

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 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

Transparent long proofs: A first PCP theorem for NP(R)

Autor(en)
Meer, Klaus
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2004
Verlag
Berlin : Springer
Quelle
Extended Abstract in 31st International Colloquium on Automata, Languages and Programming ICALP 2004, Turku, S. 959 - 970
ISBN
3-540-22849-7
Schriftenreihe(n) ; Bandnummer
Lecture Notes in Computer Science ; 3142

Optimization Theory

Autor(en)
Jongen, Hubertus Th., Meer, Klaus, Triesch, Eberhard
Publikationsart
Buch
Erscheinungsjahr
2004
Verlag
Boston : Kluwer
ISBN
978-1-402-08098-2

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
ISBN
978-3-540-29067-4
Schriftenreihe(n) ; Bandnummer
Lecture Notes in Computer Science ; 3732

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

Ershov's hierarchy of real numbers

Autor(en)
Zheng, Xizhong, Rettinger, Robert, Gengler, Romain
Herausgeber
Rovan, Branislav
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2003
Verlag
Berlin [u.a.] : Springer
Quelle
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 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
ISBN
3-540-40671-9
Schriftenreihe(n) ; Bandnummer
Lecture Notes in Computer Science ; 2747

Optimierung

Autor(en)
Jongen, Hubertus Theodor, Meer, Klaus
Herausgeber
Walz, Guido
Publikationsart
Teil eines Buches (Kapitel)
Erscheinungsjahr
2003
Verlag
Heidelberg : Spektrum Akademischer Verlag
Quelle
Faszination Mathematik, S. 211 - 216
ISBN
3-8274-1419-9

Recursive approximability of real numbers

Autor(en)
Zheng, Xizhong
Publikationsart
Artikel
Erscheinungsjahr
2002
Quelle
Mathematical Logic Quarterly, 48(2002)Suppl. 1, S. 131-156, 0942-5616

Closure properties on real numbers under limits and computable operators

Autor(en)
Zheng, Xizhong
Publikationsart
Artikel
Erscheinungsjahr
2002
Quelle
Theoretical Computer Science, 284(2002)2, S. 499-518, 0304-3975

Monotonically computable real numbers

Autor(en)
Rettinger, Robert, Zheng, Xizhong, Gengler, Romain, Braunmühl, Burchard von
Publikationsart
Artikel
Erscheinungsjahr
2002
Quelle
Mathematical Logic Quarterly, 48(2002)3, S. 459 - 479, 0942-5616

Effectively absolute continuity and effective Jordan decomposability

Autor(en)
Zheng, Xizhong, Rettinger, Robert, Braunmühl, Burchard von
Publikationsart
Wissenschaftlicher Zeitschriftenartikel referiert
Erscheinungsjahr
2002
Quelle
Electronic Notes in Theoretical Computer Science, S. 213 - 224
Band/Jahrgang
66
Ausgabe/Heft
1
ISSN
1571-0661

Computable Real Functions of Bounded Variation and semi-Computable Real Numbers

Autor(en)
Rettinger, Robert, Zheng, Xizhong, Braunmühl, Burchard von
Herausgeber
Oscar, H. Ibarra
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
2002
Verlag
Berlin [u.a.] : Springer
Quelle
Computing and combinatorics, 8th annual international conference, COCOON 2002, Singapore, August 15 - 17, 2002, S. 47 - 56
ISBN
3-540-43996-X
Schriftenreihe(n) ; Bandnummer
Lecture notes in computer sciences ; 2387

Das Simplexverfahren

Autor(en)
Jongen, Hubertus Theodor, Meer, Klaus
Herausgeber
Walz, Guido
Publikationsart
Teil eines Buches (Kapitel)
Erscheinungsjahr
2002
Verlag
Heidelberg : Spektrum Akademischer Verlag
Quelle
Lexikon der Mathematik, Band 5, S. 27 - 30
ISBN
3-8274-0437-1

Dimensional Synthesis of Planar Stephenson-Mechanisms for Motion Generation by Circlepoint Search and Homotopy Methods

Autor(en)
Meer, Klaus, Schmitt, Burkhard, Schreiber, Harold
Publikationsart
Wissenschaftlicher Zeitschriftenartikel referiert
Erscheinungsjahr
2002
Quelle
Mechanism and Machine Theory, S. 717 - 737
Band/Jahrgang
37
Ausgabe/Heft
7
ISSN
0094-114X
URL
http://www.sciencedirect.com/science/article/pii/S0094114X02000162
DOI
http://dx.doi.org/10.1016/S0094-114X(02)00016-2

Some aspects of studying an optimization or decision problem in different computational models

Autor(en)
Meer, Klaus, Weber, Gerhard-Wilhelm
Publikationsart
Wissenschaftlicher Zeitschriftenartikel referiert
Erscheinungsjahr
2002
Quelle
European Journal of Operational Research, S. 406 - 418
Band/Jahrgang
143
Ausgabe/Heft
2
ISSN
0377-2217
URL
http://www.sciencedirect.com/science/article/pii/S0377221702002692
DOI
http://dx.doi.org/10.1016/S0377-2217(02)00269-2

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

On the Jordan decomposability for computable functions of bounded variation

Autor(en)
Zheng, Xizhong, Rettinger, Robert, Braunmühl, Burchard von
Publikationsart
Bericht
Erscheinungsjahr
2002
Verlag
Cottbus : BTU, Inst. of Computer Science
Schriftenreihe(n) ; Bandnummer
Computer science reports ; 2002,3

The arithmetical hierarchy of real numbers

Autor(en)
Zheng, Xizhong, Weihrauch, Klaus
Publikationsart
Wissenschaftlicher Zeitschriftenartikel nicht referiert
Erscheinungsjahr
2001
Quelle
Mathematical Logic Quarterly, S. 51 - 65
Band/Jahrgang
47
Ausgabe/Heft
1
ISSN
0942-5616

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)

Ellipsoidmethoden

Autor(en)
Jongen, Hubertus Theodor, Meer, Klaus
Herausgeber
Walz, Guido
Publikationsart
Teil eines Buches (Kapitel)
Erscheinungsjahr
2001
Verlag
Heidelberg : Spektrum Akademischer Verlag
Quelle
Lexikon der Mathematik, Band 2, S. 37 - 38
ISBN
3-8274-0434-7

Innere-Punkte Methoden

Autor(en)
Jongen, Hubertus Theodor, Meer, Klaus
Herausgeber
Walz, Guido
Publikationsart
Teil eines Buches (Kapitel)
Erscheinungsjahr
2001
Verlag
Heidelberg : Spektrum Akademischer Verlag
Quelle
Lexikon der Mathematik, Band 2, S. 491 - 494
ISBN
3-8274-0434-7

Weakly computable real numbers

Autor(en)
Ambos-Spies, Klaus, Weihrauch, Klaus, Zheng, Xizhong
Publikationsart
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, Cucker, F., Shub, M., Smale, S.: Complexity and real computation. Berlin : Springer, 1998

Autor(en)
Meer, Klaus
Publikationsart
Rezension
Erscheinungsjahr
1999
Quelle
AMS Mathematical Reviews
ISSN
0025-5629

On the structure of NP_C

Autor(en)
Meer, Klaus, Malajovich, Gregorio
Publikationsart
Wissenschaftlicher Zeitschriftenartikel referiert
Erscheinungsjahr
1999
Quelle
SIAM Journal on Computing, S. 27 - 35
Band/Jahrgang
28
Ausgabe/Heft
1
ISSN
1095-7111
URL
http://epubs.siam.org/action/showAbstract?page=27&volume=28&issue=1&journalCode=smjcat&
DOI
http://dx.doi.org/10.1137/S0097539795294980

Query languages for real number databases based on descriptive complexity over R

Autor(en)
Meer, Klaus
Herausgeber
Kutylowski, Miroslaw, Leszek, Pacholski, Tomasz, Wierzbicki
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
ISBN
978-3-540-66408-6
URL
http://link.springer.com/chapter/10.1007%2F3-540-48340-3_2
DOI
http://dx.doi.org/10.1007/3-540-48340-3_2
Schriftenreihe(n) ; Bandnummer
Lecture Notes in Computer Science ; 1672

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

Semi-algebraic complexity - Additive complexity of matrix computational tasks

Autor(en)
Meer, Klaus, Lickteig, Thomas
Publikationsart
Wissenschaftlicher Zeitschriftenartikel referiert
Erscheinungsjahr
1997
Quelle
Journal of Complexity, S. 83 - 107
Band/Jahrgang
13
Ausgabe/Heft
1
ISSN
0885-064X
URL
http://www.sciencedirect.com/science/article/pii/S0885064X97904301
DOI
http://dx.doi.org/10.1006/jcom.1997.0430

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
ISBN
978-3-540-63437-9
URL
http://www.springer.com/us/book/9783540634379?wt_mc=ThirdParty.SpringerLink.3.EPR653.About_eBook
DOI
http://dx.doi.org/10.1007/BFb0029983
Schriftenreihe(n) ; Bandnummer
Lecture notes in computer science ; 1295

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
Quelle
Mathematical Logic Quarterly, S. 281 - 286
Band/Jahrgang
41
Ausgabe/Heft
2
ISSN
0885-064X
URL
http://onlinelibrary.wiley.com/doi/10.1002/malq.19950410214/abstract
DOI
http://dx.doi.org/10.1002/malq.19950410214

A note on testing the resultant

Autor(en)
Meer, Klaus, Lickteig, Thomas
Publikationsart
Wissenschaftlicher Zeitschriftenartikel referiert
Erscheinungsjahr
1995
Quelle
Journal of Complexity, S. 344 - 351
Band/Jahrgang
11
Ausgabe/Heft
3
ISSN
0885-064X
URL
http://www.sciencedirect.com/science/article/pii/S0885064X85710163?np=y
DOI
http://dx.doi.org/10.1006/jcom.1995.1016

Descriptive Complexity Theory over the real numbers

Autor(en)
Grädel, Erich, Meer, Klaus
Publikationsart
Konferenzveröffentlichung
Erscheinungsjahr
1995
Verlag
New York, NY : ACM
Quelle
Proceedings of the 27th Annual ACM Symposium on Theory of Computing STOC, Las Vegas, 1995, S. 315 - 324
DOI
http://dx.doi.org/10.1145/225058.225151

Real number models : on the use of information

Autor(en)
Meer, Klaus
Publikationsart
Wissenschaftlicher Zeitschriftenartikel referiert
Erscheinungsjahr
1994
Quelle
Journal of Symbolic Computation, S. 199 - 206
Band/Jahrgang
18
Ausgabe/Heft
3
ISSN
0747-7171
URL
http://www.sciencedirect.com/science/article/pii/S0747717184710443
DOI
http://dx.doi.org/10.1006/jsco.1994.1044

On the complexity of Quadratic Programming in real number models of computation

Autor(en)
Meer, Klaus
Publikationsart
Wissenschaftlicher Zeitschriftenartikel referiert
Erscheinungsjahr
1994
Quelle
Theoretical Computer Science, S. 85 - 94
Band/Jahrgang
133
Ausgabe/Heft
1
ISSN
0304-3975
URL
http://www.sciencedirect.com/science/article/pii/0304397594000700
DOI
http://dx.doi.org/10.1016/0304-3975(94)00070-0

Real number models under various sets of operations

Autor(en)
Meer, Klaus
Publikationsart
Wissenschaftlicher Zeitschriftenartikel referiert
Erscheinungsjahr
1993
Quelle
Journal of Complexity, S. 366 - 372
Band/Jahrgang
9
Ausgabe/Heft
3
ISSN
0885-064X
URL
http://www.sciencedirect.com/science/article/pii/S0885064X8371023X
DOI
http://dx.doi.org/10.1006/jcom.1993.1023

A note on a $ P \neq NP-$ result in a restricted class of real machines

Autor(en)
Meer, Klaus
Publikationsart
Wissenschaftlicher Zeitschriftenartikel referiert
Erscheinungsjahr
1992
Quelle
Journal of Complexity, S. 451 - 453
Band/Jahrgang
8
Ausgabe/Heft
4
ISSN
0885-064X
URL
http://www.sciencedirect.com/science/article/pii/0885064X9290007X
DOI
http://dx.doi.org/10.1016/0885-064X(92)90007-X

Computations over Z and R : a comparison

Autor(en)
Meer, Klaus
Publikationsart
Wissenschaftlicher Zeitschriftenartikel referiert
Erscheinungsjahr
1990
Quelle
Journal of Complexity, S. 256 - 263
Band/Jahrgang
6
Ausgabe/Heft
3
ISSN
0885-064X
URL
http://www.sciencedirect.com/science/article/pii/0885064X90900226
DOI
http://dx.doi.org/10.1016/0885-064X(90)90022-6