1. ScholarBank@NUS

Frank Christian Stephan

rp00190

Collaboration Map View Statistics Email Alert RSS Feed

Profile

Full Name
Frank Christian Stephan
Variants
Stephan, P.
Stephan, F.
Stephan F
 
Main Affiliation
 
Faculty
 
Email
dcssfc@nus.edu.sg
 
Other emails
 

Publications

Refined By:
File Format:  Adobe PDF

Results 1-20 of 30 (Search time: 0.015 seconds).

Issue DateTitleAuthor(s)
11-Sep-2023Addition machines, automatic functions and open problems of Floyd and KnuthJain, S ; Jia, X; Sabili, AF; Stephan, F 
22019An ordered approach to solving parity games in quasi-polynomial time and quasi-linear spaceFearnley J.; Jain S. ; de Keijzer B.; Schewe S.; Stephan F. ; Wojtczak D.
32017Automatic learning from positive data and negative counterexamplesJain S. ; Kinber E.; Stephan F. 
42020Chaitin's Ω as a Continuous FunctionHölzl R. ; Merkle W.; Miller J.; Stephan F. ; Yu L.
52016Closed left-r.e. setsJain S. ; Stephan F. ; Teutsch J. 
62017Covering the recursive setsKjos-Hanssen B.; Stephan F. ; Terwijn S.A.
7Apr-2022Deciding Parity Games in Quasi-polynomial TimeCalude, Cristian S; Jain, Sanjay ; Khoussainov, Bakhadyr ; Li, Wei; Stephan, Frank 
82017Depth, highness and DNR degreesMoser P.; Stephan F. 
92018Effectivity questions for Kleene's recursion theoremCase J.; Jain S. ; Stephan F. 
102016Enlarging learnable classesJain S. ; Kötzing T.; Stephan F. 
112018Equivalences between learning of data and probability distributions, and their applicationsBarmpalias G.; Fang N.; Stephan F. 
122016Finite state incompressible infinite sequencesCalude C.S.; Staiger L.; Stephan F. 
132018Finitely generated semiautomatic groupsJain S. ; Khoussainov B.; Stephan F. 
142018Implementing fragments of ZFC within an r.e. UniverseMartin E.; Stephan F. 
158-Oct-2021Improved algorithms for the general exact satisfiability problemHoi, G ; Stephan, F 
162016Inductive inference and reverse mathematicsHölzl R. ; Jain S. ; Stephan F. 
171-Jan-2021Learnability and Positive Equivalence RelationsBelanger, D; Gao, Z ; Jain, S ; Li, W ; Stephan, F 
182018Learning pattern languages over groupsHölzl R. ; Jain S. ; Stephan F. 
192016On block pumpable languagesChak C.H. ; Freivalds R.; Stephan F. ; Henrietta Tan Wan Yik
202016On Martin's pointed tree theoremHölzl R. ; Stephan F. ; Yu L.