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:
Date Issued:  [2010 TO 2020]

Results 1-20 of 77 (Search time: 0.01 seconds).

Issue DateTitleAuthor(s)
11-Dec-2019A fast exponential time algorithm for Max hamming distance X3SATHoi, G ; Jain, S ; Stephan, F 
21-Jan-2020A Faster Exact Algorithm to Count X3SAT SolutionsHoi, G; Jain, S ; Stephan, F 
32014A reducibility related to being hyperimmune-freeStephan, F. ; Yu, L.
4Mar-2012An incomplete set of shortest descriptionsStephan, F. ; Teutsch, J.
52019An 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.
6Aug-2012Arithmetic complexity via effective names for random sequencesKjos-Hanssen, B.; Stephan, F. ; Teutsch, J.
7May-2013Automata on ordinals and automaticity of linear ordersSchlicht, P.; Stephan, F. 
82011Automata on ordinals and linear ordersSchlicht, P.; Stephan, F. 
92012Automatic functions, linear time and learningCase, J.; Jain, S. ; Seah, S.; Stephan, F. 
102011Automatic learners with feedback queriesCase, J.; Jain, S. ; Ong, Y.S.; Semukhin, P.; Stephan, F. 
112017Automatic learning from positive data and negative counterexamplesJain S. ; Kinber E.; Stephan F. 
122011Automatic learning of subclasses of pattern languagesCase, J.; Jain, S. ; Le, T.D.; Ong, Y.S.; Semukhin, P.; Stephan, F. 
132012Automatic learning of subclasses of pattern languagesCase, J.; Jain, S. ; Le, T.D.; Ong, Y.S.; Semukhin, P.; Stephan, F. 
14Sep-2013Automatic models of first order theoriesSemukhin, P.; Stephan, F. 
152015Automatic structures - Recent results and open questionsStephan, F 
162020Chaitin's Ω as a Continuous FunctionHölzl R. ; Merkle W.; Miller J.; Stephan F. ; Yu L.
172011Closed left-r.e. setsJain, S. ; Stephan, F. ; Teutsch, J.
182016Closed left-r.e. setsJain S. ; Stephan F. ; Teutsch J. 
192012Confident and consistent partial learning of recursive functionsGao, Z.; Stephan, F. 
202017Covering the recursive setsKjos-Hanssen B.; Stephan F. ; Terwijn S.A.