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 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)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)Overcoming Knowledge Barriers: Online Imitation Learning from Observation with Pretrained World Models., , , and . CoRR, (2024)Selected Extended Papers of ITP 2015: Preface., and . J. Autom. Reason., 62 (4): 431-432 (2019)Liveness Reasoning with Isabelle/HOL., , and . TPHOLs, volume 5674 of Lecture Notes in Computer Science, page 485-499. Springer, (2009)Effects of Image Degradations to CNN-based Image Classification., , , , , and . CoRR, (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)Pixel-wise Regression: 3D Hand Pose Estimation via Spatial-form Representation and Differentiable Decoder., and . CoRR, (2019)