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

André Nies

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
36EECristian S. Calude, André Nies, Ludwig Staiger, Frank Stephan: Universal Recursively Enumerable Sets of Strings. Developments in Language Theory 2008: 170-182
35EEGreg Hjorth, Bakhadyr Khoussainov, Antonio Montalbán, André Nies: From Automatic Structures to Borel Structures. LICS 2008: 431-441
34EESantiago Figueira, André Nies, Frank Stephan: Lowness properties and approximations of the jump. Ann. Pure Appl. Logic 152(1-3): 51-66 (2008)
2007
33EEAndrew Lewis, Antonio Montalbán, André Nies: A Weakly 2-Random Set That Is Not Generalized Low. CiE 2007: 474-477
32EEAndré Nies, Pavel Semukhin: Finite Automata Presentable Abelian Groups. LFCS 2007: 422-436
31EEBakhadyr Khoussainov, André Nies, Sasha Rubin, Frank Stephan: Automatic Structures: Richness and Limitations CoRR abs/cs/0703064: (2007)
30EEBakhadyr Khoussainov, André Nies, Sasha Rubin, Frank Stephan: Automatic Structures: Richness and Limitations. Logical Methods in Computer Science 3(2): (2007)
2006
29EEWolfgang Merkle, Joseph S. Miller, André Nies, Jan Reimann, Frank Stephan: Kolmogorov-Loveland randomness and stochasticity. Ann. Pure Appl. Logic 138(1-3): 183-210 (2006)
28EESantiago Figueira, André Nies, Frank Stephan: Lowness Properties and Approximations of the Jump. Electr. Notes Theor. Comput. Sci. 143: 45-57 (2006)
2005
27EEWolfgang Merkle, Joseph S. Miller, André Nies, Jan Reimann, Frank Stephan: Kolmogorov-Loveland Randomness and Stochasticity. STACS 2005: 422-433
26EEBjørn Kjos-Hanssen, André Nies, Frank Stephan: Lowness for the Class of Schnorr Random Reals. SIAM J. Comput. 35(3): 647-657 (2005)
2004
25EEBakhadyr Khoussainov, André Nies, Sasha Rubin, Frank Stephan: Automatic Structures: Richness and Limitations. LICS 2004: 44-53
2003
24EEBenjamín René Callejas Bedregal, André Nies: Lowness Properties of Reals and Hyper-Immunity. Electr. Notes Theor. Comput. Sci. 84: (2003)
23EEAndré Nies: Separating Classes of Groups by First-Order Sentences. IJAC 13(3): 287-302 (2003)
2002
22EERodney G. Downey, Denis R. Hirschfeldt, André Nies, Frank Stephan: Trivial Reals. Electr. Notes Theor. Comput. Sci. 66(1): (2002)
21EERodney G. Downey, Denis R. Hirschfeldt, André Nies: Randomness, Computability, and Density. SIAM J. Comput. 31(4): 1169-1183 (2002)
2001
20EERodney G. Downey, Denis R. Hirschfeldt, André Nies: Randomness, Computability, and Density. STACS 2001: 195-205
19 André Nies: Interpreting N in the computably enumerable weak truth talble degrees. Ann. Pure Appl. Logic 107(1-3): 35-48 (2001)
18EESteffen Lempp, André Nies, Reed Solomon: On the filter of computably enumerable supersets of an r-maximal set. Arch. Math. Log. 40(6): 415-423 (2001)
17 Douglas A. Cenzer, André Nies: Initial Segments of The Lattice of PI01 Classes. J. Symb. Log. 66(4): 1749-1765 (2001)
2000
16 Rodney G. Downey, André Nies: Undecidability Results for Low Complexity Time Classes. J. Comput. Syst. Sci. 60(2): 465-479 (2000)
15 André Nies, Andrea Sorbi: Structural Properties and Sigma02 Enumeration Degrees. J. Symb. Log. 65(1): 285-292 (2000)
14EEAndré Nies: Model theory of the computably enumerable many-one degrees. Logic Journal of the IGPL 8(5): (2000)
13EESteffen Lempp, André Nies: Differences of Computably Enumerable Sets. Math. Log. Q. 46(4): 555-561 (2000)
1999
12 André Nies: A New Spectrum of Recursive Models. Notre Dame Journal of Formal Logic 40(3): 307-314 (1999)
1998
11 Rodney G. Downey, Geoffrey LaForte, André Nies: Computably Enumerable Sets and Quasi-Reducibility. Ann. Pure Appl. Logic 95(1-3): 1-35 (1998)
1997
10EERodney G. Downey, André Nies: Undecidability Results for Low Complexity Degree Structures. IEEE Conference on Computational Complexity 1997: 128-132
9EECristian Calude, André Nies: Chaitin Omega Numbers and Strong Reducibilities. J. UCS 3(11): 1162-1166 (1997)
8 Bakhadyr Khoussainov, André Nies, Richard A. Shore: Computable Models of Theories with Few Models. Notre Dame Journal of Formal Logic 38(2): 165-178 (1997)
1996
7EEAndré Nies, Richard A. Shore, Theodore A. Slaman: Definability in the recursively enumerable degrees. Bulletin of Symbolic Logic 2(4): 392-404 (1996)
1995
6 André Nies, Richard A. Shore: Interpreting True Arithmetic in the Theory of the r.e. Truth Table Degrees. Ann. Pure Appl. Logic 75(3): 269-311 (1995)
5 Steffen Lempp, André Nies: The Undecidability of the Pi4-Theory for the R. E. WTT and Turing Degrees. J. Symb. Log. 60(4): 1118-1136 (1995)
1994
4 André Nies: Recursively Enumerable Equivalence Relations Modulo Finite Differences. Math. Log. Q. 40: 490-518 (1994)
1993
3 André Nies: Interpreting True Arithmetic in Degree Structures. Kurt Gödel Colloquium 1993: 255-262
1992
2 Klaus Ambos-Spies, André Nies: The Theory of the Polynomial Many-One Degrees of Recursive Sets is Undecidable. STACS 1992: 209-218
1 Klaus 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)

Coauthor Index

1Klaus Ambos-Spies [1] [2]
2Benjamín René Callejas Bedregal [24]
3Cristian S. Calude (Cristian Calude) [9] [36]
4Douglas A. Cenzer (Douglas Cenzer) [17]
5Rodney G. Downey (Rod Downey) [10] [11] [16] [20] [21] [22]
6Santiago Figueira [28] [34]
7Denis R. Hirschfeldt [20] [21] [22]
8Greg Hjorth [35]
9Bakhadyr Khoussainov [8] [25] [30] [31] [35]
10Bjørn Kjos-Hanssen [26]
11Geoffrey LaForte [11]
12Steffen Lempp [5] [13] [18]
13Andrew Lewis [33]
14Wolfgang Merkle [27] [29]
15Joseph S. Miller [27] [29]
16Antonio Montalbán [33] [35]
17Jan Reimann [27] [29]
18Sasha Rubin [25] [30] [31]
19Pavel Semukhin [32]
20Richard A. Shore [1] [6] [7] [8]
21Theodore A. Slaman [7]
22Reed Solomon [18]
23Andrea Sorbi [15]
24Ludwig Staiger [36]
25Frank Stephan [22] [25] [26] [27] [28] [29] [30] [31] [34] [36]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)