Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

A Formal Model and Correctness Proof for an Access Control Policy Framework., , und . CPP, Volume 8307 von Lecture Notes in Computer Science, Seite 292-307. Springer, (2013)A Formalisation of the Myhill-Nerode Theorem Based on Regular Expressions (Proof Pearl)., , und . ITP, Volume 6898 von Lecture Notes in Computer Science, Seite 341-356. Springer, (2011)Consistency Guided Network for Degraded Image Classification., , und . IEEE Trans. Circuits Syst. Video Technol., 31 (6): 2231-2246 (2021)Overcoming Knowledge Barriers: Online Imitation Learning from Observation with Pretrained World Models., , , und . CoRR, (2024)Selected Extended Papers of ITP 2015: Preface., und . J. Autom. Reason., 62 (4): 431-432 (2019)Liveness Reasoning with Isabelle/HOL., , und . TPHOLs, Volume 5674 von Lecture Notes in Computer Science, Seite 485-499. Springer, (2009)Syntax-Directed Amorphous Slicing, , , , , , , und . Journal of Automated Software Engineering, 11 (1): 27--61 (2004)Effects of Image Degradations to CNN-based Image Classification., , , , , und . CoRR, (2018)Priority Inheritance Protocol Proved Correct., , und . ITP, Volume 7406 von Lecture Notes in Computer Science, Seite 217-232. Springer, (2012)Pixel-wise Regression: 3D Hand Pose Estimation via Spatial-form Representation and Differentiable Decoder., und . CoRR, (2019)