Concepedia

André Nies

AN

60

Publications

1.9K

Citations

25

H-Index

1992

Active since

Affiliations

University of Auckland(Current)

University of Chicago

Victoria University of Wellington

University of Wisconsin–Madison

National University of Singapore

André Nies is an author at University of Auckland specializing in engineering, computer science, and probability theory.

Top concepts

EngineeringProbabilityComputer ScienceEntropyComputational ComplexityAutomated ReasoningFormal MethodsDiscrete MathematicsTheory Of ComputingStatistics

Publications per year

1992–2022

60

Publications

60

Lowness properties and randomness

André Nies · Advances in Mathematics · 2004 · 195 citations

Engineering, Discrete Probability, Entropy +5

Randomness, relativization and Turing degrees

André Nies, Frank Stephan, Sebastiaan A. Terwijn · Journal of Symbolic Logic · 2005 · 133 citations · Full text

Theory Of Computing, Algorithmic Randomness, Turing Machine +13

Randomness and Computability: Open Questions

Joseph S. Miller, André Nies · Bulletin of Symbolic Logic · 2006 · 95 citations

Computational Complexity Theory, Engineering, Automated Reasoning +12

Using random sets as oracles

Denis R. Hirschfeldt, André Nies, Frank Stephan · Journal of the London Mathematical Society · 2007 · 90 citations

Theory Of Computing, Algorithmic Randomness, R Randomness +11

Computable Models of Theories with Few Models

Bakhadyr Khoussainov, André Nies, Richard A. Shore · Notre Dame Journal of Formal Logic · 1997 · 72 citations · Full text

Engineering, Saturated Model, Automated Reasoning +9

Rows per page

1–5 of 60