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

Publications

Results 1-20 of 141 (Search time: 0.007 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.
42005Absolute versus probabilistic classification in a logical settingJain, S. ; Martin, E.; Stephan, F. 
52008Absolute versus probabilistic classification in a logical settingJain, S. ; Martin, E.; Stephan, F. 
61-Sep-2023Addition machines, automatic functions and open problems of Floyd and KnuthJain, S ; Jia, X; Sabili, AF; Stephan, F 
7Mar-2012An incomplete set of shortest descriptionsStephan, F. ; Teutsch, J.
82019An 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.
9Sep-2007Applications of kolmogorov complexity to computable model theoryKhoussainov, B.; Semukhin, P.; Stephan, F. 
10Aug-2012Arithmetic complexity via effective names for random sequencesKjos-Hanssen, B.; Stephan, F. ; Teutsch, J.
11May-2013Automata on ordinals and automaticity of linear ordersSchlicht, P.; Stephan, F. 
122011Automata on ordinals and linear ordersSchlicht, P.; Stephan, F. 
132012Automatic functions, linear time and learningCase, J.; Jain, S. ; Seah, S.; Stephan, F. 
142011Automatic learners with feedback queriesCase, J.; Jain, S. ; Ong, Y.S.; Semukhin, P.; Stephan, F. 
152017Automatic learning from positive data and negative counterexamplesJain S. ; Kinber E.; Stephan F. 
162012Automatic learning of subclasses of pattern languagesCase, J.; Jain, S. ; Le, T.D.; Ong, Y.S.; Semukhin, P.; Stephan, F. 
172011Automatic learning of subclasses of pattern languagesCase, J.; Jain, S. ; Le, T.D.; Ong, Y.S.; Semukhin, P.; Stephan, F. 
182005Automatic linear orders and treesKhoussainov, B.; Rubin, S.; Stephan, F. 
19Sep-2013Automatic models of first order theoriesSemukhin, P.; Stephan, F. 
202015Automatic structures - Recent results and open questionsStephan, F