World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
41
Citations
8992
World Ranking
8701
National Ranking
203

Best Publications

  • SpaceEx: scalable verification of hybrid systems

    Goran Frehse;Colas Le Guernic;Alexandre Donzé;Scott Cotton

  • Making Bertha Drive?An Autonomous Journey on a Historic Route

    Julius Ziegler;Philipp Bender;Markus Schreiber;Henning Lategahn

  • Trajectory planning for Bertha — A local, continuous method

    Julius Ziegler;Philipp Bender;Thao Dang;Christoph Stiller

  • Effective synthesis of switching controllers for linear systems

    E. Asarin;O. Bournez;T. Dang;O. Maler

  • Reachability Analysis via Face Lifting

    Thao Dang;Oded Maler

  • Object-Oriented Bayesian Networks for Detection of Lane Change Maneuvers

    Dietmar Kasper;Galia Weidl;Thao Dang;Gabi Breuel

  • Active Pedestrian Safety by Automatic Braking and Evasive Steering

    C. G. Keller;Thao Dang;H. Fritz;A. Joos

  • Hierarchical modeling and analysis of embedded systems

    R. Alur;Thao Dang;J. Esposito;Yerang Hur

  • The d/dt Tool for Verification of Hybrid Systems

    Eugene Asarin;Thao Dang;Oded Maler

  • Hybridization methods for the analysis of nonlinear systems

    Eugene Asarin;Thao Dang;Antoine Girard

  • Reachability analysis of nonlinear systems using conservative approximation

    Eugene Asarin;Thao Dang;Antoine Girard

  • Progress on reachability analysis of hybrid systems using predicate abstraction

    Rajeev Alur;Thao Dang;Franjo Ivančic

  • Verification of analog and mixed-signal circuits using hybrid system techniques

    Thao Dang;Alexandre Donzé;Oded Maler

  • Predicate abstraction for reachability analysis of hybrid systems

    Rajeev Alur;Thao Dang;Franjo Ivančić

  • Reachability Analysis of Hybrid Systems via Predicate Abstraction

    Rajeev Alur;Thao Dang;Franjo Ivancic

  • Counterexample-guided predicate abstraction of hybrid systems

    Rajeev Alur;Thao Dang;Franjo Ivančić

  • Continuous Stereo Self-Calibration by Camera Parameter Tracking

    Thao Dang;C. Hoffmann;C. Stiller

  • Hierarchical Hybrid Modeling of Embedded Systems

    Rajeev Alur;Thao Dang;Joel M. Esposito;Rafael B. Fierro

  • Accurate hybridization of nonlinear systems

    Thao Dang;Oded Maler;Romain Testylier

  • Hybrid Systems: Computation and Control

    Rajeev Alur;George J. Pappas

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: