dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Klaus Ambos-Spies Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies, Arnold Beckmann, Samuel R. Buss, Benedikt Löwe: Computability in Europe 2009. Ann. Pure Appl. Logic 163(5): 483-484 (2012)
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies, Timur Bakibayev: Comparing Nontriviality for E and EXP. Theory Comput. Syst. 51(1): 106-122 (2012)
2011
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies, Serikzhan Badaev, Sergey S. Goncharov: Inductive inference and computable numberings. Theor. Comput. Sci. 412(18): 1652-1668 (2011)
2010
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies, Timur Bakibayev: Weak Completeness Notions for Exponential Time. ICALP (1) 2010: 503-514
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies, Timur Bakibayev: Nontriviality for Exponential Time w.r.t. Weak Reducibilities. TAMC 2010: 84-93
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies, Thorsten Kräling: Quantitative aspects of speed-up and gap phenomena. Mathematical Structures in Computer Science 20(5): 707-722 (2010)
2009
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle: Mathematical Theory and Computational Practice, 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings Springer 2009
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies, Thorsten Kräling: Quantitative Aspects of Speed-Up and Gap Phenomena. TAMC 2009: 88-97
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies, Decheng Ding, Wei Wang, Liang Yu: Bounding non-GL2 and R.E.A. J. Symb. Log. 74(3): 989-1000 (2009)
2008
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies, Serikzhan Badaev, Sergey Goncharov: On a Question of Frank Stephan. TAMC 2008: 423-432
2004
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies, Edgar Busse: Computational Aspects of Disjunctive Sequences. MFCS 2004: 711-722
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies, Bjørn Kjos-Hanssen, Steffen Lempp, Theodore A. Slaman: Comparing DNR and WWKL. J. Symb. Log. 69(4): 1089-1104 (2004)
2003
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies, Edgar Busse: Automatic Forcing and Genericity: On the Diagonalization Strength of Finite Automata. DMTCS 2003: 97-108
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies: Problems with Cannot Be Reduced to Any Proper Subproblems. MFCS 2003: 162-168
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies, Wolfgang Merkle, Jan Reimann, Sebastiaan Terwijn: Almost complete sets. Theor. Comput. Sci. 306(1-3): 177-194 (2003)
2001
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies, Wolfgang Merkle, Jan Reimann, Frank Stephan: Hausdorff Dimension in Exponential Time. IEEE Conference on Computational Complexity 2001: 210-217
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies, Peter A. Fejer: Embedding of N5 and the contiguous degrees. Ann. Pure Appl. Logic 112(2-3): 151-188 (2001)
2000
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies: Measure Theoretic Completeness Notions for the Exponential Time Classes. MFCS 2000: 152-161
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies, Wolfgang Merkle, Jan Reimann, Sebastiaan Terwijn: Almost Complete Sets. STACS 2000: 419-430
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies, Denis R. Hirschfeldt, Richard A. Shore: Undecidability and 1-types in intervals of the computably enumerable degrees. Ann. Pure Appl. Logic 106(1-3): 1-47 (2000)
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies, Klaus Weihrauch, Xizhong Zheng: Weakly Computable Real Numbers. J. Complexity 16(4): 676-690 (2000)
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies, Levke Bentzien: Separating NP-Completeness Notions under Strong Hypotheses. J. Comput. Syst. Sci. 61(3): 335-361 (2000)
1998
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies, Steffen Lempp, Gunther Mainhardt: Randomness vs. Completeness: On the Diagonalization Strength of Resource-Bounded Random Sets. MFCS 1998: 465-473
1997
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies, Levke Bentzien: Separating NP-Completeness Notions under Strong Hypotheses. IEEE Conference on Computational Complexity 1997: 121-127
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies, Sebastiaan Terwijn, Xizhong Zheng: Resource Bounded Randomness and Weakly Complete Problems. Theor. Comput. Sci. 172(1-2): 195-207 (1997)
1996
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies, Elvira Mayordomo, Xizhong Zheng: A Comparison of Weak Completeness Notions. IEEE Conference on Computational Complexity 1996: 171-178
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies, Elvira Mayordomo, Yongge Wang, Xizhong Zheng: Resource-Bounded Balanced Genericity, Stochasticity and Weak Randomness. STACS 1996: 63-74
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies, Peter A. Fejer, Steffen Lempp, Manuel Lerman: Decidability of the Two-Quantifier Theory of the Recursively Enumerable Weak Truth-Table Degrees and Other Distributive Upper Semi-Lattices. J. Symb. Log. 61(3): 880-905 (1996)
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies, Hans-Christian Neis, Sebastiaan Terwijn: Genericity and Measure for Exponential Time. Theor. Comput. Sci. 168(1): 3-19 (1996)
1995
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies: On Optimal Polynomial Time Approximations: P-Levelability vs. Delta-Levelability (Extended Abstract). ICALP 1995: 384-392
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies: Resource-Bounded Genericity. Structure in Complexity Theory Conference 1995: 162-181
1994
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies, Sebastiaan Terwijn, Xizhong Zheng: Resource Bounded Randomness and Weakly Complete Problems. ISAAC 1994: 369-377
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies, Hans-Christian Neis, Sebastiaan Terwijn: Genericity and Measure for Exponential Time. MFCS 1994: 221-232
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDecheng Ding, Klaus Ambos-Spies: Discontinuity of Cappings in the Recursively Enumerable Degrees and Strongly Nonbranching Degrees. Math. Log. Q. 40: 287-317 (1994)
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies, Steven Homer, Robert I. Soare: Minimal Pairs and Complete Problems. Theor. Comput. Sci. 132(2): 229-241 (1994)
1993
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies, Steven Homer, Uwe Schöning: Complexity Theory: Current Research, Dagstuhl Workshop, February 2-8, 1992 Cambridge University Press 1993
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies, Richard A. Shore: Undecidability and 1-Types in the Recursively Enumerable Degrees. Ann. Pure Appl. Logic 63(1): 3-37 (1993)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies, Alistair H. Lachlan, Robert I. Soare: The Continuity of Cupping to 0'. Ann. Pure Appl. Logic 64(3): 195-209 (1993)
1992
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies, André Nies: The Theory of the Polynomial Many-One Degrees of Recursive Sets is Undecidable. STACS 1992: 209-218
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies, André Nies, Richard A. Shore: The Theory of the Recursively Enumerable Weak Truth-Table Degrees Is Undecidability. J. Symb. Log. 57(3): 864-874 (1992)
1990
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies, Steven Homer, Robert I. Soare: Minimal Pairs and Complete Problems. STACS 1990: 24-36
1989
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies, Dongping Yang: Honest Polynomial-Time Degrees of Elementary Recursive Sets. CSL 1989: 1-15
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies, Robert I. Soare: The Recursively Enumerable Degrees have Infinitely Many One-Types. Ann. Pure Appl. Logic 44(1-2): 1-23 (1989)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies: Honest Polynomial Time Reducibilities and the P = ? NP Problem. J. Comput. Syst. Sci. 39(3): 250-281 (1989)
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies, Manuel Lerman: Lattice Embeddings into the Recursively Enumerable Degrees II. J. Symb. Log. 54(3): 735-760 (1989)
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies: On the Relative Complexity of Hard Problems for Complexity Classes without Complete Problems. Theor. Comput. Sci. 63(1): 43-61 (1989)
1988
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies, Jürgen Kämper: On Disjunctive Self-Reducibility. CSL 1988: 1-13
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies, Peter A. Fejer: Degree Theoretical Splitting Properties of Recursively Enumerable Sets. J. Symb. Log. 53(4): 1110-1137 (1988)
1987
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies, Hans Fleischhack, Hagen Huwig: Diagonalizing over Deterministic Polynomial Time. CSL 1987: 1-16
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies: Minimal Pairs for Polynomial Time Reducibilities. Computation Theory and Logic 1987: 1-13
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies, Hans Fleischhack, Hagen Huwig: Diagonalizations over Polynomial Time Computable Sets. Theor. Comput. Sci. 51: 177-204 (1987)
1986
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies: Randomness, Relativizations, and Polynomial Reducibilities. Structure in Complexity Theory Conference 1986: 23-34
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies: Inhomogeneities in the Polynomial-Time Degrees: The Degrees of Super Sparse Sets. Inf. Process. Lett. 22(3): 113-117 (1986)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies: A Note on the Complete Problems for Complexity Classes. Inf. Process. Lett. 23(5): 227-230 (1986)
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies, Manuel Lerman: Lattice Embeddings into the Recursively Enumerable Degrees. J. Symb. Log. 51(2): 257-272 (1986)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies: An Inhomogeneity in the Structure of Karp Degrees. SIAM J. Comput. 15(4): 958-963 (1986)
1985
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies: Three Theorems on Polynomial Degrees of NP-Sets FOCS 1985: 51-55
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies: On the Relative Complexity of Subproblems of Intractable Problems. STACS 1985: 1-12
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies: Sublattices of the Polynomial Time Degrees Information and Control 65(1): 63-84 (1985)
1984
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies: P-Generic Sets. ICALP 1984: 58-68
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies: On the Structure of Polynomial Time Degrees. STACS 1984: 198-208
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies: An Extension of the Nondiamond Theorem in Classical and alpha-Recursion Theory. J. Symb. Log. 49(2): 586-607 (1984)
1983
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Ambos-Spies: P-mitotic sets. Logic and Machines 1983: 1-23

Coauthor Index

1Serikzhan Badaev [54] [61]
2Timur Bakibayev [59] [60] [62]
3Arnold Beckmann [63]
4Levke Bentzien [40] [42]
5Samuel R. Buss [63]
6Edgar Busse [51] [53]
7Decheng Ding [30] [55]
8Peter A. Fejer [16] [36] [47]
9Hans Fleischhack [13] [15]
10Sergey Goncharov (Sergey S. Goncharov) [54] [61]
11Denis R. Hirschfeldt [44]
12Steven Homer [23] [28] [29]
13Hagen Huwig [13] [15]
14Jürgen Kämper [17]
15Bjørn Kjos-Hanssen [52]
16Thorsten Kräling [56] [58]
17Alistair H. Lachlan [26]
18Steffen Lempp [36] [41] [52]
19Manuel Lerman [9] [19] [36]
20Benedikt Löwe [57] [63]
21Gunther Mainhardt [41]
22Elvira Mayordomo [37] [38]
23Wolfgang Merkle [45] [48] [49] [57]
24Hans-Christian Neis [31] [35]
25André Nies [24] [25]
26Jan Reimann [45] [48] [49]
27Uwe Schöning [28]
28Richard A. Shore [24] [27] [44]
29Theodore A. Slaman [52]
30Robert I. Soare [21] [23] [26] [29]
31Frank Stephan [48]
32Sebastiaan Terwijn (Sebastiaan A. Terwijn) [31] [32] [35] [39] [45] [49]
33Wei Wang [55]
34Yongge Wang [37]
35Klaus Weihrauch [43]
36Dongping Yang [22]
37Liang Yu [55]
38Xizhong Zheng [32] [37] [38] [39] [43]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page