Search Results - Zhe Dang

Refine Results
  1. 21
    Presburger liveness verification of discrete timed automata

    Presburger liveness verification of discrete timed automata by Dang, Zhe, Pietro, Pierluigi San, Kemmerer, Richard A.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 22
    Verification in loosely synchronous queue-connected discrete timed automata

    Verification in loosely synchronous queue-connected discrete timed automata by Ibarra, Oscar H., Dang, Zhe, Pietro, Pierluigi San

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 23
    Past pushdown timed automata and safety verification

    Past pushdown timed automata and safety verification by Dang, Zhe, Bultan, Tevfik, H. Ibarra, Oscar, A. Kemmerer, Richard

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 24
    Using the ASTRAL model checker to analyze mobile IP

    Using the ASTRAL model checker to analyze mobile IP by Dang, Zhe, Kemmerer, Richard A.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  5. 25
    Quantifying communication in synchronized languages

    Quantifying communication in synchronized languages by Dang, Zhe, Fischer, Thomas R., Hutton, William J., Ibarra, Oscar H., Li, Qin

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  6. 26
    Three approximation techniques for ASTRAL symbolic model checking of infinite state real-time systems

    Three approximation techniques for ASTRAL symbolic model checking of infinite state real-time systems by Dang, Zhe, Kemmerer, Richard A.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  7. 27
    Lossiness of communication channels modeled by transducers1

    Lossiness of communication channels modeled by transducers1 by Ibarra, Oscar H., Cui, Cewei, Dang, Zhe, Fischer, Thomas R.

    Published in Computability
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  8. 28
    Generalized discrete timed automata: decidable approximations for safety verification

    Generalized discrete timed automata: decidable approximations for safety verification by Dang, Zhe, Ibarra, Oscar H., Kemmerer, Richard A.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  9. 29
    Lossiness of communication channels modeled by transducers

    Lossiness of communication channels modeled by transducers by Ibarra, Oscar H, Cui, Cewei, Dang, Zhe, Fischer, Thomas R

    Published in Computability
    Get full text
    Article
    Save to List
    Saved in:
  10. 30
    Typical Paths of a Graph

    Typical Paths of a Graph by Cui, Cewei, Dang, Zhe, Fischer, Thomas R.

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  11. 31
    Automata and processes on multisets of communicating objects

    Automata and processes on multisets of communicating objects by Yang, Linmin, Wang, Yong, Dang, Zhe

    Published in Natural computing
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  12. 32
    ZERO-KNOWLEDGE BLACKBOX TESTING: WHERE ARE THE FAULTS?

    ZERO-KNOWLEDGE BLACKBOX TESTING: WHERE ARE THE FAULTS? by WANG, ERIC, CUI, CEWEI, DANG, ZHE, FISCHER, THOMAS R., YANG, LINMIN

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  13. 33
    ON STATELESS AUTOMATA AND P SYSTEMS

    ON STATELESS AUTOMATA AND P SYSTEMS by YANG, LINMIN, DANG, ZHE, IBARRA, OSCAR H.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  14. 34
    Bond computing systems: a biologically inspired and high-level dynamics model for pervasive computing

    Bond computing systems: a biologically inspired and high-level dynamics model for pervasive computing by Yang, Linmin, Dang, Zhe, Ibarra, Oscar H.

    Published in Natural computing
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  15. 35
    ON COUNTER MACHINES, REACHABILITY PROBLEMS, AND DIOPHANTINE EQUATIONS

    ON COUNTER MACHINES, REACHABILITY PROBLEMS, AND DIOPHANTINE EQUATIONS by IBARRA, OSCAR H., DANG, ZHE, YANG, LINMIN

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  16. 36
    On two-way nondeterministic finite automata with one reversal-bounded counter: Insightful Theory

    On two-way nondeterministic finite automata with one reversal-bounded counter: Insightful Theory by ZHE DANG, IBARRA, Oscar H, SUN, Zhi-Wei

    Get full text
    Article
    Save to List
    Saved in:
  17. 37
    THE EXISTENCE OF ω-CHAINS FOR TRANSITIVE MIXED LINEAR RELATIONS AND ITS APPLICATIONS

    THE EXISTENCE OF ω-CHAINS FOR TRANSITIVE MIXED LINEAR RELATIONS AND ITS APPLICATIONS by DANG, ZHE, IBARRA, OSCAR H.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  18. 38
    Random Words in a (Weighted) Regular Language: a Free Energy Approach

    Random Words in a (Weighted) Regular Language: a Free Energy Approach by Cui, Cewei, Dang, Zhe

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  19. 39
    On the Computational Power of 1-Deterministic and Sequential P Systems

    On the Computational Power of 1-Deterministic and Sequential P Systems by Ibarra, Oscar H., Woodworth, Sara, Yen, Hsu-Chun, Dang, Zhe

    Get full text
    Article
    Save to List
    Saved in:
  20. 40
    ON ONE-MEMBRANE P SYSTEMS OPERATING IN SEQUENTIAL MODE

    ON ONE-MEMBRANE P SYSTEMS OPERATING IN SEQUENTIAL MODE by DANG, ZHE, IBARRA, OSCAR H.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: