Frank Stephan

ORCID

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 93

Top Venues

Publications

André Nies, Frank Stephan
Word automatic groups of nilpotency class 2. Inf. Process. Lett. 183 (2024)
Dmitry Berdinsky, Sanjay Jain, Bakhadyr Khoussainov, Frank Stephan
String Compression in FA-Presentable Structures. CoRR (2023)
Gordon Hoi, Sanjay Jain, Frank Stephan, Christopher Tan
Languages given by Finite Automata over the Unary Alphabet. CoRR (2023)
Wojciech Czerwinski, Maciej Debski, Tomasz Gogasz, Gordon Hoi, Sanjay Jain, Michal Skrzypczak, Frank Stephan, Christopher Tan
Languages Given by Finite Automata over the Unary Alphabet. FSTTCS (2023)
Dmitry Berdinsky, Sanjay Jain, Bakhadyr Khoussainov, Frank Stephan
String compression in FA-presentable structures. Theor. Comput. Sci. 947 (2023)
Sanjay Jain, Xiaodong Jia, Ammar Fathin Sabili, Frank Stephan
Addition machines, automatic functions and open problems of Floyd and Knuth. J. Comput. Syst. Sci. 136 (2023)
Gordon Hoi, Ammar Fathin Sabili, Frank Stephan
An Exact Algorithm for finding Maximum Induced Matching in Subcubic Graphs. CoRR (2022)
Ziyuan Gao, Sanjay Jain, Zeyong Li, Ammar Fathin Sabili, Frank Stephan
Alternating Automatic Register Machines. ICTAC (2022)
Ziyuan Gao, Sanjay Jain, Zeyong Li, Ammar Fathin Sabili, Frank Stephan
A computation model with automatic functions and relations as primitive operations. Theor. Comput. Sci. 924 (2022)
André Nies, Frank Stephan
Randomness and initial segment complexity for measures. Theor. Comput. Sci. 900 (2022)
Sanjay Jain, Birzhan Moldagaliyev, Frank Stephan, Tien Dat Tran
Lamplighter groups and automata. Acta Informatica 59 (4) (2022)
Sanjay Jain, Shao Ning Kuek, Eric Martin, Frank Stephan
Learners based on transducers. Inf. Comput. 283 (2022)
Keng Meng Ng, Frank Stephan, Yue Yang, Liang Yu
On Trees Without Hyperimmune Branches. CiE (2022)
Ziyuan Gao, Sanjay Jain, Zeyong Li, Ammar Fathin Sabili, Frank Stephan
A Computation Model with Automatic Functions and Relations as Primitive Operations. CoRR (2022)
Cristian S. Calude, Sanjay Jain, Bakhadyr Khoussainov, Wei Li, Frank Stephan
Deciding Parity Games in Quasi-polynomial Time. SIAM J. Comput. 51 (2) (2022)
Cristian S. Calude, Karen Frilya Celine, Ziyuan Gao, Sanjay Jain, Ludwig Staiger, Frank Stephan
Bi-immunity over different size alphabets. Theor. Comput. Sci. 894 (2021)
Gordon Hoi, Frank Stephan
Improved algorithms for the general exact satisfiability problem. Theor. Comput. Sci. 889 (2021)
David R. Bélanger, Ziyuan Gao, Sanjay Jain, Wei Li, Frank Stephan
Learnability and Positive Equivalence Relations. LATA (2021)
Sanjay Jain, Xiaodong Jia, Ammar Fathin Sabili, Frank Stephan
Addition Machines, Automatic Functions and Open Problems of Floyd and Knuth. CoRR (2021)
Ziyuan Gao, Sanjay Jain, Ji Qi, Philipp Schlicht, Frank Stephan, Jacob Tarr
Ordered Semiautomatic Rings with Applications to Geometry. CoRR (2021)
Ziyuan Gao, Sanjay Jain, Zeyong Li, Ammar Fathin Sabili, Frank Stephan
Alternating Automatic Register Machines. CoRR (2021)
Ivan Georgiev, Lars Kristiansen, Frank Stephan
Computable irrational numbers with representations of surprising complexity. Ann. Pure Appl. Log. 172 (2) (2021)
Sanjay Jain, Frank Stephan, Thomas Zeugmann
On the amount of nonconstructivity in learning formal languages from text. Inf. Comput. 281 (2021)
Gordon Hoi, Frank Stephan
Improved Algorithms for the General Exact Satisfiability Problem. CoRR (2021)
Rupert Hölzl, Wolfgang Merkle, Joseph S. Miller, Frank Stephan, Liang Yu
Chaitin's ω as a continuous function. J. Symb. Log. 85 (1) (2020)
Gordon Hoi, Sanjay Jain, Frank Stephan
A Faster Exact Algorithm to Count X3SAT Solutions. CP (2020)
David R. Bélanger, Ziyuan Gao, Sanjay Jain, Wei Li, Frank Stephan
Learnability and Positive Equivalence Relations. CoRR (2020)
Gordon Hoi, Sanjay Jain, Frank Stephan
A Faster Exact Algorithm to Count X3SAT Solutions. CoRR (2020)
Cristian S. Calude, Sanjay Jain, Wolfgang Merkle, Frank Stephan
Searching for shortest and least programs. Theor. Comput. Sci. 807 (2020)
Ziyuan Gao, Sanjay Jain, Ji Qi, Philipp Schlicht, Frank Stephan, Jacob Tarr
Ordered Semiautomatic Rings with Applications to Geometry. LATA (2020)
André Nies, Frank Stephan
Randomness and Initial Segment Complexity for Probability Measures. STACS (2020)
Gordon Hoi, Sanjay Jain, Sibylle Schwarz, Frank Stephan
Exact Satisfiabitity with Jokers. TAMC (2019)
Sanjay Jain, Bakhadyr Khoussainov, Philipp Schlicht, Frank Stephan
The isomorphism problem for tree-automatic ordinals with addition. Inf. Process. Lett. 149 (2019)
Ziyuan Gao, Sanjay Jain, Bakhadyr Khoussainov, Wei Li, Alexander G. Melnikov, Karen Seidel, Frank Stephan
Random Subgroups of Rationals. MFCS (2019)
Aquinas Hobor, Elaine Li, Frank Stephan
Pumping, with or Without Choice. APLAS (2019)
Ian Herbert, Sanjay Jain, Steffen Lempp, Manat Mustafa, Frank Stephan
Reductions between types of numberings. Ann. Pure Appl. Log. 170 (12) (2019)
Sanjay Jain, Alexei Miasnikov, Frank Stephan
The complexity of verbal languages over groups. J. Comput. Syst. Sci. 101 (2019)
Gordon Hoi, Sanjay Jain, Frank Stephan
A Fast Exponential Time Algorithm for Max Hamming Distance X3SAT. CoRR (2019)
John Fearnley, Sanjay Jain, Bart de Keijzer, Sven Schewe, Frank Stephan, Dominik Wojtczak
An ordered approach to solving parity games in quasi-polynomial time and quasi-linear space. Int. J. Softw. Tools Technol. Transf. 21 (3) (2019)
Gordon Hoi, Frank Stephan
Measure and Conquer for Max Hamming Distance XSAT. ISAAC (2019)
Gordon Hoi, Sanjay Jain, Frank Stephan
A Fast Exponential Time Algorithm for Max Hamming Distance X3SAT. FSTTCS (2019)
Ziyuan Gao, Sanjay Jain, Bakhadyr Khoussainov, Wei Li, Alexander G. Melnikov, Karen Seidel, Frank Stephan
Random Subgroups of Rationals. CoRR (2019)
Philippe Moser, Frank Stephan
Limit-depth and DNR degrees. Inf. Process. Lett. 135 (2018)
Ivan Georgiev, Lars Kristiansen, Frank Stephan
On General Sum Approximations of Irrational Numbers. CiE (2018)
Birzhan Moldagaliyev, Ludwig Staiger, Frank Stephan
On the Values for Factor Complexity. CIAA (2018)
Sanjay Jain, Bakhadyr Khoussainov, Philipp Schlicht, Frank Stephan
The isomorphism problem for tree-automatic ordinals with addition. CoRR (2018)
André Nies, Frank Stephan
Closure of Resource-Bounded Randomness Notions Under Polynomial-Time Permutations. STACS (2018)
Ziyuan Gao, Sanjay Jain, Frank Stephan, Thomas Zeugmann
On the Help of Bounded Shot Verifiers, Comparators and Standardisers for Learnability in Inductive Inference. ALT (2018)
John Case, Sanjay Jain, Frank Stephan
Effectivity questions for Kleene's recursion theorem. Theor. Comput. Sci. 733 (2018)
Sanjay Jain, Shao Ning Kuek, Eric Martin, Frank Stephan
Learners Based on Transducers. LATA (2018)
George Barmpalias, Nan Fang, Frank Stephan
Equivalences between learning of data and probability distributions, and their applications. Inf. Comput. 262 (2018)
George Barmpalias, Nan Fang, Frank Stephan
Equivalences between learning of data and probability distributions, and their applications. CoRR (2018)
Eric Martin, Frank Stephan
Implementing fragments of ZFC within an r.e. Universe. J. Log. Comput. 28 (1) (2018)
Sanjay Jain, Bakhadyr Khoussainov, Frank Stephan
Finitely generated semiautomatic groups. Comput. 7 (2-3) (2018)
Kenshi Miyabe, André Nies, Frank Stephan
Randomness and Solovay degrees. J. Log. Anal. 10 (2018)
Rupert Hölzl, Sanjay Jain, Frank Stephan
Learning pattern languages over groups. Theor. Comput. Sci. 742 (2018)
John Fearnley, Sanjay Jain, Sven Schewe, Frank Stephan, Dominik Wojtczak
An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space. CoRR (2017)
Bjørn Kjos-Hanssen, Frank Stephan, Sebastiaan A. Terwijn
Covering the recursive sets. Ann. Pure Appl. Log. 168 (4) (2017)
Philippe Moser, Frank Stephan
Depth, Highness and DNR degrees. Discret. Math. Theor. Comput. Sci. 19 (4) (2017)
Rupert Hölzl, Sanjay Jain, Philipp Schlicht, Karen Seidel, Frank Stephan
Automatic Learning from Repetitive Texts. ALT (2017)
André Nies, Frank Stephan
Closure of resource-bounded randomness notions under polynomial time permutations. CoRR (2017)
Sanjay Jain, Frank Stephan, Jason Teutsch
Closed left-r.e. sets. Comput. 6 (1) (2017)
George Barmpalias, Frank Stephan
Algorithmic learning of probability distributions from random data in the limit. CoRR (2017)
Sanjay Jain, Efim B. Kinber, Frank Stephan
Automatic learning from positive data and negative counterexamples. Inf. Comput. 255 (2017)
John Fearnley, Sanjay Jain, Sven Schewe, Frank Stephan, Dominik Wojtczak
An ordered approach to solving parity games in quasi polynomial time and quasi linear space. SPIN (2017)
Sanjay Jain, Bakhadyr Khoussainov, Frank Stephan, Dan Teng, Siyuan Zou
Semiautomatic Structures. Theory Comput. Syst. 61 (4) (2017)
Rupert Hölzl, Dilip Raghavan, Frank Stephan, Jing Zhang
Weakly Represented Families in Reverse Mathematics. Computability and Complexity (2017)
Cristian S. Calude, Sanjay Jain, Bakhadyr Khoussainov, Wei Li, Frank Stephan
Deciding parity games in quasipolynomial time. STOC (2017)
Rahul Jain, Sanjay Jain, Frank Stephan
Special issue on the conference Theory and Applications of Models of Computation. Inf. Comput. 256 (2017)
Cristian S. Calude, Ludwig Staiger, Frank Stephan
Finite state incompressible infinite sequences. Inf. Comput. 247 (2016)
Sanjay Jain, Timo Kötzing, Frank Stephan
Enlarging learnable classes. Inf. Comput. 251 (2016)
Alex Gavryushkin, Bakhadyr Khoussainov, Frank Stephan
Reducibilities among equivalence relations induced by recursively enumerable structures. Theor. Comput. Sci. 612 (2016)
Ziyuan Gao, Frank Stephan, Sandra Zilles
Partial learning of recursively enumerable languages. Theor. Comput. Sci. 620 (2016)
Sanjay Jain, Bakhadyr Khoussainov, Frank Stephan
Finitely Generated Semiautomatic Groups. CiE (2016)
Christopher Hanrui Chak, Rusins Freivalds, Frank Stephan, Henrietta Tan Wan Yik
On block pumpable languages. Theor. Comput. Sci. 609 (2016)
Sanjay Jain, Timo Kötzing, Junqi Ma, Frank Stephan
On the role of update constraints and text-types in iterative learning. Inf. Comput. 247 (2016)
Rupert Hölzl, Frank Stephan, Liang Yu
On Martin's pointed tree theorem. Comput. 5 (2) (2016)
Sanjay Jain, Bakhadyr Khoussainov, Philipp Schlicht, Frank Stephan
Tree-automatic scattered linear orders. Theor. Comput. Sci. 626 (2016)
Rupert Hölzl, Sanjay Jain, Frank Stephan
Inductive inference and reverse mathematics. Ann. Pure Appl. Log. 167 (12) (2016)
Rupert Hölzl, Sanjay Jain, Frank Stephan
Learning Pattern Languages over Groups. ALT (2016)
Sanjay Jain, Frank Stephan
Learning Automatic Families of Languages. SOFSEM (2016)
Sanjay Jain, Rémi Munos, Frank Stephan, Thomas Zeugmann
Guest Editors' foreword. Theor. Comput. Sci. 620 (2016)
Sanjay Jain, Prateek Saxena, Frank Stephan, Jason Teutsch
How to verify computation with a rational network. CoRR (2016)
Cristian S. Calude, Rusins Freivalds, Sanjay Jain, Frank Stephan
Deterministic Frequency Pushdown Automata. J. Univers. Comput. Sci. 21 (12) (2015)
Rupert Hölzl, Sanjay Jain, Frank Stephan
Inductive Inference and Reverse Mathematics. STACS (2015)
Bjørn Kjos-Hanssen, Frank Stephan, Sebastiaan A. Terwijn
Covering the Recursive Sets. CiE (2015)
C. T. Chong, Gordon Hoi, Frank Stephan, Daniel Turetsky
Partial functions and domination. Log. Methods Comput. Sci. 11 (3) (2015)
Philippe Moser, Frank Stephan
Depth, Highness and DNR degrees. CoRR (2015)
Stephen G. Simpson, Frank Stephan
Cone avoidance and randomness preservation. Ann. Pure Appl. Log. 166 (6) (2015)
Ziyuan Gao, Frank Stephan, Sandra Zilles
Combining Models of Approximation with Partial Learning. ALT (2015)
Sanjay Jain, Junqi Ma, Frank Stephan
Priced Learning. ALT (2015)
Ziyuan Gao, Frank Stephan, Sandra Zilles
Combining Models of Approximation with Partial Learning. CoRR (2015)
Philippe Moser, Frank Stephan
Depth, Highness and DNR Degrees. FCT (2015)
Sanjay Jain, Timo Kötzing, Junqi Ma, Frank Stephan
On the Role of Update Constraints and Text-Types in Iterative Learning. ALT (2014)
Alexander Gavruskin, Sanjay Jain, Bakhadyr Khoussainov, Frank Stephan
Graphs realised by r.e. equivalence relations. Ann. Pure Appl. Log. 165 (7-8) (2014)
Rupert Hölzl, Thorsten Kräling, Frank Stephan, Guohua Wu
Initial segment complexities of randomness notions. Inf. Comput. 234 (2014)
Frank Stephan, Jason Teutsch
Things that can be made into themselves. Inf. Comput. 237 (2014)
John Case, Sanjay Jain, Yuh Shin Ong, Pavel Semukhin, Frank Stephan
Automatic learners with feedback queries. J. Comput. Syst. Sci. 80 (4) (2014)
Cristian S. Calude, Ludwig Staiger, Frank Stephan
Finite State Incompressible Infinite Sequences. TAMC (2014)
Sanjay Jain, Bakhadyr Khoussainov, Frank Stephan, Dan Teng, Siyuan Zou
Semiautomatic Structures. CSR (2014)

Frank Stephan.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Frank Stephan