T. Dang
发表
Antoine Girard,
Eugene Asarin,
Thao Dang,
2003,
HSCC.
A. Pnueli,
E. Asarin,
T. Dang,
2000,
Proceedings of the IEEE.
George J. Pappas,
C. Belta,
T. Dang,
2001,
Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).
A. Girard,
E. Asarin,
T. Dang,
2006
.
James Kapinski,
Xiaoqing Jin,
Jyotirmoy V. Deshmukh,
2015,
NFM.
T. Dang,
Romain Testylier,
2011
.
T. Dang,
Tarik Nahhal,
2007
.
T. Dang,
A. Adimoolam,
2016,
2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR).
Antoine Girard,
Thao Dang,
Eugene Asarin,
2003
.
Ádám M. Halász,
Carla Piazza,
Oded Maler,
2014,
Lecture Notes in Computer Science.
T. Dang,
T. Dreossi,
C. Piazza,
2017,
Formal Methods in System Design.
Eugene Asarin,
Oded Maler,
Thao Dang,
2010,
ATVA.
Carla Piazza,
Oded Maler,
Alexandre Rocca,
2019,
Automated Reasoning for Systems Biology and Medicine.
Oded Maler,
Alexandre Donzé,
Thao Dang,
2004,
FMCAD.
Carla Piazza,
Thao Dang,
Tommaso Dreossi,
2017,
Formal Methods in System Design.
Alexandre Rocca,
Thao Dang,
Eric Fanchon,
2014,
HSB.
Thao Dang,
Philippe Gerner,
T. Dang,
2004,
FORMATS/FTRTFT.
Olivier Bournez,
Eugene Asarin,
Oded Maler,
2000,
HSCC.
Victor Magron,
Alexandre Rocca,
Thao Dang,
2017,
ADHS.
Victor Magron,
Alexandre Rocca,
Thao Dang,
2017,
ArXiv.
Antoine Girard,
Goran Frehse,
Oded Maler,
2011,
CAV.
Vijay Kumar,
Insup Lee,
George J. Pappas,
2001,
EMSOFT.
Vijay Kumar,
Insup Lee,
George J. Pappas,
2003,
Proc. IEEE.
Thao Dang,
Romain Testylier,
T. Dang,
2012,
HSB.
Thao Dang,
Romain Testylier,
T. Dang,
2012,
Reliab. Comput..
Thao Dang,
David Salinas,
T. Dang,
2009,
CAV.
Victor Magron,
Alexandre Rocca,
Thao Dang,
2018,
IEEE Transactions on Computers.
Victor Magron,
Alexandre Rocca,
Thao Dang,
2016,
2017 IEEE 24th Symposium on Computer Arithmetic (ARITH).
Stavros Tripakis,
Thao Dang,
T. Dang,
2009
.
Thao Dang,
Gregor Gössler,
Thomas Mari,
2021,
FORMATS.
Antoine Girard,
Eugene Asarin,
Thao Dang,
2007,
Acta Informatica.
Sriram Sankaranarayanan,
Thao Dang,
Franjo Ivancic,
2008,
TACAS.
Oded Maler,
Thao Dang,
Romain Testylier,
2010,
HSCC '10.
Rajeev Alur,
Thao Dang,
Franjo Ivancic,
2003,
Theor. Comput. Sci..
Carla Piazza,
Thao Dang,
Tommaso Dreossi,
2015,
FM.
T. Dang,
I. Saha,
A. Adimoolam,
2023,
HSCC.
Xiaoqing Jin,
Alexandre Donzé,
Thao Dang,
2017,
CAV.
Oded Maler,
Antoine Girard,
Goran Frehse,
2006,
2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control.
Thao Dang,
Romain Testylier,
T. Dang,
2011,
HSCC '11.
Oded Maler,
Thao Dang,
Colas Le Guernic,
2009,
Theor. Comput. Sci..
Eugene Asarin,
Oded Maler,
Thao Dang,
2002,
CAV.
Thao Dang,
T. Dang,
2019,
HSB.
Thao Dang,
Tommaso Dreossi,
T. Dang,
2017,
2017 13th IEEE Conference on Automation Science and Engineering (CASE).
Thao Dang,
Tommaso Dreossi,
T. Dang,
2013,
HSB.
Carla Piazza,
Thao Dang,
Tommaso Dreossi,
2016,
HSCC.
Oded Maler,
Thao Dang,
T. Dang,
1998,
HSCC.
T. Dang,
N. Meslem,
2020,
IFAC-PapersOnLine.
T. Dang,
E. Fanchon,
M. Forets,
2017,
ArXiv.
T. Dang,
R. Alur,
Franjo Ivancic,
2003
.
T. Dang,
T. Dreossi,
A. Casagrande,
2022,
Inf. Comput..
Thao Dang,
Noa Shalev,
T. Dang,
2014,
ATVA.
Oded Maler,
Alexandre Donzé,
Thao Dang,
2008,
2008 47th IEEE Conference on Decision and Control.
Tarik Nahhal,
Thao Dang,
T. Dang,
2007,
CAV.
Thao Dang,
Romain Testylier,
T. Dang,
2013,
ATVA.
Tarik Nahhal,
Thao Dang,
T. Dang,
2009,
Formal Methods Syst. Des..
Antoine Girard,
Thao Dang,
Mohamed Amin Ben Sassi,
2012,
ATVA.
Thao Dang,
Thomas Gawlitza,
T. Dang,
2011,
ATVA.
Cristinel Mateis,
Thao Dang,
Nicolas Basset,
2021,
2021 19th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE).
E. Asarin,
T. Dang,
Nicolas Basset,
2023,
International Conference on Hybrid Systems: Computation and Control.
Dejan Nickovic,
Cristinel Mateis,
Thao Dang,
2021,
ArXiv.
Thao Dang,
Nicolas Basset,
Akshay Mambakam,
2020,
FORMATS.
Antoine Girard,
Thao Dang,
Mohammad Al Khatib,
2017
.
A. Girard,
T. Dang,
M. A. Khatib,
2016,
HSCC.
Rajeev Alur,
Thao Dang,
Franjo Ivancic,
2006,
TECS.
Thao Dang,
Arvind S. Adimoolam,
T. Dang,
2016,
2016 American Control Conference (ACC).
Antoine Girard,
Thao Dang,
Mohammad Al Khatib,
2015,
ADHS.
Tarik Nahhal,
Thao Dang,
T. Dang,
2011,
VLSIC 2011.
Thao Dang,
Philippe Gerner,
T. Dang,
2006,
EMSOFT '06.