| 2016 | SISAP | A Free Energy Foundation of Semantic Similarity in Automata and Languages. | Cewei Cui, Zhe Dang |
| 2015 | COCOON | Quantifying Communication in Synchronized Languages. | Zhe Dang, Thomas R. Fischer, William J. Hutton III, Oscar H. Ibarra, Qin Li |
| 2015 | DASFAA | Improved Weighted Bloom Filter and Space Lower Bound Analysis of Algorithms for Approximated Membership Querying. | Xiujun Wang, Yusheng Ji, Zhe Dang, Xiao Zheng, Baohua Zhao |
| 2014 | CiE | Lossiness of Communication Channels Modeled by Transducers. | Oscar H. Ibarra, Cewei Cui, Zhe Dang, Thomas R. Fischer |
| 2014 | MFCS | Information Rate of Some Classes of Non-regular Languages: An Automata-Theoretic Approach - (Extended Abstract). | Cewei Cui, Zhe Dang, Thomas R. Fischer, Oscar H. Ibarra |
| 2013 | LATA | Execution Information Rate for Some Classes of Automata. | Cewei Cui, Zhe Dang, Thomas R. Fischer, Oscar H. Ibarra |
| 2008 | UC | Automata on Multisets of Communicating Objects. | Linmin Yang, Yong Wang, Zhe Dang |
| 2007 | UC | Bond Computing Systems: A Biologically Inspired and High-Level Dynamics Model for Pervasive Computing. | Linmin Yang, Zhe Dang, Oscar H. Ibarra |
| 2006 | DASFAA | Compacting XML Data. | Shuohao Zhang, Curtis E. Dyreson, Zhe Dang |
| 2005 | COCOON | On Sequential and 1-Deterministic P Systems. | Oscar H. Ibarra, Sara Woodworth, Hsu-Chun Yen, Zhe Dang |
| 2005 | ICALP | Signaling P Systems and Verification Problems. | Cheng Li, Zhe Dang, Oscar H. Ibarra, Hsu-Chun Yen |
| 2005 | UC | On Model-Checking of P Systems. | Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie |
| 2004 | DLT | The Power of Maximal Parallelism in P Systems. | Oscar H. Ibarra, Hsu-Chun Yen, Zhe Dang |
| 2004 | ISAAC | Composability of Infinite-State Activity Automata. | Zhe Dang, Oscar H. Ibarra, Jianwen Su |
| 2003 | CAV | Dense Counter Machines and Verification Problems. | Gaoyan Xie, Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro |
| 2003 | COCOON | Automatic Verification of Multi-queue Discrete Timed Automata. | Pierluigi San Pietro, Zhe Dang |
| 2003 | ICALP | A Solvable Class of Quadratic Diophantine Equations with Applications to Verification of Infinite-State Systems. | Gaoyan Xie, Zhe Dang, Oscar H. Ibarra |
| 2003 | MFCS | Characterizations of Catalytic Membrane Computing Systems. | Oscar H. Ibarra, Zhe Dang, mer Egecioglu, Gaurav Saxena |
| 2002 | DLT | Safety Verification for Two-Way Finite Automata with Monotonic Counters. | Oscar H. Ibarra, Zhe Dang, Zhi-Wei Sun |
| 2002 | ISAAC | On the Emptiness Problem for Two-Way NFA with One Reversal-Bounded Counter. | Zhe Dang, Oscar H. Ibarra, Zhi-Wei Sun |
| 2001 | CAV | Binary Reachability Analysis of Pushdown Timed Automata with Dense Clocks. | Zhe Dang |
| 2001 | COCOON | Decidable Approximations on Generalized and Parameterized Discrete Timed Automata. | Zhe Dang, Oscar H. Ibarra, Richard A. Kemmerer |
| 2001 | ISAAC | On Removing the Pushdown Stack in Reachability Constructions. | Oscar H. Ibarra, Zhe Dang |
| 2001 | STACS | On Presburger Liveness of Discrete Timed Automata. | Zhe Dang, Pierluigi San Pietro, Richard A. Kemmerer |
| 2000 | CAV | Binary Reachability Analysis of Discrete Pushdown Timed Automata. | Zhe Dang, Oscar H. Ibarra, Tevfik Bultan, Richard A. Kemmerer, Jianwen Su |
| 2000 | ICSE | Three approximation techniques for ASTRAL symbolic model checking of infinite state real-time systems. | Zhe Dang, Richard A. Kemmerer |
| 2000 | MFCS | Conter Machines: Decidable Properties and Applications to Verification Problems. | Oscar H. Ibarra, Jianwen Su, Zhe Dang, Tevfik Bultan, Richard A. Kemmerer |
| 1999 | ICSE | Using the ASTRAL Model Checker to Analyze Mobile IP. | Zhe Dang, Richard A. Kemmerer |
| 1999 | RTCSA | A Symbolic Model Checker for Testing ASTRAL Real-Time Specifications. | Zhe Dang, Richard A. Kemmerer |