PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Dang, Thao"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A novel approach for the probabilistic computation of Time-To-Collision.

, , , und . Intelligent Vehicles Symposium, Seite 1173-1178. IEEE, (2012)

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.

Dr. -Ing. Manfred Dangelmaier University of Stuttgart

Ashish Dangal University of Stuttgart

Dr. Hoang Trinh Thao Nguyen University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Hierarchical modeling and analysis of embedded systems., , , , , , , , , und . Proceedings of the IEEE, 91 (1): 11-28 (2003)Randomized Simulation of Hybrid Systems For Circuit Validation., und . FDL, Seite 9-15. ECSI, (2006)Cheap Joint Probabilistic Data Association filters in an Interacting Multiple Model design., und . Robotics and Autonomous Systems, 57 (3): 268-278 (2009)Map-based long term motion prediction for vehicles in traffic environments., , , , und . ITSC, Seite 2166-2172. IEEE, (2013)Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations., , und . CoRR, (2018)Stability Verification of Nearly Periodic Impulsive Linear Systems using Reachability Analysis., , und . ADHS, Volume 48 von IFAC-PapersOnLine, Seite 358-363. Elsevier, (2015)Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations., , , und . ATVA, Volume 7561 von Lecture Notes in Computer Science, Seite 137-151. Springer, (2012)Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques., , und . FMCAD, Volume 3312 von Lecture Notes in Computer Science, Seite 21-36. Springer, (2004)Parameter synthesis for polynomial biological models., und . HSCC, Seite 233-242. ACM, (2014)Scheduling for multi-threaded real-time programs via path planning., und . EMSOFT, Seite 282-291. ACM, (2006)