Thao Dang

Thao Dang publication distribution in Computer Science in 2026

The chart shows the distribution of publications by all Research.com ranked scientists in the field of Computer Science in 2026. The highlighted bar marks where Thao Dang sits on this spectrum.

Thao Dang D-index placement in Computer Science in 2026

The chart shows the D-index (discipline H-index) distribution of Computer Science scientists ranked by Research.com in 2026. The highlighted bar marks where Thao Dang sits on this spectrum.

Best Publications

• SpaceEx: scalable verification of hybrid systems

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

  1133
  Citations

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

  Julius Ziegler;Philipp Bender;Markus Schreiber;Henning Lategahn

  1024
  Citations

• Trajectory planning for Bertha — A local, continuous method

  Julius Ziegler;Philipp Bender;Thao Dang;Christoph Stiller

  519
  Citations

• Effective synthesis of switching controllers for linear systems

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

  310
  Citations

• Reachability Analysis via Face Lifting

  Thao Dang;Oded Maler

  285
  Citations

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

  Dietmar Kasper;Galia Weidl;Thao Dang;Gabi Breuel

  274
  Citations

• Active Pedestrian Safety by Automatic Braking and Evasive Steering

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

  273
  Citations

• Hierarchical modeling and analysis of embedded systems

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

  244
  Citations

• The d/dt Tool for Verification of Hybrid Systems

  Eugene Asarin;Thao Dang;Oded Maler

  240
  Citations

• Hybridization methods for the analysis of nonlinear systems

  Eugene Asarin;Thao Dang;Antoine Girard

  238
  Citations

• Reachability analysis of nonlinear systems using conservative approximation

  Eugene Asarin;Thao Dang;Antoine Girard

  223
  Citations

• Progress on reachability analysis of hybrid systems using predicate abstraction

  Rajeev Alur;Thao Dang;Franjo Ivančic

  216
  Citations

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

  Thao Dang;Alexandre Donzé;Oded Maler

  179
  Citations

• Predicate abstraction for reachability analysis of hybrid systems

  Rajeev Alur;Thao Dang;Franjo Ivančić

  160
  Citations

• Reachability Analysis of Hybrid Systems via Predicate Abstraction

  Rajeev Alur;Thao Dang;Franjo Ivancic

  156
  Citations

• Counterexample-guided predicate abstraction of hybrid systems

  Rajeev Alur;Thao Dang;Franjo Ivančić

  154
  Citations

• Continuous Stereo Self-Calibration by Camera Parameter Tracking

  Thao Dang;C. Hoffmann;C. Stiller

  154
  Citations

• Hierarchical Hybrid Modeling of Embedded Systems

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

  149
  Citations

• Accurate hybridization of nonlinear systems

  Thao Dang;Oded Maler;Romain Testylier

  145
  Citations

• Hybrid Systems: Computation and Control

  Rajeev Alur;George J. Pappas

  55
  Citations