Learning Families of Closed Sets in Matroids. - Ziyuan Gao; Frank Stephan 001; Guohua Wu; Akihiro Yamamoto (Computation, Physics and Beyond, 2012)

Learnability of Co-r.e. Classes. - Ziyuan Gao; Frank Stephan 001 (LATA, 2012)

On Conservative Learning of Recursively Enumerable Languages. - Ziyuan Gao; Sanjay Jain 001; Frank Stephan 001 (CiE, 2013)

Distinguishing Pattern Languages with Membership Examples. - Zeinab Mazadi; Ziyuan Gao; Sandra Zilles (LATA, 2014)

Confident and consistent partial learning of recursive functions. - Ziyuan Gao; Frank Stephan 001 (Theor. Comput. Sci., 2014)

Combining Models of Approximation with Partial Learning. - Ziyuan Gao; Frank Stephan 001; Sandra Zilles (ALT, 2015)

Classifying the Arithmetical Complexity of Teaching Models. - Achilles Beros; Ziyuan Gao; Sandra Zilles (ALT, 2016)

Partial learning of recursively enumerable languages. - Ziyuan Gao; Frank Stephan 001; Sandra Zilles (Theor. Comput. Sci., 2016)

Erasing Pattern Languages Distinguishable by a Finite Number of Strings. - Fahimeh Bayeh; Ziyuan Gao; Sandra Zilles (ALT, 2017)

Preference-based Teaching of Unions of Geometric Objects. - Ziyuan Gao; David G. Kirkpatrick; Christoph Ries; Hans Ulrich Simon; Sandra Zilles (ALT, 2017)

The Cop Number of the One-Cop-Moves Game on Planar Graphs. - Ziyuan Gao; Boting Yang (COCOA (2), 2017)

Distinguishing pattern languages with membership examples. - Ziyuan Gao; Zeinab Mazadi; Regan Meloche; Hans Ulrich Simon; Sandra Zilles (Inf. Comput., 2017)

Preference-based Teaching. - Ziyuan Gao; Christoph Ries; Hans Ulrich Simon; Sandra Zilles (J. Mach. Learn. Res., 2017)

On the Help of Bounded Shot Verifiers, Comparators and Standardisers for Learnability in Inductive Inference. - Ziyuan Gao; Sanjay Jain 001; Frank Stephan 001; Thomas Zeugmann (ALT, 2018)

On the teaching complexity of linear sets. - Ziyuan Gao; Hans Ulrich Simon; Sandra Zilles (Theor. Comput. Sci., 2018)

The Teaching Complexity of Erasing Pattern Languages with Bounded Variable Frequency. - Ziyuan Gao (DLT, 2019)

Random Subgroups of Rationals. - Ziyuan Gao; Sanjay Jain 001; Bakhadyr Khoussainov; Wei Li 050; Alexander G. Melnikov; Karen Seidel 001; Frank Stephan 001 (MFCS, 2019)

Ordered Semiautomatic Rings with Applications to Geometry. - Ziyuan Gao; Sanjay Jain 001; Ji Qi; Philipp Schlicht; Frank Stephan 001; Jacob Tarr (LATA, 2020)

Finitely distinguishable erasing pattern languages. - Fahimeh Bayeh; Ziyuan Gao; Sandra Zilles (Theor. Comput. Sci., 2020)

The one-cop-moves game on planar graphs. - Ziyuan Gao; Boting Yang (J. Comb. Optim., 2021)

Bi-immunity over different size alphabets. - Cristian S. Calude; Karen Frilya Celine; Ziyuan Gao; Sanjay Jain 001; Ludwig Staiger; Frank Stephan 001 (Theor. Comput. Sci., 2021)

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 (ICDEL, 2022)

Alternating Automatic Register Machines. - Ziyuan Gao; Sanjay Jain 001; Zeyong Li; Ammar Fathin Sabili; Frank Stephan 001 (ICTAC, 2022)

A computation model with automatic functions and relations as primitive operations. - Ziyuan Gao; Sanjay Jain 001; Zeyong Li; Ammar Fathin Sabili; Frank Stephan 001 (Theor. Comput. Sci., 2022)

Learnability and positive equivalence relations. - David R. Bélanger; Ziyuan Gao; Sanjay Jain 001; Wei Li 050; Frank Stephan 001 (Inf. Comput., 2023)

Quasi-Isometric Reductions Between Infinite Strings. - Karen Frilya Celine; Ziyuan Gao; Sanjay Jain 001; Ryan Lou; Frank Stephan 001; Guohua Wu (MFCS, 2024)

DDiT: Dynamic Resource Allocation for Diffusion Transformer Model Serving. - Heyang Huang; Cunchen Hu; Jiaqi Zhu; Ziyuan Gao; Liangliang Xu; Yizhou Shan; Yungang Bao; Ninghui Sun; Tianwei Zhang; Sa Wang (CoRR, 2025)