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

Compositional verification for component-based systems and application., , , und . IET Software, 4 (3): 181-193 (2010)Incremental Invariant Generation for Compositional Design., , , , und . TASE, Seite 157-167. IEEE Computer Society, (2010)New Environment CREPE for Transportation Control and its Effectiveness., , , und . IMECS, Seite 790-795. Newswood Limited, (2006)Efficient deadlock detection for concurrent systems., , , , und . MEMOCODE, Seite 119-129. IEEE, (2011)Runtime Verification of Component-Based Systems., , , , und . SEFM, Volume 7041 von Lecture Notes in Computer Science, Seite 204-220. Springer, (2011)SAFL: A Self-Attention Scene Text Recognizer with Focal Loss., , , , , und . CoRR, (2022)Improve the Performance of Mobile Applications Based on Code Optimization Techniques Using PMD and Android Lint., , und . IUKM, Volume 9978 von Lecture Notes in Computer Science, Seite 343-356. (2016)On the complexity of inverse convex ordered 1-median problem on the plane and on tree networks., , und . Math. Meth. of OR, 88 (2): 147-159 (2018)A Novel Surface Descriptor for Automated 3-D Object Recognition and Localization., und . Sensors, 19 (4): 764 (2019)High-bit-rate packet transfer to fast mobile terminals in an IP based micro-cellular network with parallel polling scenario., , , und . WCNC, Seite 1057-1062. IEEE, (2004)