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

Detecting dense text in natural images., , , , , , and . IET Comput. Vis., 14 (8): 597-604 (2020)Making better use of edges for sketch generation., , , , and . J. Electronic Imaging, 27 (06): 063006 (2018)Syntax-Directed Amorphous Slicing, , , , , , , and . Journal of Automated Software Engineering, 11 (1): 27--61 (2004)Priority Inheritance Protocol Proved Correct., , and . ITP, volume 7406 of Lecture Notes in Computer Science, page 217-232. Springer, (2012)Effects of Image Degradations to CNN-based Image Classification., , , , , and . CoRR, (2018)Classification-driven Single Image Dehazing., , and . CoRR, (2019)Universal Turing Machine., , , and . Arch. Formal Proofs, (2019)The Myhill-Nerode Theorem Based on Regular Expressions., , and . Arch. Formal Proofs, (2011)Formal proof development.Liveness Reasoning with Isabelle/HOL., , and . TPHOLs, volume 5674 of Lecture Notes in Computer Science, page 485-499. Springer, (2009)Selected Extended Papers of ITP 2015: Preface., and . J. Autom. Reason., 62 (4): 431-432 (2019)