Ashish Tiwari

Employment

• Microsoft Corp
• SRI International

Education

Education history is unavailable.

Projects & Funding

Projects & funding information is unavailable.

Publications (9)

• TeLEx: learning signal temporal logic from positive examples using tightness metric
  Formal methods in system design 2019 DOI: 10.1007/s10703-019-00332-1
  +Save
• A search-based procedure for nonlinear real arithmetic
  Formal methods in system design 2016 DOI: 10.1007/s10703-016-0245-8
  +Save
• Automated Reasoning
  2016 DOI: 10.1007/978-3-319-40229-1
  +Save
• Symbolic and Numerical Methods for Reachability Analysis, 1st International Workshop, SNR 2015
  2015
  +Save
• <<A>> Nonlinear Real Arithmetic Fragment
  Computer aided verification ; Armin Biere ... (eds.) 2014
  +Save
• Computing minimal nutrient sets from metabolic networks via linear constraint solving
  BMC bioinformatics 2013 DOI: 10.1186/1471-2105-14-114
  +Save
• 23rd International Conference on Rewriting Techniques and Applications (RTA'12)
  2012
  +Save
• Analyzing Pathways Using SAT-Based Approaches
  Algebraic biology ; Hirokazu Anai ... (ed.) 2007
  +Save
• Hybrid Systems: Computation and Control (vol. # 3927)
  2006 DOI: 10.1007/11730637
  +Save