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

Publications

Refined By:
Type:  Conference Paper

Results 1-20 of 58 (Search time: 0.006 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 
32005Absolute versus probabilistic classification in a logical settingJain, S. ; Martin, E.; Stephan, F. 
42011Automata on ordinals and linear ordersSchlicht, P.; Stephan, F. 
52012Automatic functions, linear time and learningCase, J.; Jain, S. ; Seah, S.; Stephan, F. 
62011Automatic learners with feedback queriesCase, J.; Jain, S. ; Ong, Y.S.; Semukhin, P.; Stephan, F. 
72011Automatic learning of subclasses of pattern languagesCase, J.; Jain, S. ; Le, T.D.; Ong, Y.S.; Semukhin, P.; Stephan, F. 
82005Automatic linear orders and treesKhoussainov, B.; Rubin, S.; Stephan, F. 
92015Automatic structures - Recent results and open questionsStephan, F 
102006Behavioural approximations for restricted linear differential hybrid automataAgrawa, M.; Stephan, F. ; Thiagarajan, P.S. ; Yang, S. 
112011Closed left-r.e. setsJain, S. ; Stephan, F. ; Teutsch, J.
122012Confident and consistent partial learning of recursive functionsGao, Z.; Stephan, F. 
132009Consistent partial identificationJain, S. ; Stephan, F. 
142007Constructive dimension and weak truth-table degreesBienvenu, L.; Doty, D.; Stephan, F. 
152006Degrees of weakly computable realsNg, K.M.; Stephan, F. ; Wu, G.
162013Effectivity questions for Kleene's Recursion TheoremCase, J.; Jain, S. ; Stephan, F. 
172012Enlarging learnable classesJain, S. ; Kötzing, T.; Stephan, F. 
181-Jan-2019Exact satisfiabitity with jokersHOI, G; JAIN, S ; SCHWARZ, S; STEPHAN, F 
192014Finite state incompressible infinite sequencesCalude, C.S.; Staiger, L.; Stephan, F. 
202010How powerful are integer-valued martingales?Bienvenu, L.; Stephan, F. ; Teutsch, J.