( en | de | ru )

 

Disambiguation of "Dang, Zhe"

Author of the publication

copydeleteadd this publication to your clipboard
Past Pushdown Timed Automata.

, , , and . CIAA, volume 2494 of Lecture Notes in Computer Science, page 74-86. Springer, (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Zhe Wang

Zhe Zhang

Zhe Lin

Zhe Sun

Zhe Wang

 

Other publications of authors with the same name

Optimal Software Testing - A Cooling Down Process., , and . FCS, page 162-168. CSREA Press, (2009)Bit Rate of Programs., , and . CoRR, (2013)Typical Paths of a Graph., , and . Fundam. Informaticae, 110 (1-4): 95-109 (2011)On the Computational Power of 1-Deterministic and Sequential P Systems., , , and . Fundam. Informaticae, 73 (1-2): 133-152 (2006)Lossiness of communication channels modeled by transducers., , , and . Comput., 6 (2): 165-181 (2017)On Counter Machines, Reachability Problems, and Diophantine Equations., , and . Int. J. Found. Comput. Sci., 19 (4): 919-934 (2008)On P Systems Operating in Sequential Mode., and . DCFS, Report No. 619, page 164-177. Department of Computer Science, The University of Western Ontario, Canada, (2004)Dense Counter Machines and Verification Problems., , , and . CAV, volume 2725 of Lecture Notes in Computer Science, page 93-105. Springer, (2003)An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components., and . FATES, volume 3395 of Lecture Notes in Computer Science, page 155-169. Springer, (2004)Lossiness of Communication Channels Modeled by Transducers., , , and . CiE, volume 8493 of Lecture Notes in Computer Science, page 224-233. Springer, (2014)