Travelled to:1 × Finland
1 × Greece
1 × USA
2 × Japan
Collaborated with:B.Monin ∅ F.Stephan B.Khoussainov C.S.Calude L.Staiger G.Hjorth A.Montalbán S.Rubin
Talks about:structur (3) automat (2) superhigh (1) traceabl (1) question (1) approach (1) univers (1) strong (1) string (1) recurs (1)
Person: André Nies
DBLP: Nies:Andr=eacute=
Contributed to:
2015
2009
200820082004Wrote 5 papers:
- LICS-2015-MoninN #approach
- A Unifying Approach to the Gamma Question (BM, AN), pp. 585–596.
- ICALP-v1-2009-Nies #traceability
- Superhighness and Strong Jump Traceability (AN), pp. 726–737.
- DLT-2008-CaludeNSS #recursion #set #string
- Universal Recursively Enumerable Sets of Strings (CSC, AN, LS, FS), pp. 170–182.
- LICS-2008-HjorthKMN #automation
- From Automatic Structures to Borel Structures (GH, BK, AM, AN), pp. 431–441.
- LICS-2004-KhoussainovNRS #automation
- Automatic Structures: Richness and Limitations (BK, AN, SR, FS), pp. 44–53.