Frank Stephan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
120
Venues
24
Active years
1992–2026
Best venue rank
A*
Where they publish
- BALT38 papers
- CCiE14 papers
- A*COLT14 papers
- ASTACS8 papers
- CTAMC8 papers
- CLATA6 papers
- BMFCS4 papers
- BISAAC3 papers
- BFCT3 papers
- A*LICS3 papers
- CDLT3 papers
- A*ICALP3 papers
- NationalLFCS2 papers
- ASAT1 paper
- BWALCOM1 paper
- CICTAC1 paper
- ACP1 paper
- BAPLAS1 paper
- A*STOC1 paper
- BSOFSEM1 paper
- NationalCSR1 paper
- CCCA1 paper
- BICLP1 paper
- ADIS1 paper
Papers
120 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SAT | New Algorithms for Parity-SAT and Its Bounded-Occurrence Versions. | Sanjay Jain, Junqiang Peng, Frank Stephan, Haoyun Tang, Mingyu Xiao |
| 2024 | MFCS | Randomness Versus Superspeedability. | Rupert Hlzl, Philip Janicki, Wolfgang Merkle, Frank Stephan |
| 2024 | MFCS | Quasi-Isometric Reductions Between Infinite Strings. | Karen Frilya Celine, Ziyuan Gao, Sanjay Jain, Ryan Lou, Frank Stephan, Guohua Wu |
| 2024 | WALCOM | A Bisection Approach to Subcubic Maximum Induced Matching. | Gordon Hoi, Sanjay Jain, Ammar Fathin Sabili, Frank Stephan |
| 2022 | CiE | On Trees Without Hyperimmune Branches. | Keng Meng Ng, Frank Stephan, Yue Yang, Liang Yu |
| 2022 | ICTAC | Alternating Automatic Register Machines. | Ziyuan Gao, Sanjay Jain, Zeyong Li, Ammar Fathin Sabili, Frank Stephan |
| 2021 | LATA | Learnability and Positive Equivalence Relations. | David R. Blanger, Ziyuan Gao, Sanjay Jain, Wei Li, Frank Stephan |
| 2020 | CP | A Faster Exact Algorithm to Count X3SAT Solutions. | Gordon Hoi, Sanjay Jain, Frank Stephan |
| 2020 | LATA | Ordered Semiautomatic Rings with Applications to Geometry. | Ziyuan Gao, Sanjay Jain, Ji Qi, Philipp Schlicht, Frank Stephan, Jacob Tarr |
| 2020 | STACS | Randomness and Initial Segment Complexity for Probability Measures. | Andr Nies, Frank Stephan |
| 2019 | APLAS | Pumping, with or Without Choice. | Aquinas Hobor, Elaine Li, Frank Stephan |
| 2019 | ISAAC | Measure and Conquer for Max Hamming Distance XSAT. | Gordon Hoi, Frank Stephan |
| 2019 | MFCS | Random Subgroups of Rationals. | Ziyuan Gao, Sanjay Jain, Bakhadyr Khoussainov, Wei Li, Alexander G. Melnikov, Karen Seidel, Frank Stephan |
| 2019 | TAMC | Exact Satisfiabitity with Jokers. | Gordon Hoi, Sanjay Jain, Sibylle Schwarz, Frank Stephan |
| 2018 | ALT | On the Help of Bounded Shot Verifiers, Comparators and Standardisers for Learnability in Inductive Inference. | Ziyuan Gao, Sanjay Jain, Frank Stephan, Thomas Zeugmann |
| 2018 | CiE | On General Sum Approximations of Irrational Numbers. | Ivan Georgiev, Lars Kristiansen, Frank Stephan |
| 2018 | LATA | Learners Based on Transducers. | Sanjay Jain, Shao Ning Kuek, Eric Martin, Frank Stephan |
| 2018 | STACS | Closure of Resource-Bounded Randomness Notions Under Polynomial-Time Permutations. | Andr Nies, Frank Stephan |
| 2017 | ALT | Automatic Learning from Repetitive Texts. | Rupert Hlzl, Sanjay Jain, Philipp Schlicht, Karen Seidel, Frank Stephan |
| 2017 | STOC | Deciding parity games in quasipolynomial time. | Cristian S. Calude, Sanjay Jain, Bakhadyr Khoussainov, Wei Li, Frank Stephan |
| 2016 | ALT | Learning Pattern Languages over Groups. | Rupert Hlzl, Sanjay Jain, Frank Stephan |
| 2016 | CiE | Finitely Generated Semiautomatic Groups. | Sanjay Jain, Bakhadyr Khoussainov, Frank Stephan |
| 2016 | SOFSEM | Learning Automatic Families of Languages. | Sanjay Jain, Frank Stephan |
| 2015 | ALT | Combining Models of Approximation with Partial Learning. | Ziyuan Gao, Frank Stephan, Sandra Zilles |
| 2015 | ALT | Priced Learning. | Sanjay Jain, Junqi Ma, Frank Stephan |
| 2015 | CiE | Covering the Recursive Sets. | Bjrn Kjos-Hanssen, Frank Stephan, Sebastiaan A. Terwijn |
| 2015 | FCT | Depth, Highness and DNR Degrees. | Philippe Moser, Frank Stephan |
| 2015 | STACS | Inductive Inference and Reverse Mathematics. | Rupert Hlzl, Sanjay Jain, Frank Stephan |
| 2014 | ALT | On the Role of Update Constraints and Text-Types in Iterative Learning. | Sanjay Jain, Timo Ktzing, Junqi Ma, Frank Stephan |
| 2014 | CSR | Semiautomatic Structures. | Sanjay Jain, Bakhadyr Khoussainov, Frank Stephan, Dan Teng, Siyuan Zou |
| 2014 | TAMC | Finite State Incompressible Infinite Sequences. | Cristian S. Calude, Ludwig Staiger, Frank Stephan |
| 2013 | ALT | Partial Learning of Recursively Enumerable Languages. | Ziyuan Gao, Frank Stephan, Sandra Zilles |
| 2013 | ALT | Editors' Introduction. | Sanjay Jain, Rmi Munos, Frank Stephan, Thomas Zeugmann |
| 2013 | CiE | On Conservative Learning of Recursively Enumerable Languages. | Ziyuan Gao, Sanjay Jain, Frank Stephan |
| 2013 | LFCS | Effectivity Questions for Kleene's Recursion Theorem. | John Case, Sanjay Jain, Frank Stephan |
| 2013 | TAMC | Selection by Recursively Enumerable Sets. | Wolfgang Merkle, Frank Stephan, Jason Teutsch, Wei Wang, Yue Yang |
| 2012 | ALT | Confident and Consistent Partial Learning of Recursive Functions. | Ziyuan Gao, Frank Stephan |
| 2012 | ALT | Enlarging Learnable Classes. | Sanjay Jain, Timo Ktzing, Frank Stephan |
| 2012 | CiE | Automatic Functions, Linear Time and Learning. | John Case, Sanjay Jain, Samuel Seah, Frank Stephan |
| 2012 | LATA | Learnability of Co-r.e. Classes. | Ziyuan Gao, Frank Stephan |
| 2012 | LICS | The Complexity of Verbal Languages over Groups. | Sanjay Jain, Alexei Miasnikov, Frank Stephan |
| 2012 | TAMC | On the Amount of Nonconstructivity in Learning Formal Languages from Positive Data. | Sanjay Jain, Frank Stephan, Thomas Zeugmann |
| 2011 | ALT | Robust Learning of Automatic Classes of Languages. | Sanjay Jain, Eric Martin, Frank Stephan |
| 2011 | ALT | Learning and Classifying. | Sanjay Jain, Eric Martin, Frank Stephan |
| 2011 | CiE | Automatic Learners with Feedback Queries. | John Case, Sanjay Jain, Yuh Shin Ong, Pavel Semukhin, Frank Stephan |
| 2011 | CiE | Automata on Ordinals and Linear Orders. | Philipp Schlicht, Frank Stephan |
| 2011 | LATA | Automatic Learning of Subclasses of Pattern Languages. | John Case, Sanjay Jain, Trong Dao Le, Yuh Shin Ong, Pavel Semukhin, Frank Stephan |
| 2011 | TAMC | Closed Left-R.E. Sets. | Sanjay Jain, Frank Stephan, Jason Teutsch |
| 2010 | ALT | Editors' Introduction. | Marcus Hutter, Frank Stephan, Vladimir Vovk, Thomas Zeugmann |
| 2010 | CiE | How Powerful Are Integer-Valued Martingales? | Laurent Bienvenu, Frank Stephan, Jason Teutsch |
| 2010 | LATA | Learnability of Automatic Classes. | Sanjay Jain, Qinglong Luo, Frank Stephan |
| 2009 | ALT | Uncountable Automatic Classes and Learning. | Sanjay Jain, Qinglong Luo, Pavel Semukhin, Frank Stephan |
| 2009 | ALT | Learning from Streams. | Sanjay Jain, Frank Stephan, Nan Ye |
| 2009 | CiE | Index Sets and Universal Numberings. | Sanjay Jain, Frank Stephan, Jason Teutsch |
| 2009 | COLT | Consistent Partial Identification. | Sanjay Jain, Frank Stephan |
| 2008 | ALT | Iterative Learning of Simple External Contextual Languages. | Leonor Becerra-Bonache, John Case, Sanjay Jain, Frank Stephan |
| 2008 | ALT | Numberings Optimal for Learning. | Sanjay Jain, Frank Stephan |
| 2008 | DLT | Universal Recursively Enumerable Sets of Strings. | Cristian S. Calude, Andr Nies, Ludwig Staiger, Frank Stephan |
| 2007 | ALT | Learning in Friedberg Numberings. | Sanjay Jain, Frank Stephan |
| 2007 | ALT | Prescribed Learning of R.E. Classes. | Sanjay Jain, Frank Stephan, Nan Ye |
| 2007 | CiE | Constructive Dimension and Weak Truth-Table Degrees. | Laurent Bienvenu, David Doty, Frank Stephan |
| 2007 | CiE | Input-Dependence in Function-Learning. | Sanjay Jain, Eric Martin, Frank Stephan |
| 2007 | COLT | Mitotic Classes. | Sanjay Jain, Frank Stephan |
| 2006 | ALT | Editors' Introduction. | Jos L. Balczar, Philip M. Long, Frank Stephan |
| 2006 | CiE | Degrees of Weakly Computable Reals. | Keng Meng Ng, Frank Stephan, Guohua Wu |
| 2006 | COLT | Memory-Limited U-Shaped Learning. | Lorenzo Carlucci, John Case, Sanjay Jain, Frank Stephan |
| 2006 | STACS | Kolmogorov Complexity and the Recursion Theorem. | Bjrn Kjos-Hanssen, Wolfgang Merkle, Frank Stephan |
| 2006 | TAMC | Invertible Classes. | Sanjay Jain, Jochen Nessel, Frank Stephan |
| 2006 | TAMC | Some Recent Results in U-Shaped Learning. | Sanjay Jain, Frank Stephan |
| 2006 | TAMC | Lowness for Weakly 1-generic and Kurtz-Random. | Frank Stephan, Liang Yu |
| 2005 | ALT | Non U-Shaped Vacillatory and Team Learning. | Lorenzo Carlucci, John Case, Sanjay Jain, Frank Stephan |
| 2005 | ALT | Absolute Versus Probabilistic Classification in a Logical Setting. | Sanjay Jain, Eric Martin, Frank Stephan |
| 2005 | CCA | Randomness and Universal Machines. | Santiago Figueira, Frank Stephan, Guohua Wu |
| 2005 | CiE | Presentations of K-Trivial Reals and Kolmogorov Complexity. | Frank Stephan, Guohua Wu |
| 2005 | COLT | Variations on U-Shaped Learning. | Lorenzo Carlucci, Sanjay Jain, Efim B. Kinber, Frank Stephan |
| 2005 | STACS | Kolmogorov-Loveland Randomness and Stochasticity. | Wolfgang Merkle, Joseph S. Miller, Andr Nies, Jan Reimann, Frank Stephan |
| 2004 | ALT | On the Data Consumption Benefits of Accepting Increased Uncertainty. | Eric Martin, Arun Sharma, Frank Stephan |
| 2004 | DLT | The Dot-Depth and the Polynomial Hierarchy Correspond on the Delta Levels. | Bernd Borchert, Klaus-Jrn Lange, Frank Stephan, Pascal Tesson, Denis Thrien |
| 2004 | LICS | Automatic Structures: Richness and Limitations. | Bakhadyr Khoussainov, Andr Nies, Sasha Rubin, Frank Stephan |
| 2004 | STACS | Definability and Regularity in Automatic Structures. | Bakhadyr Khoussainov, Sasha Rubin, Frank Stephan |
| 2003 | ALT | Learning a Subclass of Regular Patterns in Polynomial Time. | John Case, Sanjay Jain, Rdiger Reischuk, Frank Stephan, Thomas Zeugmann |
| 2003 | ALT | On Ordinal VC-Dimension and Some Notions of Complexity. | Eric Martin, Arun Sharma, Frank Stephan |
| 2003 | ISAAC | Infinitely-Often Autoreducible Sets. | Richard Beigel, Lance Fortnow, Frank Stephan |
| 2003 | LICS | On Automatic Partial Orders. | Bakhadyr Khoussainov, Sasha Rubin, Frank Stephan |
| 2003 | STACS | Strong Reductions and Immunity for Exponential Time. | Marcus Schaefer, Frank Stephan |
| 2002 | ALT | On the Learnability of Vector Spaces. | Valentina S. Harizanov, Frank Stephan |
| 2002 | ALT | Classes with Easily Learnable Subclasses. | Sanjay Jain, Wolfram Menzel, Frank Stephan |
| 2002 | ALT | Learning, Logic, and Topology in a Common Framework. | Eric Martin, Arun Sharma, Frank Stephan |
| 2002 | ICLP | Learning in Logic with RichProlog. | Eric Martin, Phuong Nguyen, Arun Sharma, Frank Stephan |
| 2001 | ALT | Learning by Switching Type of Information. | Sanjay Jain, Frank Stephan |
| 2001 | ALT | Learning How to Separate. | Sanjay Jain, Frank Stephan |
| 2001 | ALT | Refuting Learning Revisited. | Wolfgang Merkle, Frank Stephan |
| 2001 | COLT | Robust Learning - Rich and Poor. | John Case, Sanjay Jain, Frank Stephan, Rolf Wiehagen |
| 2001 | DIS | A General Theory of Deduction, Induction, and Learning. | Eric Martin, Arun Sharma, Frank Stephan |
| 2000 | COLT | Average-Case Complexity of Learning Polynomials. | Frank Stephan, Thomas Zeugmann |
| 2000 | ICALP | Unlearning Helps. | Ganesh R. Baliga, John Case, Wolfgang Merkle, Frank Stephan |
| 1999 | ALT | The VC-Dimension of Subclasses of Pattern. | Andrew R. Mitchell, Tobias Scheffer, Arun Sharma, Frank Stephan |
| 1999 | ALT | On the Uniform Learnability of Approximations to Non-Recursive Functions. | Frank Stephan, Thomas Zeugmann |
| 1998 | ALT | Predictive Learning Models for Concept Drift. | John Case, Sanjay Jain, Susanne Kaufmann, Arun Sharma, Frank Stephan |
| 1998 | ALT | Learning to Win Process-Control Games Watching Game-Masters. | John Case, Matthias Ott, Arun Sharma, Frank Stephan |
| 1998 | ALT | Learning Algebraic Structures from Text Using Semantical Knowledge. | Frank Stephan, Yuri Ventsov |
| 1998 | COLT | Robust Learning Aided by Context. | John Case, Sanjay Jain, Matthias Ott, Arun Sharma, Frank Stephan |
| 1998 | ICALP | On Existentially First-Order Definable Languages and Their Relation to NP. | Bernd Borchert, Dietrich Kuske, Frank Stephan |
| 1997 | COLT | Resource Bounded Next Value and Explanatory Identification: Learning Automata, Patterns and Polynomials On-Line. | Susanne Kaufmann, Frank Stephan |
| 1997 | COLT | Generalized Notions of Mind Change Complexity. | Arun Sharma, Frank Stephan, Yuri Ventsov |
| 1997 | DLT | How Powerful is Unconditional Transfer? - When UT meets AC. | Henning Fernau, Frank Stephan |
| 1997 | FCT | The Complexity of Universal Text-Learners. | Frank Stephan, Sebastiaan Terwijn |
| 1997 | ISAAC | The Complexity of Learning Branches and Strategies from Queries. | Matthias Ott, Frank Stephan |
| 1997 | STACS | On the Classification of Computable Languages. | John Case, Efim B. Kinber, Arun Sharma, Frank Stephan |
| 1996 | ALT | Vacillatory and BC Learning on Noisy Data. | John Case, Sanjay Jain, Frank Stephan |
| 1996 | COLT | Trees and Learning. | Wolfgang Merkle, Frank Stephan |
| 1996 | MFCS | On the Query Complexity of Sets. | Richard Beigel, William I. Gasarch, Martin Kummer, Timothy H. McNicholl, Frank Stephan |
| 1995 | ALT | Noisy Inference and Oracles. | Frank Stephan |
| 1995 | COLT | Language Learning from Texts: Mind Changes, Limited Memory and Monotonicity (Extended Abstract). | Efim B. Kinber, Frank Stephan |
| 1995 | COLT | Learning via Queries and Oracles. | Frank Stephan |
| 1995 | FCT | The Power of Frequency Computation (Extended Abstract). | Martin Kummer, Frank Stephan |
| 1995 | ICALP | Measure, Category and Learning Theory. | Lance Fortnow, Rusins Freivalds, William I. Gasarch, Martin Kummer, Stuart A. Kurtz, Carl H. Smith, Frank Stephan |
| 1994 | COLT | Inclusion Problems in Parallel Learning and Games (Extended Abstract). | Martin Kummer, Frank Stephan |
| 1993 | COLT | On the Structure of Degrees of Inferability. | Martin Kummer, Frank Stephan |
| 1992 | LFCS | Quantifying the Amount of Verboseness. | Richard Beigel, Martin Kummer, Frank Stephan |