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

Equivalence Checking of Two Statechart Specifications., , , und . IEEE International Workshop on Rapid System Prototyping, Seite 46-51. IEEE Computer Society, (2000)Pedestrian-following service robot applications using chance-constrained target tracking., , , und . URAI, Seite 504-506. IEEE, (2015)Initialization-Insensitive Visual Tracking through Voting with Salient Local Features., , , , und . ICCV, Seite 2912-2919. IEEE Computer Society, (2013)A general behavior generation module for emotional robots using unit behavior combination method., , und . RO-MAN, Seite 375-380. IEEE, (2009)The Specification and Schedulability Analysis of Real-Time Systems using ACSR., , und . RTSS, Seite 266-275. IEEE Computer Society, (1995)Correctness Verification of Generalized Algebraic Deadlock Avoidance Policies Through Mathematical Programming., , und . IEEE Trans. Automation Science and Engineering, 7 (2): 240-248 (2010)Adaptive control for feedback-linearized missiles with uncertainties., , und . IEEE Trans. Aerospace and Electronic Systems, 36 (2): 467-481 (2000)Hierarchical System Schedulability Analysis Framework Using UPPAAL., , , und . IEICE Transactions, 99-D (8): 2172-2176 (2016)Improved User Authentication Scheme with User Anonymity for Wireless Communications., , und . IEICE Transactions, 94-A (2): 860-864 (2011)Generating composite behavior of embedded software components based on UML behavioral model and process algebra., , , und . ACM SIGSOFT Software Engineering Notes, 36 (1): 1-9 (2011)