BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Croatia
1 × USA
3 × United Kingdom
Collaborated with:
E.M.Clarke S.Kong J.Avigad A.Solar-Lezama W.Chen W.Klieber S.Sapra J.Kapinski J.V.Deshmukh N.Roohi N.Aréchiga
Talks about:
real (4) procedur (2) system (2) solver (2) delta (2) decis (2) non (2) nonlinear (1) reachabl (1) satisfi (1)

Person: Sicun Gao

DBLP DBLP: Gao:Sicun

Contributed to:

TACAS 20152015
CADE 20132013
IJCAR 20122012
LICS 20122012
SAT 20102010
CAV (2) 20182018
CAV (2) 20192019

Wrote 7 papers:

TACAS-2015-KongGCC #analysis #hybrid #named
dReach: δ-Reachability Analysis for Hybrid Systems (SK, SG, WC, EMC), pp. 200–205.
CADE-2013-GaoKC #named #smt
dReal: An SMT Solver for Nonlinear Theories over the Reals (SG, SK, EMC), pp. 208–214.
IJCAR-2012-GaoAC #satisfiability
δ-Complete Decision Procedures for Satisfiability over the Reals (SG, JA, EMC), pp. 286–300.
Delta-Decidability over the Reals (SG, JA, EMC), pp. 305–314.
SAT-2010-KlieberSGC #learning
A Non-prenex, Non-clausal QBF Solver with Game-State Learning (WK, SS, SG, EMC), pp. 128–142.
CAV-2018-KongSG #problem
Delta-Decision Procedures for Exists-Forall Problems over the Reals (SK, ASL, SG), pp. 219–235.
CAV-2019-GaoKDRSAK #induction #proving
Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems (SG, JK, JVD, NR, ASL, NA, SK), pp. 137–154.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.