Thao Dang

Identifiers

• name variant Thao Dang 0.60 · backfill

Papers (4)

1. Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations cs.NA · 2018 · author #3
2. Occupation measure methods for modelling and analysis of biological hybrid automata eess.SY · 2017 · author #5
3. Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations cs.NA · 2016 · author #3
4. Proceedings Second International Workshop on Hybrid Systems and Biology cs.CE · 2013 · author #1

Mentions

• 1802.04385 #3 · arxiv_oai · confidence 0.70 Thao Dang
• 1710.03158 #5 · arxiv_oai · confidence 0.70 Thao Dang
• 1610.07038 #3 · arxiv_oai · confidence 0.70 Thao Dang
• 1308.5724 #1 · arxiv_oai · confidence 0.70 Thao Dang
• 1308.5724 #1 · backfill · confidence 0.70 Thao Dang

Frequent Coauthors

• Alexandre Rocca 3 shared papers
• Victor Magron 3 shared papers
• Carla Piazza 1 shared papers
• Eric Fanchon 1 shared papers
• Marcelo Forets 1 shared papers