Author of the publication

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

Determinacy and rewriting of conjunctive queries over unary database schemas., and . SAC, page 1039-1044. ACM, (2011)A Sentence Generation Algorithm for Testing Grammars., and . COMPSAC (1), page 130-135. IEEE Computer Society, (2009)Symbolic model checking for discrete real-time systems., , , , , and . Sci. China Inf. Sci., 61 (5): 052106:1-052106:23 (2018)Deciding determinism of unary languages., , , and . Inf. Comput., (2015)Ensuring the Correctness of Regular Expressions: A Review., , , and . Int. J. Autom. Comput., 18 (4): 521-535 (2021)Deducing Matching Strings for Real-World Regular Expressions., , , , , , , and . SETTA, volume 14464 of Lecture Notes in Computer Science, page 331-350. Springer, (2023)Design and Implementation of WPF-based Mini OA System., , , , and . 3PGCIC, page 120-126. IEEE Computer Society, (2014)Research on Deadbeat Current Prediction Vector Control System of Axial Flux Permanent Magnet Synchronous Motor for Electric Bus Based on Efficiency Optimal Torque Distribution Method., , , and . IEEE Access, (2019)An Algorithm for Learning Regular Expressions Based on Repeated String Detection., , and . CSAI/ICIMT, page 237-241. ACM, (2018)Incremental Witness Generation for Branching-Time Logic CTL., , , , and . IEEE Trans. Reliab., 71 (2): 933-950 (2022)