Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarZhe Dang
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2018
[j33]Oscar H. Ibarra, Zhe Dang, Qin Li:
Accepting runs in a two-way finite automaton. Inf. Comput. 260: 1-8 (2018)- 2017
- [j32]Oscar H. Ibarra, Cewei Cui, Zhe Dang, Thomas R. Fischer:
Lossiness of communication channels modeled by transducers. Computability 6(2): 165-181 (2017) - [j31]Cewei Cui, Zhe Dang, Thomas R. Fischer, Oscar H. Ibarra:
Information rate of some classes of non-regular languages: An automata-theoretic approach. Inf. Comput. 256: 45-61 (2017) - [i8]Cewei Cui, Zhe Dang:
Random Words in a (Weighted) Regular Language: a Free Energy Approach. CoRR abs/1711.08963 (2017) - 2016
- [j30]Cewei Cui, Zhe Dang, Thomas R. Fischer, Oscar H. Ibarra:
Execution information rate for some classes of automata. Inf. Comput. 246: 20-29 (2016) - [j29]Zhe Dang, Thomas R. Fischer, William J. Hutton III, Oscar H. Ibarra, Qin Li:
Quantifying communication in synchronized languages. Theor. Comput. Sci. 654: 33-44 (2016) - [c44]Cewei Cui, Zhe Dang:
A Free Energy Foundation of Semantic Similarity in Automata and Languages. SISAP 2016: 34-47 - [i7]Cewei Cui, Zhe Dang:
Canonical Number and NutCracker: Heuristic Algorithms for the Graph Isomorphism Problem using Free Energy. CoRR abs/1605.07220 (2016) - [i6]Cewei Cui, Zhe Dang:
A Free Energy Foundation of Semantic Similarity in Automata and Languages. CoRR abs/1605.07224 (2016) - 2015
- [j28]Qin Li, Zhe Dang:
Sampling automata and programs. Theor. Comput. Sci. 577: 125-140 (2015) - [c43]Zhe Dang, Thomas R. Fischer, William J. Hutton III, Oscar H. Ibarra, Qin Li:
Quantifying Communication in Synchronized Languages. COCOON 2015: 635-647 - [c42]Xiujun Wang, Yusheng Ji, Zhe Dang, Xiao Zheng, Baohua Zhao:
Improved Weighted Bloom Filter and Space Lower Bound Analysis of Algorithms for Approximated Membership Querying. DASFAA (2) 2015: 346-362 - [c41]Eric Shing-Suan Wang, Zhe Dang:
A Message-Passing Architecture without Public Ids Using Send-to-Behavior. ASE 2015: 902-905 - [c40]Zhe Dang, Dmitry Dementyev, Thomas R. Fischer, William J. Hutton III:
Security of Numerical Sensors in Automata. CIAA 2015: 76-88 - 2014
- [j27]Eric Wang, Cewei Cui, Zhe Dang, Thomas R. Fischer, Linmin Yang:
Zero-Knowledge Blackbox Testing: where are the Faults? Int. J. Found. Comput. Sci. 25(2): 195-218 (2014) - [c39]Xiujun Wang, Xiao Zheng, Zhe Dang, Xuangou Wu, Baohua Zhao:
Near-Optimal Approximate Duplicate-Detection in Data Streams Over Sliding Windows for the Uniform Query Frequency or Membership Likelihood. CBD 2014: 122-127 - [c38]Oscar H. Ibarra, Cewei Cui, Zhe Dang, Thomas R. Fischer:
Lossiness of Communication Channels Modeled by Transducers. CiE 2014: 224-233 - [c37]Cewei Cui, Zhe Dang, Thomas R. Fischer, Oscar H. Ibarra:
Information Rate of Some Classes of Non-regular Languages: An Automata-Theoretic Approach - (Extended Abstract). MFCS (1) 2014: 232-243 - 2013
- [j26]Cewei Cui, Zhe Dang, Thomas R. Fischer, Oscar H. Ibarra:
Similarity in languages and programs. Theor. Comput. Sci. 498: 58-75 (2013) - [c36]Cewei Cui, Zhe Dang, Thomas R. Fischer, Oscar H. Ibarra:
Execution Information Rate for Some Classes of Automata. LATA 2013: 226-237 - [i5]Cewei Cui, Zhe Dang, Thomas R. Fischer:
Bit Rate of Programs. CoRR abs/1308.4774 (2013) - 2011
- [j25]Linmin Yang, Zhe Dang, Thomas R. Fischer:
Information gain of black-box testing. Formal Asp. Comput. 23(4): 513-539 (2011) - [j24]Cewei Cui, Zhe Dang, Thomas R. Fischer:
Typical Paths of a Graph. Fundam. Inform. 110(1-4): 95-109 (2011) - 2010
- [j23]Linmin Yang, Zhe Dang, Oscar H. Ibarra:
Bond computing systems: a biologically inspired and high-level dynamics model for pervasive computing. Nat. Comput. 9(2): 347-364 (2010) - [j22]Linmin Yang, Yong Wang, Zhe Dang:
Automata and processes on multisets of communicating objects. Nat. Comput. 9(4): 865-887 (2010) - [c35]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
2000 – 2009
- 2009
- [c34]Linmin Yang, Zhe Dang, Thomas R. Fischer:
Optimal Software Testing - A Cooling Down Process. FCS 2009: 162-168 - 2008
- [j21]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) - [j20]Linmin Yang, Zhe Dang, Oscar H. Ibarra:
On Stateless Automata and P Systems. Int. J. Found. Comput. Sci. 19(5): 1259-1276 (2008) - [c33]Linmin Yang, Yong Wang, Zhe Dang:
Automata on Multisets of Communicating Objects. UC 2008: 242-257 - 2007
- [c32]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
- [j19]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) - [j18]Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie:
On the Decidability of Model-Checking for P Systems. J. Autom. Lang. Comb. 11(3): 279-298 (2006) - [j17]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) - [c31]Shuohao Zhang, Curtis E. Dyreson, Zhe Dang:
Compacting XML Data. DASFAA 2006: 767-776 - [c30]Cheng Li, Zhe Dang:
Decompositional Algorithms for Safety Verification and Testing of Aspect-Oriented Systems. FATES/RV 2006: 100-114 - [e2]Oscar H. Ibarra, Zhe Dang:
Developments in Language Theory, 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings. Lecture Notes in Computer Science 4036, Springer 2006, ISBN 3-540-35428-X [contents] - 2005
- [j16]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) - [j15]Zhe Dang, Oscar H. Ibarra:
On one-membrane P systems operating in sequential mode. Int. J. Found. Comput. Sci. 16(5): 867-881 (2005) - [j14]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) - [j13]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) - [c29]Oscar H. Ibarra, Sara Woodworth, Hsu-Chun Yen, Zhe Dang:
On Sequential and 1-Deterministic P Systems. COCOON 2005: 905-914 - [c28]Gaoyan Xie, Zhe Dang:
Testing Systems of Concurrent Black-Boxes-An Automata-Theoretic and Decompositional Approach. FATES 2005: 170-186 - [c27]Cheng Li, Zhe Dang, Oscar H. Ibarra, Hsu-Chun Yen:
Signaling P Systems and Verification Problems. ICALP 2005: 1462-1473 - [c26]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 - [c25]Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie:
On Model-Checking of P Systems. UC 2005: 82-93 - [i4]Gaoyan Xie, Zhe Dang:
Testing Systems of Concurrent Black-boxes - an Automata-Theoretic and Decompositional Approach. CoRR abs/cs/0502040 (2005) - 2004
- [j12]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) - [j11]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) - [j10]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) - [j9]Gaoyan Xie, Cheng Li, Zhe Dang:
Linear reachability problems and minimal solutions to linear Diophantine equation systems. Theor. Comput. Sci. 328(1-2): 203-219 (2004) - [c24]Zhe Dang, Oscar H. Ibarra:
On P Systems Operating in Sequential Mode. DCFS 2004: 164-177 - [c23]Oscar H. Ibarra, Hsu-Chun Yen, Zhe Dang:
The Power of Maximal Parallelism in P Systems. Developments in Language Theory 2004: 212-224 - [c22]Gaoyan Xie, Zhe Dang:
An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components. FATES 2004: 155-169 - [c21]Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro, Gaoyan Xie:
Real-Counter Automata and Their Decision Problems. FSTTCS 2004: 198-210 - [c20]Zhe Dang, Oscar H. Ibarra, Jianwen Su:
Composability of Infinite-State Activity Automata. ISAAC 2004: 377-388 - [c19]Gaoyan Xie, Cheng Li, Zhe Dang:
Testability of Oracle Automata. CIAA 2004: 331-332 - [i3]Gaoyan Xie, Zhe Dang:
Model-checking Driven Black-box Testing Algorithms for Systems with Unspecified Components. CoRR cs.SE/0404037 (2004) - 2003
- [j8]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) - [j7]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) - [j6]Zhe Dang, Pierluigi San Pietro, Richard A. Kemmerer:
Presburger liveness verification of discrete timed automata. Theor. Comput. Sci. 299(1-3): 413-438 (2003) - [j5]Oscar H. Ibarra, Zhe Dang:
Eliminating the storage tape in reachability constructions. Theor. Comput. Sci. 299(1-3): 687-706 (2003) - [j4]Zhe Dang:
Pushdown timed automata: a binary reachability characterization and safety verification. Theor. Comput. Sci. 302(1-3): 93-121 (2003) - [c18]Gaoyan Xie, Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro:
Dense Counter Machines and Verification Problems. CAV 2003: 93-105 - [c17]Pierluigi San Pietro, Zhe Dang:
Automatic Verification of Multi-queue Discrete Timed Automata. COCOON 2003: 159-171 - [c16]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 - [c15]Oscar H. Ibarra, Zhe Dang, Ömer Egecioglu, Gaurav Saxena:
Characterizations of Catalytic Membrane Computing Systems. MFCS 2003: 480-489 - [c14]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 - [e1]Oscar H. Ibarra, Zhe Dang:
Implementation and Application of Automata, 8th International Conference, CIAA 2003, Santa Barbara, California, USA, July 16-18, 2003, Proceedings. Lecture Notes in Computer Science 2759, Springer 2003, ISBN 3-540-40561-5 [contents] - 2002
- [j3]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) - [j2]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) - [c13]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 - [c12]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 - 2001
- [c11]Zhe Dang:
Binary Reachability Analysis of Pushdown Timed Automata with Dense Clocks. CAV 2001: 506-518 - [c10]Zhe Dang, Oscar H. Ibarra, Richard A. Kemmerer:
Decidable Approximations on Generalized and Parameterized Discrete Timed Automata. COCOON 2001: 529-539 - [c9]Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro:
Liveness Verification of Reversal-Bounded Multicounter Machines with a Free Counter. FSTTCS 2001: 132-143 - [c8]Oscar H. Ibarra, Zhe Dang:
On Removing the Pushdown Stack in Reachability Constructions. ISAAC 2001: 244-256 - [c7]Zhe Dang, Pierluigi San Pietro, Richard A. Kemmerer:
On Presburger Liveness of Discrete Timed Automata. STACS 2001: 132-143 - [c6]Zhe Dang, Tevfik Bultan, Oscar H. Ibarra, Richard A. Kemmerer:
Past Pushdown Timed Automata. CIAA 2001: 74-86 - [i2]Zhe Dang:
Pushdown Timed Automata: a Binary Reachability Characterization and Safety Verification. CoRR cs.LO/0110010 (2001) - [i1]Zhe Dang:
The Existence of $\omega$-Chains for Transitive Mixed Linear Relations and Its Applications. CoRR cs.LO/0110063 (2001) - 2000
- [c5]Zhe Dang, Oscar H. Ibarra, Tevfik Bultan, Richard A. Kemmerer, Jianwen Su:
Binary Reachability Analysis of Discrete Pushdown Timed Automata. CAV 2000: 69-84 - [c4]Zhe Dang, Richard A. Kemmerer:
Three approximation techniques for ASTRAL symbolic model checking of infinite state real-time systems. ICSE 2000: 345-354 - [c3]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
1990 – 1999
- 1999
- [j1]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) - [c2]Zhe Dang, Richard A. Kemmerer:
Using the ASTRAL Model Checker to Analyze Mobile IP. ICSE 1999: 132-142 - [c1]Zhe Dang, Richard A. Kemmerer:
A Symbolic Model Checker for Testing ASTRAL Real-Time Specifications. RTCSA 1999: 174-181
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org and opencitations.net to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy.
Citation data
Add a list of citing articles from to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter accout. At the same time, Twitter will persitently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2020-05-13 01:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
