- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 65 |      | Linmin Yang, Zhe Dang, Thomas R. Fischer: Information gain of black-box testing. Formal Asp. Comput. 23(4): 513-539 (2011) |
| 64 | | Cewei Cui, Zhe Dang, Thomas R. Fischer: Typical Paths of a Graph. Fundam. Inform. 110(1-4): 95-109 (2011) |
| 2010 | ||
| 63 | | Linmin Yang, Zhe Dang, Thomas R. Fischer, Min Sik Kim, Li Tan: Entropy and software systems: towards an information-theoretic foundation of software testing. FoSER 2010: 427-432 |
| 62 | | Linmin Yang, Zhe Dang, Oscar H. Ibarra: Bond computing systems: a biologically inspired and high-level dynamics model for pervasive computing. Natural Computing 9(2): 347-364 (2010) |
| 61 | | Linmin Yang, Yong Wang, Zhe Dang: Automata and processes on multisets of communicating objects. Natural Computing 9(4): 865-887 (2010) |
| 2009 | ||
| 60 |  | Linmin Yang, Zhe Dang, Thomas R. Fischer: Optimal Software Testing - A Cooling Down Process. FCS 2009: 162-168 |
| 2008 | ||
| 59 | | Linmin Yang, Yong Wang, Zhe Dang: Automata on Multisets of Communicating Objects. UC 2008: 242-257 |
| 58 | | Oscar H. Ibarra, Zhe Dang, Linmin Yang: On Counter Machines, Reachability Problems, and Diophantine Equations. Int. J. Found. Comput. Sci. 19(4): 919-934 (2008) |
| 57 | | Linmin Yang, Zhe Dang, Oscar H. Ibarra: On Stateless Automata and P Systems. Int. J. Found. Comput. Sci. 19(5): 1259-1276 (2008) |
| 2007 | ||
| 56 | | Linmin Yang, Zhe Dang, Oscar H. Ibarra: Bond Computing Systems: A Biologically Inspired and High-Level Dynamics Model for Pervasive Computing. UC 2007: 226-241 |
| 2006 | ||
| 55 | | Oscar H. Ibarra, Zhe Dang: Developments in Language Theory, 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings Springer 2006 |
| 54 | | Shuohao Zhang, Curtis E. Dyreson, Zhe Dang: Compacting XML Data. DASFAA 2006: 767-776 |
| 53 | | Cheng Li, Zhe Dang: Decompositional Algorithms for Safety Verification and Testing of Aspect-Oriented Systems. FATES/RV 2006: 100-114 |
| 52 | | Oscar H. Ibarra, Sara Woodworth, Hsu-Chun Yen, Zhe Dang: On the Computational Power of 1-Deterministic and Sequential P Systems. Fundam. Inform. 73(1-2): 133-152 (2006) |
| 51 | | Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie: On the Decidability of Model-Checking for P Systems. Journal of Automata, Languages and Combinatorics 11(3): 279-298 (2006) |
| 50 | | Oscar H. Ibarra, Zhe Dang: On the solvability of a class of diophantine equations and applications. Theor. Comput. Sci. 352(1-3): 342-346 (2006) |
| 2005 | ||
| 49 | | Oscar H. Ibarra, Sara Woodworth, Hsu-Chun Yen, Zhe Dang: On Sequential and 1-Deterministic P Systems. COCOON 2005: 905-914 |
| 48 | | Gaoyan Xie, Zhe Dang: Testing Systems of Concurrent Black-Boxes-An Automata-Theoretic and Decompositional Approach. FATES 2005: 170-186 |
| 47 | | Cheng Li, Zhe Dang, Oscar H. Ibarra, Hsu-Chun Yen: Signaling P Systems and Verification Problems. ICALP 2005: 1462-1473 |
| 46 | | Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie: On Model-Checking of P Systems. UC 2005: 82-93 |
| 45 | | Oscar H. Ibarra, Sara Woodworth, Hsu-Chun Yen, Zhe Dang: On Symport/Antiport P Systems and Semilinear Sets. Workshop on Membrane Computing 2005: 253-271 |
| 44 | | Gaoyan Xie, Zhe Dang: Testing Systems of Concurrent Black-boxes - an Automata-Theoretic and Decompositional Approach CoRR abs/cs/0502040: (2005) |
| 43 | | Oscar H. Ibarra, Hsu-Chun Yen, Zhe Dang: On various notions of parallelism in P Systems. Int. J. Found. Comput. Sci. 16(4): 683-705 (2005) |
| 42 | | Zhe Dang, Oscar H. Ibarra: On one-membrane P systems operating in sequential mode. Int. J. Found. Comput. Sci. 16(5): 867-881 (2005) |
| 41 | | Zhe Dang, Oscar H. Ibarra, Zhi-Wei Sun: On two-way nondeterministic finite automata with one reversal-bounded counter. Theor. Comput. Sci. 330(1): 59-79 (2005) |
| 40 | | Zhe Dang, Oscar H. Ibarra, Jianwen Su: On composition and lookahead delegation of e-services modeled by automata, . Theor. Comput. Sci. 341(1-3): 344-363 (2005) |
| 2004 | ||
| 39 | | Gaoyan Xie, Cheng Li, Zhe Dang: Testability of Oracle Automata. CIAA 2004: 331-332 |
| 38 | | Zhe Dang, Oscar H. Ibarra: On P Systems Operating in Sequential Mode. DCFS 2004: 164-177 |
| 37 | | Oscar H. Ibarra, Hsu-Chun Yen, Zhe Dang: The Power of Maximal Parallelism in P Systems. Developments in Language Theory 2004: 212-224 |
| 36 | | Gaoyan Xie, Zhe Dang: An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components. FATES 2004: 155-169 |
| 35 | | Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro, Gaoyan Xie: Real-Counter Automata and Their Decision Problems. FSTTCS 2004: 198-210 |
| 34 | | Zhe Dang, Oscar H. Ibarra, Jianwen Su: Composability of Infinite-State Activity Automata. ISAAC 2004: 377-388 |
| 33 | | Gaoyan Xie, Zhe Dang: Model-checking Driven Black-box Testing Algorithms for Systems with Unspecified Components CoRR cs.SE/0404037: (2004) |
| 32 | | Oscar H. Ibarra, Zhe Dang: On two-way FA with monotonic counters and quadratic Diophantine equations. Theor. Comput. Sci. 312(2-3): 359-378 (2004) |
| 31 | | Oscar H. Ibarra, Zhe Dang, Ömer Egecioglu: Catalytic P systems, semilinear sets, and vector addition systems. Theor. Comput. Sci. 312(2-3): 379-399 (2004) |
| 30 | | Zhe Dang, Tevfik Bultan, Oscar H. Ibarra, Richard A. Kemmerer: Past pushdown timed automata and safety verification. Theor. Comput. Sci. 313(1): 57-71 (2004) |
| 2003 | ||
| 29 | | Oscar H. Ibarra, Zhe Dang: Implementation and Application of Automata, 8th International Conference, CIAA 2003, Santa Barbara, California, USA, July 16-18, 2003, Proceedings Springer 2003 |
| 28 | | Gaoyan Xie, Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro: Dense Counter Machines and Verification Problems. CAV 2003: 93-105 |
| 27 | | Gaoyan Xie, Cheng Li, Zhe Dang: New Complexity Results for Some Linear Counting Problems Using Minimal Solutions to Linear Diophantine Equations. CIAA 2003: 163-175 |
| 26 | | Pierluigi San Pietro, Zhe Dang: Automatic Verification of Multi-queue Discrete Timed Automata. COCOON 2003: 159-171 |
| 25 | | Gaoyan Xie, Zhe Dang, Oscar H. Ibarra: A Solvable Class of Quadratic Diophantine Equations with Applications to Verification of Infinite-State Systems. ICALP 2003: 668-680 |
| 24 | | Oscar H. Ibarra, Zhe Dang, Ömer Egecioglu, Gaurav Saxena: Characterizations of Catalytic Membrane Computing Systems. MFCS 2003: 480-489 |
| 23 | | Zhe Dang, Pierluigi San Pietro, Richard A. Kemmerer: Presburger liveness verification of discrete timed automata. Theor. Comput. Sci. 1-3(299): 413-438 (2003) |
| 22 | | Oscar H. Ibarra, Zhe Dang: Eliminating the storage tape in reachability constructions. Theor. Comput. Sci. 1-3(299): 687-706 (2003) |
| 21 | | Oscar H. Ibarra, Zhe Dang, Pierluigi San Pietro: Verification in loosely synchronous queue-connected discrete timed automata. Theor. Comput. Sci. 290(3): 1713-1735 (2003) |
| 20 | | Zhe Dang, Oscar H. Ibarra, Richard A. Kemmerer: Generalized discrete timed automata: decidable approximations for safety verificatio. Theor. Comput. Sci. 296(1): 59-74 (2003) |
| 19 | | Zhe Dang: Pushdown timed automata: a binary reachability characterization and safety verification. Theor. Comput. Sci. 302(1-3): 93-121 (2003) |
| 2002 | ||
| 18 | | Oscar H. Ibarra, Zhe Dang, Zhi-Wei Sun: Safety Verification for Two-Way Finite Automata with Monotonic Counters. Developments in Language Theory 2002: 326-338 |
| 17 | | Zhe Dang, Oscar H. Ibarra, Zhi-Wei Sun: On the Emptiness Problem for Two-Way NFA with One Reversal-Bounded Counter. ISAAC 2002: 103-114 |
| 16 | | Zhe Dang, Oscar H. Ibarra: The Existence of w-Chains for Transitive Mixed Linear Relations and Its Applications. Int. J. Found. Comput. Sci. 13(6): 911-936 (2002) |
| 15 | | Oscar H. Ibarra, Jianwen Su, Zhe Dang, Tevfik Bultan, Richard A. Kemmerer: Counter Machines and Verification Problems. Theor. Comput. Sci. 289(1): 165-189 (2002) |
| 2001 | ||
| 14 | | Zhe Dang: Binary Reachability Analysis of Pushdown Timed Automata with Dense Clocks. CAV 2001: 506-518 |
| 13 | | Zhe Dang, Tevfik Bultan, Oscar H. Ibarra, Richard A. Kemmerer: Past Pushdown Timed Automata. CIAA 2001: 74-86 |
| 12 | | Zhe Dang, Oscar H. Ibarra, Richard A. Kemmerer: Decidable Approximations on Generalized and Parameterized Discrete Timed Automata. COCOON 2001: 529-539 |
| 11 | | Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro: Liveness Verification of Reversal-Bounded Multicounter Machines with a Free Counter. FSTTCS 2001: 132-143 |
| 10 | | Oscar H. Ibarra, Zhe Dang: On Removing the Pushdown Stack in Reachability Constructions. ISAAC 2001: 244-256 |
| 9 | | Zhe Dang, Pierluigi San Pietro, Richard A. Kemmerer: On Presburger Liveness of Discrete Timed Automata. STACS 2001: 132-143 |
| 8 | | Zhe Dang: Pushdown Timed Automata: a Binary Reachability Characterization and Safety Verification CoRR cs.LO/0110010: (2001) |
| 7 | | Zhe Dang: The Existence of $\omega$-Chains for Transitive Mixed Linear Relations and Its Applications CoRR cs.LO/0110063: (2001) |
| 2000 | ||
| 6 | | Zhe Dang, Oscar H. Ibarra, Tevfik Bultan, Richard A. Kemmerer, Jianwen Su: Binary Reachability Analysis of Discrete Pushdown Timed Automata. CAV 2000: 69-84 |
| 5 | | Zhe Dang, Richard A. Kemmerer: Three approximation techniques for ASTRAL symbolic model checking of infinite state real-time systems. ICSE 2000: 345-354 |
| 4 | | Oscar H. Ibarra, Jianwen Su, Zhe Dang, Tevfik Bultan, Richard A. Kemmerer: Conter Machines: Decidable Properties and Applications to Verification Problems. MFCS 2000: 426-435 |
| 1999 | ||
| 3 | | Zhe Dang, Richard A. Kemmerer: Using the ASTRAL Model Checker to Analyze Mobile IP. ICSE 1999: 132-142 |
| 2 | | Zhe Dang, Richard A. Kemmerer: A Symbolic Model Checker for Testing ASTRAL Real-Time Specifications. RTCSA 1999: 174-181 |
| 1 | | Paul Z. Kolano, Zhe Dang, Richard A. Kemmerer: The Design and Analysis of Real-Time Systems Using the ASTRAL Software Development Environment. Ann. Software Eng. 7: 177-210 (1999) |
| 1 | Tevfik Bultan | [4] [6] [13] [15] [30] |
| 2 | Cewei Cui | [64] |
| 3 | Curtis E. Dyreson | [54] |
| 4 | Ömer Egecioglu | [24] [31] |
| 5 | Thomas R. Fischer | [60] [63] [64] [65] |
| 6 | Oscar H. Ibarra | [4] [6] [10] [11] [12] [13] [15] [16] [17] [18] [20] [21] [22] [24] [25] [28] [29] [30] [31] [32] [34] [35] [37] [38] [40] [41] [42] [43] [45] [46] [47] [49] [50] [51] [52] [55] [56] [57] [58] [62] |
| 7 | Richard A. Kemmerer | [1] [2] [3] [4] [5] [6] [9] [12] [13] [15] [20] [23] [30] |
| 8 | Min Sik Kim | [63] |
| 9 | Paul Z. Kolano | [1] |
| 10 | Cheng Li | [27] [39] [46] [47] [51] [53] |
| 11 | Pierluigi San Pietro | [9] [11] [21] [23] [26] [28] [35] |
| 12 | Gaurav Saxena | [24] |
| 13 | Jianwen Su | [4] [6] [15] [34] [40] |
| 14 | Zhi-Wei Sun | [17] [18] [41] |
| 15 | Li Tan | [63] |
| 16 | Yong Wang | [59] [61] |
| 17 | Sara Woodworth | [45] [49] [52] |
| 18 | Gaoyan Xie | [25] [27] [28] [33] [35] [36] [39] [44] [46] [48] [51] |
| 19 | Linmin Yang | [56] [57] [58] [59] [60] [61] [62] [63] [65] |
| 20 | Hsu-Chun Yen | [37] [43] [45] [47] [49] [52] |
| 21 | Shuohao Zhang | [54] |
Colors in the list of coauthors
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page