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

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

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

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

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

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

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

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

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/

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

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

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

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

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)

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

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

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

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

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)

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

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

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

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)

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

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

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 )

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

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

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

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

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

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

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