Sanjay Jain

ORCID

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 66

Top Venues

Publications

Karen Frilya Celine, Ziyuan Gao, Sanjay Jain, Ryan Lou, Frank Stephan, Guohua Wu
Quasi-Isometric Reductions Between Infinite Strings. CoRR (2024)
Gordon Hoi, Sanjay Jain, Ammar Fathin Sabili, Frank Stephan
A Bisection Approach to Subcubic Maximum Induced Matching. WALCOM (2024)
Karen Frilya Celine, Ziyuan Gao, Sanjay Jain, Ryan Lou, Frank Stephan, Guohua Wu
Quasi-Isometric Reductions Between Infinite Strings. MFCS (2024)
Dmitry Berdinsky, Sanjay Jain, Bakhadyr Khoussainov, Frank Stephan
String Compression in FA-Presentable Structures. CoRR (2023)
Gordon Hoi, Sanjay Jain, Frank Stephan, Christopher Tan
Languages given by Finite Automata over the Unary Alphabet. CoRR (2023)
Wojciech Czerwinski, Maciej Debski, Tomasz Gogasz, Gordon Hoi, Sanjay Jain, Michal Skrzypczak, Frank Stephan, Christopher Tan
Languages Given by Finite Automata over the Unary Alphabet. FSTTCS (2023)
David R. Bélanger, Ziyuan Gao, Sanjay Jain, Wei Li, Frank Stephan
Learnability and positive equivalence relations. Inf. Comput. 295 (Part B) (2023)
Dmitry Berdinsky, Sanjay Jain, Bakhadyr Khoussainov, Frank Stephan
String compression in FA-presentable structures. Theor. Comput. Sci. 947 (2023)
Sanjay Jain, Xiaodong Jia, Ammar Fathin Sabili, Frank Stephan
Addition machines, automatic functions and open problems of Floyd and Knuth. J. Comput. Syst. Sci. 136 (2023)
Ziyuan Gao, Sanjay Jain, Zeyong Li, Ammar Fathin Sabili, Frank Stephan
Alternating Automatic Register Machines. ICTAC (2022)
Ziyuan Gao, Sanjay Jain, Zeyong Li, Ammar Fathin Sabili, Frank Stephan
A computation model with automatic functions and relations as primitive operations. Theor. Comput. Sci. 924 (2022)
Sanjay Jain, Birzhan Moldagaliyev, Frank Stephan, Tien Dat Tran
Lamplighter groups and automata. Acta Informatica 59 (4) (2022)
Sanjay Jain, Shao Ning Kuek, Eric Martin, Frank Stephan
Learners based on transducers. Inf. Comput. 283 (2022)
Ziyuan Gao, Sanjay Jain, Zeyong Li, Ammar Fathin Sabili, Frank Stephan
A Computation Model with Automatic Functions and Relations as Primitive Operations. CoRR (2022)
Cristian S. Calude, Sanjay Jain, Bakhadyr Khoussainov, Wei Li, Frank Stephan
Deciding Parity Games in Quasi-polynomial Time. SIAM J. Comput. 51 (2) (2022)
Cristian S. Calude, Karen Frilya Celine, Ziyuan Gao, Sanjay Jain, Ludwig Staiger, Frank Stephan
Bi-immunity over different size alphabets. Theor. Comput. Sci. 894 (2021)
David R. Bélanger, Ziyuan Gao, Sanjay Jain, Wei Li, Frank Stephan
Learnability and Positive Equivalence Relations. LATA (2021)
Sanjay Jain, Xiaodong Jia, Ammar Fathin Sabili, Frank Stephan
Addition Machines, Automatic Functions and Open Problems of Floyd and Knuth. CoRR (2021)
Ziyuan Gao, Sanjay Jain, Ji Qi, Philipp Schlicht, Frank Stephan, Jacob Tarr
Ordered Semiautomatic Rings with Applications to Geometry. CoRR (2021)
Ziyuan Gao, Sanjay Jain, Zeyong Li, Ammar Fathin Sabili, Frank Stephan
Alternating Automatic Register Machines. CoRR (2021)
Sanjay Jain, Frank Stephan, Thomas Zeugmann
On the amount of nonconstructivity in learning formal languages from text. Inf. Comput. 281 (2021)
Gordon Hoi, Sanjay Jain, Frank Stephan
A Faster Exact Algorithm to Count X3SAT Solutions. CP (2020)
David R. Bélanger, Ziyuan Gao, Sanjay Jain, Wei Li, Frank Stephan
Learnability and Positive Equivalence Relations. CoRR (2020)
Gordon Hoi, Sanjay Jain, Frank Stephan
A Faster Exact Algorithm to Count X3SAT Solutions. CoRR (2020)
Cristian S. Calude, Sanjay Jain, Wolfgang Merkle, Frank Stephan
Searching for shortest and least programs. Theor. Comput. Sci. 807 (2020)
Ziyuan Gao, Sanjay Jain, Ji Qi, Philipp Schlicht, Frank Stephan, Jacob Tarr
Ordered Semiautomatic Rings with Applications to Geometry. LATA (2020)
Gordon Hoi, Sanjay Jain, Sibylle Schwarz, Frank Stephan
Exact Satisfiabitity with Jokers. TAMC (2019)
Sanjay Jain, Bakhadyr Khoussainov, Philipp Schlicht, Frank Stephan
The isomorphism problem for tree-automatic ordinals with addition. Inf. Process. Lett. 149 (2019)
Ziyuan Gao, Sanjay Jain, Bakhadyr Khoussainov, Wei Li, Alexander G. Melnikov, Karen Seidel, Frank Stephan
Random Subgroups of Rationals. MFCS (2019)
Ian Herbert, Sanjay Jain, Steffen Lempp, Manat Mustafa, Frank Stephan
Reductions between types of numberings. Ann. Pure Appl. Log. 170 (12) (2019)
Sanjay Jain, Alexei Miasnikov, Frank Stephan
The complexity of verbal languages over groups. J. Comput. Syst. Sci. 101 (2019)
Gordon Hoi, Sanjay Jain, Frank Stephan
A Fast Exponential Time Algorithm for Max Hamming Distance X3SAT. CoRR (2019)
John Fearnley, Sanjay Jain, Bart de Keijzer, Sven Schewe, Frank Stephan, Dominik Wojtczak
An ordered approach to solving parity games in quasi-polynomial time and quasi-linear space. Int. J. Softw. Tools Technol. Transf. 21 (3) (2019)
Gordon Hoi, Sanjay Jain, Frank Stephan
A Fast Exponential Time Algorithm for Max Hamming Distance X3SAT. FSTTCS (2019)
Sanjay Jain, Efim B. Kinber
Intrinsic complexity of partial learning. Theor. Comput. Sci. 776 (2019)
Ziyuan Gao, Sanjay Jain, Bakhadyr Khoussainov, Wei Li, Alexander G. Melnikov, Karen Seidel, Frank Stephan
Random Subgroups of Rationals. CoRR (2019)
Sanjay Jain, Bakhadyr Khoussainov, Philipp Schlicht, Frank Stephan
The isomorphism problem for tree-automatic ordinals with addition. CoRR (2018)
Ziyuan Gao, Sanjay Jain, Frank Stephan, Thomas Zeugmann
On the Help of Bounded Shot Verifiers, Comparators and Standardisers for Learnability in Inductive Inference. ALT (2018)
John Case, Sanjay Jain, Frank Stephan
Effectivity questions for Kleene's recursion theorem. Theor. Comput. Sci. 733 (2018)
Sanjay Jain, Shao Ning Kuek, Eric Martin, Frank Stephan
Learners Based on Transducers. LATA (2018)
Sanjay Jain, Bakhadyr Khoussainov, Frank Stephan
Finitely generated semiautomatic groups. Comput. 7 (2-3) (2018)
Rupert Hölzl, Sanjay Jain, Frank Stephan
Learning pattern languages over groups. Theor. Comput. Sci. 742 (2018)
John Fearnley, Sanjay Jain, Sven Schewe, Frank Stephan, Dominik Wojtczak
An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space. CoRR (2017)
Rupert Hölzl, Sanjay Jain, Philipp Schlicht, Karen Seidel, Frank Stephan
Automatic Learning from Repetitive Texts. ALT (2017)
Sanjay Jain, Frank Stephan, Jason Teutsch
Closed left-r.e. sets. Comput. 6 (1) (2017)
Sanjay Jain, Jason Teutsch
Enumerations including laconic enumerators. Theor. Comput. Sci. 700 (2017)
Sanjay Jain, Efim B. Kinber, Frank Stephan
Automatic learning from positive data and negative counterexamples. Inf. Comput. 255 (2017)
John Fearnley, Sanjay Jain, Sven Schewe, Frank Stephan, Dominik Wojtczak
An ordered approach to solving parity games in quasi polynomial time and quasi linear space. SPIN (2017)
Sanjay Jain, Bakhadyr Khoussainov, Frank Stephan, Dan Teng, Siyuan Zou
Semiautomatic Structures. Theory Comput. Syst. 61 (4) (2017)
Cristian S. Calude, Sanjay Jain, Bakhadyr Khoussainov, Wei Li, Frank Stephan
Deciding parity games in quasipolynomial time. STOC (2017)
Rahul Jain, Sanjay Jain, Frank Stephan
Special issue on the conference Theory and Applications of Models of Computation. Inf. Comput. 256 (2017)
Sanjay Jain, Efim B. Kinber
Intrinsic Complexity of Partial Learning. ALT (2016)
Sanjay Jain, Timo Kötzing, Frank Stephan
Enlarging learnable classes. Inf. Comput. 251 (2016)
Sanjay Jain, Bakhadyr Khoussainov, Frank Stephan
Finitely Generated Semiautomatic Groups. CiE (2016)
Jason Teutsch, Sanjay Jain, Prateek Saxena
When Cryptocurrencies Mine Their Own Business. Financial Cryptography (2016)
Sanjay Jain, Timo Kötzing, Junqi Ma, Frank Stephan
On the role of update constraints and text-types in iterative learning. Inf. Comput. 247 (2016)
Sanjay Jain, Bakhadyr Khoussainov, Philipp Schlicht, Frank Stephan
Tree-automatic scattered linear orders. Theor. Comput. Sci. 626 (2016)
Sanjay Jain, Efim B. Kinber
Parallel learning of automatic classes of languages. Theor. Comput. Sci. 650 (2016)
Rupert Hölzl, Sanjay Jain, Frank Stephan
Inductive inference and reverse mathematics. Ann. Pure Appl. Log. 167 (12) (2016)
Rupert Hölzl, Sanjay Jain, Frank Stephan
Learning Pattern Languages over Groups. ALT (2016)
Sanjay Jain, Frank Stephan
Learning Automatic Families of Languages. SOFSEM (2016)
Sanjay Jain, Rémi Munos, Frank Stephan, Thomas Zeugmann
Guest Editors' foreword. Theor. Comput. Sci. 620 (2016)
Sanjay Jain, Prateek Saxena, Frank Stephan, Jason Teutsch
How to verify computation with a rational network. CoRR (2016)
Cristian S. Calude, Rusins Freivalds, Sanjay Jain, Frank Stephan
Deterministic Frequency Pushdown Automata. J. Univers. Comput. Sci. 21 (12) (2015)
Rupert Hölzl, Sanjay Jain, Frank Stephan
Inductive Inference and Reverse Mathematics. STACS (2015)
Sanjay Jain, Junqi Ma, Frank Stephan
Priced Learning. ALT (2015)
Sanjay Jain, Efim B. Kinber
Parallel Learning of Automatic Classes of Languages. ALT (2014)
Sanjay Jain, Timo Kötzing, Junqi Ma, Frank Stephan
On the Role of Update Constraints and Text-Types in Iterative Learning. ALT (2014)
Alexander Gavruskin, Sanjay Jain, Bakhadyr Khoussainov, Frank Stephan
Graphs realised by r.e. equivalence relations. Ann. Pure Appl. Log. 165 (7-8) (2014)
John Case, Sanjay Jain, Yuh Shin Ong, Pavel Semukhin, Frank Stephan
Automatic learners with feedback queries. J. Comput. Syst. Sci. 80 (4) (2014)
Sanjay Jain, Bakhadyr Khoussainov, Frank Stephan, Dan Teng, Siyuan Zou
Semiautomatic Structures. CSR (2014)
Sanjay Jain, Eric Martin, Frank Stephan
Robust learning of automatic classes of languages. J. Comput. Syst. Sci. 80 (4) (2014)
Sanjay Jain, Efim B. Kinber
Learning from Positive Data and Negative Counterexamples: A Survey. Computing with New Resources (2014)
Sanjay Jain, Eric Martin, Frank Stephan
Learning and classifying. Theor. Comput. Sci. 482 (2013)
Sanjay Jain, Rémi Munos, Frank Stephan, Thomas Zeugmann
Editors' Introduction. ALT (2013)
John Case, Sanjay Jain, Frank Stephan
Effectivity Questions for Kleene's Recursion Theorem. LFCS (2013)
Sanjay Jain, Efim B. Kinber
Mind change speed-up for learning languages from positive data. Theor. Comput. Sci. (2013)
Ziyuan Gao, Sanjay Jain, Frank Stephan
On Conservative Learning of Recursively Enumerable Languages. CiE (2013)
Sanjay Jain, Samuel E. Moelius III, Sandra Zilles
Learning without coding. Theor. Comput. Sci. 473 (2013)
John Case, Sanjay Jain, Samuel Seah, Frank Stephan
Automatic functions, linear time and learning. Log. Methods Comput. Sci. 9 (3) (2013)
John Case, Sanjay Jain, Samuel Seah, Frank Stephan
Automatic Functions, Linear Time and Learning. CiE (2012)
John Case, Sanjay Jain, Trong Dao Le, Yuh Shin Ong, Pavel Semukhin, Frank Stephan
Automatic learning of subclasses of pattern languages. Inf. Comput. 218 (2012)
Sanjay Jain, Efim B. Kinber
Mind Change Speed-up for Learning Languages from Positive Data. STACS (2012)
Sanjay Jain, Qinglong Luo, Frank Stephan
Learnability of automatic classes. J. Comput. Syst. Sci. 78 (6) (2012)
Sanjay Jain, Frank Stephan, Thomas Zeugmann
On the Amount of Nonconstructivity in Learning Formal Languages from Positive Data. TAMC (2012)
Sanjay Jain, Timo Kötzing, Frank Stephan
Enlarging Learnable Classes. ALT (2012)
Lorenzo Carlucci, Sanjay Jain, Frank Stephan
Learning with ordinal-bounded memory from positive data. J. Comput. Syst. Sci. 78 (5) (2012)
Sanjay Jain, Efim B. Kinber
Automatic Learning from Positive Data and Negative Counterexamples. ALT (2012)
Sanjay Jain, Alexei Miasnikov, Frank Stephan
The Complexity of Verbal Languages over Groups. LICS (2012)
John Case, Sanjay Jain, Yuh Shin Ong, Pavel Semukhin, Frank Stephan
Automatic Learners with Feedback Queries. CiE (2011)
Sanjay Jain, Frank Stephan, Jason Teutsch
Closed Left-R.E. Sets. TAMC (2011)
Sanjay Jain, Qinglong Luo, Pavel Semukhin, Frank Stephan
Uncountable automatic classes and learning. Theor. Comput. Sci. 412 (19) (2011)
Sanjay Jain, Efim B. Kinber
Iterative learning from texts and counterexamples using additional information. Mach. Learn. 84 (3) (2011)
Sanjay Jain, Eric Martin, Frank Stephan
Learning and Classifying. ALT (2011)
John Case, Sanjay Jain
Rice and Rice-Shapiro Theorems for transfinite correction grammars. Math. Log. Q. 57 (5) (2011)
John Case, Sanjay Jain, Trong Dao Le, Yuh Shin Ong, Pavel Semukhin, Frank Stephan
Automatic Learning of Subclasses of Pattern Languages. LATA (2011)
Sanjay Jain, Frank Stephan, Jason Teutsch
Index sets and universal numberings. J. Comput. Syst. Sci. 77 (4) (2011)
Sanjay Jain, Eric Martin, Frank Stephan
Robust Learning of Automatic Classes of Languages. ALT (2011)
Sanjay Jain
Hypothesis spaces for learning. Inf. Comput. 209 (3) (2011)
Sanjay Jain, Steffen Lange, Samuel E. Moelius, Sandra Zilles
Incremental learning with temporary memory. Theor. Comput. Sci. 411 (29-30) (2010)

Sanjay Jain.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sanjay Jain