Timothy Wang

Identifiers

• name variant Timothy Wang 0.60 · backfill

Papers (6)

1. Credible Autocoding of Convex Optimization Algorithms cs.SY · 2014 · author #1
2. Credible Autocoding of Fault Detection Observers cs.SY · 2013 · author #1
3. Verifiable Control System Development for Gas Turbine Engines cs.SY · 2013 · author #2
4. Automated, Credible Autocoding of An Unmanned Aggressive Maneuvering Car Controller cs.SY · 2013 · author #1
5. From Design to Implementation: an Automated, Credible Autocoding Chain for Control Systems cs.SY · 2013 · author #1
6. A graphical environment to express the semantics of control systems cs.SY · 2011 · author #1

Mentions

• 1403.1861 #1 · arxiv_oai · confidence 0.70 Timothy Wang
• 1311.2064 #1 · arxiv_oai · confidence 0.70 Timothy Wang
• 1311.1885 #2 · arxiv_oai · confidence 0.70 Timothy Wang
• 1308.5964 #1 · arxiv_oai · confidence 0.70 Timothy Wang
• 1307.2641 #1 · arxiv_oai · confidence 0.70 Timothy Wang
• 1108.4048 #1 · arxiv_oai · confidence 0.70 Timothy Wang
• 1403.1861 #1 · backfill · confidence 0.70 Timothy Wang
• 1311.2064 #1 · backfill · confidence 0.70 Timothy Wang
• 1311.1885 #2 · backfill · confidence 0.70 Timothy Wang
• 1308.5964 #1 · backfill · confidence 0.70 Timothy Wang
• 1307.2641 #1 · backfill · confidence 0.70 Timothy Wang
• 1108.4048 #1 · backfill · confidence 0.70 Timothy Wang

Frequent Coauthors

• Romain Jobredeaux 5 shared papers
• Eric Feron 4 shared papers
• Marc Pantel 2 shared papers
• Pierre-Loic Garoche 2 shared papers
• Alireza Esna Ashari 1 shared papers
• Arnaud Dieumegard 1 shared papers
• Didier Henrion 1 shared papers
• E. Feron 1 shared papers
• Eric M. Feron 1 shared papers
• Heber Herencia 1 shared papers
• Martin Vivies 1 shared papers
• Mehrdad Pakmehr 1 shared papers