Automata on Multisets of Communicating Objects. - Linmin Yang; Yong Wang; Zhe Dang (UC, 2008)

On Counter Machines, Reachability Problems, and Diophantine Equations. - Oscar H. Ibarra; Zhe Dang; Linmin Yang (Int. J. Found. Comput. Sci., 2008)

On Stateless Automata and P Systems. - Linmin Yang; Zhe Dang; Oscar H. Ibarra (Int. J. Found. Comput. Sci., 2008)

Optimal Software Testing - A Cooling Down Process. - Linmin Yang; Zhe Dang; Thomas R. Fischer (FCS, 2009)

Entropy and software systems: towards an information-theoretic foundation of software testing. - Linmin Yang; Zhe Dang; Thomas R. Fischer; Min Sik Kim; Li Tan (FoSER, 2010)

Bond computing systems: a biologically inspired and high-level dynamics model for pervasive computing. - Linmin Yang; Zhe Dang; Oscar H. Ibarra (Nat. Comput., 2010)

Automata and processes on multisets of communicating objects. - Linmin Yang; Yong Wang; Zhe Dang (Nat. Comput., 2010)

Information gain of black-box testing. - Linmin Yang; Zhe Dang; Thomas R. Fischer (Formal Aspects Comput., 2011)

Zero-Knowledge Blackbox Testing: where are the Faults? - Eric Wang; Cewei Cui; Zhe Dang; Thomas R. Fischer; Linmin Yang (Int. J. Found. Comput. Sci., 2014)