Ziyuan Gao

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 31

Top Topics

Regular Patterns

Pattern Languages

Top Venues

Theor. Comput. Sci.

Publications

Karen Frilya Celine, Ziyuan Gao, Sanjay Jain, Ryan Lou, Frank Stephan, Guohua Wu
Quasi-Isometric Reductions Between Infinite Strings. CoRR (2024)
Karen Frilya Celine, Ziyuan Gao, Sanjay Jain, Ryan Lou, Frank Stephan, Guohua Wu
Quasi-Isometric Reductions Between Infinite Strings. MFCS (2024)
David R. Bélanger, Ziyuan Gao, Sanjay Jain, Wei Li, Frank Stephan
Learnability and positive equivalence relations. Inf. Comput. 295 (Part B) (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)
Ziyuan Gao, Sanjay Jain, Zeyong Li, Ammar Fathin Sabili, Frank Stephan
A Computation Model with Automatic Functions and Relations as Primitive Operations. CoRR (2022)
Fang Liu, Fang He, Ziyuan Gao, Yingji Luo
On the Reform of Virtual Simulation Experiment Teaching Mode for Economics and Management Specialty: A Case Study. ICDEL (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)
Ziyuan Gao, Boting Yang
The one-cop-moves game on planar graphs. J. Comb. Optim. 42 (3) (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)
David R. Bélanger, Ziyuan Gao, Sanjay Jain, Wei Li, Frank Stephan
Learnability and Positive Equivalence Relations. CoRR (2020)
Fahimeh Bayeh, Ziyuan Gao, Sandra Zilles
Finitely distinguishable erasing pattern languages. Theor. Comput. Sci. 808 (2020)
Ziyuan Gao, Sanjay Jain, Ji Qi, Philipp Schlicht, Frank Stephan, Jacob Tarr
Ordered Semiautomatic Rings with Applications to Geometry. LATA (2020)
Ziyuan Gao
The teaching complexity of erasing pattern languages with bounded variable frequency. CoRR (2019)
Ziyuan Gao
The Teaching Complexity of Erasing Pattern Languages with Bounded Variable Frequency. DLT (2019)
Ziyuan Gao, Sanjay Jain, Bakhadyr Khoussainov, Wei Li, Alexander G. Melnikov, Karen Seidel, Frank Stephan
Random Subgroups of Rationals. MFCS (2019)
Ziyuan Gao, Sanjay Jain, Bakhadyr Khoussainov, Wei Li, Alexander G. Melnikov, Karen Seidel, Frank Stephan
Random Subgroups of Rationals. CoRR (2019)
Ziyuan Gao, Hans Ulrich Simon, Sandra Zilles
On the teaching complexity of linear sets. Theor. Comput. Sci. 716 (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)
Ziyuan Gao, Zeinab Mazadi, Regan Meloche, Hans Ulrich Simon, Sandra Zilles
Distinguishing pattern languages with membership examples. Inf. Comput. 256 (2017)
Ziyuan Gao, David G. Kirkpatrick, Christoph Ries, Hans Ulrich Simon, Sandra Zilles
Preference-based Teaching of Unions of Geometric Objects. ALT (2017)
Ziyuan Gao, Christoph Ries, Hans Ulrich Simon, Sandra Zilles
Preference-based Teaching. CoRR (2017)
Ziyuan Gao, Boting Yang
The Cop Number of the One-Cop-Moves Game on Planar Graphs. COCOA (2) (2017)
Fahimeh Bayeh, Ziyuan Gao, Sandra Zilles
Erasing Pattern Languages Distinguishable by a Finite Number of Strings. ALT (2017)
Ziyuan Gao, Boting Yang
The Cop Number of the One-Cop-Moves Game on Planar Graphs. CoRR (2017)
Ziyuan Gao, Christoph Ries, Hans Ulrich Simon, Sandra Zilles
Preference-based Teaching. J. Mach. Learn. Res. 18 (2017)
Ziyuan Gao, Christoph Ries, Hans Ulrich Simon, Sandra Zilles
Preference-based Teaching. COLT (2016)
Ziyuan Gao, Frank Stephan, Sandra Zilles
Partial learning of recursively enumerable languages. Theor. Comput. Sci. 620 (2016)
Achilles Beros, Ziyuan Gao, Sandra Zilles
Classifying the Arithmetical Complexity of Teaching Models. ALT (2016)
Ziyuan Gao, Hans Ulrich Simon, Sandra Zilles
On the Teaching Complexity of Linear Sets. ALT (2015)
Ziyuan Gao, Frank Stephan, Sandra Zilles
Combining Models of Approximation with Partial Learning. ALT (2015)
Ziyuan Gao, Frank Stephan, Sandra Zilles
Combining Models of Approximation with Partial Learning. CoRR (2015)
Zeinab Mazadi, Ziyuan Gao, Sandra Zilles
Distinguishing Pattern Languages with Membership Examples. LATA (2014)
Ziyuan Gao, Frank Stephan
Confident and consistent partial learning of recursive functions. Theor. Comput. Sci. 558 (2014)
Ziyuan Gao, Frank Stephan, Sandra Zilles
Partial Learning of Recursively Enumerable Languages. ALT (2013)
Ziyuan Gao, Sanjay Jain, Frank Stephan
On Conservative Learning of Recursively Enumerable Languages. CiE (2013)
Ziyuan Gao, Frank Stephan
Learnability of Co-r.e. Classes. LATA (2012)
Ziyuan Gao, Frank Stephan
Confident and Consistent Partial Learning of Recursive Functions. ALT (2012)
Ziyuan Gao, Frank Stephan, Guohua Wu, Akihiro Yamamoto
Learning Families of Closed Sets in Matroids. Computation, Physics and Beyond (2012)