Ziyuan Gao

According to our database, Ziyuan Gao authored at least 25 papers between 2012 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

A computation model with automatic functions and relations as primitive operations.

Ziyuan Gao, Sanjay Jain, Zeyong Li, Ammar Fathin Sabili, Frank Stephan

Theor. Comput. Sci., 2022

Alternating Automatic Register Machines.

Ziyuan Gao, Sanjay Jain, Zeyong Li, Ammar Fathin Sabili, Frank Stephan

Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

On the Reform of Virtual Simulation Experiment Teaching Mode for Economics and Management Specialty: A Case Study.

Fang Liu, Fang He, Ziyuan Gao, Yingji Luo

Proceedings of the ICDEL 2022: The 7th International Conference on Distance Education and Learning, Beijing, China, May 20, 2022

2021

Bi-immunity over different size alphabets.

Cristian S. Calude, Karen Frilya Celine, Ziyuan Gao, Sanjay Jain, Ludwig Staiger, Frank Stephan

Theor. Comput. Sci., 2021

The one-cop-moves game on planar graphs.

Ziyuan Gao, Boting Yang

J. Comb. Optim., 2021

Learnability and Positive Equivalence Relations.

David R. Bélanger, Ziyuan Gao, Sanjay Jain, Wei Li, Frank Stephan

Proceedings of the Language and Automata Theory and Applications, 2021

2020

Finitely distinguishable erasing pattern languages.

Fahimeh Bayeh, Ziyuan Gao, Sandra Zilles

Theor. Comput. Sci., 2020

Ordered Semiautomatic Rings with Applications to Geometry.

Ziyuan Gao, Sanjay Jain, Ji Qi, Philipp Schlicht, Frank Stephan, Jacob Tarr

Proceedings of the Language and Automata Theory and Applications, 2020

2019

Random Subgroups of Rationals.

Ziyuan Gao, Sanjay Jain, Bakhadyr Khoussainov, Wei Li, Alexander G. Melnikov, Karen Seidel, Frank Stephan

Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science, 2019

The Teaching Complexity of Erasing Pattern Languages with Bounded Variable Frequency.

Ziyuan Gao

Proceedings of the Developments in Language Theory - 23rd International Conference, 2019

2018

On the teaching complexity of linear sets.

Ziyuan Gao, Hans Ulrich Simon, Sandra Zilles

Theor. Comput. Sci., 2018

On the Help of Bounded Shot Verifiers, Comparators and Standardisers for Learnability in Inductive Inference.

Ziyuan Gao, Sanjay Jain, Frank Stephan, Thomas Zeugmann

Proceedings of the Algorithmic Learning Theory, 2018

2017

Preference-based Teaching.

Ziyuan Gao, Christoph Ries, Hans Ulrich Simon, Sandra Zilles

J. Mach. Learn. Res., 2017

Distinguishing pattern languages with membership examples.

Ziyuan Gao, Zeinab Mazadi, Regan Meloche, Hans Ulrich Simon, Sandra Zilles

Inf. Comput., 2017

The Cop Number of the One-Cop-Moves Game on Planar Graphs.

Ziyuan Gao, Boting Yang

Proceedings of the Combinatorial Optimization and Applications, 2017

Preference-based Teaching of Unions of Geometric Objects.

Ziyuan Gao, David G. Kirkpatrick, Christoph Ries, Hans Ulrich Simon, Sandra Zilles

Proceedings of the International Conference on Algorithmic Learning Theory, 2017

Erasing Pattern Languages Distinguishable by a Finite Number of Strings.

Fahimeh Bayeh, Ziyuan Gao, Sandra Zilles

Proceedings of the International Conference on Algorithmic Learning Theory, 2017

2016

Partial learning of recursively enumerable languages.

Ziyuan Gao, Frank Stephan, Sandra Zilles

Theor. Comput. Sci., 2016

Classifying the Arithmetical Complexity of Teaching Models.

Achilles Beros, Ziyuan Gao, Sandra Zilles

Proceedings of the Algorithmic Learning Theory - 27th International Conference, 2016

2015

Combining Models of Approximation with Partial Learning.

Ziyuan Gao, Frank Stephan, Sandra Zilles

Proceedings of the Algorithmic Learning Theory - 26th International Conference, 2015

2014

Confident and consistent partial learning of recursive functions.

Ziyuan Gao, Frank Stephan

Theor. Comput. Sci., 2014

Distinguishing Pattern Languages with Membership Examples.

Zeinab Mazadi, Ziyuan Gao, Sandra Zilles

Proceedings of the Language and Automata Theory and Applications, 2014

2013

On Conservative Learning of Recursively Enumerable Languages.

Ziyuan Gao, Sanjay Jain, Frank Stephan

Proceedings of the Nature of Computation. Logic, Algorithms, Applications, 2013

2012

Learnability of Co-r.e. Classes.

Ziyuan Gao, Frank Stephan

Proceedings of the Language and Automata Theory and Applications, 2012

Learning Families of Closed Sets in Matroids.

Ziyuan Gao, Frank Stephan, Guohua Wu, Akihiro Yamamoto

Proceedings of the Computation, Physics and Beyond, 2012