Author of the publication

On the Emptiness Problem for Two-Way NFA with One Reversal-Bounded Counter.

, , and . ISAAC, volume 2518 of Lecture Notes in Computer Science, page 103-114. Springer, (2002)

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.

 

Other publications of authors with the same name

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)Optimal Software Testing - A Cooling Down Process., , and . FCS, page 162-168. CSREA Press, (2009)The Power of Maximal Parallelism in P Systems., , and . Developments in Language Theory, volume 3340 of Lecture Notes in Computer Science, page 212-224. Springer, (2004)Automatic Verification of Multi-queue Discrete Timed Automata., and . COCOON, volume 2697 of Lecture Notes in Computer Science, page 159-171. Springer, (2003)A Free Energy Foundation of Semantic Similarity in Automata and Languages., and . SISAP, volume 9939 of Lecture Notes in Computer Science, page 34-47. (2016)Dense Counter Machines and Verification Problems., , , and . CAV, volume 2725 of Lecture Notes in Computer Science, page 93-105. Springer, (2003)Lossiness of Communication Channels Modeled by Transducers., , , and . CiE, volume 8493 of Lecture Notes in Computer Science, page 224-233. Springer, (2014)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 . Comput., 6 (2): 165-181 (2017)Typical Paths of a Graph., , and . Fundam. Informaticae, 110 (1-4): 95-109 (2011)