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

Consistency Guided Network for Degraded Image Classification., , and . IEEE Trans. Circuits Syst. Video Technol., 31 (6): 2231-2246 (2021)A Formalisation of the Myhill-Nerode Theorem Based on Regular Expressions (Proof Pearl)., , and . ITP, volume 6898 of Lecture Notes in Computer Science, page 341-356. Springer, (2011)A Formal Model and Correctness Proof for an Access Control Policy Framework., , and . CPP, volume 8307 of Lecture Notes in Computer Science, page 292-307. Springer, (2013)Overcoming Knowledge Barriers: Online Imitation Learning from Observation with Pretrained World Models., , , and . CoRR, (2024)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)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)A Hybrid convolutional neural network for sketch recognition., , , , , and . Pattern Recognit. Lett., (2020)