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

Publications

Refined By:
Date Issued:  [2010 TO 2020]

Results 1-20 of 50 (Search time: 0.003 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.
5Aug-2012Arithmetic complexity via effective names for random sequencesKjos-Hanssen, B.; Stephan, F. ; Teutsch, J.
6May-2013Automata on ordinals and automaticity of linear ordersSchlicht, P.; Stephan, F. 
72011Automata on ordinals and linear ordersSchlicht, P.; Stephan, F. 
82012Automatic functions, linear time and learningCase, J.; Jain, S. ; Seah, S.; Stephan, F. 
92011Automatic learners with feedback queriesCase, J.; Jain, S. ; Ong, Y.S.; Semukhin, P.; Stephan, F. 
102011Automatic learning of subclasses of pattern languagesCase, J.; Jain, S. ; Le, T.D.; Ong, Y.S.; Semukhin, P.; Stephan, F. 
112012Automatic learning of subclasses of pattern languagesCase, J.; Jain, S. ; Le, T.D.; Ong, Y.S.; Semukhin, P.; Stephan, F. 
12Sep-2013Automatic models of first order theoriesSemukhin, P.; Stephan, F. 
132015Automatic structures - Recent results and open questionsStephan, F 
142011Closed left-r.e. setsJain, S. ; Stephan, F. ; Teutsch, J.
152012Confident and consistent partial learning of recursive functionsGao, Z.; Stephan, F. 
162013Effectivity questions for Kleene's Recursion TheoremCase, J.; Jain, S. ; Stephan, F. 
172012Enlarging learnable classesJain, S. ; Kötzing, T.; Stephan, F. 
182014Finite state incompressible infinite sequencesCalude, C.S.; Staiger, L.; Stephan, F. 
192014Graphs realised by r.e. equivalence relationsGavruskin, A.; Jain, S. ; Khoussainov, B.; Stephan, F. 
20Jul-2010Higher Kurtz randomnessKjos-Hanssen, B.; Nies, A.; Stephan, F. ; Yu, L.