Frank Stephan 0001 - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 56 from 56

2025

Languages given by finite automata over the unary alphabetWojciech Czerwinski, Maciej Debski, Tomasz Gogasz, Gordon Hoi, Sanjay Jain 0001, Michal Skrzypczak, Frank Stephan 0001, Christopher Tan. jcss, 151:103634, 2025. [doi]

2024

2023

2022

Lamplighter groups and automataSanjay Jain 0001, Birzhan Moldagaliyev, Frank Stephan 0001, Tien-Dat Tran. ACTA, 59(4):451-478, 2022. [doi]

Learners based on transducersSanjay Jain 0001, Shao Ning Kuek, Eric Martin 0002, Frank Stephan 0001. iandc, 283:104676, 2022. [doi]

Deciding Parity Games in Quasi-polynomial TimeCristian S. Calude, Sanjay Jain 0001, Bakhadyr Khoussainov, Wei Li 0050, Frank Stephan 0001. SICOMP, 51(2):17-152, 2022. [doi]

Alternating Automatic Register MachinesZiyuan Gao, Sanjay Jain 0001, Zeyong Li, Ammar Fathin Sabili, Frank Stephan 0001. ictac 2022: 195-211 [doi]

A computation model with automatic functions and relations as primitive operationsZiyuan Gao, Sanjay Jain 0001, Zeyong Li, Ammar Fathin Sabili, Frank Stephan 0001. TCS, 924:94-116, 2022. [doi]

On Trees Without Hyperimmune BranchesKeng Meng Ng, Frank Stephan 0001, Yue Yang, Liang Yu. CiE 2022: 234-245 [doi]

Randomness and initial segment complexity for measuresAndré Nies, Frank Stephan 0001. TCS, 900:1-19, 2022. [doi]

2021

2020

2019

The complexity of verbal languages over groupsSanjay Jain 0001, Alexei Miasnikov, Frank Stephan 0001. jcss, 101:68-85, 2019. [doi]

The isomorphism problem for tree-automatic ordinals with additionSanjay Jain 0001, Bakhadyr Khoussainov, Philipp Schlicht, Frank Stephan 0001. ipl, 149:19-24, 2019. [doi]

An ordered approach to solving parity games in quasi-polynomial time and quasi-linear spaceJohn Fearnley, Sanjay Jain 0001, Bart de Keijzer, Sven Schewe, Frank Stephan 0001, Dominik Wojtczak. STTT, 21(3):325-349, 2019. [doi]

Random Subgroups of RationalsZiyuan Gao, Sanjay Jain 0001, Bakhadyr Khoussainov, Wei Li 0050, Alexander G. Melnikov, Karen Seidel 0001, Frank Stephan 0001. mfcs 2019: [doi]

Reductions between types of numberingsIan Herbert, Sanjay Jain 0001, Steffen Lempp, Manat Mustafa, Frank Stephan 0001. APAL, 170(12), 2019. [doi]

Pumping, with or Without ChoiceAquinas Hobor, Elaine Li, Frank Stephan 0001. aplas 2019: 427-446 [doi]

Exact Satisfiabitity with JokersGordon Hoi, Sanjay Jain 0001, Sibylle Schwarz, Frank Stephan 0001. tamc 2019: 279-294 [doi]

A Fast Exponential Time Algorithm for Max Hamming Distance X3SATGordon Hoi, Sanjay Jain 0001, Frank Stephan 0001. fsttcs 2019: [doi]

Measure and Conquer for Max Hamming Distance XSATGordon Hoi, Frank Stephan 0001. isaac 2019: [doi]

2018

Learning pattern languages over groupsRupert Hölzl 0001, Sanjay Jain 0001, Frank Stephan 0001. TCS, 742:66-81, 2018. [doi]

Finitely generated semiautomatic groupsSanjay Jain 0001, Bakhadyr Khoussainov, Frank Stephan 0001. computability, 7(2-3):273-287, 2018. [doi]

Implementing fragments of ZFC within an r.e. UniverseEric Martin 0002, Frank Stephan 0001. logcom, 28(1):1-32, 2018. [doi]

Equivalences between learning of data and probability distributions, and their applicationsGeorge Barmpalias, Nan Fang, Frank Stephan 0001. iandc, 262(Part):123-140, 2018. [doi]

Effectivity questions for Kleene's recursion theoremJohn Case, Sanjay Jain 0001, Frank Stephan 0001. TCS, 733:55-70, 2018. [doi]

On the Help of Bounded Shot Verifiers, Comparators and Standardisers for Learnability in Inductive InferenceZiyuan Gao, Sanjay Jain, Frank Stephan 0001, Thomas Zeugmann. alt 2018: 413-437 [doi]

On General Sum Approximations of Irrational NumbersIvan Georgiev, Lars Kristiansen, Frank Stephan 0001. CiE 2018: 194-203 [doi]

Learners Based on TransducersSanjay Jain, Shao Ning Kuek, Eric Martin 0002, Frank Stephan 0001. LATA 2018: 169-181 [doi]

Randomness and Solovay degreesKenshi Miyabe, André Nies, Frank Stephan 0001. jla, 10, 2018. [doi]

On the Values for Factor ComplexityBirzhan Moldagaliyev, Ludwig Staiger, Frank Stephan 0001. wia 2018: 274-285 [doi]

Limit-depth and DNR degreesPhilippe Moser, Frank Stephan 0001. ipl, 135:36-40, 2018. [doi]

Closure of Resource-Bounded Randomness Notions Under Polynomial-Time PermutationsAndré Nies, Frank Stephan 0001. STACS 2018: [doi]

2017

Special issue on the conference Theory and Applications of Models of ComputationRahul Jain 0002, Sanjay Jain, Frank Stephan 0001. iandc, 256:148, 2017. [doi]

Deciding parity games in quasipolynomial timeCristian S. Calude, Sanjay Jain, Bakhadyr Khoussainov, Wei Li, Frank Stephan 0001. stoc 2017: 252-263 [doi]

An ordered approach to solving parity games in quasi polynomial time and quasi linear spaceJohn Fearnley, Sanjay Jain, Sven Schewe, Frank Stephan 0001, Dominik Wojtczak. spin 2017: 112-121 [doi]

Automatic Learning from Repetitive TextsRupert Hölzl, Sanjay Jain, Philipp Schlicht, Karen Seidel, Frank Stephan 0001. alt (empty year): 129-150 [doi]

Semiautomatic StructuresSanjay Jain, Bakhadyr Khoussainov, Frank Stephan 0001, Dan Teng, Siyuan Zou. mst, 61(4):1254-1287, 2017. [doi]

Automatic learning from positive data and negative counterexamplesSanjay Jain, Efim B. Kinber, Frank Stephan 0001. iandc, 255:45-67, 2017. [doi]

Covering the recursive setsBjørn Kjos-Hanssen, Frank Stephan 0001, Sebastiaan A. Terwijn. APAL, 168(4):804-823, 2017. [doi]

Depth, Highness and DNR degreesPhilippe Moser, Frank Stephan 0001. dmtcs, 19(4), 2017. [doi]

1990

X-Raeume als Verallgemeinerung topologischer RaeumeFrank Stephan 0001. PhD thesis, Karlsruhe University, Germany, 1990. [doi]

See Also

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Frank Stephan 0001'

Viewing Publication 1 - 56 from 56

2025

2024

2023

2022

2021

2020

2019

2018

2017

1990

See Also

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Frank Stephan 0001'

Viewing Publication 1 - 56 from 56

2025

2024

2023

2022

2021

2020

2019

2018

2017

1990

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1