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

Scene Text Recognition via Dual-path Network with Shape-driven Attention Alignment., , , , , , und . ACM Trans. Multim. Comput. Commun. Appl., 20 (4): 107:1-107:20 (April 2024)An Epistemic Strategy Logic., und . ACM Trans. Comput. Log., 19 (4): 26:1-26:45 (2018)Symbolic Synthesis of Knowledge-based Program Implementations with Synchronous Semantics., und . TARK, (2013)What Semantic Equivalences Are Suitable for Non-interference Properties in Computer Security., , und . ICICS, Volume 4861 von Lecture Notes in Computer Science, Seite 334-349. Springer, (2007)Bounded model checking of strategy ability with perfect recall.. Artif. Intell., (2015)Numerical differentiation by integration., , und . Math. Comput., 83 (286): 789-807 (2014)Quantum speedup and limitations on matroid property problems., , und . Frontiers Comput. Sci., (August 2024)An Overview of Verification and Validation Challenges for Inspection Robots., , , , , , , , , und 7 andere Autor(en). Robotics, 10 (2): 67 (2021)Formal Specification for Learning-Enabled Autonomous Systems., , , , , , und . NSV/FoMLAS@CAV, Volume 13466 von Lecture Notes in Computer Science, Seite 131-143. Springer, (2022)A game-based approximate verification of deep neural networks with provable guarantees., , , , und . Theor. Comput. Sci., (2020)