Thao Dang

Esslingen University of Applied SciencesGermany

Computer Science · Physical Sciences

40h-index7.0kcitations163works0.62yr avg

Accepting Students?

No reports yet. Know if this professor is taking students?


Research Topics

Formal Methods in Verification(59), Software Testing and Debugging Techniques(23), Advanced Vision and Imaging(19), Autonomous Vehicle Technology and Safety(19), Gene Regulatory Network Analysis(16)

Publications162 total

Frontiers in Medicine·2025· 2 citedOpen Access
SPIRE - Sciences Po Institutional REpository·2023Open Access
page 1 of 9Next →

Frequent Co-authors

Oded Maler(11), Christoph Stiller(8), Eugène Asarin(8), Franjo Ivančić(8), Andreas Tamke(7), Gabi Breuel(7), Rajeev Alur(7), Alexandre Donzé(5), Antoine Girard(5), Colas Le Guernic(4), Christian Hoffmann(4), Romain Testylier(4), Dietmar Kasper(3), George J. Pappas(3), Goran Frehse(2), Julius Ziegler(2), Philipp Bender(2), Uwe Franke(2), Christoph G. Keller(2), Clemens Rabe(2)