default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Frank Stephan 0001
@article{DBLP:journals/ipl/NiesS24,
author = {Andr{\'{e}} Nies and
Frank Stephan},
title = {Word automatic groups of nilpotency class 2},
journal = {Inf. Process. Lett.},
volume = {183},
pages = {106426},
year = {2024},
url = {https://doi.org/10.1016/j.ipl.2023.106426},
doi = {10.1016/J.IPL.2023.106426},
timestamp = {Sat, 28 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/NiesS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/CelineG0L0W24,
author = {Karen Frilya Celine and
Ziyuan Gao and
Sanjay Jain and
Ryan Lou and
Frank Stephan and
Guohua Wu},
editor = {Rastislav Kr{\'{a}}lovic and
Anton{\'{\i}}n Kucera},
title = {Quasi-Isometric Reductions Between Infinite Strings},
booktitle = {49th International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2024, August 26-30, 2024, Bratislava, Slovakia},
series = {LIPIcs},
volume = {306},
pages = {37:1--37:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2024.37},
doi = {10.4230/LIPICS.MFCS.2024.37},
timestamp = {Mon, 26 Aug 2024 16:40:52 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/CelineG0L0W24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/0001JM024,
author = {Rupert H{\"{o}}lzl and
Philip Janicki and
Wolfgang Merkle and
Frank Stephan},
editor = {Rastislav Kr{\'{a}}lovic and
Anton{\'{\i}}n Kucera},
title = {Randomness Versus Superspeedability},
booktitle = {49th International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2024, August 26-30, 2024, Bratislava, Slovakia},
series = {LIPIcs},
volume = {306},
pages = {62:1--62:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2024.62},
doi = {10.4230/LIPICS.MFCS.2024.62},
timestamp = {Mon, 26 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/0001JM024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/walcom/Hoi0S024,
author = {Gordon Hoi and
Sanjay Jain and
Ammar Fathin Sabili and
Frank Stephan},
editor = {Ryuhei Uehara and
Katsuhisa Yamanaka and
Hsu{-}Chun Yen},
title = {A Bisection Approach to Subcubic Maximum Induced Matching},
booktitle = {{WALCOM:} Algorithms and Computation - 18th International Conference
and Workshops on Algorithms and Computation, {WALCOM} 2024, Kanazawa,
Japan, March 18-20, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14549},
pages = {257--272},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-981-97-0566-5\_19},
doi = {10.1007/978-981-97-0566-5\_19},
timestamp = {Tue, 05 Mar 2024 11:49:04 +0100},
biburl = {https://dblp.org/rec/conf/walcom/Hoi0S024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2407-14105,
author = {Karen Frilya Celine and
Ziyuan Gao and
Sanjay Jain and
Ryan Lou and
Frank Stephan and
Guohua Wu},
title = {Quasi-Isometric Reductions Between Infinite Strings},
journal = {CoRR},
volume = {abs/2407.14105},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2407.14105},
doi = {10.48550/ARXIV.2407.14105},
eprinttype = {arXiv},
eprint = {2407.14105},
timestamp = {Thu, 22 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2407-14105.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BelangerGJLS23,
author = {David R. B{\'{e}}langer and
Ziyuan Gao and
Sanjay Jain and
Wei Li and
Frank Stephan},
title = {Learnability and positive equivalence relations},
journal = {Inf. Comput.},
volume = {295},
number = {Part {B}},
pages = {104913},
year = {2023},
url = {https://doi.org/10.1016/j.ic.2022.104913},
doi = {10.1016/J.IC.2022.104913},
timestamp = {Fri, 17 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BelangerGJLS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/0001JS023,
author = {Sanjay Jain and
Xiaodong Jia and
Ammar Fathin Sabili and
Frank Stephan},
title = {Addition machines, automatic functions and open problems of Floyd
and Knuth},
journal = {J. Comput. Syst. Sci.},
volume = {136},
pages = {135--156},
year = {2023},
url = {https://doi.org/10.1016/j.jcss.2023.04.003},
doi = {10.1016/J.JCSS.2023.04.003},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/0001JS023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BerdinskyJKS23,
author = {Dmitry Berdinsky and
Sanjay Jain and
Bakhadyr Khoussainov and
Frank Stephan},
title = {String compression in FA-presentable structures},
journal = {Theor. Comput. Sci.},
volume = {947},
pages = {113705},
year = {2023},
url = {https://doi.org/10.1016/j.tcs.2023.113705},
doi = {10.1016/J.TCS.2023.113705},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BerdinskyJKS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/CzerwinskiDGH0S23,
author = {Wojciech Czerwinski and
Maciej Debski and
Tomasz Gogasz and
Gordon Hoi and
Sanjay Jain and
Michal Skrzypczak and
Frank Stephan and
Christopher Tan},
editor = {Patricia Bouyer and
Srikanth Srinivasan},
title = {Languages Given by Finite Automata over the Unary Alphabet},
booktitle = {43rd {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023,
{IIIT} Hyderabad, Telangana, India},
series = {LIPIcs},
volume = {284},
pages = {22:1--22:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.22},
doi = {10.4230/LIPICS.FSTTCS.2023.22},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/CzerwinskiDGH0S23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-01009,
author = {Dmitry Berdinsky and
Sanjay Jain and
Bakhadyr Khoussainov and
Frank Stephan},
title = {String Compression in FA-Presentable Structures},
journal = {CoRR},
volume = {abs/2302.01009},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.01009},
doi = {10.48550/ARXIV.2302.01009},
eprinttype = {arXiv},
eprint = {2302.01009},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-01009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-06435,
author = {Gordon Hoi and
Sanjay Jain and
Frank Stephan and
Christopher Tan},
title = {Languages given by Finite Automata over the Unary Alphabet},
journal = {CoRR},
volume = {abs/2302.06435},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.06435},
doi = {10.48550/ARXIV.2302.06435},
eprinttype = {arXiv},
eprint = {2302.06435},
timestamp = {Mon, 20 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-06435.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/JainMST22,
author = {Sanjay Jain and
Birzhan Moldagaliyev and
Frank Stephan and
Tien Dat Tran},
title = {Lamplighter groups and automata},
journal = {Acta Informatica},
volume = {59},
number = {4},
pages = {451--478},
year = {2022},
url = {https://doi.org/10.1007/s00236-022-00423-3},
doi = {10.1007/S00236-022-00423-3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/JainMST22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/JainKMS22,
author = {Sanjay Jain and
Shao Ning Kuek and
Eric Martin and
Frank Stephan},
title = {Learners based on transducers},
journal = {Inf. Comput.},
volume = {283},
pages = {104676},
year = {2022},
url = {https://doi.org/10.1016/j.ic.2020.104676},
doi = {10.1016/J.IC.2020.104676},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/JainKMS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/CaludeJKLS22,
author = {Cristian S. Calude and
Sanjay Jain and
Bakhadyr Khoussainov and
Wei Li and
Frank Stephan},
title = {Deciding Parity Games in Quasi-polynomial Time},
journal = {{SIAM} J. Comput.},
volume = {51},
number = {2},
pages = {17--152},
year = {2022},
url = {https://doi.org/10.1137/17m1145288},
doi = {10.1137/17M1145288},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/CaludeJKLS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/NiesS22,
author = {Andr{\'{e}} Nies and
Frank Stephan},
title = {Randomness and initial segment complexity for measures},
journal = {Theor. Comput. Sci.},
volume = {900},
pages = {1--19},
year = {2022},
url = {https://doi.org/10.1016/j.tcs.2021.11.003},
doi = {10.1016/J.TCS.2021.11.003},
timestamp = {Fri, 21 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/NiesS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GaoJLSS22,
author = {Ziyuan Gao and
Sanjay Jain and
Zeyong Li and
Ammar Fathin Sabili and
Frank Stephan},
title = {A computation model with automatic functions and relations as primitive
operations},
journal = {Theor. Comput. Sci.},
volume = {924},
pages = {94--116},
year = {2022},
url = {https://doi.org/10.1016/j.tcs.2022.04.038},
doi = {10.1016/J.TCS.2022.04.038},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/GaoJLSS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/NgSYY22,
author = {Keng Meng Ng and
Frank Stephan and
Yue Yang and
Liang Yu},
editor = {Ulrich Berger and
Johanna N. Y. Franklin and
Florin Manea and
Arno Pauly},
title = {On Trees Without Hyperimmune Branches},
booktitle = {Revolutions and Revelations in Computability - 18th Conference on
Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13359},
pages = {234--245},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08740-0\_20},
doi = {10.1007/978-3-031-08740-0\_20},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/NgSYY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/GaoJLSS22,
author = {Ziyuan Gao and
Sanjay Jain and
Zeyong Li and
Ammar Fathin Sabili and
Frank Stephan},
editor = {Helmut Seidl and
Zhiming Liu and
Corina S. Pasareanu},
title = {Alternating Automatic Register Machines},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2022 - 19th International
Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13572},
pages = {195--211},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17715-6\_14},
doi = {10.1007/978-3-031-17715-6\_14},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/GaoJLSS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-03220,
author = {Gordon Hoi and
Ammar Fathin Sabili and
Frank Stephan},
title = {An Exact Algorithm for finding Maximum Induced Matching in Subcubic
Graphs},
journal = {CoRR},
volume = {abs/2201.03220},
year = {2022},
url = {https://arxiv.org/abs/2201.03220},
eprinttype = {arXiv},
eprint = {2201.03220},
timestamp = {Thu, 20 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-03220.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-06836,
author = {Ziyuan Gao and
Sanjay Jain and
Zeyong Li and
Ammar Fathin Sabili and
Frank Stephan},
title = {A Computation Model with Automatic Functions and Relations as Primitive
Operations},
journal = {CoRR},
volume = {abs/2201.06836},
year = {2022},
url = {https://arxiv.org/abs/2201.06836},
eprinttype = {arXiv},
eprint = {2201.06836},
timestamp = {Fri, 21 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-06836.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/GeorgievKS21,
author = {Ivan Georgiev and
Lars Kristiansen and
Frank Stephan},
title = {Computable irrational numbers with representations of surprising complexity},
journal = {Ann. Pure Appl. Log.},
volume = {172},
number = {2},
pages = {102893},
year = {2021},
url = {https://doi.org/10.1016/j.apal.2020.102893},
doi = {10.1016/J.APAL.2020.102893},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/GeorgievKS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/JainSZ21,
author = {Sanjay Jain and
Frank Stephan and
Thomas Zeugmann},
title = {On the amount of nonconstructivity in learning formal languages from
text},
journal = {Inf. Comput.},
volume = {281},
pages = {104668},
year = {2021},
url = {https://doi.org/10.1016/j.ic.2020.104668},
doi = {10.1016/J.IC.2020.104668},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/JainSZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HoiS21,
author = {Gordon Hoi and
Frank Stephan},
title = {Improved algorithms for the general exact satisfiability problem},
journal = {Theor. Comput. Sci.},
volume = {889},
pages = {60--84},
year = {2021},
url = {https://doi.org/10.1016/j.tcs.2021.07.036},
doi = {10.1016/J.TCS.2021.07.036},
timestamp = {Fri, 08 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/HoiS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CaludeCGJSS21,
author = {Cristian S. Calude and
Karen Frilya Celine and
Ziyuan Gao and
Sanjay Jain and
Ludwig Staiger and
Frank Stephan},
title = {Bi-immunity over different size alphabets},
journal = {Theor. Comput. Sci.},
volume = {894},
pages = {31--49},
year = {2021},
url = {https://doi.org/10.1016/j.tcs.2021.09.005},
doi = {10.1016/J.TCS.2021.09.005},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/CaludeCGJSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/BelangerG00021,
author = {David R. B{\'{e}}langer and
Ziyuan Gao and
Sanjay Jain and
Wei Li and
Frank Stephan},
editor = {Alberto Leporati and
Carlos Mart{\'{\i}}n{-}Vide and
Dana Shapira and
Claudio Zandron},
title = {Learnability and Positive Equivalence Relations},
booktitle = {Language and Automata Theory and Applications - 15th International
Conference, {LATA} 2021, Milan, Italy, March 1-5, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12638},
pages = {145--156},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-68195-1\_12},
doi = {10.1007/978-3-030-68195-1\_12},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/BelangerG00021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-08637,
author = {Gordon Hoi and
Frank Stephan},
title = {Improved Algorithms for the General Exact Satisfiability Problem},
journal = {CoRR},
volume = {abs/2101.08637},
year = {2021},
url = {https://arxiv.org/abs/2101.08637},
eprinttype = {arXiv},
eprint = {2101.08637},
timestamp = {Sat, 30 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-08637.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-06714,
author = {Ziyuan Gao and
Sanjay Jain and
Ji Qi and
Philipp Schlicht and
Frank Stephan and
Jacob Tarr},
title = {Ordered Semiautomatic Rings with Applications to Geometry},
journal = {CoRR},
volume = {abs/2103.06714},
year = {2021},
url = {https://arxiv.org/abs/2103.06714},
eprinttype = {arXiv},
eprint = {2103.06714},
timestamp = {Tue, 16 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-06714.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-04254,
author = {Ziyuan Gao and
Sanjay Jain and
Zeyong Li and
Ammar Fathin Sabili and
Frank Stephan},
title = {Alternating Automatic Register Machines},
journal = {CoRR},
volume = {abs/2111.04254},
year = {2021},
url = {https://arxiv.org/abs/2111.04254},
eprinttype = {arXiv},
eprint = {2111.04254},
timestamp = {Wed, 10 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-04254.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-08969,
author = {Sanjay Jain and
Xiaodong Jia and
Ammar Fathin Sabili and
Frank Stephan},
title = {Addition Machines, Automatic Functions and Open Problems of Floyd
and Knuth},
journal = {CoRR},
volume = {abs/2111.08969},
year = {2021},
url = {https://arxiv.org/abs/2111.08969},
eprinttype = {arXiv},
eprint = {2111.08969},
timestamp = {Mon, 22 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-08969.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/HolzlMMSY20,
author = {Rupert H{\"{o}}lzl and
Wolfgang Merkle and
Joseph S. Miller and
Frank Stephan and
Liang Yu},
title = {Chaitin's {\(\omega\)} as a continuous function},
journal = {J. Symb. Log.},
volume = {85},
number = {1},
pages = {486--510},
year = {2020},
url = {https://doi.org/10.1017/jsl.2019.60},
doi = {10.1017/JSL.2019.60},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/HolzlMMSY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CaludeJMS20,
author = {Cristian S. Calude and
Sanjay Jain and
Wolfgang Merkle and
Frank Stephan},
title = {Searching for shortest and least programs},
journal = {Theor. Comput. Sci.},
volume = {807},
pages = {114--127},
year = {2020},
url = {https://doi.org/10.1016/j.tcs.2019.10.011},
doi = {10.1016/J.TCS.2019.10.011},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/CaludeJMS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/HoiJS20,
author = {Gordon Hoi and
Sanjay Jain and
Frank Stephan},
editor = {Helmut Simonis},
title = {A Faster Exact Algorithm to Count {X3SAT} Solutions},
booktitle = {Principles and Practice of Constraint Programming - 26th International
Conference, {CP} 2020, Louvain-la-Neuve, Belgium, September 7-11,
2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12333},
pages = {375--391},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58475-7\_22},
doi = {10.1007/978-3-030-58475-7\_22},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/HoiJS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/GaoJQSST20,
author = {Ziyuan Gao and
Sanjay Jain and
Ji Qi and
Philipp Schlicht and
Frank Stephan and
Jacob Tarr},
editor = {Alberto Leporati and
Carlos Mart{\'{\i}}n{-}Vide and
Dana Shapira and
Claudio Zandron},
title = {Ordered Semiautomatic Rings with Applications to Geometry},
booktitle = {Language and Automata Theory and Applications - 14th International
Conference, {LATA} 2020, Milan, Italy, March 4-6, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12038},
pages = {141--153},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-40608-0\_9},
doi = {10.1007/978-3-030-40608-0\_9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/GaoJQSST20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Nies020,
author = {Andr{\'{e}} Nies and
Frank Stephan},
editor = {Christophe Paul and
Markus Bl{\"{a}}ser},
title = {Randomness and Initial Segment Complexity for Probability Measures},
booktitle = {37th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2020, March 10-13, 2020, Montpellier, France},
series = {LIPIcs},
volume = {154},
pages = {55:1--55:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.STACS.2020.55},
doi = {10.4230/LIPICS.STACS.2020.55},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Nies020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-07553,
author = {Gordon Hoi and
Sanjay Jain and
Frank Stephan},
title = {A Faster Exact Algorithm to Count {X3SAT} Solutions},
journal = {CoRR},
volume = {abs/2007.07553},
year = {2020},
url = {https://arxiv.org/abs/2007.07553},
eprinttype = {arXiv},
eprint = {2007.07553},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-07553.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-01466,
author = {David R. B{\'{e}}langer and
Ziyuan Gao and
Sanjay Jain and
Wei Li and
Frank Stephan},
title = {Learnability and Positive Equivalence Relations},
journal = {CoRR},
volume = {abs/2012.01466},
year = {2020},
url = {https://arxiv.org/abs/2012.01466},
eprinttype = {arXiv},
eprint = {2012.01466},
timestamp = {Tue, 16 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-01466.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/HerbertJLMS19,
author = {Ian Herbert and
Sanjay Jain and
Steffen Lempp and
Manat Mustafa and
Frank Stephan},
title = {Reductions between types of numberings},
journal = {Ann. Pure Appl. Log.},
volume = {170},
number = {12},
year = {2019},
url = {https://doi.org/10.1016/j.apal.2019.102716},
doi = {10.1016/J.APAL.2019.102716},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/HerbertJLMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/JainKSS19,
author = {Sanjay Jain and
Bakhadyr Khoussainov and
Philipp Schlicht and
Frank Stephan},
title = {The isomorphism problem for tree-automatic ordinals with addition},
journal = {Inf. Process. Lett.},
volume = {149},
pages = {19--24},
year = {2019},
url = {https://doi.org/10.1016/j.ipl.2019.05.004},
doi = {10.1016/J.IPL.2019.05.004},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/JainKSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/JainMS19,
author = {Sanjay Jain and
Alexei Miasnikov and
Frank Stephan},
title = {The complexity of verbal languages over groups},
journal = {J. Comput. Syst. Sci.},
volume = {101},
pages = {68--85},
year = {2019},
url = {https://doi.org/10.1016/j.jcss.2018.10.005},
doi = {10.1016/J.JCSS.2018.10.005},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/JainMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/FearnleyJKSSW19,
author = {John Fearnley and
Sanjay Jain and
Bart de Keijzer and
Sven Schewe and
Frank Stephan and
Dominik Wojtczak},
title = {An ordered approach to solving parity games in quasi-polynomial time
and quasi-linear space},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {21},
number = {3},
pages = {325--349},
year = {2019},
url = {https://doi.org/10.1007/s10009-019-00509-3},
doi = {10.1007/S10009-019-00509-3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/FearnleyJKSSW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/HoborL019,
author = {Aquinas Hobor and
Elaine Li and
Frank Stephan},
editor = {Anthony Widjaja Lin},
title = {Pumping, with or Without Choice},
booktitle = {Programming Languages and Systems - 17th Asian Symposium, {APLAS}
2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11893},
pages = {427--446},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-34175-6\_22},
doi = {10.1007/978-3-030-34175-6\_22},
timestamp = {Sat, 09 Apr 2022 12:39:28 +0200},
biburl = {https://dblp.org/rec/conf/aplas/HoborL019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Hoi0019,
author = {Gordon Hoi and
Sanjay Jain and
Frank Stephan},
editor = {Arkadev Chattopadhyay and
Paul Gastin},
title = {A Fast Exponential Time Algorithm for Max Hamming Distance {X3SAT}},
booktitle = {39th {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2019, December 11-13, 2019,
Bombay, India},
series = {LIPIcs},
volume = {150},
pages = {17:1--17:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2019.17},
doi = {10.4230/LIPICS.FSTTCS.2019.17},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Hoi0019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/Hoi019,
author = {Gordon Hoi and
Frank Stephan},
editor = {Pinyan Lu and
Guochuan Zhang},
title = {Measure and Conquer for Max Hamming Distance {XSAT}},
booktitle = {30th International Symposium on Algorithms and Computation, {ISAAC}
2019, December 8-11, 2019, Shanghai University of Finance and Economics,
Shanghai, China},
series = {LIPIcs},
volume = {149},
pages = {15:1--15:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.ISAAC.2019.15},
doi = {10.4230/LIPICS.ISAAC.2019.15},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/isaac/Hoi019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GaoJKLMSS19,
author = {Ziyuan Gao and
Sanjay Jain and
Bakhadyr Khoussainov and
Wei Li and
Alexander G. Melnikov and
Karen Seidel and
Frank Stephan},
editor = {Peter Rossmanith and
Pinar Heggernes and
Joost{-}Pieter Katoen},
title = {Random Subgroups of Rationals},
booktitle = {44th International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2019, August 26-30, 2019, Aachen, Germany},
series = {LIPIcs},
volume = {138},
pages = {25:1--25:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2019.25},
doi = {10.4230/LIPICS.MFCS.2019.25},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/GaoJKLMSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/HoiJSS19,
author = {Gordon Hoi and
Sanjay Jain and
Sibylle Schwarz and
Frank Stephan},
editor = {T. V. Gopal and
Junzo Watada},
title = {Exact Satisfiabitity with Jokers},
booktitle = {Theory and Applications of Models of Computation - 15th Annual Conference,
{TAMC} 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11436},
pages = {279--294},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-14812-6\_17},
doi = {10.1007/978-3-030-14812-6\_17},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tamc/HoiJSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-04743,
author = {Ziyuan Gao and
Sanjay Jain and
Bakhadyr Khoussainov and
Wei Li and
Alexander G. Melnikov and
Karen Seidel and
Frank Stephan},
title = {Random Subgroups of Rationals},
journal = {CoRR},
volume = {abs/1901.04743},
year = {2019},
url = {http://arxiv.org/abs/1901.04743},
eprinttype = {arXiv},
eprint = {1901.04743},
timestamp = {Sat, 02 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-04743.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-01293,
author = {Gordon Hoi and
Sanjay Jain and
Frank Stephan},
title = {A Fast Exponential Time Algorithm for Max Hamming Distance {X3SAT}},
journal = {CoRR},
volume = {abs/1910.01293},
year = {2019},
url = {http://arxiv.org/abs/1910.01293},
eprinttype = {arXiv},
eprint = {1910.01293},
timestamp = {Fri, 04 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-01293.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/JainKS18,
author = {Sanjay Jain and
Bakhadyr Khoussainov and
Frank Stephan},
title = {Finitely generated semiautomatic groups},
journal = {Comput.},
volume = {7},
number = {2-3},
pages = {273--287},
year = {2018},
url = {https://doi.org/10.3233/COM-180089},
doi = {10.3233/COM-180089},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computability/JainKS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BarmpaliasFS18,
author = {George Barmpalias and
Nan Fang and
Frank Stephan},
title = {Equivalences between learning of data and probability distributions,
and their applications},
journal = {Inf. Comput.},
volume = {262},
pages = {123--140},
year = {2018},
url = {https://doi.org/10.1016/j.ic.2018.08.001},
doi = {10.1016/J.IC.2018.08.001},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BarmpaliasFS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/MoserS18,
author = {Philippe Moser and
Frank Stephan},
title = {Limit-depth and {DNR} degrees},
journal = {Inf. Process. Lett.},
volume = {135},
pages = {36--40},
year = {2018},
url = {https://doi.org/10.1016/j.ipl.2018.02.015},
doi = {10.1016/J.IPL.2018.02.015},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/MoserS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/MiyabeNS18,
author = {Kenshi Miyabe and
Andr{\'{e}} Nies and
Frank Stephan},
title = {Randomness and Solovay degrees},
journal = {J. Log. Anal.},
volume = {10},
year = {2018},
url = {http://logicandanalysis.org/index.php/jla/article/view/317/128},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/MiyabeNS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/MartinS18,
author = {Eric Martin and
Frank Stephan},
title = {Implementing fragments of {ZFC} within an r.e. Universe},
journal = {J. Log. Comput.},
volume = {28},
number = {1},
pages = {1--32},
year = {2018},
url = {https://doi.org/10.1093/logcom/exx030},
doi = {10.1093/LOGCOM/EXX030},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/MartinS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CaseJS18,
author = {John Case and
Sanjay Jain and
Frank Stephan},
title = {Effectivity questions for Kleene's recursion theorem},
journal = {Theor. Comput. Sci.},
volume = {733},
pages = {55--70},
year = {2018},
url = {https://doi.org/10.1016/j.tcs.2018.04.036},
doi = {10.1016/J.TCS.2018.04.036},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/CaseJS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HolzlJS18,
author = {Rupert H{\"{o}}lzl and
Sanjay Jain and
Frank Stephan},
title = {Learning pattern languages over groups},
journal = {Theor. Comput. Sci.},
volume = {742},
pages = {66--81},
year = {2018},
url = {https://doi.org/10.1016/j.tcs.2017.12.031},
doi = {10.1016/J.TCS.2017.12.031},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/HolzlJS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/GaoJ0Z18,
author = {Ziyuan Gao and
Sanjay Jain and
Frank Stephan and
Thomas Zeugmann},
editor = {Firdaus Janoos and
Mehryar Mohri and
Karthik Sridharan},
title = {On the Help of Bounded Shot Verifiers, Comparators and Standardisers
for Learnability in Inductive Inference},
booktitle = {Algorithmic Learning Theory, {ALT} 2018, 7-9 April 2018, Lanzarote,
Canary Islands, Spain},
series = {Proceedings of Machine Learning Research},
volume = {83},
pages = {413--437},
publisher = {{PMLR}},
year = {2018},
url = {http://proceedings.mlr.press/v83/gao18a.html},
timestamp = {Wed, 03 Apr 2019 18:17:24 +0200},
biburl = {https://dblp.org/rec/conf/alt/GaoJ0Z18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/GeorgievKS18,
author = {Ivan Georgiev and
Lars Kristiansen and
Frank Stephan},
editor = {Florin Manea and
Russell G. Miller and
Dirk Nowotka},
title = {On General Sum Approximations of Irrational Numbers},
booktitle = {Sailing Routes in the World of Computation - 14th Conference on Computability
in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10936},
pages = {194--203},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94418-0\_20},
doi = {10.1007/978-3-319-94418-0\_20},
timestamp = {Wed, 16 Nov 2022 11:08:36 +0100},
biburl = {https://dblp.org/rec/conf/cie/GeorgievKS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/JainKMS18,
author = {Sanjay Jain and
Shao Ning Kuek and
Eric Martin and
Frank Stephan},
editor = {Shmuel Tomi Klein and
Carlos Mart{\'{\i}}n{-}Vide and
Dana Shapira},
title = {Learners Based on Transducers},
booktitle = {Language and Automata Theory and Applications - 12th International
Conference, {LATA} 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10792},
pages = {169--181},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-77313-1\_13},
doi = {10.1007/978-3-319-77313-1\_13},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/JainKMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Nies018,
author = {Andr{\'{e}} Nies and
Frank Stephan},
editor = {Rolf Niedermeier and
Brigitte Vall{\'{e}}e},
title = {Closure of Resource-Bounded Randomness Notions Under Polynomial-Time
Permutations},
booktitle = {35th Symposium on Theoretical Aspects of Computer Science, {STACS}
2018, February 28 to March 3, 2018, Caen, France},
series = {LIPIcs},
volume = {96},
pages = {51:1--51:10},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.STACS.2018.51},
doi = {10.4230/LIPICS.STACS.2018.51},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/stacs/Nies018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/MoldagaliyevS018,
author = {Birzhan Moldagaliyev and
Ludwig Staiger and
Frank Stephan},
editor = {Cezar C{\^{a}}mpeanu},
title = {On the Values for Factor Complexity},
booktitle = {Implementation and Application of Automata - 23rd International Conference,
{CIAA} 2018, Charlottetown, PE, Canada, July 30 - August 2, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10977},
pages = {274--285},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94812-6\_23},
doi = {10.1007/978-3-319-94812-6\_23},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/MoldagaliyevS018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-02566,
author = {George Barmpalias and
Nan Fang and
Frank Stephan},
title = {Equivalences between learning of data and probability distributions,
and their applications},
journal = {CoRR},
volume = {abs/1801.02566},
year = {2018},
url = {http://arxiv.org/abs/1801.02566},
eprinttype = {arXiv},
eprint = {1801.02566},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1801-02566.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-13153,
author = {Sanjay Jain and
Bakhadyr Khoussainov and
Philipp Schlicht and
Frank Stephan},
title = {The isomorphism problem for tree-automatic ordinals with addition},
journal = {CoRR},
volume = {abs/1810.13153},
year = {2018},
url = {http://arxiv.org/abs/1810.13153},
eprinttype = {arXiv},
eprint = {1810.13153},
timestamp = {Thu, 08 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-13153.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Kjos-HanssenST17,
author = {Bj{\o}rn Kjos{-}Hanssen and
Frank Stephan and
Sebastiaan A. Terwijn},
title = {Covering the recursive sets},
journal = {Ann. Pure Appl. Log.},
volume = {168},
number = {4},
pages = {804--823},
year = {2017},
url = {https://doi.org/10.1016/j.apal.2016.10.017},
doi = {10.1016/J.APAL.2016.10.017},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Kjos-HanssenST17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/JainST17,
author = {Sanjay Jain and
Frank Stephan and
Jason Teutsch},
title = {Closed left-r.e. sets},
journal = {Comput.},
volume = {6},
number = {1},
pages = {1--21},
year = {2017},
url = {https://doi.org/10.3233/COM-160054},
doi = {10.3233/COM-160054},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computability/JainST17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dmtcs/MoserS17,
author = {Philippe Moser and
Frank Stephan},
title = {Depth, Highness and {DNR} degrees},
journal = {Discret. Math. Theor. Comput. Sci.},
volume = {19},
number = {4},
year = {2017},
url = {https://doi.org/10.23638/DMTCS-19-4-2},
doi = {10.23638/DMTCS-19-4-2},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dmtcs/MoserS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/JainKS17,
author = {Sanjay Jain and
Efim B. Kinber and
Frank Stephan},
title = {Automatic learning from positive data and negative counterexamples},
journal = {Inf. Comput.},
volume = {255},
pages = {45--67},
year = {2017},
url = {https://doi.org/10.1016/j.ic.2017.05.002},
doi = {10.1016/J.IC.2017.05.002},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/JainKS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/JainJS17,
author = {Rahul Jain and
Sanjay Jain and
Frank Stephan},
title = {Special issue on the conference Theory and Applications of Models
of Computation},
journal = {Inf. Comput.},
volume = {256},
pages = {148},
year = {2017},
url = {https://doi.org/10.1016/j.ic.2017.07.001},
doi = {10.1016/J.IC.2017.07.001},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/JainJS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/JainKSTZ17,
author = {Sanjay Jain and
Bakhadyr Khoussainov and
Frank Stephan and
Dan Teng and
Siyuan Zou},
title = {Semiautomatic Structures},
journal = {Theory Comput. Syst.},
volume = {61},
number = {4},
pages = {1254--1287},
year = {2017},
url = {https://doi.org/10.1007/s00224-017-9792-7},
doi = {10.1007/S00224-017-9792-7},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/JainKSTZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/HolzlJSS017,
author = {Rupert H{\"{o}}lzl and
Sanjay Jain and
Philipp Schlicht and
Karen Seidel and
Frank Stephan},
editor = {Steve Hanneke and
Lev Reyzin},
title = {Automatic Learning from Repetitive Texts},
booktitle = {International Conference on Algorithmic Learning Theory, {ALT} 2017,
15-17 October 2017, Kyoto University, Kyoto, Japan},
series = {Proceedings of Machine Learning Research},
volume = {76},
pages = {129--150},
publisher = {{PMLR}},
year = {2017},
url = {http://proceedings.mlr.press/v76/h\%C3\%B6lzl17a.html},
timestamp = {Wed, 03 Apr 2019 18:17:23 +0200},
biburl = {https://dblp.org/rec/conf/alt/HolzlJSS017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HolzlRSZ17,
author = {Rupert H{\"{o}}lzl and
Dilip Raghavan and
Frank Stephan and
Jing Zhang},
editor = {Adam R. Day and
Michael R. Fellows and
Noam Greenberg and
Bakhadyr Khoussainov and
Alexander G. Melnikov and
Frances A. Rosamond},
title = {Weakly Represented Families in Reverse Mathematics},
booktitle = {Computability and Complexity - Essays Dedicated to Rodney G. Downey
on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10010},
pages = {160--187},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-50062-1\_13},
doi = {10.1007/978-3-319-50062-1\_13},
timestamp = {Sun, 25 Oct 2020 23:08:30 +0100},
biburl = {https://dblp.org/rec/conf/birthday/HolzlRSZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/FearnleyJS0W17,
author = {John Fearnley and
Sanjay Jain and
Sven Schewe and
Frank Stephan and
Dominik Wojtczak},
editor = {Hakan Erdogmus and
Klaus Havelund},
title = {An ordered approach to solving parity games in quasi polynomial time
and quasi linear space},
booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International {SPIN} Symposium
on Model Checking of Software, Santa Barbara, CA, USA, July 10-14,
2017},
pages = {112--121},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3092282.3092286},
doi = {10.1145/3092282.3092286},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/FearnleyJS0W17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/CaludeJKL017,
author = {Cristian S. Calude and
Sanjay Jain and
Bakhadyr Khoussainov and
Wei Li and
Frank Stephan},
editor = {Hamed Hatami and
Pierre McKenzie and
Valerie King},
title = {Deciding parity games in quasipolynomial time},
booktitle = {Proceedings of the 49th Annual {ACM} {SIGACT} Symposium on Theory
of Computing, {STOC} 2017, Montreal, QC, Canada, June 19-23, 2017},
pages = {252--263},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3055399.3055409},
doi = {10.1145/3055399.3055409},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stoc/CaludeJKL017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/ml/Jain017,
author = {Sanjay Jain and
Frank Stephan},
editor = {Claude Sammut and
Geoffrey I. Webb},
title = {Complexity of Inductive Inference},
booktitle = {Encyclopedia of Machine Learning and Data Mining},
pages = {247--251},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-1-4899-7687-1\_46},
doi = {10.1007/978-1-4899-7687-1\_46},
timestamp = {Wed, 16 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/ml/Jain017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/ml/Jain017a,
author = {Sanjay Jain and
Frank Stephan},
editor = {Claude Sammut and
Geoffrey I. Webb},
title = {Computational Complexity of Learning},
booktitle = {Encyclopedia of Machine Learning and Data Mining},
pages = {251--253},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-1-4899-7687-1\_47},
doi = {10.1007/978-1-4899-7687-1\_47},
timestamp = {Wed, 16 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/ml/Jain017a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/ml/Jain017b,
author = {Sanjay Jain and
Frank Stephan},
editor = {Claude Sammut and
Geoffrey I. Webb},
title = {Inductive Inference},
booktitle = {Encyclopedia of Machine Learning and Data Mining},
pages = {642--648},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-1-4899-7687-1\_134},
doi = {10.1007/978-1-4899-7687-1\_134},
timestamp = {Wed, 16 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/ml/Jain017b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/ml/Jain017c,
author = {Sanjay Jain and
Frank Stephan},
editor = {Claude Sammut and
Geoffrey I. Webb},
title = {Query-Based Learning},
booktitle = {Encyclopedia of Machine Learning and Data Mining},
pages = {1044--1047},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-1-4899-7687-1\_694},
doi = {10.1007/978-1-4899-7687-1\_694},
timestamp = {Wed, 16 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/ml/Jain017c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FearnleyJS0W17,
author = {John Fearnley and
Sanjay Jain and
Sven Schewe and
Frank Stephan and
Dominik Wojtczak},
title = {An Ordered Approach to Solving Parity Games in Quasi Polynomial Time
and Quasi Linear Space},
journal = {CoRR},
volume = {abs/1703.01296},
year = {2017},
url = {http://arxiv.org/abs/1703.01296},
eprinttype = {arXiv},
eprint = {1703.01296},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FearnleyJS0W17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-08792,
author = {Andr{\'{e}} Nies and
Frank Stephan},
title = {Closure of resource-bounded randomness notions under polynomial time
permutations},
journal = {CoRR},
volume = {abs/1709.08792},
year = {2017},
url = {http://arxiv.org/abs/1709.08792},
eprinttype = {arXiv},
eprint = {1709.08792},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-08792.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-11303,
author = {George Barmpalias and
Frank Stephan},
title = {Algorithmic learning of probability distributions from random data
in the limit},
journal = {CoRR},
volume = {abs/1710.11303},
year = {2017},
url = {http://arxiv.org/abs/1710.11303},
eprinttype = {arXiv},
eprint = {1710.11303},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-11303.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/HolzlJS16,
author = {Rupert H{\"{o}}lzl and
Sanjay Jain and
Frank Stephan},
title = {Inductive inference and reverse mathematics},
journal = {Ann. Pure Appl. Log.},
volume = {167},
number = {12},
pages = {1242--1266},
year = {2016},
url = {https://doi.org/10.1016/j.apal.2016.06.002},
doi = {10.1016/J.APAL.2016.06.002},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/HolzlJS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/HolzlSY15,
author = {Rupert H{\"{o}}lzl and
Frank Stephan and
Liang Yu},
title = {On Martin's pointed tree theorem},
journal = {Comput.},
volume = {5},
number = {2},
pages = {147--157},
year = {2016},
url = {https://doi.org/10.3233/COM-150047},
doi = {10.3233/COM-150047},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computability/HolzlSY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CaludeSS16,
author = {Cristian S. Calude and
Ludwig Staiger and
Frank Stephan},
title = {Finite state incompressible infinite sequences},
journal = {Inf. Comput.},
volume = {247},
pages = {23--36},
year = {2016},
url = {https://doi.org/10.1016/j.ic.2015.11.003},
doi = {10.1016/J.IC.2015.11.003},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/CaludeSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/JainKMS16,
author = {Sanjay Jain and
Timo K{\"{o}}tzing and
Junqi Ma and
Frank Stephan},
title = {On the role of update constraints and text-types in iterative learning},
journal = {Inf. Comput.},
volume = {247},
pages = {152--168},
year = {2016},
url = {https://doi.org/10.1016/j.ic.2015.12.005},
doi = {10.1016/J.IC.2015.12.005},
timestamp = {Wed, 11 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/JainKMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/JainKS16,
author = {Sanjay Jain and
Timo K{\"{o}}tzing and
Frank Stephan},
title = {Enlarging learnable classes},
journal = {Inf. Comput.},
volume = {251},
pages = {194--207},
year = {2016},
url = {https://doi.org/10.1016/j.ic.2016.09.001},
doi = {10.1016/J.IC.2016.09.001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/JainKS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ChakFSY16,
author = {Christopher Hanrui Chak and
Rusins Freivalds and
Frank Stephan and
Henrietta Tan Wan Yik},
title = {On block pumpable languages},
journal = {Theor. Comput. Sci.},
volume = {609},
pages = {272--285},
year = {2016},
url = {https://doi.org/10.1016/j.tcs.2015.10.008},
doi = {10.1016/J.TCS.2015.10.008},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ChakFSY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GavryushkinKS16,
author = {Alex Gavryushkin and
Bakhadyr Khoussainov and
Frank Stephan},
title = {Reducibilities among equivalence relations induced by recursively
enumerable structures},
journal = {Theor. Comput. Sci.},
volume = {612},
pages = {137--152},
year = {2016},
url = {https://doi.org/10.1016/j.tcs.2015.11.042},
doi = {10.1016/J.TCS.2015.11.042},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GavryushkinKS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/JainMSZ16,
author = {Sanjay Jain and
R{\'{e}}mi Munos and
Frank Stephan and
Thomas Zeugmann},
title = {Guest Editors' foreword},
journal = {Theor. Comput. Sci.},
volume = {620},
pages = {1--3},
year = {2016},
url = {https://doi.org/10.1016/j.tcs.2015.10.033},
doi = {10.1016/J.TCS.2015.10.033},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/JainMSZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GaoSZ16,
author = {Ziyuan Gao and
Frank Stephan and
Sandra Zilles},
title = {Partial learning of recursively enumerable languages},
journal = {Theor. Comput. Sci.},
volume = {620},
pages = {15--32},
year = {2016},
url = {https://doi.org/10.1016/j.tcs.2015.10.035},
doi = {10.1016/J.TCS.2015.10.035},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GaoSZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/JainKSS16,
author = {Sanjay Jain and
Bakhadyr Khoussainov and
Philipp Schlicht and
Frank Stephan},
title = {Tree-automatic scattered linear orders},
journal = {Theor. Comput. Sci.},
volume = {626},
pages = {83--96},
year = {2016},
url = {https://doi.org/10.1016/j.tcs.2016.02.008},
doi = {10.1016/J.TCS.2016.02.008},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/JainKSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/HolzlJS16,
author = {Rupert H{\"{o}}lzl and
Sanjay Jain and
Frank Stephan},
editor = {Ronald Ortner and
Hans Ulrich Simon and
Sandra Zilles},
title = {Learning Pattern Languages over Groups},
booktitle = {Algorithmic Learning Theory - 27th International Conference, {ALT}
2016, Bari, Italy, October 19-21, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9925},
pages = {189--203},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46379-7\_13},
doi = {10.1007/978-3-319-46379-7\_13},
timestamp = {Fri, 08 Sep 2023 21:18:15 +0200},
biburl = {https://dblp.org/rec/conf/alt/HolzlJS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/JainKS16,
author = {Sanjay Jain and
Bakhadyr Khoussainov and
Frank Stephan},
editor = {Arnold Beckmann and
Laurent Bienvenu and
Natasa Jonoska},
title = {Finitely Generated Semiautomatic Groups},
booktitle = {Pursuit of the Universal - 12th Conference on Computability in Europe,
CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9709},
pages = {282--291},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40189-8\_29},
doi = {10.1007/978-3-319-40189-8\_29},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/JainKS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/JainS16,
author = {Sanjay Jain and
Frank Stephan},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {Learning Automatic Families of Languages},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {29--40},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_3},
doi = {10.1007/978-3-662-49192-8\_3},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/JainS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JainSST16,
author = {Sanjay Jain and
Prateek Saxena and
Frank Stephan and
Jason Teutsch},
title = {How to verify computation with a rational network},
journal = {CoRR},
volume = {abs/1606.05917},
year = {2016},
url = {http://arxiv.org/abs/1606.05917},
eprinttype = {arXiv},
eprint = {1606.05917},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JainSST16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/SimpsonS15,
author = {Stephen G. Simpson and
Frank Stephan},
title = {Cone avoidance and randomness preservation},
journal = {Ann. Pure Appl. Log.},
volume = {166},
number = {6},
pages = {713--728},
year = {2015},
url = {https://doi.org/10.1016/j.apal.2015.03.001},
doi = {10.1016/J.APAL.2015.03.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/SimpsonS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChongHST15,
author = {C. T. Chong and
Gordon Hoi and
Frank Stephan and
Daniel Turetsky},
title = {Partial functions and domination},
journal = {Log. Methods Comput. Sci.},
volume = {11},
number = {3},
year = {2015},
url = {https://doi.org/10.2168/LMCS-11(3:16)2015},
doi = {10.2168/LMCS-11(3:16)2015},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChongHST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/CaludeFJS15,
author = {Cristian S. Calude and
Rusins Freivalds and
Sanjay Jain and
Frank Stephan},
title = {Deterministic Frequency Pushdown Automata},
journal = {J. Univers. Comput. Sci.},
volume = {21},
number = {12},
pages = {1563--1576},
year = {2015},
url = {http://www.jucs.org/jucs\_21\_12/deterministic\_frequency\_pushdown\_automata},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/CaludeFJS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/JainMS15,
author = {Sanjay Jain and
Junqi Ma and
Frank Stephan},
editor = {Kamalika Chaudhuri and
Claudio Gentile and
Sandra Zilles},
title = {Priced Learning},
booktitle = {Algorithmic Learning Theory - 26th International Conference, {ALT}
2015, Banff, AB, Canada, October 4-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9355},
pages = {41--55},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24486-0\_3},
doi = {10.1007/978-3-319-24486-0\_3},
timestamp = {Wed, 11 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/alt/JainMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/GaoSZ15,
author = {Ziyuan Gao and
Frank Stephan and
Sandra Zilles},
editor = {Kamalika Chaudhuri and
Claudio Gentile and
Sandra Zilles},
title = {Combining Models of Approximation with Partial Learning},
booktitle = {Algorithmic Learning Theory - 26th International Conference, {ALT}
2015, Banff, AB, Canada, October 4-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9355},
pages = {56--70},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24486-0\_4},
doi = {10.1007/978-3-319-24486-0\_4},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alt/GaoSZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Kjos-HanssenST15,
author = {Bj{\o}rn Kjos{-}Hanssen and
Frank Stephan and
Sebastiaan A. Terwijn},
editor = {Arnold Beckmann and
Victor Mitrana and
Mariya Ivanova Soskova},
title = {Covering the Recursive Sets},
booktitle = {Evolving Computability - 11th Conference on Computability in Europe,
CiE 2015, Bucharest, Romania, June 29 - July 3, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9136},
pages = {44--53},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20028-6\_5},
doi = {10.1007/978-3-319-20028-6\_5},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Kjos-HanssenST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/MoserS15,
author = {Philippe Moser and
Frank Stephan},
editor = {Adrian Kosowski and
Igor Walukiewicz},
title = {Depth, Highness and {DNR} Degrees},
booktitle = {Fundamentals of Computation Theory - 20th International Symposium,
{FCT} 2015, Gda{\'{n}}sk, Poland, August 17-19, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9210},
pages = {81--94},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22177-9\_7},
doi = {10.1007/978-3-319-22177-9\_7},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/MoserS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/HolzlJS15,
author = {Rupert H{\"{o}}lzl and
Sanjay Jain and
Frank Stephan},
editor = {Ernst W. Mayr and
Nicolas Ollinger},
title = {Inductive Inference and Reverse Mathematics},
booktitle = {32nd International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2015, March 4-7, 2015, Garching, Germany},
series = {LIPIcs},
volume = {30},
pages = {420--433},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.STACS.2015.420},
doi = {10.4230/LIPICS.STACS.2015.420},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/stacs/HolzlJS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tamc/2015,
editor = {Rahul Jain and
Sanjay Jain and
Frank Stephan},
title = {Theory and Applications of Models of Computation - 12th Annual Conference,
{TAMC} 2015, Singapore, May 18-20, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9076},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-17142-5},
doi = {10.1007/978-3-319-17142-5},
isbn = {978-3-319-17141-8},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tamc/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GaoSZ15,
author = {Ziyuan Gao and
Frank Stephan and
Sandra Zilles},
title = {Combining Models of Approximation with Partial Learning},
journal = {CoRR},
volume = {abs/1507.01215},
year = {2015},
url = {http://arxiv.org/abs/1507.01215},
eprinttype = {arXiv},
eprint = {1507.01215},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GaoSZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MoserS15,
author = {Philippe Moser and
Frank Stephan},
title = {Depth, Highness and {DNR} degrees},
journal = {CoRR},
volume = {abs/1511.05027},
year = {2015},
url = {http://arxiv.org/abs/1511.05027},
eprinttype = {arXiv},
eprint = {1511.05027},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MoserS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/GavruskinJKS14,
author = {Alexander Gavruskin and
Sanjay Jain and
Bakhadyr Khoussainov and
Frank Stephan},
title = {Graphs realised by r.e. equivalence relations},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {7-8},
pages = {1263--1290},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2014.04.001},
doi = {10.1016/J.APAL.2014.04.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/GavruskinJKS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/StephanY14,
author = {Frank Stephan and
Liang Yu},
title = {A reducibility related to being hyperimmune-free},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {7-8},
pages = {1291--1300},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2014.04.002},
doi = {10.1016/J.APAL.2014.04.002},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/StephanY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/NgNS14,
author = {Keng Meng Ng and
Andr{\'{e}} Nies and
Frank Stephan},
title = {The Complexity of Recursive Splittings of Random Sets},
journal = {Comput.},
volume = {3},
number = {1},
pages = {1--8},
year = {2014},
url = {https://doi.org/10.3233/COM-14023},
doi = {10.3233/COM-14023},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computability/NgNS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/FreerKNS14,
author = {Cameron E. Freer and
Bj{\o}rn Kjos{-}Hanssen and
Andr{\'{e}} Nies and
Frank Stephan},
title = {Algorithmic Aspects of Lipschitz Functions},
journal = {Comput.},
volume = {3},
number = {1},
pages = {45--61},
year = {2014},
url = {https://doi.org/10.3233/COM-14025},
doi = {10.3233/COM-14025},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computability/FreerKNS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/HolzlKSW14,
author = {Rupert H{\"{o}}lzl and
Thorsten Kr{\"{a}}ling and
Frank Stephan and
Guohua Wu},
title = {Initial segment complexities of randomness notions},
journal = {Inf. Comput.},
volume = {234},
pages = {57--67},
year = {2014},
url = {https://doi.org/10.1016/j.ic.2013.12.002},
doi = {10.1016/J.IC.2013.12.002},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/HolzlKSW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/StephanT14,
author = {Frank Stephan and
Jason Teutsch},
title = {Things that can be made into themselves},
journal = {Inf. Comput.},
volume = {237},
pages = {174--186},
year = {2014},
url = {https://doi.org/10.1016/j.ic.2014.02.002},
doi = {10.1016/J.IC.2014.02.002},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/StephanT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Jain0S14,
author = {Sanjay Jain and
Eric Martin and
Frank Stephan},
title = {Robust learning of automatic classes of languages},
journal = {J. Comput. Syst. Sci.},
volume = {80},
number = {4},
pages = {777--795},
year = {2014},
url = {https://doi.org/10.1016/j.jcss.2013.12.002},
doi = {10.1016/J.JCSS.2013.12.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Jain0S14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/CaseJOSS14,
author = {John Case and
Sanjay Jain and
Yuh Shin Ong and
Pavel Semukhin and
Frank Stephan},
title = {Automatic learners with feedback queries},
journal = {J. Comput. Syst. Sci.},
volume = {80},
number = {4},
pages = {806--820},
year = {2014},
url = {https://doi.org/10.1016/j.jcss.2013.12.001},
doi = {10.1016/J.JCSS.2013.12.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/CaseJOSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GaoS14,
author = {Ziyuan Gao and
Frank Stephan},
title = {Confident and consistent partial learning of recursive functions},
journal = {Theor. Comput. Sci.},
volume = {558},
pages = {5--17},
year = {2014},
url = {https://doi.org/10.1016/j.tcs.2014.09.022},
doi = {10.1016/J.TCS.2014.09.022},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GaoS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/JainKMS14,
author = {Sanjay Jain and
Timo K{\"{o}}tzing and
Junqi Ma and
Frank Stephan},
editor = {Peter Auer and
Alexander Clark and
Thomas Zeugmann and
Sandra Zilles},
title = {On the Role of Update Constraints and Text-Types in Iterative Learning},
booktitle = {Algorithmic Learning Theory - 25th International Conference, {ALT}
2014, Bled, Slovenia, October 8-10, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8776},
pages = {55--69},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11662-4\_5},
doi = {10.1007/978-3-319-11662-4\_5},
timestamp = {Wed, 11 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/alt/JainKMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/JainKSTZ14,
author = {Sanjay Jain and
Bakhadyr Khoussainov and
Frank Stephan and
Dan Teng and
Siyuan Zou},
editor = {Edward A. Hirsch and
Sergei O. Kuznetsov and
Jean{-}{\'{E}}ric Pin and
Nikolay K. Vereshchagin},
title = {Semiautomatic Structures},
booktitle = {Computer Science - Theory and Applications - 9th International Computer
Science Symposium in Russia, {CSR} 2014, Moscow, Russia, June 7-11,
2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8476},
pages = {204--217},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06686-8\_16},
doi = {10.1007/978-3-319-06686-8\_16},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csr/JainKSTZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/CaludeSS14,
author = {Cristian S. Calude and
Ludwig Staiger and
Frank Stephan},
editor = {T. V. Gopal and
Manindra Agrawal and
Angsheng Li and
S. Barry Cooper},
title = {Finite State Incompressible Infinite Sequences},
booktitle = {Theory and Applications of Models of Computation - 11th Annual Conference,
{TAMC} 2014, Chennai, India, April 11-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8402},
pages = {50--66},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06089-7\_5},
doi = {10.1007/978-3-319-06089-7\_5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tamc/CaludeSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/StephanW13,
author = {Frank Stephan and
Guohua Wu},
title = {Highness, locally noncappability and nonboundings},
journal = {Ann. Pure Appl. Log.},
volume = {164},
number = {5},
pages = {511--522},
year = {2013},
url = {https://doi.org/10.1016/j.apal.2012.11.008},
doi = {10.1016/J.APAL.2012.11.008},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/StephanW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/SchlichtS13,
author = {Philipp Schlicht and
Frank Stephan},
title = {Automata on ordinals and automaticity of linear orders},
journal = {Ann. Pure Appl. Log.},
volume = {164},
number = {5},
pages = {523--527},
year = {2013},
url = {https://doi.org/10.1016/j.apal.2012.11.007},
doi = {10.1016/J.APAL.2012.11.007},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/SchlichtS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/SemukhinS13,
author = {Pavel Semukhin and
Frank Stephan},
title = {Automatic models of first order theories},
journal = {Ann. Pure Appl. Log.},
volume = {164},
number = {9},
pages = {837--854},
year = {2013},
url = {https://doi.org/10.1016/j.apal.2013.03.001},
doi = {10.1016/J.APAL.2013.03.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/SemukhinS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CaseJSS13,
author = {John Case and
Sanjay Jain and
Samuel Seah and
Frank Stephan},
title = {Automatic functions, linear time and learning},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {3},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(3:19)2013},
doi = {10.2168/LMCS-9(3:19)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CaseJSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/FranklinGSW13,
author = {Johanna N. Y. Franklin and
Noam Greenberg and
Frank Stephan and
Guohua Wu},
title = {Anti-complex sets and reducibilities with tiny use},
journal = {J. Symb. Log.},
volume = {78},
number = {4},
pages = {1307--1327},
year = {2013},
url = {https://doi.org/10.2178/jsl.7804170},
doi = {10.2178/JSL.7804170},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/FranklinGSW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HutterSVZ13,
author = {Marcus Hutter and
Frank Stephan and
Vladimir Vovk and
Thomas Zeugmann},
title = {Guest Editors' foreword},
journal = {Theor. Comput. Sci.},
volume = {473},
pages = {1--3},
year = {2013},
url = {https://doi.org/10.1016/j.tcs.2012.10.007},
doi = {10.1016/J.TCS.2012.10.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HutterSVZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Jain0S13,
author = {Sanjay Jain and
Eric Martin and
Frank Stephan},
title = {Learning and classifying},
journal = {Theor. Comput. Sci.},
volume = {482},
pages = {73--85},
year = {2013},
url = {https://doi.org/10.1016/j.tcs.2013.02.025},
doi = {10.1016/J.TCS.2013.02.025},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Jain0S13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/JainMSZ13,
author = {Sanjay Jain and
R{\'{e}}mi Munos and
Frank Stephan and
Thomas Zeugmann},
editor = {Sanjay Jain and
R{\'{e}}mi Munos and
Frank Stephan and
Thomas Zeugmann},
title = {Editors' Introduction},
booktitle = {Algorithmic Learning Theory - 24th International Conference, {ALT}
2013, Singapore, October 6-9, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8139},
pages = {1--12},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40935-6\_1},
doi = {10.1007/978-3-642-40935-6\_1},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alt/JainMSZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/GaoSZ13,
author = {Ziyuan Gao and
Frank Stephan and
Sandra Zilles},
editor = {Sanjay Jain and
R{\'{e}}mi Munos and
Frank Stephan and
Thomas Zeugmann},
title = {Partial Learning of Recursively Enumerable Languages},
booktitle = {Algorithmic Learning Theory - 24th International Conference, {ALT}
2013, Singapore, October 6-9, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8139},
pages = {113--127},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40935-6\_9},
doi = {10.1007/978-3-642-40935-6\_9},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alt/GaoSZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/GaoJS13,
author = {Ziyuan Gao and
Sanjay Jain and
Frank Stephan},
editor = {Paola Bonizzoni and
Vasco Brattka and
Benedikt L{\"{o}}we},
title = {On Conservative Learning of Recursively Enumerable Languages},
booktitle = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7921},
pages = {181--190},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39053-1\_21},
doi = {10.1007/978-3-642-39053-1\_21},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/GaoJS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/CaseJS13,
author = {John Case and
Sanjay Jain and
Frank Stephan},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Effectivity Questions for Kleene's Recursion Theorem},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7734},
pages = {89--103},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35722-0\_7},
doi = {10.1007/978-3-642-35722-0\_7},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/CaseJS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/MerkleSTWY13,
author = {Wolfgang Merkle and
Frank Stephan and
Jason Teutsch and
Wei Wang and
Yue Yang},
editor = {T.{-}H. Hubert Chan and
Lap Chi Lau and
Luca Trevisan},
title = {Selection by Recursively Enumerable Sets},
booktitle = {Theory and Applications of Models of Computation, 10th International
Conference, {TAMC} 2013, Hong Kong, China, May 20-22, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7876},
pages = {144--155},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38236-9\_14},
doi = {10.1007/978-3-642-38236-9\_14},
timestamp = {Tue, 26 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tamc/MerkleSTWY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/alt/2013,
editor = {Sanjay Jain and
R{\'{e}}mi Munos and
Frank Stephan and
Thomas Zeugmann},
title = {Algorithmic Learning Theory - 24th International Conference, {ALT}
2013, Singapore, October 6-9, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8139},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40935-6},
doi = {10.1007/978-3-642-40935-6},
isbn = {978-3-642-40934-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alt/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CaseJLOSS12,
author = {John Case and
Sanjay Jain and
Trong Dao Le and
Yuh Shin Ong and
Pavel Semukhin and
Frank Stephan},
title = {Automatic learning of subclasses of pattern languages},
journal = {Inf. Comput.},
volume = {218},
pages = {17--35},
year = {2012},
url = {https://doi.org/10.1016/j.ic.2012.07.001},
doi = {10.1016/J.IC.2012.07.001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/CaseJLOSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/CarlucciJS12,
author = {Lorenzo Carlucci and
Sanjay Jain and
Frank Stephan},
title = {Learning with ordinal-bounded memory from positive data},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {5},
pages = {1623--1636},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2012.03.002},
doi = {10.1016/J.JCSS.2012.03.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/CarlucciJS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/JainLS12,
author = {Sanjay Jain and
Qinglong Luo and
Frank Stephan},
title = {Learnability of automatic classes},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {6},
pages = {1910--1927},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.12.011},
doi = {10.1016/J.JCSS.2011.12.011},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/JainLS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/StephanT12,
author = {Frank Stephan and
Jason Teutsch},
title = {An incomplete set of shortest descriptions},
journal = {J. Symb. Log.},
volume = {77},
number = {1},
pages = {291--307},
year = {2012},
url = {https://doi.org/10.2178/jsl/1327068704},
doi = {10.2178/JSL/1327068704},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/StephanT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/BienvenuST12,
author = {Laurent Bienvenu and
Frank Stephan and
Jason Teutsch},
title = {How Powerful Are Integer-Valued Martingales?},
journal = {Theory Comput. Syst.},
volume = {51},
number = {3},
pages = {330--351},
year = {2012},
url = {https://doi.org/10.1007/s00224-011-9362-3},
doi = {10.1007/S00224-011-9362-3},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/BienvenuST12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/Kjos-HanssenST12,
author = {Bj{\o}rn Kjos{-}Hanssen and
Frank Stephan and
Jason Teutsch},
title = {Arithmetic complexity via effective names for random sequences},
journal = {{ACM} Trans. Comput. Log.},
volume = {13},
number = {3},
pages = {24:1--24:18},
year = {2012},
url = {https://doi.org/10.1145/2287718.2287724},
doi = {10.1145/2287718.2287724},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/Kjos-HanssenST12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/JainKS12,
author = {Sanjay Jain and
Timo K{\"{o}}tzing and
Frank Stephan},
editor = {Nader H. Bshouty and
Gilles Stoltz and
Nicolas Vayatis and
Thomas Zeugmann},
title = {Enlarging Learnable Classes},
booktitle = {Algorithmic Learning Theory - 23rd International Conference, {ALT}
2012, Lyon, France, October 29-31, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7568},
pages = {36--50},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34106-9\_7},
doi = {10.1007/978-3-642-34106-9\_7},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alt/JainKS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/GaoS12,
author = {Ziyuan Gao and
Frank Stephan},
editor = {Nader H. Bshouty and
Gilles Stoltz and
Nicolas Vayatis and
Thomas Zeugmann},
title = {Confident and Consistent Partial Learning of Recursive Functions},
booktitle = {Algorithmic Learning Theory - 23rd International Conference, {ALT}
2012, Lyon, France, October 29-31, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7568},
pages = {51--65},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34106-9\_8},
doi = {10.1007/978-3-642-34106-9\_8},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alt/GaoS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GaoSWY12,
author = {Ziyuan Gao and
Frank Stephan and
Guohua Wu and
Akihiro Yamamoto},
editor = {Michael J. Dinneen and
Bakhadyr Khoussainov and
Andr{\'{e}} Nies},
title = {Learning Families of Closed Sets in Matroids},
booktitle = {Computation, Physics and Beyond - International Workshop on Theoretical
Computer Science, {WTCS} 2012, Dedicated to Cristian S. Calude on
the Occasion of His 60th Birthday, Auckland, New Zealand, February
21-24, 2012, Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {7160},
pages = {120--139},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27654-5\_10},
doi = {10.1007/978-3-642-27654-5\_10},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/GaoSWY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/CaseJSS12,
author = {John Case and
Sanjay Jain and
Samuel Seah and
Frank Stephan},
editor = {S. Barry Cooper and
Anuj Dawar and
Benedikt L{\"{o}}we},
title = {Automatic Functions, Linear Time and Learning},
booktitle = {How the World Computes - Turing Centenary Conference and 8th Conference
on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7318},
pages = {96--106},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30870-3\_11},
doi = {10.1007/978-3-642-30870-3\_11},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/CaseJSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/GaoS12,
author = {Ziyuan Gao and
Frank Stephan},
editor = {Adrian{-}Horia Dediu and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Learnability of Co-r.e. Classes},
booktitle = {Language and Automata Theory and Applications - 6th International
Conference, {LATA} 2012, {A} Coru{\~{n}}a, Spain, March 5-9, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7183},
pages = {252--263},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28332-1\_22},
doi = {10.1007/978-3-642-28332-1\_22},
timestamp = {Sun, 02 Oct 2022 16:11:11 +0200},
biburl = {https://dblp.org/rec/conf/lata/GaoS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/JainMS12,
author = {Sanjay Jain and
Alexei Miasnikov and
Frank Stephan},
title = {The Complexity of Verbal Languages over Groups},
booktitle = {Proceedings of the 27th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2012, Dubrovnik, Croatia, June 25-28, 2012},
pages = {405--414},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/LICS.2012.50},
doi = {10.1109/LICS.2012.50},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/JainMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/JainSZ12,
author = {Sanjay Jain and
Frank Stephan and
Thomas Zeugmann},
editor = {Manindra Agrawal and
S. Barry Cooper and
Angsheng Li},
title = {On the Amount of Nonconstructivity in Learning Formal Languages from
Positive Data},
booktitle = {Theory and Applications of Models of Computation - 9th Annual Conference,
{TAMC} 2012, Beijing, China, May 16-21, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7287},
pages = {423--434},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29952-0\_41},
doi = {10.1007/978-3-642-29952-0\_41},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tamc/JainSZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ws/automata2012/AgrawalSTY12,
author = {Manindra Agrawal and
Frank Stephan and
P. S. Thiagarajan and
Shaofa Yang},
editor = {Deepak D'Souza and
Priti Shankar},
title = {The Discrete Time Behaviour of Restricted Linear Hybrid Automata},
booktitle = {Modern Applications of Automata Theory},
series = {IISc Research Monographs Series},
volume = {2},
pages = {437--456},
publisher = {World Scientific},
year = {2012},
url = {https://doi.org/10.1142/9789814271059\_0014},
doi = {10.1142/9789814271059\_0014},
timestamp = {Sat, 03 Aug 2019 22:52:51 +0200},
biburl = {https://dblp.org/rec/books/ws/automata2012/AgrawalSTY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1208-0682,
author = {Frank Stephan and
Jason Teutsch},
title = {Things that can be made into themselves},
journal = {CoRR},
volume = {abs/1208.0682},
year = {2012},
url = {http://arxiv.org/abs/1208.0682},
eprinttype = {arXiv},
eprint = {1208.0682},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-0682.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/JainST11,
author = {Sanjay Jain and
Frank Stephan and
Jason Teutsch},
title = {Index sets and universal numberings},
journal = {J. Comput. Syst. Sci.},
volume = {77},
number = {4},
pages = {760--773},
year = {2011},
url = {https://doi.org/10.1016/j.jcss.2010.07.001},
doi = {10.1016/J.JCSS.2010.07.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/JainST11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/CaludeHS11,
author = {Cristian S. Calude and
Nicholas J. Hay and
Frank Stephan},
title = {Representation of left-computable {\(\epsilon\)}-random reals},
journal = {J. Comput. Syst. Sci.},
volume = {77},
number = {4},
pages = {812--819},
year = {2011},
url = {https://doi.org/10.1016/j.jcss.2010.08.001},
doi = {10.1016/J.JCSS.2010.08.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/CaludeHS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/FranklinS11,
author = {Johanna N. Y. Franklin and
Frank Stephan},
title = {Van Lambalgen's Theorem and High Degrees},
journal = {Notre Dame J. Formal Log.},
volume = {52},
number = {2},
pages = {173--185},
year = {2011},
url = {https://doi.org/10.1215/00294527-1306181},
doi = {10.1215/00294527-1306181},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/FranklinS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/JainLSS11,
author = {Sanjay Jain and
Qinglong Luo and
Pavel Semukhin and
Frank Stephan},
title = {Uncountable automatic classes and learning},
journal = {Theor. Comput. Sci.},
volume = {412},
number = {19},
pages = {1805--1820},
year = {2011},
url = {https://doi.org/10.1016/j.tcs.2010.12.057},
doi = {10.1016/J.TCS.2010.12.057},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/JainLSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CaludeNSS11,
author = {Cristian S. Calude and
Andr{\'{e}} Nies and
Ludwig Staiger and
Frank Stephan},
title = {Universal recursively enumerable sets of strings},
journal = {Theor. Comput. Sci.},
volume = {412},
number = {22},
pages = {2253--2261},
year = {2011},
url = {https://doi.org/10.1016/j.tcs.2011.01.002},
doi = {10.1016/J.TCS.2011.01.002},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/CaludeNSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/JainMS11,
author = {Sanjay Jain and
Eric Martin and
Frank Stephan},
editor = {Jyrki Kivinen and
Csaba Szepesv{\'{a}}ri and
Esko Ukkonen and
Thomas Zeugmann},
title = {Robust Learning of Automatic Classes of Languages},
booktitle = {Algorithmic Learning Theory - 22nd International Conference, {ALT}
2011, Espoo, Finland, October 5-7, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6925},
pages = {55--69},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24412-4\_8},
doi = {10.1007/978-3-642-24412-4\_8},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alt/JainMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/JainMS11a,
author = {Sanjay Jain and
Eric Martin and
Frank Stephan},
editor = {Jyrki Kivinen and
Csaba Szepesv{\'{a}}ri and
Esko Ukkonen and
Thomas Zeugmann},
title = {Learning and Classifying},
booktitle = {Algorithmic Learning Theory - 22nd International Conference, {ALT}
2011, Espoo, Finland, October 5-7, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6925},
pages = {70--83},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24412-4\_9},
doi = {10.1007/978-3-642-24412-4\_9},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alt/JainMS11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/CaseJOSS11,
author = {John Case and
Sanjay Jain and
Yuh Shin Ong and
Pavel Semukhin and
Frank Stephan},
editor = {Benedikt L{\"{o}}we and
Dag Normann and
Ivan N. Soskov and
Alexandra A. Soskova},
title = {Automatic Learners with Feedback Queries},
booktitle = {Models of Computation in Context - 7th Conference on Computability
in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6735},
pages = {31--40},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21875-0\_4},
doi = {10.1007/978-3-642-21875-0\_4},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/CaseJOSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/SchlichtS11,
author = {Philipp Schlicht and
Frank Stephan},
editor = {Benedikt L{\"{o}}we and
Dag Normann and
Ivan N. Soskov and
Alexandra A. Soskova},
title = {Automata on Ordinals and Linear Orders},
booktitle = {Models of Computation in Context - 7th Conference on Computability
in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6735},
pages = {252--259},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21875-0\_27},
doi = {10.1007/978-3-642-21875-0\_27},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/SchlichtS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscis/StephanYZ11,
author = {Frank Stephan and
Ryo Yoshinaka and
Thomas Zeugmann},
editor = {Erol Gelenbe and
Ricardo Lent and
Georgia Sakellari},
title = {On the Parameterised Complexity of Learning Patterns},
booktitle = {Computer and Information Sciences {II} - 26th International Symposium
on Computer and Information Sciences, London, UK, 26-28 September
2011},
pages = {277--281},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-1-4471-2155-8\_35},
doi = {10.1007/978-1-4471-2155-8\_35},
timestamp = {Sat, 16 Sep 2017 12:11:33 +0200},
biburl = {https://dblp.org/rec/conf/iscis/StephanYZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/CaseJLOSS11,
author = {John Case and
Sanjay Jain and
Trong Dao Le and
Yuh Shin Ong and
Pavel Semukhin and
Frank Stephan},
editor = {Adrian{-}Horia Dediu and
Shunsuke Inenaga and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Automatic Learning of Subclasses of Pattern Languages},
booktitle = {Language and Automata Theory and Applications - 5th International
Conference, {LATA} 2011, Tarragona, Spain, May 26-31, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6638},
pages = {192--203},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21254-3\_14},
doi = {10.1007/978-3-642-21254-3\_14},
timestamp = {Sun, 02 Oct 2022 16:11:11 +0200},
biburl = {https://dblp.org/rec/conf/lata/CaseJLOSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/JainST11,
author = {Sanjay Jain and
Frank Stephan and
Jason Teutsch},
editor = {Mitsunori Ogihara and
Jun Tarui},
title = {Closed Left-R.E. Sets},
booktitle = {Theory and Applications of Models of Computation - 8th Annual Conference,
{TAMC} 2011, Tokyo, Japan, May 23-25, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6648},
pages = {218--229},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20877-5\_23},
doi = {10.1007/978-3-642-20877-5\_23},
timestamp = {Sun, 25 Oct 2020 23:06:59 +0100},
biburl = {https://dblp.org/rec/conf/tamc/JainST11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Kjos-HanssenNSY10,
author = {Bj{\o}rn Kjos{-}Hanssen and
Andr{\'{e}} Nies and
Frank Stephan and
Liang Yu},
title = {Higher Kurtz randomness},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {10},
pages = {1280--1290},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2010.04.001},
doi = {10.1016/J.APAL.2010.04.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Kjos-HanssenNSY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/JainOS10,
author = {Sanjay Jain and
Yuh Shin Ong and
Frank Stephan},
title = {Regular patterns, regular languages and context-free languages},
journal = {Inf. Process. Lett.},
volume = {110},
number = {24},
pages = {1114--1119},
year = {2010},
url = {https://doi.org/10.1016/j.ipl.2010.09.010},
doi = {10.1016/J.IPL.2010.09.010},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/JainOS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/JainS10,
author = {Sanjay Jain and
Frank Stephan},
title = {Numberings optimal for learning},
journal = {J. Comput. Syst. Sci.},
volume = {76},
number = {3-4},
pages = {233--250},
year = {2010},
url = {https://doi.org/10.1016/j.jcss.2009.08.001},
doi = {10.1016/J.JCSS.2009.08.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/JainS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/FranklinS10,
author = {Johanna N. Y. Franklin and
Frank Stephan},
title = {Schnorr trivial sets and truth-table reducibility},
journal = {J. Symb. Log.},
volume = {75},
number = {2},
pages = {501--521},
year = {2010},
url = {https://doi.org/10.2178/jsl/1268917492},
doi = {10.2178/JSL/1268917492},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/FranklinS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Becerra-BonacheCJS10,
author = {Leonor Becerra{-}Bonache and
John Case and
Sanjay Jain and
Frank Stephan},
title = {Iterative learning of simple external contextual languages},
journal = {Theor. Comput. Sci.},
volume = {411},
number = {29-30},
pages = {2741--2756},
year = {2010},
url = {https://doi.org/10.1016/j.tcs.2010.04.009},
doi = {10.1016/J.TCS.2010.04.009},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Becerra-BonacheCJS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/HutterSVZ10,
author = {Marcus Hutter and
Frank Stephan and
Vladimir Vovk and
Thomas Zeugmann},
editor = {Marcus Hutter and
Frank Stephan and
Vladimir Vovk and
Thomas Zeugmann},
title = {Editors' Introduction},
booktitle = {Algorithmic Learning Theory, 21st International Conference, {ALT}
2010, Canberra, Australia, October 6-8, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6331},
pages = {1--10},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16108-7\_1},
doi = {10.1007/978-3-642-16108-7\_1},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alt/HutterSVZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/BienvenuST10,
author = {Laurent Bienvenu and
Frank Stephan and
Jason Teutsch},
editor = {Fernando Ferreira and
Benedikt L{\"{o}}we and
Elvira Mayordomo and
Lu{\'{\i}}s Mendes Gomes},
title = {How Powerful Are Integer-Valued Martingales?},
booktitle = {Programs, Proofs, Processes, 6th Conference on Computability in Europe,
CiE 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6158},
pages = {59--68},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13962-8\_7},
doi = {10.1007/978-3-642-13962-8\_7},
timestamp = {Tue, 07 May 2024 20:13:36 +0200},
biburl = {https://dblp.org/rec/conf/cie/BienvenuST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icgi/LiS10,
author = {Hongyang Li and
Frank Stephan},
editor = {Jos{\'{e}} M. Sempere and
Pedro Garc{\'{\i}}a},
title = {Splitting of Learnable Classes},
booktitle = {Grammatical Inference: Theoretical Results and Applications, 10th
International Colloquium, {ICGI} 2010, Valencia, Spain, September
13-16, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6339},
pages = {109--121},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15488-1\_10},
doi = {10.1007/978-3-642-15488-1\_10},
timestamp = {Wed, 13 Jan 2021 14:02:25 +0100},
biburl = {https://dblp.org/rec/conf/icgi/LiS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/HolzlKSW10,
author = {Rupert H{\"{o}}lzl and
Thorsten Kr{\"{a}}ling and
Frank Stephan and
Guohua Wu},
editor = {Cristian S. Calude and
Vladimiro Sassone},
title = {Initial Segment Complexities of Randomness Notions},
booktitle = {Theoretical Computer Science - 6th {IFIP} {TC} 1/WG 2.2 International
Conference, {TCS} 2010, Held as Part of {WCC} 2010, Brisbane, Australia,
September 20-23, 2010. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {323},
pages = {259--270},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15240-5\_19},
doi = {10.1007/978-3-642-15240-5\_19},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/HolzlKSW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/JainLS10,
author = {Sanjay Jain and
Qinglong Luo and
Frank Stephan},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Learnability of Automatic Classes},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {321--332},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_27},
doi = {10.1007/978-3-642-13089-2\_27},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/JainLS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/alt/2010,
editor = {Marcus Hutter and
Frank Stephan and
Vladimir Vovk and
Thomas Zeugmann},
title = {Algorithmic Learning Theory, 21st International Conference, {ALT}
2010, Canberra, Australia, October 6-8, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6331},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16108-7},
doi = {10.1007/978-3-642-16108-7},
isbn = {978-3-642-16107-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alt/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/ml/JainS10,
author = {Sanjay Jain and
Frank Stephan},
editor = {Claude Sammut and
Geoffrey I. Webb},
title = {Complexity of Inductive Inference},
booktitle = {Encyclopedia of Machine Learning},
pages = {198--201},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-0-387-30164-8\_149},
doi = {10.1007/978-0-387-30164-8\_149},
timestamp = {Wed, 14 Nov 2018 10:51:34 +0100},
biburl = {https://dblp.org/rec/reference/ml/JainS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/ml/JainS10a,
author = {Sanjay Jain and
Frank Stephan},
editor = {Claude Sammut and
Geoffrey I. Webb},
title = {Computational Complexity of Learning},
booktitle = {Encyclopedia of Machine Learning},
pages = {201--202},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-0-387-30164-8\_151},
doi = {10.1007/978-0-387-30164-8\_151},
timestamp = {Wed, 16 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/ml/JainS10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/ml/JainS10b,
author = {Sanjay Jain and
Frank Stephan},
editor = {Claude Sammut and
Geoffrey I. Webb},
title = {Inductive Inference},
booktitle = {Encyclopedia of Machine Learning},
pages = {523--528},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-0-387-30164-8\_392},
doi = {10.1007/978-0-387-30164-8\_392},
timestamp = {Wed, 16 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/ml/JainS10b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/ml/JainS10c,
author = {Sanjay Jain and
Frank Stephan},
editor = {Claude Sammut and
Geoffrey I. Webb},
title = {Query-Based Learning},
booktitle = {Encyclopedia of Machine Learning},
pages = {820--822},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-0-387-30164-8\_688},
doi = {10.1007/978-0-387-30164-8\_688},
timestamp = {Wed, 16 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/ml/JainS10c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1004-0838,
author = {Laurent Bienvenu and
Frank Stephan and
Jason Teutsch},
title = {How powerful are integer-valued martingales?},
journal = {CoRR},
volume = {abs/1004.0838},
year = {2010},
url = {http://arxiv.org/abs/1004.0838},
eprinttype = {arXiv},
eprint = {1004.0838},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1004-0838.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1008-4825,
author = {Bj{\o}rn Kjos{-}Hanssen and
Frank Stephan and
Jason Teutsch},
title = {Enumerating randoms},
journal = {CoRR},
volume = {abs/1008.4825},
year = {2010},
url = {http://arxiv.org/abs/1008.4825},
eprinttype = {arXiv},
eprint = {1008.4825},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1008-4825.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/BienvenuDS09,
author = {Laurent Bienvenu and
David Doty and
Frank Stephan},
title = {Constructive Dimension and Turing Degrees},
journal = {Theory Comput. Syst.},
volume = {45},
number = {4},
pages = {740--755},
year = {2009},
url = {https://doi.org/10.1007/s00224-009-9170-1},
doi = {10.1007/S00224-009-9170-1},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/BienvenuDS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/JainMS09,
author = {Sanjay Jain and
Eric Martin and
Frank Stephan},
title = {Input-Dependence in Function-Learning},
journal = {Theory Comput. Syst.},
volume = {45},
number = {4},
pages = {849--864},
year = {2009},
url = {https://doi.org/10.1007/s00224-009-9174-x},
doi = {10.1007/S00224-009-9174-X},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/JainMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/JainSN09,
author = {Sanjay Jain and
Frank Stephan and
Nan Ye},
title = {Prescribed learning of r.e. classes},
journal = {Theor. Comput. Sci.},
volume = {410},
number = {19},
pages = {1796--1806},
year = {2009},
url = {https://doi.org/10.1016/j.tcs.2009.01.011},
doi = {10.1016/J.TCS.2009.01.011},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/JainSN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/JainLSS09,
author = {Sanjay Jain and
Qinglong Luo and
Pavel Semukhin and
Frank Stephan},
editor = {Ricard Gavald{\`{a}} and
G{\'{a}}bor Lugosi and
Thomas Zeugmann and
Sandra Zilles},
title = {Uncountable Automatic Classes and Learning},
booktitle = {Algorithmic Learning Theory, 20th International Conference, {ALT}
2009, Porto, Portugal, October 3-5, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5809},
pages = {293--307},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04414-4\_25},
doi = {10.1007/978-3-642-04414-4\_25},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alt/JainLSS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/JainSN09,
author = {Sanjay Jain and
Frank Stephan and
Nan Ye},
editor = {Ricard Gavald{\`{a}} and
G{\'{a}}bor Lugosi and
Thomas Zeugmann and
Sandra Zilles},
title = {Learning from Streams},
booktitle = {Algorithmic Learning Theory, 20th International Conference, {ALT}
2009, Porto, Portugal, October 3-5, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5809},
pages = {338--352},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04414-4\_28},
doi = {10.1007/978-3-642-04414-4\_28},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alt/JainSN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/JainST09,
author = {Sanjay Jain and
Frank Stephan and
Jason Teutsch},
editor = {Klaus Ambos{-}Spies and
Benedikt L{\"{o}}we and
Wolfgang Merkle},
title = {Index Sets and Universal Numberings},
booktitle = {Mathematical Theory and Computational Practice, 5th Conference on
Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5635},
pages = {270--279},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03073-4\_28},
doi = {10.1007/978-3-642-03073-4\_28},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/JainST09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colt/JainS09,
author = {Sanjay Jain and
Frank Stephan},
title = {Consistent Partial Identification},
booktitle = {{COLT} 2009 - The 22nd Conference on Learning Theory, Montreal, Quebec,
Canada, June 18-21, 2009},
year = {2009},
url = {http://www.cs.mcgill.ca/\%7Ecolt2009/papers/014.pdf\#page=1},
timestamp = {Thu, 04 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/colt/JainS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/FigueiraNS08,
author = {Santiago Figueira and
Andr{\'{e}} Nies and
Frank Stephan},
title = {Lowness properties and approximations of the jump},
journal = {Ann. Pure Appl. Log.},
volume = {152},
number = {1-3},
pages = {51--66},
year = {2008},
url = {https://doi.org/10.1016/j.apal.2007.11.002},
doi = {10.1016/J.APAL.2007.11.002},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/FigueiraNS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BarmpaliasLS08,
author = {George Barmpalias and
Andrew E. M. Lewis and
Frank Stephan},
title = {\emph{I} classes, {LR} degrees and Turing degrees},
journal = {Ann. Pure Appl. Log.},
volume = {156},
number = {1},
pages = {21--38},
year = {2008},
url = {https://doi.org/10.1016/j.apal.2008.06.004},
doi = {10.1016/J.APAL.2008.06.004},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BarmpaliasLS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/KhoussainovSY08,
author = {Bakhadyr Khoussainov and
Frank Stephan and
Yue Yang},
title = {Computable categoricity and the Ershov hierarchy},
journal = {Ann. Pure Appl. Log.},
volume = {156},
number = {1},
pages = {86--95},
year = {2008},
url = {https://doi.org/10.1016/j.apal.2008.06.010},
doi = {10.1016/J.APAL.2008.06.010},
timestamp = {Sat, 27 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/KhoussainovSY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/JainSN08,
author = {Sanjay Jain and
Frank Stephan and
Nan Ye},
title = {Prescribed Learning of Indexed Families},
journal = {Fundam. Informaticae},
volume = {83},
number = {1-2},
pages = {159--175},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi83-1-2-13},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/JainSN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BaligaCMSW08,
author = {Ganesh Baliga and
John Case and
Wolfgang Merkle and
Frank Stephan and
Rolf Wiehagen},
title = {When unlearning helps},
journal = {Inf. Comput.},
volume = {206},
number = {5},
pages = {694--709},
year = {2008},
url = {https://doi.org/10.1016/j.ic.2007.10.005},
doi = {10.1016/J.IC.2007.10.005},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BaligaCMSW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/JainS08,
author = {Sanjay Jain and
Frank Stephan},
title = {Learning in Friedberg numberings},
journal = {Inf. Comput.},
volume = {206},
number = {6},
pages = {776--790},
year = {2008},
url = {https://doi.org/10.1016/j.ic.2008.03.001},
doi = {10.1016/J.IC.2008.03.001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/JainS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/CarlucciCJS08,
author = {Lorenzo Carlucci and
John Case and
Sanjay Jain and
Frank Stephan},
title = {Non-U-shaped vacillatory and team learning},
journal = {J. Comput. Syst. Sci.},
volume = {74},
number = {4},
pages = {409--430},
year = {2008},
url = {https://doi.org/10.1016/j.jcss.2007.06.013},
doi = {10.1016/J.JCSS.2007.06.013},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/CarlucciCJS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/StephanT08,
author = {Frank Stephan and
Jason Teutsch},
title = {Immunity and Hyperimmunity for Sets of Minimal Indices},
journal = {Notre Dame J. Formal Log.},
volume = {49},
number = {2},
pages = {107--125},
year = {2008},
url = {https://doi.org/10.1215/00294527-2008-001},
doi = {10.1215/00294527-2008-001},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/StephanT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/JainS08,
author = {Sanjay Jain and
Frank Stephan},
title = {Mitotic Classes in Inductive Inference},
journal = {{SIAM} J. Comput.},
volume = {38},
number = {4},
pages = {1283--1299},
year = {2008},
url = {https://doi.org/10.1137/070700577},
doi = {10.1137/070700577},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/JainS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/JainMS08,
author = {Sanjay Jain and
Eric Martin and
Frank Stephan},
title = {Absolute versus probabilistic classification in a logical setting},
journal = {Theor. Comput. Sci.},
volume = {397},
number = {1-3},
pages = {114--128},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.02.026},
doi = {10.1016/J.TCS.2008.02.026},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/JainMS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LongS08,
author = {Philip M. Long and
Frank Stephan},
title = {Preface},
journal = {Theor. Comput. Sci.},
volume = {405},
number = {3},
pages = {207--208},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.06.042},
doi = {10.1016/J.TCS.2008.06.042},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LongS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/Becerra-BonacheCJS08,
author = {Leonor Becerra{-}Bonache and
John Case and
Sanjay Jain and
Frank Stephan},
editor = {Yoav Freund and
L{\'{a}}szl{\'{o}} Gy{\"{o}}rfi and
Gy{\"{o}}rgy Tur{\'{a}}n and
Thomas Zeugmann},
title = {Iterative Learning of Simple External Contextual Languages},
booktitle = {Algorithmic Learning Theory, 19th International Conference, {ALT}
2008, Budapest, Hungary, October 13-16, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5254},
pages = {359--373},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87987-9\_30},
doi = {10.1007/978-3-540-87987-9\_30},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alt/Becerra-BonacheCJS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/JainS08,
author = {Sanjay Jain and
Frank Stephan},
editor = {Yoav Freund and
L{\'{a}}szl{\'{o}} Gy{\"{o}}rfi and
Gy{\"{o}}rgy Tur{\'{a}}n and
Thomas Zeugmann},
title = {Numberings Optimal for Learning},
booktitle = {Algorithmic Learning Theory, 19th International Conference, {ALT}
2008, Budapest, Hungary, October 13-16, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5254},
pages = {434--448},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87987-9\_35},
doi = {10.1007/978-3-540-87987-9\_35},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alt/JainS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/CaludeNSS08,
author = {Cristian S. Calude and
Andr{\'{e}} Nies and
Ludwig Staiger and
Frank Stephan},
editor = {Masami Ito and
Masafumi Toyama},
title = {Universal Recursively Enumerable Sets of Strings},
booktitle = {Developments in Language Theory, 12th International Conference, {DLT}
2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5257},
pages = {170--182},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85780-8\_13},
doi = {10.1007/978-3-540-85780-8\_13},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/CaludeNSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CarlucciCJS07,
author = {Lorenzo Carlucci and
John Case and
Sanjay Jain and
Frank Stephan},
title = {Results on memory-limited U-shaped learning},
journal = {Inf. Comput.},
volume = {205},
number = {10},
pages = {1551--1573},
year = {2007},
url = {https://doi.org/10.1016/j.ic.2007.04.001},
doi = {10.1016/J.IC.2007.04.001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/CarlucciCJS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/HarizanovS07,
author = {Valentina S. Harizanov and
Frank Stephan},
title = {On the learnability of vector spaces},
journal = {J. Comput. Syst. Sci.},
volume = {73},
number = {1},
pages = {109--122},
year = {2007},
url = {https://doi.org/10.1016/j.jcss.2006.09.001},
doi = {10.1016/J.JCSS.2006.09.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/HarizanovS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/KhoussainovSS07,
author = {Bakhadyr Khoussainov and
Pavel Semukhin and
Frank Stephan},
title = {Applications of Kolmogorov complexity to computable model theory},
journal = {J. Symb. Log.},
volume = {72},
number = {3},
pages = {1041--1054},
year = {2007},
url = {https://doi.org/10.2178/jsl/1191333855},
doi = {10.2178/JSL/1191333855},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/KhoussainovSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/KhoussainovNRS07,
author = {Bakhadyr Khoussainov and
Andr{\'{e}} Nies and
Sasha Rubin and
Frank Stephan},
title = {Automatic Structures: Richness and Limitations},
journal = {Log. Methods Comput. Sci.},
volume = {3},
number = {2},
year = {2007},
url = {https://doi.org/10.2168/LMCS-3(2:2)2007},
doi = {10.2168/LMCS-3(2:2)2007},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/KhoussainovNRS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/AfshariBCS07,
author = {Bahareh Afshari and
George Barmpalias and
S. Barry Cooper and
Frank Stephan},
title = {Post's Programme for the Ershov Hierarchy},
journal = {J. Log. Comput.},
volume = {17},
number = {6},
pages = {1025--1040},
year = {2007},
url = {https://doi.org/10.1093/logcom/exm032},
doi = {10.1093/LOGCOM/EXM032},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/AfshariBCS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MartinSS07,
author = {Eric Martin and
Arun Sharma and
Frank Stephan},
title = {On the data consumption benefits of accepting increased uncertainty},
journal = {Theor. Comput. Sci.},
volume = {382},
number = {3},
pages = {170--182},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2007.03.037},
doi = {10.1016/J.TCS.2007.03.037},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MartinSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/JainNS07,
author = {Sanjay Jain and
Jochen Nessel and
Frank Stephan},
title = {Invertible classes},
journal = {Theor. Comput. Sci.},
volume = {384},
number = {1},
pages = {49--65},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2007.05.017},
doi = {10.1016/J.TCS.2007.05.017},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/JainNS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/JainSY07,
author = {Sanjay Jain and
Frank Stephan and
Nan Ye},
editor = {Marcus Hutter and
Rocco A. Servedio and
Eiji Takimoto},
title = {Prescribed Learning of {R.E.} Classes},
booktitle = {Algorithmic Learning Theory, 18th International Conference, {ALT}
2007, Sendai, Japan, October 1-4, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4754},
pages = {64--78},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75225-7\_9},
doi = {10.1007/978-3-540-75225-7\_9},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/alt/JainSY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/JainS07,
author = {Sanjay Jain and
Frank Stephan},
editor = {Marcus Hutter and
Rocco A. Servedio and
Eiji Takimoto},
title = {Learning in Friedberg Numberings},
booktitle = {Algorithmic Learning Theory, 18th International Conference, {ALT}
2007, Sendai, Japan, October 1-4, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4754},
pages = {79--93},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75225-7\_10},
doi = {10.1007/978-3-540-75225-7\_10},
timestamp = {Wed, 16 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alt/JainS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/BienvenuDS07,
author = {Laurent Bienvenu and
David Doty and
Frank Stephan},
editor = {S. Barry Cooper and
Benedikt L{\"{o}}we and
Andrea Sorbi},
title = {Constructive Dimension and Weak Truth-Table Degrees},
booktitle = {Computation and Logic in the Real World, Third Conference on Computability
in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4497},
pages = {63--72},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73001-9\_7},
doi = {10.1007/978-3-540-73001-9\_7},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/BienvenuDS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/JainMS07,
author = {Sanjay Jain and
Eric Martin and
Frank Stephan},
editor = {S. Barry Cooper and
Benedikt L{\"{o}}we and
Andrea Sorbi},
title = {Input-Dependence in Function-Learning},
booktitle = {Computation and Logic in the Real World, Third Conference on Computability
in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4497},
pages = {378--388},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73001-9\_39},
doi = {10.1007/978-3-540-73001-9\_39},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/JainMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/MerkleS07,
author = {Wolfgang Merkle and
Frank Stephan},
title = {On C-Degrees, H-Degrees and T-Degrees},
booktitle = {22nd Annual {IEEE} Conference on Computational Complexity {(CCC} 2007),
13-16 June 2007, San Diego, California, {USA}},
pages = {60--69},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/CCC.2007.17},
doi = {10.1109/CCC.2007.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coco/MerkleS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colt/JainS07,
author = {Sanjay Jain and
Frank Stephan},
editor = {Nader H. Bshouty and
Claudio Gentile},
title = {Mitotic Classes},
booktitle = {Learning Theory, 20th Annual Conference on Learning Theory, {COLT}
2007, San Diego, CA, USA, June 13-15, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4539},
pages = {218--232},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72927-3\_17},
doi = {10.1007/978-3-540-72927-3\_17},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/colt/JainS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/leus/0002SS07,
author = {Eric Martin and
Arun Sharma and
Frank Stephan},
editor = {Mich{\`{e}}le Friend and
Norma B. Goethe and
Valentina S. Harizanov},
title = {Deduction, Induction, and beyond in Parametric Logic},
booktitle = {Induction, Algorithmic Learning Theory, and Philosophy},
series = {Logic, Epistemology, and the Unity of Science},
volume = {9},
pages = {55--110},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-1-4020-6127-1\_3},
doi = {10.1007/978-1-4020-6127-1\_3},
timestamp = {Wed, 22 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/leus/0002SS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701089,
author = {Laurent Bienvenu and
David Doty and
Frank Stephan},
title = {Constructive Dimension and Weak Truth-Table Degrees},
journal = {CoRR},
volume = {abs/cs/0701089},
year = {2007},
url = {http://arxiv.org/abs/cs/0701089},
eprinttype = {arXiv},
eprint = {cs/0701089},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0701089.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0703064,
author = {Bakhadyr Khoussainov and
Andr{\'{e}} Nies and
Sasha Rubin and
Frank Stephan},
title = {Automatic Structures: Richness and Limitations},
journal = {CoRR},
volume = {abs/cs/0703064},
year = {2007},
url = {http://arxiv.org/abs/cs/0703064},
eprinttype = {arXiv},
eprint = {cs/0703064},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0703064.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/MerkleMNRS06,
author = {Wolfgang Merkle and
Joseph S. Miller and
Andr{\'{e}} Nies and
Jan Reimann and
Frank Stephan},
title = {Kolmogorov-Loveland randomness and stochasticity},
journal = {Ann. Pure Appl. Log.},
volume = {138},
number = {1-3},
pages = {183--210},
year = {2006},
url = {https://doi.org/10.1016/j.apal.2005.06.011},
doi = {10.1016/J.APAL.2005.06.011},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/MerkleMNRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CarlucciJKS06,
author = {Lorenzo Carlucci and
Sanjay Jain and
Efim B. Kinber and
Frank Stephan},
title = {Variations on U-shaped learning},
journal = {Inf. Comput.},
volume = {204},
number = {8},
pages = {1264--1294},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2006.04.001},
doi = {10.1016/J.IC.2006.04.001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/CarlucciJKS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jc/FigueiraSW06,
author = {Santiago Figueira and
Frank Stephan and
Guohua Wu},
title = {Randomness and universal machines},
journal = {J. Complex.},
volume = {22},
number = {6},
pages = {738--751},
year = {2006},
url = {https://doi.org/10.1016/j.jco.2006.05.001},
doi = {10.1016/J.JCO.2006.05.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jc/FigueiraSW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BeigelBFFGLMST06,
author = {Richard Beigel and
Harry Buhrman and
Peter A. Fejer and
Lance Fortnow and
Piotr Grabowski and
Luc Longpr{\'{e}} and
Andrej Muchnik and
Frank Stephan and
Leen Torenvliet},
title = {Enumerations of the Kolmogorov function},
journal = {J. Symb. Log.},
volume = {71},
number = {2},
pages = {501--528},
year = {2006},
url = {https://doi.org/10.2178/jsl/1146620156},
doi = {10.2178/JSL/1146620156},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BeigelBFFGLMST06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/CaseJMSS06,
author = {John Case and
Sanjay Jain and
Eric Martin and
Arun Sharma and
Frank Stephan},
title = {Identifying Clusters from Positive Data},
journal = {{SIAM} J. Comput.},
volume = {36},
number = {1},
pages = {28--55},
year = {2006},
url = {https://doi.org/10.1137/050629112},
doi = {10.1137/050629112},
timestamp = {Tue, 21 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/CaseJMSS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/BeigelFS06,
author = {Richard Beigel and
Lance Fortnow and
Frank Stephan},
title = {Infinitely-Often Autoreducible Sets},
journal = {{SIAM} J. Comput.},
volume = {36},
number = {3},
pages = {595--608},
year = {2006},
url = {https://doi.org/10.1137/S0097539704441630},
doi = {10.1137/S0097539704441630},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/BeigelFS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MartinSS06,
author = {Eric Martin and
Arun Sharma and
Frank Stephan},
title = {Unifying logic, topology and learning in Parametric logic},
journal = {Theor. Comput. Sci.},
volume = {350},
number = {1},
pages = {103--124},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2005.10.018},
doi = {10.1016/J.TCS.2005.10.018},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MartinSS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MartinSS06a,
author = {Eric Martin and
Arun Sharma and
Frank Stephan},
title = {On ordinal VC-dimension and some notions of complexity},
journal = {Theor. Comput. Sci.},
volume = {364},
number = {1},
pages = {62--76},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.07.041},
doi = {10.1016/J.TCS.2006.07.041},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MartinSS06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CaseJRSZ06,
author = {John Case and
Sanjay Jain and
R{\"{u}}diger Reischuk and
Frank Stephan and
Thomas Zeugmann},
title = {Learning a subclass of regular patterns in polynomial time},
journal = {Theor. Comput. Sci.},
volume = {364},
number = {1},
pages = {115--131},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.07.044},
doi = {10.1016/J.TCS.2006.07.044},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CaseJRSZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/BalcazarLS06,
author = {Jos{\'{e}} L. Balc{\'{a}}zar and
Philip M. Long and
Frank Stephan},
editor = {Jos{\'{e}} L. Balc{\'{a}}zar and
Philip M. Long and
Frank Stephan},
title = {Editors' Introduction},
booktitle = {Algorithmic Learning Theory, 17th International Conference, {ALT}
2006, Barcelona, Spain, October 7-10, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4264},
pages = {1--9},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11894841\_1},
doi = {10.1007/11894841\_1},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/alt/BalcazarLS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/NgSW06,
author = {Keng Meng Ng and
Frank Stephan and
Guohua Wu},
editor = {Arnold Beckmann and
Ulrich Berger and
Benedikt L{\"{o}}we and
John V. Tucker},
title = {Degrees of Weakly Computable Reals},
booktitle = {Logical Approaches to Computational Barriers, Second Conference on
Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3988},
pages = {413--422},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780342\_43},
doi = {10.1007/11780342\_43},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/NgSW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colt/CarlucciCJS06,
author = {Lorenzo Carlucci and
John Case and
Sanjay Jain and
Frank Stephan},
editor = {G{\'{a}}bor Lugosi and
Hans Ulrich Simon},
title = {Memory-Limited U-Shaped Learning},
booktitle = {Learning Theory, 19th Annual Conference on Learning Theory, {COLT}
2006, Pittsburgh, PA, USA, June 22-25, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4005},
pages = {244--258},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11776420\_20},
doi = {10.1007/11776420\_20},
timestamp = {Fri, 08 Sep 2023 21:18:17 +0200},
biburl = {https://dblp.org/rec/conf/colt/CarlucciCJS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AgrawalSTY06,
author = {Manindra Agrawal and
Frank Stephan and
P. S. Thiagarajan and
Shaofa Yang},
editor = {Jo{\~{a}}o P. Hespanha and
Ashish Tiwari},
title = {Behavioural Approximations for Restricted Linear Differential Hybrid
Automata},
booktitle = {Hybrid Systems: Computation and Control, 9th International Workshop,
{HSCC} 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3927},
pages = {4--18},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11730637\_4},
doi = {10.1007/11730637\_4},
timestamp = {Wed, 30 Aug 2023 16:03:58 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/AgrawalSTY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Kjos-HanssenMS06,
author = {Bj{\o}rn Kjos{-}Hanssen and
Wolfgang Merkle and
Frank Stephan},
editor = {Bruno Durand and
Wolfgang Thomas},
title = {Kolmogorov Complexity and the Recursion Theorem},
booktitle = {{STACS} 2006, 23rd Annual Symposium on Theoretical Aspects of Computer
Science, Marseille, France, February 23-25, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3884},
pages = {149--161},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11672142\_11},
doi = {10.1007/11672142\_11},
timestamp = {Wed, 19 May 2021 12:05:43 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Kjos-HanssenMS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/JainS06,
author = {Sanjay Jain and
Frank Stephan},
editor = {Jin{-}yi Cai and
S. Barry Cooper and
Angsheng Li},
title = {Some Recent Results in U-Shaped Learning},
booktitle = {Theory and Applications of Models of Computation, Third International
Conference, {TAMC} 2006, Beijing, China, May 15-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3959},
pages = {421--431},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11750321\_40},
doi = {10.1007/11750321\_40},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tamc/JainS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/JainNS06,
author = {Sanjay Jain and
Jochen Nessel and
Frank Stephan},
editor = {Jin{-}yi Cai and
S. Barry Cooper and
Angsheng Li},
title = {Invertible Classes},
booktitle = {Theory and Applications of Models of Computation, Third International
Conference, {TAMC} 2006, Beijing, China, May 15-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3959},
pages = {707--720},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11750321\_67},
doi = {10.1007/11750321\_67},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tamc/JainNS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/StephanY06,
author = {Frank Stephan and
Liang Yu},
editor = {Jin{-}yi Cai and
S. Barry Cooper and
Angsheng Li},
title = {Lowness for Weakly 1-generic and Kurtz-Random},
booktitle = {Theory and Applications of Models of Computation, Third International
Conference, {TAMC} 2006, Beijing, China, May 15-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3959},
pages = {756--764},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11750321\_72},
doi = {10.1007/11750321\_72},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tamc/StephanY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/alt/2006,
editor = {Jos{\'{e}} L. Balc{\'{a}}zar and
Philip M. Long and
Frank Stephan},
title = {Algorithmic Learning Theory, 17th International Conference, {ALT}
2006, Barcelona, Spain, October 7-10, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4264},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11894841},
doi = {10.1007/11894841},
isbn = {3-540-46649-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alt/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BorchertLSTT05,
author = {Bernd Borchert and
Klaus{-}J{\"{o}}rn Lange and
Frank Stephan and
Pascal Tesson and
Denis Th{\'{e}}rien},
title = {The dot-depth and the polynomial hierarchies correspond on the delta
levels},
journal = {Int. J. Found. Comput. Sci.},
volume = {16},
number = {4},
pages = {625--644},
year = {2005},
url = {https://doi.org/10.1142/S0129054105003200},
doi = {10.1142/S0129054105003200},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/BorchertLSTT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/NiesST05,
author = {Andr{\'{e}} Nies and
Frank Stephan and
Sebastiaan Terwijn},
title = {Randomness, relativization and Turing degrees},
journal = {J. Symb. Log.},
volume = {70},
number = {2},
pages = {515--535},
year = {2005},
url = {https://doi.org/10.2178/jsl/1120224726},
doi = {10.2178/JSL/1120224726},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/NiesST05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/Kjos-HanssenNS05,
author = {Bj{\o}rn Kjos{-}Hanssen and
Andr{\'{e}} Nies and
Frank Stephan},
title = {Lowness for the Class of Schnorr Random Reals},
journal = {{SIAM} J. Comput.},
volume = {35},
number = {3},
pages = {647--657},
year = {2005},
url = {https://doi.org/10.1137/S0097539704446323},
doi = {10.1137/S0097539704446323},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/Kjos-HanssenNS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/KhoussainovRS05,
author = {Bakhadyr Khoussainov and
Sasha Rubin and
Frank Stephan},
title = {Automatic linear orders and trees},
journal = {{ACM} Trans. Comput. Log.},
volume = {6},
number = {4},
pages = {675--700},
year = {2005},
url = {https://doi.org/10.1145/1094622.1094625},
doi = {10.1145/1094622.1094625},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/KhoussainovRS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/CarlucciCJS05,
author = {Lorenzo Carlucci and
John Case and
Sanjay Jain and
Frank Stephan},
editor = {Sanjay Jain and
Hans Ulrich Simon and
Etsuji Tomita},
title = {Non U-Shaped Vacillatory and Team Learning},
booktitle = {Algorithmic Learning Theory, 16th International Conference, {ALT}
2005, Singapore, October 8-11, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3734},
pages = {241--255},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11564089\_20},
doi = {10.1007/11564089\_20},
timestamp = {Fri, 08 Sep 2023 21:18:15 +0200},
biburl = {https://dblp.org/rec/conf/alt/CarlucciCJS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/JainMS05,
author = {Sanjay Jain and
Eric Martin and
Frank Stephan},
editor = {Sanjay Jain and
Hans Ulrich Simon and
Etsuji Tomita},
title = {Absolute Versus Probabilistic Classification in a Logical Setting},
booktitle = {Algorithmic Learning Theory, 16th International Conference, {ALT}
2005, Singapore, October 8-11, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3734},
pages = {327--342},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11564089\_26},
doi = {10.1007/11564089\_26},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alt/JainMS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/FigueiraSW05,
author = {Santiago Figueira and
Frank Stephan and
Guohua Wu},
editor = {Tanja Grubba and
Peter Hertling and
Hideki Tsuiki and
Klaus Weihrauch},
title = {Randomness and Universal Machines},
booktitle = {{CCA} 2005 - Second International Conference on Computability and
Complexity in Analysis, August 25-29, 2005, Kyoto, Japan},
series = {Informatik Berichte},
volume = {326-7/2005},
pages = {103--116},
publisher = {FernUniversit{\"{a}}t Hagen, Germany},
year = {2005},
timestamp = {Mon, 06 Feb 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cca/FigueiraSW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/StephanW05,
author = {Frank Stephan and
Guohua Wu},
editor = {S. Barry Cooper and
Benedikt L{\"{o}}we and
Leen Torenvliet},
title = {Presentations of K-Trivial Reals and Kolmogorov Complexity},
booktitle = {New Computational Paradigms, First Conference on Computability in
Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3526},
pages = {461--469},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11494645\_57},
doi = {10.1007/11494645\_57},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/StephanW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colt/CarlucciJKS05,
author = {Lorenzo Carlucci and
Sanjay Jain and
Efim B. Kinber and
Frank Stephan},
editor = {Peter Auer and
Ron Meir},
title = {Variations on U-Shaped Learning},
booktitle = {Learning Theory, 18th Annual Conference on Learning Theory, {COLT}
2005, Bertinoro, Italy, June 27-30, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3559},
pages = {382--397},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11503415\_26},
doi = {10.1007/11503415\_26},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/colt/CarlucciJKS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/MerkleMNRS05,
author = {Wolfgang Merkle and
Joseph S. Miller and
Andr{\'{e}} Nies and
Jan Reimann and
Frank Stephan},
editor = {Volker Diekert and
Bruno Durand},
title = {Kolmogorov-Loveland Randomness and Stochasticity},
booktitle = {{STACS} 2005, 22nd Annual Symposium on Theoretical Aspects of Computer
Science, Stuttgart, Germany, February 24-26, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3404},
pages = {422--433},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31856-9\_35},
doi = {10.1007/978-3-540-31856-9\_35},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/MerkleMNRS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FigueiraNS06,
author = {Santiago Figueira and
Andr{\'{e}} Nies and
Frank Stephan},
editor = {Ruy J. G. B. de Queiroz and
Angus Macintyre and
Guilherme Bittencourt},
title = {Lowness Properties and Approximations of the Jump},
booktitle = {Proceedings of the 12th Workshop on Logic, Language, Information and
Computation, WoLLIC 2005, Florian{\'{o}}polis, Santa Catarina,
Brazil, July 19-22, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {143},
pages = {45--57},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.05.025},
doi = {10.1016/J.ENTCS.2005.05.025},
timestamp = {Mon, 05 Dec 2022 16:35:24 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FigueiraNS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/JainST04,
author = {Sanjay Jain and
Frank Stephan and
Sebastiaan Terwijn},
title = {Counting extensional differences in BC-learning},
journal = {Inf. Comput.},
volume = {188},
number = {1},
pages = {127--142},
year = {2004},
url = {https://doi.org/10.1016/S0890-5401(03)00174-3},
doi = {10.1016/S0890-5401(03)00174-3},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/JainST04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/SharmaSV04,
author = {Arun Sharma and
Frank Stephan and
Yuri Ventsov},
title = {Generalized notions of mind change complexity},
journal = {Inf. Comput.},
volume = {189},
number = {2},
pages = {235--262},
year = {2004},
url = {https://doi.org/10.1016/j.ic.2003.11.001},
doi = {10.1016/J.IC.2003.11.001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/SharmaSV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/JainMS04,
author = {Sanjay Jain and
Wolfram Menzel and
Frank Stephan},
title = {Classes with easily learnable subclasses},
journal = {Inf. Comput.},
volume = {190},
number = {1},
pages = {81--99},
year = {2004},
url = {https://doi.org/10.1016/j.ic.2003.12.004},
doi = {10.1016/J.IC.2003.12.004},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/JainMS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CaseKSS04,
author = {John Case and
Efim B. Kinber and
Arun Sharma and
Frank Stephan},
title = {On the classification of recursive languages},
journal = {Inf. Comput.},
volume = {192},
number = {1},
pages = {15--40},
year = {2004},
url = {https://doi.org/10.1016/j.ic.2004.03.001},
doi = {10.1016/J.IC.2004.03.001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/CaseKSS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/MerkleS04,
author = {Wolfgang Merkle and
Frank Stephan},
title = {Trees and learning},
journal = {J. Comput. Syst. Sci.},
volume = {68},
number = {1},
pages = {134--156},
year = {2004},
url = {https://doi.org/10.1016/j.jcss.2003.08.001},
doi = {10.1016/J.JCSS.2003.08.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/MerkleS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/CaseJSW04,
author = {John Case and
Sanjay Jain and
Frank Stephan and
Rolf Wiehagen},
title = {Robust learning--rich and poor},
journal = {J. Comput. Syst. Sci.},
volume = {69},
number = {2},
pages = {123--165},
year = {2004},
url = {https://doi.org/10.1016/j.jcss.2003.10.005},
doi = {10.1016/J.JCSS.2003.10.005},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/CaseJSW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/JainS04,
author = {Sanjay Jain and
Frank Stephan},
title = {Learning how to separate},
journal = {Theor. Comput. Sci.},
volume = {313},
number = {2},
pages = {209--228},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2003.11.006},
doi = {10.1016/J.TCS.2003.11.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/JainS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/MartinSS04,
author = {Eric Martin and
Arun Sharma and
Frank Stephan},
editor = {Shai Ben{-}David and
John Case and
Akira Maruoka},
title = {On the Data Consumption Benefits of Accepting Increased Uncertainty},
booktitle = {Algorithmic Learning Theory, 15th International Conference, {ALT}
2004, Padova, Italy, October 2-5, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3244},
pages = {83--98},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30215-5\_8},
doi = {10.1007/978-3-540-30215-5\_8},
timestamp = {Wed, 22 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alt/MartinSS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/BorchertLSTT04,
author = {Bernd Borchert and
Klaus{-}J{\"{o}}rn Lange and
Frank Stephan and
Pascal Tesson and
Denis Th{\'{e}}rien},
editor = {Cristian Calude and
Elena Calude and
Michael J. Dinneen},
title = {The Dot-Depth and the Polynomial Hierarchy Correspond on the Delta
Levels},
booktitle = {Developments in Language Theory, 8th International Conference, {DLT}
2004, Auckland, New Zealand, December 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3340},
pages = {89--101},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30550-7\_8},
doi = {10.1007/978-3-540-30550-7\_8},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/dlt/BorchertLSTT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icgi/CaseJMSS04,
author = {John Case and
Sanjay Jain and
Eric Martin and
Arun Sharma and
Frank Stephan},
editor = {Georgios Paliouras and
Yasubumi Sakakibara},
title = {Identifying Clusters from Positive Data},
booktitle = {Grammatical Inference: Algorithms and Applications, 7th International
Colloquium, {ICGI} 2004, Athens, Greece, October 11-13, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3264},
pages = {103--114},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30195-0\_10},
doi = {10.1007/978-3-540-30195-0\_10},
timestamp = {Tue, 21 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icgi/CaseJMSS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KhoussainovNRS04,
author = {Bakhadyr Khoussainov and
Andr{\'{e}} Nies and
Sasha Rubin and
Frank Stephan},
title = {Automatic Structures: Richness and Limitations},
booktitle = {19th {IEEE} Symposium on Logic in Computer Science {(LICS} 2004),
14-17 July 2004, Turku, Finland, Proceedings},
pages = {44--53},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/LICS.2004.1319599},
doi = {10.1109/LICS.2004.1319599},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/KhoussainovNRS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/KhoussainovRS04,
author = {Bakhadyr Khoussainov and
Sasha Rubin and
Frank Stephan},
editor = {Volker Diekert and
Michel Habib},
title = {Definability and Regularity in Automatic Structures},
booktitle = {{STACS} 2004, 21st Annual Symposium on Theoretical Aspects of Computer
Science, Montpellier, France, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2996},
pages = {440--451},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24749-4\_39},
doi = {10.1007/978-3-540-24749-4\_39},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/KhoussainovRS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/GasarchS04,
author = {William I. Gasarch and
Frank Stephan},
editor = {Harry Buhrman and
Lance Fortnow and
Thomas Thierauf},
title = {Finding Isolated Cliques by Queries -- An Approach to Fault Diagnosis
with Many Faults},
booktitle = {Algebraic Methods in Computational Complexity, 10.-15. October 2004},
series = {Dagstuhl Seminar Proceedings},
volume = {04421},
publisher = {IBFI, Schloss Dagstuhl, Germany},
year = {2004},
url = {http://drops.dagstuhl.de/opus/volltexte/2005/106},
timestamp = {Thu, 10 Jun 2021 13:02:11 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/GasarchS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/ECCC-TR04-015,
author = {Richard Beigel and
Harry Buhrman and
Peter A. Fejer and
Lance Fortnow and
Piotr Grabowski and
Luc Longpr{\'{e}} and
Andrei A. Muchnik and
Frank Stephan and
Leen Torenvliet},
title = {Enumerations of the Kolmogorov Function},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR04-015}},
year = {2004},
url = {https://eccc.weizmann.ac.il/eccc-reports/2004/TR04-015/index.html},
eprinttype = {ECCC},
eprint = {TR04-015},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/ECCC-TR04-015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/ECCC-TR04-038,
author = {John Case and
Sanjay Jain and
R{\"{u}}diger Reischuk and
Frank Stephan and
Thomas Zeugmann},
title = {A Polynomial Time Learner for a Subclass of Regular Patterns},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR04-038}},
year = {2004},
url = {https://eccc.weizmann.ac.il/eccc-reports/2004/TR04-038/index.html},
eprinttype = {ECCC},
eprint = {TR04-038},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/ECCC-TR04-038.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/ECCC-TR04-058,
author = {John Case and
Sanjay Jain and
Eric Martin and
Arun Sharma and
Frank Stephan},
title = {Identifying Clusters from Positive Data},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR04-058}},
year = {2004},
url = {https://eccc.weizmann.ac.il/eccc-reports/2004/TR04-058/index.html},
eprinttype = {ECCC},
eprint = {TR04-058},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/ECCC-TR04-058.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/JainS03,
author = {Sanjay Jain and
Frank Stephan},
title = {Learning by switching type of information},
journal = {Inf. Comput.},
volume = {185},
number = {1},
pages = {89--104},
year = {2003},
url = {https://doi.org/10.1016/S0890-5401(03)00082-8},
doi = {10.1016/S0890-5401(03)00082-8},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/JainS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/MenzelS03,
author = {Wolfram Menzel and
Frank Stephan},
title = {Topological aspects of numberings},
journal = {Math. Log. Q.},
volume = {49},
number = {2},
pages = {129--149},
year = {2003},
url = {https://doi.org/10.1002/malq.200310013},
doi = {10.1002/MALQ.200310013},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/MenzelS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MerkleS03,
author = {Wolfgang Merkle and
Frank Stephan},
title = {Refuting learning revisited},
journal = {Theor. Comput. Sci.},
volume = {298},
number = {1},
pages = {145--177},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00422-X},
doi = {10.1016/S0304-3975(02)00422-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MerkleS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MartinSS03,
author = {Eric Martin and
Arun Sharma and
Frank Stephan},
title = {Learning power and language expressiveness},
journal = {Theor. Comput. Sci.},
volume = {298},
number = {2},
pages = {365--383},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00814-9},
doi = {10.1016/S0304-3975(02)00814-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MartinSS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/MartinSS03,
author = {Eric Martin and
Arun Sharma and
Frank Stephan},
editor = {Ricard Gavald{\`{a}} and
Klaus P. Jantke and
Eiji Takimoto},
title = {On Ordinal VC-Dimension and Some Notions of Complexity},
booktitle = {Algorithmic Learning Theory, 14th International Conference, {ALT}
2003, Sapporo, Japan, October 17-19, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2842},
pages = {54--68},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39624-6\_7},
doi = {10.1007/978-3-540-39624-6\_7},
timestamp = {Wed, 22 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alt/MartinSS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/CaseJRSZ03,
author = {John Case and
Sanjay Jain and
R{\"{u}}diger Reischuk and
Frank Stephan and
Thomas Zeugmann},
editor = {Ricard Gavald{\`{a}} and
Klaus P. Jantke and
Eiji Takimoto},
title = {Learning a Subclass of Regular Patterns in Polynomial Time},
booktitle = {Algorithmic Learning Theory, 14th International Conference, {ALT}
2003, Sapporo, Japan, October 17-19, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2842},
pages = {234--246},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39624-6\_19},
doi = {10.1007/978-3-540-39624-6\_19},
timestamp = {Wed, 16 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alt/CaseJRSZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/BeigelFS03,
author = {Richard Beigel and
Lance Fortnow and
Frank Stephan},
editor = {Toshihide Ibaraki and
Naoki Katoh and
Hirotaka Ono},
title = {Infinitely-Often Autoreducible Sets},
booktitle = {Algorithms and Computation, 14th International Symposium, {ISAAC}
2003, Kyoto, Japan, December 15-17, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2906},
pages = {98--107},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24587-2\_12},
doi = {10.1007/978-3-540-24587-2\_12},
timestamp = {Fri, 29 Dec 2023 12:40:31 +0100},
biburl = {https://dblp.org/rec/conf/isaac/BeigelFS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KhoussainovRS03,
author = {Bakhadyr Khoussainov and
Sasha Rubin and
Frank Stephan},
title = {On Automatic Partial Orders},
booktitle = {18th {IEEE} Symposium on Logic in Computer Science {(LICS} 2003),
22-25 June 2003, Ottawa, Canada, Proceedings},
pages = {168--177},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/LICS.2003.1210056},
doi = {10.1109/LICS.2003.1210056},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/KhoussainovRS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/SchaeferS03,
author = {Marcus Schaefer and
Frank Stephan},
editor = {Helmut Alt and
Michel Habib},
title = {Strong Reductions and Immunity for Exponential Time},
booktitle = {{STACS} 2003, 20th Annual Symposium on Theoretical Aspects of Computer
Science, Berlin, Germany, February 27 - March 1, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2607},
pages = {559--570},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36494-3\_49},
doi = {10.1007/3-540-36494-3\_49},
timestamp = {Thu, 14 Oct 2021 10:38:16 +0200},
biburl = {https://dblp.org/rec/conf/stacs/SchaeferS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/HoS02,
author = {Kejia Ho and
Frank Stephan},
title = {Classes bounded by incomplete sets},
journal = {Ann. Pure Appl. Log.},
volume = {116},
number = {1-3},
pages = {273--295},
year = {2002},
url = {https://doi.org/10.1016/S0168-0072(01)00114-2},
doi = {10.1016/S0168-0072(01)00114-2},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/HoS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CaseOSS02,
author = {John Case and
Matthias Ott and
Arun Sharma and
Frank Stephan},
title = {Learning to Win Process-Control Games Watching Game-Masters},
journal = {Inf. Comput.},
volume = {174},
number = {1},
pages = {1--19},
year = {2002},
url = {https://doi.org/10.1006/inco.2000.2946},
doi = {10.1006/INCO.2000.2946},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/CaseOSS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/OttS02,
author = {Matthias Ott and
Frank Stephan},
title = {Avoiding coding tricks by hyperrobust learning},
journal = {Theor. Comput. Sci.},
volume = {284},
number = {1},
pages = {161--180},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00086-X},
doi = {10.1016/S0304-3975(01)00086-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/OttS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/StephanZ02,
author = {Frank Stephan and
Thomas Zeugmann},
title = {Learning classes of approximations to non-recursive function},
journal = {Theor. Comput. Sci.},
volume = {288},
number = {2},
pages = {309--341},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00405-4},
doi = {10.1016/S0304-3975(01)00405-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/StephanZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/JainMS02,
author = {Sanjay Jain and
Wolfram Menzel and
Frank Stephan},
editor = {Nicol{\`{o}} Cesa{-}Bianchi and
Masayuki Numao and
R{\"{u}}diger Reischuk},
title = {Classes with Easily Learnable Subclasses},
booktitle = {Algorithmic Learning Theory, 13th International Conference, {ALT}
2002, L{\"{u}}beck, Germany, November 24-26, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2533},
pages = {218--232},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36169-3\_19},
doi = {10.1007/3-540-36169-3\_19},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/alt/JainMS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/HarizanovS02,
author = {Valentina S. Harizanov and
Frank Stephan},
editor = {Nicol{\`{o}} Cesa{-}Bianchi and
Masayuki Numao and
R{\"{u}}diger Reischuk},
title = {On the Learnability of Vector Spaces},
booktitle = {Algorithmic Learning Theory, 13th International Conference, {ALT}
2002, L{\"{u}}beck, Germany, November 24-26, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2533},
pages = {233--247},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36169-3\_20},
doi = {10.1007/3-540-36169-3\_20},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alt/HarizanovS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/MartinSS02,
author = {Eric Martin and
Arun Sharma and
Frank Stephan},
editor = {Nicol{\`{o}} Cesa{-}Bianchi and
Masayuki Numao and
R{\"{u}}diger Reischuk},
title = {Learning, Logic, and Topology in a Common Framework},
booktitle = {Algorithmic Learning Theory, 13th International Conference, {ALT}
2002, L{\"{u}}beck, Germany, November 24-26, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2533},
pages = {248--262},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36169-3\_21},
doi = {10.1007/3-540-36169-3\_21},
timestamp = {Wed, 22 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alt/MartinSS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MartinNSS02,
author = {Eric Martin and
Phuong Minh Nguyen and
Arun Sharma and
Frank Stephan},
editor = {Peter J. Stuckey},
title = {Learning in Logic with RichProlog},
booktitle = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
Denmark, July 29 - August 1, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2401},
pages = {239--254},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45619-8\_17},
doi = {10.1007/3-540-45619-8\_17},
timestamp = {Wed, 22 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/MartinNSS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DowneyHNS02,
author = {Rodney G. Downey and
Denis R. Hirschfeldt and
Andr{\'{e}} Nies and
Frank Stephan},
editor = {Vasco Brattka and
Matthias Schr{\"{o}}der and
Klaus Weihrauch},
title = {Trivial Reals},
booktitle = {Computability and Complexity in Analysis, {CCA} 2002, {ICALP} 2002
Satellite Workshop, M{\'{a}}laga, Spain, July 12-13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {1},
pages = {36--52},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80377-3},
doi = {10.1016/S1571-0661(04)80377-3},
timestamp = {Tue, 06 Dec 2022 09:35:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DowneyHNS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Stephan01,
author = {Frank Stephan},
title = {On one-sided versus two-sided classification},
journal = {Arch. Math. Log.},
volume = {40},
number = {7},
pages = {489--513},
year = {2001},
url = {https://doi.org/10.1007/s001530100083},
doi = {10.1007/S001530100083},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Stephan01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Stephan01,
author = {Frank Stephan},
title = {On The Structures Inside Truth-Table Degrees},
journal = {J. Symb. Log.},
volume = {66},
number = {2},
pages = {731--770},
year = {2001},
url = {https://doi.org/10.2307/2695042},
doi = {10.2307/2695042},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Stephan01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KaufmannS01,
author = {Susanne Kaufmann and
Frank Stephan},
title = {Robust learning with infinite additional information},
journal = {Theor. Comput. Sci.},
volume = {259},
number = {1-2},
pages = {427--454},
year = {2001},
url = {https://doi.org/10.1016/S0304-3975(00)00023-2},
doi = {10.1016/S0304-3975(00)00023-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KaufmannS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/StephanV01,
author = {Frank Stephan and
Yuri Ventsov},
title = {Learning algebraic structures from text},
journal = {Theor. Comput. Sci.},
volume = {268},
number = {2},
pages = {221--273},
year = {2001},
url = {https://doi.org/10.1016/S0304-3975(00)00272-3},
doi = {10.1016/S0304-3975(00)00272-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/StephanV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CaseJKSS01,
author = {John Case and
Sanjay Jain and
Susanne Kaufmann and
Arun Sharma and
Frank Stephan},
title = {Predictive learning models for concept drift},
journal = {Theor. Comput. Sci.},
volume = {268},
number = {2},
pages = {323--349},
year = {2001},
url = {https://doi.org/10.1016/S0304-3975(00)00274-7},
doi = {10.1016/S0304-3975(00)00274-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CaseJKSS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/JainS01,
author = {Sanjay Jain and
Frank Stephan},
editor = {Naoki Abe and
Roni Khardon and
Thomas Zeugmann},
title = {Learning by Switching Type of Information},
booktitle = {Algorithmic Learning Theory, 12th International Conference, {ALT}
2001, Washington, DC, USA, November 25-28, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2225},
pages = {205--218},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45583-3\_17},
doi = {10.1007/3-540-45583-3\_17},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/alt/JainS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/JainS01a,
author = {Sanjay Jain and
Frank Stephan},
editor = {Naoki Abe and
Roni Khardon and
Thomas Zeugmann},
title = {Learning How to Separate},
booktitle = {Algorithmic Learning Theory, 12th International Conference, {ALT}
2001, Washington, DC, USA, November 25-28, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2225},
pages = {219--234},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45583-3\_18},
doi = {10.1007/3-540-45583-3\_18},
timestamp = {Wed, 16 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alt/JainS01a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/MerkleS01,
author = {Wolfgang Merkle and
Frank Stephan},
editor = {Naoki Abe and
Roni Khardon and
Thomas Zeugmann},
title = {Refuting Learning Revisited},
booktitle = {Algorithmic Learning Theory, 12th International Conference, {ALT}
2001, Washington, DC, USA, November 25-28, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2225},
pages = {299--314},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45583-3\_23},
doi = {10.1007/3-540-45583-3\_23},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alt/MerkleS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/Ambos-SpiesMRS01,
author = {Klaus Ambos{-}Spies and
Wolfgang Merkle and
Jan Reimann and
Frank Stephan},
title = {Hausdorff Dimension in Exponential Time},
booktitle = {Proceedings of the 16th Annual {IEEE} Conference on Computational
Complexity, Chicago, Illinois, USA, June 18-21, 2001},
pages = {210--217},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/CCC.2001.933888},
doi = {10.1109/CCC.2001.933888},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coco/Ambos-SpiesMRS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colt/CaseJSW01,
author = {John Case and
Sanjay Jain and
Frank Stephan and
Rolf Wiehagen},
editor = {David P. Helmbold and
Robert C. Williamson},
title = {Robust Learning - Rich and Poor},
booktitle = {Computational Learning Theory, 14th Annual Conference on Computational
Learning Theory, {COLT} 2001 and 5th European Conference on Computational
Learning Theory, EuroCOLT 2001, Amsterdam, The Netherlands, July 16-19,
2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2111},
pages = {143--159},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44581-1\_10},
doi = {10.1007/3-540-44581-1\_10},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/colt/CaseJSW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dis/MartinSS01,
author = {Eric Martin and
Arun Sharma and
Frank Stephan},
editor = {Klaus P. Jantke and
Ayumi Shinohara},
title = {A General Theory of Deduction, Induction, and Learning},
booktitle = {Discovery Science, 4th International Conference, {DS} 2001, Washington,
DC, USA, November 25-28, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2226},
pages = {228--242},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45650-3\_21},
doi = {10.1007/3-540-45650-3\_21},
timestamp = {Wed, 22 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dis/MartinSS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/CaseJOSS00,
author = {John Case and
Sanjay Jain and
Matthias Ott and
Arun Sharma and
Frank Stephan},
title = {Robust Learning Aided by Context},
journal = {J. Comput. Syst. Sci.},
volume = {60},
number = {2},
pages = {234--257},
year = {2000},
url = {https://doi.org/10.1006/jcss.1999.1637},
doi = {10.1006/JCSS.1999.1637},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/CaseJOSS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BeigelGKMMS00,
author = {Richard Beigel and
William I. Gasarch and
Martin Kummer and
Georgia Martin and
Timothy H. McNicholl and
Frank Stephan},
title = {The Comlexity of Odd\({}^{\mbox{A}}\)\({}_{\mbox{n}}\)},
journal = {J. Symb. Log.},
volume = {65},
number = {1},
pages = {1--18},
year = {2000},
url = {https://doi.org/10.2307/2586523},
doi = {10.2307/2586523},
timestamp = {Mon, 11 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/BeigelGKMMS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/BorchertS00,
author = {Bernd Borchert and
Frank Stephan},
title = {Looking for an Analogue of Rice's Theorem in Circuit Complexity Theory},
journal = {Math. Log. Q.},
volume = {46},
number = {4},
pages = {489--504},
year = {2000},
url = {https://doi.org/10.1002/1521-3870(200010)46:4\&\#60;489::AID-MALQ489\&\#62;3.0.CO;2-F},
doi = {10.1002/1521-3870(200010)46:4\&\#60;489::AID-MALQ489\&\#62;3.0.CO;2-F},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/BorchertS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CaseJS00,
author = {John Case and
Sanjay Jain and
Frank Stephan},
title = {Vacillatory and {BC} learning on noisy data},
journal = {Theor. Comput. Sci.},
volume = {241},
number = {1-2},
pages = {115--141},
year = {2000},
url = {https://doi.org/10.1016/S0304-3975(99)00268-6},
doi = {10.1016/S0304-3975(99)00268-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CaseJS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/OttS00,
author = {Matthias Ott and
Frank Stephan},
title = {Structural measures for games and process control in the branch learning
model},
journal = {Theor. Comput. Sci.},
volume = {244},
number = {1-2},
pages = {135--165},
year = {2000},
url = {https://doi.org/10.1016/S0304-3975(98)00339-9},
doi = {10.1016/S0304-3975(98)00339-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/OttS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colt/StephanZ00,
author = {Frank Stephan and
Thomas Zeugmann},
editor = {Nicol{\`{o}} Cesa{-}Bianchi and
Sally A. Goldman},
title = {Average-Case Complexity of Learning Polynomials},
booktitle = {Proceedings of the Thirteenth Annual Conference on Computational Learning
Theory {(COLT} 2000), June 28 - July 1, 2000, Palo Alto, California,
{USA}},
pages = {59--68},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Wed, 20 Jun 2018 17:06:15 +0200},
biburl = {https://dblp.org/rec/conf/colt/StephanZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BaligaCMS00,
author = {Ganesh Baliga and
John Case and
Wolfgang Merkle and
Frank Stephan},
editor = {Ugo Montanari and
Jos{\'{e}} D. P. Rolim and
Emo Welzl},
title = {Unlearning Helps},
booktitle = {Automata, Languages and Programming, 27th International Colloquium,
{ICALP} 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1853},
pages = {844--855},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45022-X\_71},
doi = {10.1007/3-540-45022-X\_71},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BaligaCMS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icgi/StephanT00,
author = {Frank Stephan and
Sebastiaan Terwijn},
editor = {Arlindo L. Oliveira},
title = {Counting Extensional Differences in BC-Learning},
booktitle = {Grammatical Inference: Algorithms and Applications, 5th International
Colloquium, {ICGI} 2000, Lisbon, Portugal, September 11-13, 2000,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1891},
pages = {256--269},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/978-3-540-45257-7\_21},
doi = {10.1007/978-3-540-45257-7\_21},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/icgi/StephanT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/StephanT99,
author = {Frank Stephan and
Sebastiaan Terwijn},
title = {The Complexity of Universal Text-Learners},
journal = {Inf. Comput.},
volume = {154},
number = {2},
pages = {149--166},
year = {1999},
url = {https://doi.org/10.1006/inco.1999.2804},
doi = {10.1006/INCO.1999.2804},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/StephanT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/BorchertKS99,
author = {Bernd Borchert and
Dietrich Kuske and
Frank Stephan},
title = {On existentially first-order definable languages and their relation
to {NP}},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {33},
number = {3},
pages = {259--270},
year = {1999},
url = {https://doi.org/10.1051/ita:1999116},
doi = {10.1051/ITA:1999116},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/BorchertKS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/FernauS99,
author = {Henning Fernau and
Frank Stephan},
title = {Characterizations of Recursively Enumerable Languages by Programmed
Grammars With Unconditional Transfer},
journal = {J. Autom. Lang. Comb.},
volume = {4},
number = {2},
pages = {117--142},
year = {1999},
url = {https://doi.org/10.25596/jalc-1999-117},
doi = {10.25596/JALC-1999-117},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/FernauS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/MitchellSSS98,
author = {Andrew R. Mitchell and
Tobias Scheffer and
Arun Sharma and
Frank Stephan},
editor = {Osamu Watanabe and
Takashi Yokomori},
title = {The VC-Dimension of Subclasses of Pattern},
booktitle = {Algorithmic Learning Theory, 10th International Conference, {ALT}
'99, Tokyo, Japan, December 6-8, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1720},
pages = {93--105},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46769-6\_8},
doi = {10.1007/3-540-46769-6\_8},
timestamp = {Wed, 22 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alt/MitchellSSS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/StephanZ98,
author = {Frank Stephan and
Thomas Zeugmann},
editor = {Osamu Watanabe and
Takashi Yokomori},
title = {On the Uniform Learnability of Approximations to Non-Recursive Functions},
booktitle = {Algorithmic Learning Theory, 10th International Conference, {ALT}
'99, Tokyo, Japan, December 6-8, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1720},
pages = {276--290},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46769-6\_23},
doi = {10.1007/3-540-46769-6\_23},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alt/StephanZ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocolt/OttS99,
author = {Matthias Ott and
Frank Stephan},
editor = {Paul Fischer and
Hans Ulrich Simon},
title = {Avoiding Coding Tricks by Hyperrobust Learning},
booktitle = {Computational Learning Theory, 4th European Conference, EuroCOLT '99,
Nordkirchen, Germany, March 29-31, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1572},
pages = {183--197},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-49097-3\_15},
doi = {10.1007/3-540-49097-3\_15},
timestamp = {Fri, 08 Sep 2023 21:18:19 +0200},
biburl = {https://dblp.org/rec/conf/eurocolt/OttS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/GasarchPSV98,
author = {William I. Gasarch and
Mark G. Pleszkoch and
Frank Stephan and
Mahendran Velauthapillai},
title = {Classification Using Information},
journal = {Ann. Math. Artif. Intell.},
volume = {23},
number = {1-2},
pages = {147--168},
year = {1998},
url = {https://doi.org/10.1023/A:1018916324775},
doi = {10.1023/A:1018916324775},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/GasarchPSV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Stephan98,
author = {Frank Stephan},
title = {Learning via Queries and Oracles},
journal = {Ann. Pure Appl. Log.},
volume = {94},
number = {1-3},
pages = {273--296},
year = {1998},
url = {https://doi.org/10.1016/S0168-0072(97)00077-8},
doi = {10.1016/S0168-0072(97)00077-8},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Stephan98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/BorchertRS98,
author = {Bernd Borchert and
Desh Ranjan and
Frank Stephan},
title = {On the Computational Complexity of Some Classical Equivalence Relations
on Boolean Functions},
journal = {Theory Comput. Syst.},
volume = {31},
number = {6},
pages = {679--693},
year = {1998},
url = {https://doi.org/10.1007/s002240000109},
doi = {10.1007/S002240000109},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/BorchertRS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FortnowFGKKSS98,
author = {Lance Fortnow and
Rusins Freivalds and
William I. Gasarch and
Martin Kummer and
Stuart A. Kurtz and
Carl H. Smith and
Frank Stephan},
title = {On the Relative Sizes of Learnable Sets},
journal = {Theor. Comput. Sci.},
volume = {197},
number = {1-2},
pages = {139--156},
year = {1998},
url = {https://doi.org/10.1016/S0304-3975(97)00175-8},
doi = {10.1016/S0304-3975(97)00175-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/FortnowFGKKSS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/CaseOSS98,
author = {John Case and
Matthias Ott and
Arun Sharma and
Frank Stephan},
editor = {Michael M. Richter and
Carl H. Smith and
Rolf Wiehagen and
Thomas Zeugmann},
title = {Learning to Win Process-Control Games Watching Game-Masters},
booktitle = {Algorithmic Learning Theory, 9th International Conference, {ALT} '98,
Otzenhausen, Germany, October 8-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1501},
pages = {31--45},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49730-7\_3},
doi = {10.1007/3-540-49730-7\_3},
timestamp = {Wed, 22 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alt/CaseOSS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/CaseJKSS98,
author = {John Case and
Sanjay Jain and
Susanne Kaufmann and
Arun Sharma and
Frank Stephan},
editor = {Michael M. Richter and
Carl H. Smith and
Rolf Wiehagen and
Thomas Zeugmann},
title = {Predictive Learning Models for Concept Drift},
booktitle = {Algorithmic Learning Theory, 9th International Conference, {ALT} '98,
Otzenhausen, Germany, October 8-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1501},
pages = {276--290},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49730-7\_21},
doi = {10.1007/3-540-49730-7\_21},
timestamp = {Tue, 21 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alt/CaseJKSS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/StephanV98,
author = {Frank Stephan and
Yuri Ventsov},
editor = {Michael M. Richter and
Carl H. Smith and
Rolf Wiehagen and
Thomas Zeugmann},
title = {Learning Algebraic Structures from Text Using Semantical Knowledge},
booktitle = {Algorithmic Learning Theory, 9th International Conference, {ALT} '98,
Otzenhausen, Germany, October 8-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1501},
pages = {321--335},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49730-7\_24},
doi = {10.1007/3-540-49730-7\_24},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alt/StephanV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colt/CaseJOSS98,
author = {John Case and
Sanjay Jain and
Matthias Ott and
Arun Sharma and
Frank Stephan},
editor = {Peter L. Bartlett and
Yishay Mansour},
title = {Robust Learning Aided by Context},
booktitle = {Proceedings of the Eleventh Annual Conference on Computational Learning
Theory, {COLT} 1998, Madison, Wisconsin, USA, July 24-26, 1998},
pages = {44--55},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/279943.279952},
doi = {10.1145/279943.279952},
timestamp = {Tue, 21 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/colt/CaseJOSS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BorchertKS98,
author = {Bernd Borchert and
Dietrich Kuske and
Frank Stephan},
editor = {Kim Guldstrand Larsen and
Sven Skyum and
Glynn Winskel},
title = {On Existentially First-Order Definable Languages and Their Relation
to {NP}},
booktitle = {Automata, Languages and Programming, 25th International Colloquium,
ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1443},
pages = {17--28},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055037},
doi = {10.1007/BFB0055037},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BorchertKS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/JockuschS97,
author = {Carl G. Jockusch Jr. and
Frank Stephan},
title = {Correction to "A Cohesive Set which is not High"},
journal = {Math. Log. Q.},
volume = {43},
pages = {569},
year = {1997},
url = {https://doi.org/10.1002/malq.19970430412},
doi = {10.1002/MALQ.19970430412},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/JockuschS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Stephan97,
author = {Frank Stephan},
title = {Noisy Inference and Oracles},
journal = {Theor. Comput. Sci.},
volume = {185},
number = {1},
pages = {129--157},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(97)00018-2},
doi = {10.1016/S0304-3975(97)00018-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Stephan97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colt/SharmaSV97,
author = {Arun Sharma and
Frank Stephan and
Yuri Ventsov},
editor = {Yoav Freund and
Robert E. Schapire},
title = {Generalized Notions of Mind Change Complexity},
booktitle = {Proceedings of the Tenth Annual Conference on Computational Learning
Theory, {COLT} 1997, Nashville, Tennessee, USA, July 6-9, 1997},
pages = {96--108},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/267460.267485},
doi = {10.1145/267460.267485},
timestamp = {Wed, 22 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/colt/SharmaSV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colt/KaufmannS97,
author = {Susanne Kaufmann and
Frank Stephan},
editor = {Yoav Freund and
Robert E. Schapire},
title = {Resource Bounded Next Value and Explanatory Identification: Learning
Automata, Patterns and Polynomials On-Line},
booktitle = {Proceedings of the Tenth Annual Conference on Computational Learning
Theory, {COLT} 1997, Nashville, Tennessee, USA, July 6-9, 1997},
pages = {263--274},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/267460.267509},
doi = {10.1145/267460.267509},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/colt/KaufmannS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/FernauS97,
author = {Henning Fernau and
Frank Stephan},
editor = {Symeon Bozapalidis},
title = {How Powerful is Unconditional Transfer? - When {UT} meets {AC}},
booktitle = {Proceedings of the 3rd International Conference Developments in Language
Theory, {DLT} 1997, Thessaloniki, Greece, July 20-23, 1997},
pages = {249--260},
publisher = {Aristotle University of Thessaloniki},
year = {1997},
timestamp = {Mon, 06 Feb 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlt/FernauS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocolt/OttS97,
author = {Matthias Ott and
Frank Stephan},
editor = {Shai Ben{-}David},
title = {Structural Measures for Games and Process Control in the Branch Learning
Model},
booktitle = {Computational Learning Theory, Third European Conference, EuroCOLT
'97, Jerusalem, Israel, March 17-19, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1208},
pages = {94--108},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-62685-9\_9},
doi = {10.1007/3-540-62685-9\_9},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/eurocolt/OttS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocolt/KaufmannS97,
author = {Susanne Kaufmann and
Frank Stephan},
editor = {Shai Ben{-}David},
title = {Robust Learning with Infinite Additional Information},
booktitle = {Computational Learning Theory, Third European Conference, EuroCOLT
'97, Jerusalem, Israel, March 17-19, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1208},
pages = {316--330},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-62685-9\_26},
doi = {10.1007/3-540-62685-9\_26},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocolt/KaufmannS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/StephanT97,
author = {Frank Stephan and
Sebastiaan Terwijn},
editor = {Bogdan S. Chlebus and
Ludwik Czaja},
title = {The Complexity of Universal Text-Learners},
booktitle = {Fundamentals of Computation Theory, 11th International Symposium,
{FCT} '97, Krak{\'{o}}w, Poland, September 1-3, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1279},
pages = {441--451},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0036205},
doi = {10.1007/BFB0036205},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/StephanT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/OttS97,
author = {Matthias Ott and
Frank Stephan},
editor = {Hon Wai Leong and
Hiroshi Imai and
Sanjay Jain},
title = {The Complexity of Learning Branches and Strategies from Queries},
booktitle = {Algorithms and Computation, 8th International Symposium, {ISAAC} '97,
Singapore, December 17-19, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1350},
pages = {283--292},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63890-3\_31},
doi = {10.1007/3-540-63890-3\_31},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isaac/OttS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/BorchertS97,
author = {Bernd Borchert and
Frank Stephan},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Looking for an Analogue of Rice's Theorem in Circuit Complexity Theory},
booktitle = {Computational Logic and Proof Theory, 5th Kurt G{\"{o}}del Colloquium,
KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1289},
pages = {114--127},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63385-5\_37},
doi = {10.1007/3-540-63385-5\_37},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/kgc/BorchertS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/CaseKSS97,
author = {John Case and
Efim B. Kinber and
Arun Sharma and
Frank Stephan},
editor = {R{\"{u}}diger Reischuk and
Michel Morvan},
title = {On the Classification of Computable Languages},
booktitle = {{STACS} 97, 14th Annual Symposium on Theoretical Aspects of Computer
Science, L{\"{u}}beck, Germany, February 27 - March 1, 1997,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1200},
pages = {225--236},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0023462},
doi = {10.1007/BFB0023462},
timestamp = {Wed, 22 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/CaseKSS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/ECCC-TR97-013,
author = {Bernd Borchert and
Dietrich Kuske and
Frank Stephan},
title = {On Existentially First-Order Definable Languages and their Relation
to {NP}},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR97-013}},
year = {1997},
url = {https://eccc.weizmann.ac.il/eccc-reports/1997/TR97-013/index.html},
eprinttype = {ECCC},
eprint = {TR97-013},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/ECCC-TR97-013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/KummerS96,
author = {Martin Kummer and
Frank Stephan},
title = {On the Structure of Degrees of Inferability},
journal = {J. Comput. Syst. Sci.},
volume = {52},
number = {2},
pages = {214--238},
year = {1996},
url = {https://doi.org/10.1006/jcss.1996.0018},
doi = {10.1006/JCSS.1996.0018},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/KummerS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/KummerS96a,
author = {Martin Kummer and
Frank Stephan},
title = {Inclusion Problems in Parallel Learning and Games},
journal = {J. Comput. Syst. Sci.},
volume = {52},
number = {3},
pages = {403--420},
year = {1996},
url = {https://doi.org/10.1006/jcss.1996.0031},
doi = {10.1006/JCSS.1996.0031},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/KummerS96a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/CaseJS96,
author = {John Case and
Sanjay Jain and
Frank Stephan},
editor = {Setsuo Arikawa and
Arun Sharma},
title = {Vacillatory and {BC} Learning on Noisy Data},
booktitle = {Algorithmic Learning Theory, 7th International Workshop, {ALT} '96,
Sydney, Australia, October 23-25, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1160},
pages = {285--298},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61863-5\_53},
doi = {10.1007/3-540-61863-5\_53},
timestamp = {Wed, 22 Apr 2020 13:23:35 +0200},
biburl = {https://dblp.org/rec/conf/alt/CaseJS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colt/MerkleS96,
author = {Wolfgang Merkle and
Frank Stephan},
editor = {Avrim Blum and
Michael J. Kearns},
title = {Trees and Learning},
booktitle = {Proceedings of the Ninth Annual Conference on Computational Learning
Theory, {COLT} 1996, Desenzano del Garda, Italy, June 28-July 1, 1996},
pages = {270--279},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/238061.238118},
doi = {10.1145/238061.238118},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/colt/MerkleS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BeigelGKMS96,
author = {Richard Beigel and
William I. Gasarch and
Martin Kummer and
Timothy H. McNicholl and
Frank Stephan},
editor = {Wojciech Penczek and
Andrzej Szalas},
title = {On the Query Complexity of Sets},
booktitle = {Mathematical Foundations of Computer Science 1996, 21st International
Symposium, MFCS'96, Cracow, Poland, September 2-6, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1113},
pages = {206--217},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61550-4\_149},
doi = {10.1007/3-540-61550-4\_149},
timestamp = {Mon, 11 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/BeigelGKMS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/ECCC-TR96-033,
author = {Bernd Borchert and
Desh Ranjan and
Frank Stephan},
title = {On the Computational Complexity of some Classical Equivalence Relations
on Boolean Functions},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR96-033}},
year = {1996},
url = {https://eccc.weizmann.ac.il/eccc-reports/1996/TR96-033/index.html},
eprinttype = {ECCC},
eprint = {TR96-033},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/ECCC-TR96-033.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/ECCC-TR96-060,
author = {Bernd Borchert and
Frank Stephan},
title = {Looking for an Analogue of Rice's Theorem in Complexity Theory},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR96-060}},
year = {1996},
url = {https://eccc.weizmann.ac.il/eccc-reports/1996/TR96-060/index.html},
eprinttype = {ECCC},
eprint = {TR96-060},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/ECCC-TR96-060.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BeigelKS95a,
author = {Richard Beigel and
Martin Kummer and
Frank Stephan},
title = {Quantifying the Amount of Verboseness},
journal = {Inf. Comput.},
volume = {118},
number = {1},
pages = {73--90},
year = {1995},
url = {https://doi.org/10.1006/inco.1995.1053},
doi = {10.1006/INCO.1995.1053},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BeigelKS95a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KummerS95,
author = {Martin Kummer and
Frank Stephan},
title = {Recursion Theoretic Properties of Frequency Computation and Bounded
Queries},
journal = {Inf. Comput.},
volume = {120},
number = {1},
pages = {59--77},
year = {1995},
url = {https://doi.org/10.1006/inco.1995.1099},
doi = {10.1006/INCO.1995.1099},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/KummerS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BeigelKS95b,
author = {Richard Beigel and
Martin Kummer and
Frank Stephan},
title = {Approximable Sets},
journal = {Inf. Comput.},
volume = {120},
number = {2},
pages = {304--314},
year = {1995},
url = {https://doi.org/10.1006/inco.1995.1115},
doi = {10.1006/INCO.1995.1115},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BeigelKS95b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KinberS95,
author = {Efim B. Kinber and
Frank Stephan},
title = {Language Learning from Texts: Mindchanges, Limited Memory, and Monotonicity},
journal = {Inf. Comput.},
volume = {123},
number = {2},
pages = {224--241},
year = {1995},
url = {https://doi.org/10.1006/inco.1995.1170},
doi = {10.1006/INCO.1995.1170},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/KinberS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/Stephan95,
author = {Frank Stephan},
editor = {Klaus P. Jantke and
Takeshi Shinohara and
Thomas Zeugmann},
title = {Noisy Inference and Oracles},
booktitle = {Algorithmic Learning Theory, 6th International Conference, {ALT} '95,
Fukuoka, Japan, October 18-20, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {997},
pages = {185--200},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60454-5\_38},
doi = {10.1007/3-540-60454-5\_38},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/alt/Stephan95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colt/Stephan95,
author = {Frank Stephan},
editor = {Wolfgang Maass},
title = {Learning via Queries and Oracles},
booktitle = {Proceedings of the Eigth Annual Conference on Computational Learning
Theory, {COLT} 1995, Santa Cruz, California, USA, July 5-8, 1995},
pages = {162--169},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/225298.225317},
doi = {10.1145/225298.225317},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/colt/Stephan95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colt/KinberS95,
author = {Efim B. Kinber and
Frank Stephan},
editor = {Wolfgang Maass},
title = {Language Learning from Texts: Mind Changes, Limited Memory and Monotonicity
(Extended Abstract)},
booktitle = {Proceedings of the Eigth Annual Conference on Computational Learning
Theory, {COLT} 1995, Santa Cruz, California, USA, July 5-8, 1995},
pages = {182--189},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/225298.225320},
doi = {10.1145/225298.225320},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/colt/KinberS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/KummerS95,
author = {Martin Kummer and
Frank Stephan},
editor = {Horst Reichel},
title = {The Power of Frequency Computation (Extended Abstract)},
booktitle = {Fundamentals of Computation Theory, 10th International Symposium,
{FCT} '95, Dresden, Germany, August 22-25, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {965},
pages = {323--332},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60249-6\_64},
doi = {10.1007/3-540-60249-6\_64},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/KummerS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/FortnowFGKKSS95,
author = {Lance Fortnow and
Rusins Freivalds and
William I. Gasarch and
Martin Kummer and
Stuart A. Kurtz and
Carl H. Smith and
Frank Stephan},
editor = {Zolt{\'{a}}n F{\"{u}}l{\"{o}}p and
Ferenc G{\'{e}}cseg},
title = {Measure, Category and Learning Theory},
booktitle = {Automata, Languages and Programming, 22nd International Colloquium,
ICALP95, Szeged, Hungary, July 10-14, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {944},
pages = {558--569},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60084-1\_105},
doi = {10.1007/3-540-60084-1\_105},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/FortnowFGKKSS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/FortnowGJKKKPSSS94,
author = {Lance Fortnow and
William I. Gasarch and
Sanjay Jain and
Efim B. Kinber and
Martin Kummer and
Stuart A. Kurtz and
Mark Pleszkovich and
Theodore A. Slaman and
Robert Solovay and
Frank Stephan},
title = {Extremes in the Degrees of Inferability},
journal = {Ann. Pure Appl. Log.},
volume = {66},
number = {3},
pages = {231--276},
year = {1994},
url = {https://doi.org/10.1016/0168-0072(94)90035-3},
doi = {10.1016/0168-0072(94)90035-3},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/FortnowGJKKKPSSS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/StephanK94,
author = {Frank Stephan and
Martin Kummer},
title = {Effective Search Problems},
journal = {Math. Log. Q.},
volume = {40},
pages = {224--236},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400209},
doi = {10.1002/MALQ.19940400209},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/StephanK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/BeigelKS94,
author = {Richard Beigel and
Martin Kummer and
Frank Stephan},
title = {Approximable Sets},
booktitle = {Proceedings of the Ninth Annual Structure in Complexity Theory Conference,
Amsterdam, The Netherlands, June 28 - July 1, 1994},
pages = {12--23},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/SCT.1994.315822},
doi = {10.1109/SCT.1994.315822},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coco/BeigelKS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colt/KummerS94,
author = {Martin Kummer and
Frank Stephan},
editor = {Manfred K. Warmuth},
title = {Inclusion Problems in Parallel Learning and Games (Extended Abstract)},
booktitle = {Proceedings of the Seventh Annual {ACM} Conference on Computational
Learning Theory, {COLT} 1994, New Brunswick, NJ, USA, July 12-15,
1994},
pages = {287--298},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/180139.181156},
doi = {10.1145/180139.181156},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/colt/KummerS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/KummerS93,
author = {Martin Kummer and
Frank Stephan},
title = {Weakly Semirecursive Sets and r.e. Orderings},
journal = {Ann. Pure Appl. Log.},
volume = {60},
number = {2},
pages = {133--150},
year = {1993},
url = {https://doi.org/10.1016/0168-0072(93)90040-K},
doi = {10.1016/0168-0072(93)90040-K},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/KummerS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/StephanJ93,
author = {Frank Stephan and
Carl G. Jockusch Jr.},
title = {A Cohesive Set which is not High},
journal = {Math. Log. Q.},
volume = {39},
pages = {515--530},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390153},
doi = {10.1002/MALQ.19930390153},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/StephanJ93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/BraunS93,
author = {Heinrich Braun and
Frank Stephan},
title = {On Optimizing Diameter and Average Distance of Directed Interconnected
Networks},
journal = {{IEEE} Trans. Computers},
volume = {42},
number = {3},
pages = {353--358},
year = {1993},
url = {https://doi.org/10.1109/12.210177},
doi = {10.1109/12.210177},
timestamp = {Tue, 01 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tc/BraunS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colt/KummerS93,
author = {Martin Kummer and
Frank Stephan},
editor = {Lenny Pitt},
title = {On the Structure of Degrees of Inferability},
booktitle = {Proceedings of the Sixth Annual {ACM} Conference on Computational
Learning Theory, {COLT} 1993, Santa Cruz, CA, USA, July 26-28, 1993},
pages = {117--126},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/168304.168319},
doi = {10.1145/168304.168319},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/colt/KummerS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/KummerS93,
author = {Martin Kummer and
Frank Stephan},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Recursion Theoretic Properties of Frequency Computation and Bounded
Queries (Extended Abstract)},
booktitle = {Computational Logic and Proof Theory, Third Kurt G{\"{o}}del
Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {713},
pages = {243--254},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0022573},
doi = {10.1007/BFB0022573},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/kgc/KummerS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/BeigelKS92,
author = {Richard Beigel and
Martin Kummer and
Frank Stephan},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {Quantifying the Amount of Verboseness},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {21--32},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023860},
doi = {10.1007/BFB0023860},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/BeigelKS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Stephan90,
author = {Frank Stephan},
title = {X-Raeume als Verallgemeinerung topologischer Raeume},
school = {Karlsruhe University, Germany},
year = {1990},
url = {https://publikationen.bibliothek.kit.edu/16490},
timestamp = {Fri, 12 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/basesearch/Stephan90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-08-27 21:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
