Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Zhe Dang
Catalytic P Systems, Semilinear Sets, and Vector Addition Systems
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Related publications
Hyper-Ackermannian Bounds for Pushdown Vector Addition Systems
The Reachability Problem for Branching Vector Addition Systems Requires Doubly-Exponential Space
Information Processing Letters
Signal Processing
Computer Science Applications
Information Systems
Theoretical Computer Science
Enclaveless Sets and MK-Systems
Journal of Research of the National Bureau of Standards
A Relational Trace Logic for Vector Addition Systems With Application to Context-Freeness
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Reducibilities Among Decision Problems for HNN Groups, Vector Addition Systems and Subsystems of Peano Arithmetic
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
Decay Rates and Global Existence for Semilinear Dissipative Timoshenko Systems
Quarterly of Applied Mathematics
Applied Mathematics
Vector Barrier Certificates and Comparison Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Catalytic Systems for Water Splitting
ChemPlusChem
Chemistry
Existence Result for Semilinear Elliptic Systems Involving Critical Exponents
Boundary Value Problems
Number Theory
Analysis
Algebra