Zhe Dang

90 papers A* 8A 1B 8C 13Misc 4Journal 43Unranked 13
YearRankTypeTitle / Venue / Authors
2024 J jnl
A Near-Optimal Protocol for Continuous Tag Recognition in Mobile RFID Systems.
IEEE/ACM Trans. Netw.
Xiujun Wang, Zhi Liu, Alex X. Liu, Xiao Zheng, Hao Zhou, Ammar Hawbani, Zhe Dang
2021 J jnl
A Near-Optimal Protocol for the Grouping Problem in RFID Systems.
IEEE Trans. Mob. Comput.
Xiujun Wang, Zhi Liu, Yan Gao, Xiao Zheng, Zhe Dang, Xiaojun Shen
2020 — conf
A Near-optimal Protocol for the Subset Selection Problem in RFID Systems.
MSN
Xiujun Wang, Zhi Liu, Susumu Ishihara, Zhe Dang, Jie Li
2018 J jnl
Accepting runs in a two-way finite automaton.
Inf. Comput.
Oscar H. Ibarra, Zhe Dang, Qin Li
2017 J jnl
Information rate of some classes of non-regular languages: An automata-theoretic approach.
Inf. Comput.
Cewei Cui, Zhe Dang, Thomas R. Fischer, Oscar H. Ibarra
2017 J jnl
Lossiness of communication channels modeled by transducers.
Comput.
Oscar H. Ibarra, Cewei Cui, Zhe Dang, Thomas R. Fischer
2017 J jnl
Random Words in a (Weighted) Regular Language: a Free Energy Approach.
CoRR
Cewei Cui, Zhe Dang
2016 B conf
A Free Energy Foundation of Semantic Similarity in Automata and Languages.
SISAP
Cewei Cui, Zhe Dang
2016 J jnl
A Free Energy Foundation of Semantic Similarity in Automata and Languages.
CoRR
Cewei Cui, Zhe Dang
2016 J jnl
Canonical Number and NutCracker: Heuristic Algorithms for the Graph Isomorphism Problem using Free Energy.
CoRR
Cewei Cui, Zhe Dang
2016 J jnl
Execution information rate for some classes of automata.
Inf. Comput.
Cewei Cui, Zhe Dang, Thomas R. Fischer, Oscar H. Ibarra
2016 J jnl
Quantifying communication in synchronized languages.
Theor. Comput. Sci.
Zhe Dang, Thomas R. Fischer, William J. Hutton III, Oscar H. Ibarra, Qin Li
2015 A* conf
A Message-Passing Architecture without Public Ids Using Send-to-Behavior.
ASE
Eric Shing-Suan Wang, Zhe Dang
2015 — conf
Improved Weighted Bloom Filter and Space Lower Bound Analysis of Algorithms for Approximated Membership Querying.
DASFAA (2)
Xiujun Wang, Yusheng Ji, Zhe Dang, Xiao Zheng, Baohua Zhao
2015 Misc conf
Quantifying Communication in Synchronized Languages.
COCOON
Zhe Dang, Thomas R. Fischer, William J. Hutton III, Oscar H. Ibarra, Qin Li
2015 J jnl
Sampling automata and programs.
Theor. Comput. Sci.
Qin Li, Zhe Dang
2015 C conf
Security of Numerical Sensors in Automata.
CIAA
Zhe Dang, Dmitry Dementyev, Thomas R. Fischer, William J. Hutton III
2014 — conf
Information Rate of Some Classes of Non-regular Languages: An Automata-Theoretic Approach - (Extended Abstract).
MFCS (1)
Cewei Cui, Zhe Dang, Thomas R. Fischer, Oscar H. Ibarra
2014 C conf
Lossiness of Communication Channels Modeled by Transducers.
CiE
Oscar H. Ibarra, Cewei Cui, Zhe Dang, Thomas R. Fischer
2014 — conf
Near-Optimal Approximate Duplicate-Detection in Data Streams Over Sliding Windows for the Uniform Query Frequency or Membership Likelihood.
CBD
Xiujun Wang, Xiao Zheng, Zhe Dang, Xuangou Wu, Baohua Zhao
2014 J jnl
Zero-Knowledge Blackbox Testing: where are the Faults?
Int. J. Found. Comput. Sci.
Eric Wang, Cewei Cui, Zhe Dang, Thomas R. Fischer, Linmin Yang
2013 J jnl
Bit Rate of Programs.
CoRR
Cewei Cui, Zhe Dang, Thomas R. Fischer
2013 C conf
Execution Information Rate for Some Classes of Automata.
LATA
Cewei Cui, Zhe Dang, Thomas R. Fischer, Oscar H. Ibarra
2013 J jnl
Similarity in languages and programs.
Theor. Comput. Sci.
Cewei Cui, Zhe Dang, Thomas R. Fischer, Oscar H. Ibarra
2011 J jnl
Information gain of black-box testing.
Formal Aspects Comput.
Linmin Yang, Zhe Dang, Thomas R. Fischer
2011 J jnl
Typical Paths of a Graph.
Fundam. Informaticae
Cewei Cui, Zhe Dang, Thomas R. Fischer
2010 J jnl
Automata and processes on multisets of communicating objects.
Nat. Comput.
Linmin Yang, Yong Wang, Zhe Dang
2010 J jnl
Bond computing systems: a biologically inspired and high-level dynamics model for pervasive computing.
Nat. Comput.
Linmin Yang, Zhe Dang, Oscar H. Ibarra
2010 — conf
Entropy and software systems: towards an information-theoretic foundation of software testing.
FoSER
Linmin Yang, Zhe Dang, Thomas R. Fischer, Min Sik Kim, Li Tan
2009 — conf
Optimal Software Testing - A Cooling Down Process.
FCS
Linmin Yang, Zhe Dang, Thomas R. Fischer
2008 C conf
Automata on Multisets of Communicating Objects.
UC
Linmin Yang, Yong Wang, Zhe Dang
2008 J jnl
On Counter Machines, Reachability Problems, and Diophantine Equations.
Int. J. Found. Comput. Sci.
Oscar H. Ibarra, Zhe Dang, Linmin Yang
2008 J jnl
On Stateless Automata and P Systems.
Int. J. Found. Comput. Sci.
Linmin Yang, Zhe Dang, Oscar H. Ibarra
2007 C conf
Bond Computing Systems: A Biologically Inspired and High-Level Dynamics Model for Pervasive Computing.
UC
Linmin Yang, Zhe Dang, Oscar H. Ibarra
2006 B conf
Compacting XML Data.
DASFAA
Shuohao Zhang, Curtis E. Dyreson, Zhe Dang
2006 — conf
Decompositional Algorithms for Safety Verification and Testing of Aspect-Oriented Systems.
FATES/RV
Cheng Li, Zhe Dang
2006 C ed.
Developments in Language Theory, 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings
Developments in Language Theory
Oscar H. Ibarra, Zhe Dang
2006 J jnl
On the Computational Power of 1-Deterministic and Sequential P Systems.
Fundam. Informaticae
Oscar H. Ibarra, Sara Woodworth, Hsu-Chun Yen, Zhe Dang
2006 J jnl
On the Decidability of Model-Checking for P Systems.
J. Autom. Lang. Comb.
Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie
2006 J jnl
On the solvability of a class of diophantine equations and applications.
Theor. Comput. Sci.
Oscar H. Ibarra, Zhe Dang
2005 C conf
On Model-Checking of P Systems.
UC
Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie
2005 Misc conf
On Sequential and 1-Deterministic P Systems.
COCOON
Oscar H. Ibarra, Sara Woodworth, Hsu-Chun Yen, Zhe Dang
2005 — conf
On Symport/Antiport P Systems and Semilinear Sets.
Workshop on Membrane Computing
Oscar H. Ibarra, Sara Woodworth, Hsu-Chun Yen, Zhe Dang
2005 J jnl
On composition and lookahead delegation of
Theor. Comput. Sci.
Zhe Dang, Oscar H. Ibarra, Jianwen Su
2005 J jnl
On one-membrane P systems operating in sequential mode.
Int. J. Found. Comput. Sci.
Zhe Dang, Oscar H. Ibarra
2005 J jnl
On two-way nondeterministic finite automata with one reversal-bounded counter.
Theor. Comput. Sci.
Zhe Dang, Oscar H. Ibarra, Zhi-Wei Sun
2005 J jnl
On various notions of parallelism in P Systems.
Int. J. Found. Comput. Sci.
Oscar H. Ibarra, Hsu-Chun Yen, Zhe Dang
2005 A* conf
Signaling P Systems and Verification Problems.
ICALP
Cheng Li, Zhe Dang, Oscar H. Ibarra, Hsu-Chun Yen
2005 — conf
Testing Systems of Concurrent Black-Boxes-An Automata-Theoretic and Decompositional Approach.
FATES
Gaoyan Xie, Zhe Dang
2005 J jnl
Testing Systems of Concurrent Black-boxes - an Automata-Theoretic and Decompositional Approach
CoRR
Gaoyan Xie, Zhe Dang
2004 — conf
An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components.
FATES
Gaoyan Xie, Zhe Dang
2004 J jnl
Catalytic P systems, semilinear sets, and vector addition systems.
Theor. Comput. Sci.
Oscar H. Ibarra, Zhe Dang, Ömer Egecioglu
2004 B conf
Composability of Infinite-State Activity Automata.
ISAAC
Zhe Dang, Oscar H. Ibarra, Jianwen Su
2004 J jnl
Linear reachability problems and minimal solutions to linear Diophantine equation systems.
Theor. Comput. Sci.
Gaoyan Xie, Cheng Li, Zhe Dang
2004 J jnl
Model-checking Driven Black-box Testing Algorithms for Systems with Unspecified Components
CoRR
Gaoyan Xie, Zhe Dang
2004 — conf
On P Systems Operating in Sequential Mode.
DCFS
Zhe Dang, Oscar H. Ibarra
2004 J jnl
On two-way FA with monotonic counters and quadratic Diophantine equations.
Theor. Comput. Sci.
Oscar H. Ibarra, Zhe Dang
2004 J jnl
Past pushdown timed automata and safety verification.
Theor. Comput. Sci.
Zhe Dang, Tevfik Bultan, Oscar H. Ibarra, Richard A. Kemmerer
2004 — conf
Real-Counter Automata and Their Decision Problems.
FSTTCS
Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro, Gaoyan Xie
2004 C conf
Testability of Oracle Automata.
CIAA
Gaoyan Xie, Cheng Li, Zhe Dang
2004 C conf
The Power of Maximal Parallelism in P Systems.
Developments in Language Theory
Oscar H. Ibarra, Hsu-Chun Yen, Zhe Dang
2003 A* conf
A Solvable Class of Quadratic Diophantine Equations with Applications to Verification of Infinite-State Systems.
ICALP
Gaoyan Xie, Zhe Dang, Oscar H. Ibarra
2003 Misc conf
Automatic Verification of Multi-queue Discrete Timed Automata.
COCOON
Pierluigi San Pietro, Zhe Dang
2003 B conf
Characterizations of Catalytic Membrane Computing Systems.
MFCS
Oscar H. Ibarra, Zhe Dang, Ömer Egecioglu, Gaurav Saxena
2003 A* conf
Dense Counter Machines and Verification Problems.
CAV
Gaoyan Xie, Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro
2003 J jnl
Eliminating the storage tape in reachability constructions.
Theor. Comput. Sci.
Oscar H. Ibarra, Zhe Dang
2003 J jnl
Generalized discrete timed automata: decidable approximations for safety verificatio.
Theor. Comput. Sci.
Zhe Dang, Oscar H. Ibarra, Richard A. Kemmerer
2003 C ed.
Implementation and Application of Automata, 8th International Conference, CIAA 2003, Santa Barbara, California, USA, July 16-18, 2003, Proceedings
CIAA
Oscar H. Ibarra, Zhe Dang
2003 C conf
New Complexity Results for Some Linear Counting Problems Using Minimal Solutions to Linear Diophantine Equations.
CIAA
Gaoyan Xie, Cheng Li, Zhe Dang
2003 J jnl
Presburger liveness verification of discrete timed automata.
Theor. Comput. Sci.
Zhe Dang, Pierluigi San Pietro, Richard A. Kemmerer
2003 J jnl
Pushdown timed automata: a binary reachability characterization and safety verification.
Theor. Comput. Sci.
Zhe Dang
2003 J jnl
Verification in loosely synchronous queue-connected discrete timed automata.
Theor. Comput. Sci.
Oscar H. Ibarra, Zhe Dang, Pierluigi San Pietro
2002 J jnl
Counter Machines and Verification Problems.
Theor. Comput. Sci.
Oscar H. Ibarra, Jianwen Su, Zhe Dang, Tevfik Bultan, Richard A. Kemmerer
2002 B conf
On the Emptiness Problem for Two-Way NFA with One Reversal-Bounded Counter.
ISAAC
Zhe Dang, Oscar H. Ibarra, Zhi-Wei Sun
2002 C conf
Safety Verification for Two-Way Finite Automata with Monotonic Counters.
Developments in Language Theory
Oscar H. Ibarra, Zhe Dang, Zhi-Wei Sun
2002 J jnl
The Existence of w-Chains for Transitive Mixed Linear Relations and Its Applications.
Int. J. Found. Comput. Sci.
Zhe Dang, Oscar H. Ibarra
2001 A* conf
Binary Reachability Analysis of Pushdown Timed Automata with Dense Clocks.
CAV
Zhe Dang
2001 Misc conf
Decidable Approximations on Generalized and Parameterized Discrete Timed Automata.
COCOON
Zhe Dang, Oscar H. Ibarra, Richard A. Kemmerer
2001 — conf
Liveness Verification of Reversal-Bounded Multicounter Machines with a Free Counter.
FSTTCS
Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro
2001 A conf
On Presburger Liveness of Discrete Timed Automata.
STACS
Zhe Dang, Pierluigi San Pietro, Richard A. Kemmerer
2001 B conf
On Removing the Pushdown Stack in Reachability Constructions.
ISAAC
Oscar H. Ibarra, Zhe Dang
2001 C conf
Past Pushdown Timed Automata.
CIAA
Zhe Dang, Tevfik Bultan, Oscar H. Ibarra, Richard A. Kemmerer
2001 J jnl
Pushdown Timed Automata: a Binary Reachability Characterization and Safety Verification
CoRR
Zhe Dang
2001 J jnl
The Existence of $\omega$-Chains for Transitive Mixed Linear Relations and Its Applications
CoRR
Zhe Dang
2000 A* conf
Binary Reachability Analysis of Discrete Pushdown Timed Automata.
CAV
Zhe Dang, Oscar H. Ibarra, Tevfik Bultan, Richard A. Kemmerer, Jianwen Su
2000 B conf
Conter Machines: Decidable Properties and Applications to Verification Problems.
MFCS
Oscar H. Ibarra, Jianwen Su, Zhe Dang, Tevfik Bultan, Richard A. Kemmerer
2000 A* conf
Three approximation techniques for ASTRAL symbolic model checking of infinite state real-time systems.
ICSE
Zhe Dang, Richard A. Kemmerer
1999 B conf
A Symbolic Model Checker for Testing ASTRAL Real-Time Specifications.
RTCSA
Zhe Dang, Richard A. Kemmerer
1999 J jnl
The Design and Analysis of Real-Time Systems Using the ASTRAL Software Development Environment.
Ann. Softw. Eng.
Paul Z. Kolano, Zhe Dang, Richard A. Kemmerer
1999 A* conf
Using the ASTRAL Model Checker to Analyze Mobile IP.
ICSE
Zhe Dang, Richard A. Kemmerer