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 × Russia
Collaborated with:
N.Zhan L.Dai Y.Feng J.Katoen H.Li T.Gan D.Kapur M.Chen
Talks about:
interpol (2) semidefinit (1) synthesi (1) polynomi (1) automata (1) quadrat (1) program (1) monitor (1) generat (1) linear (1)

Person: Bican Xia

DBLP DBLP: Xia:Bican

Contributed to:

CAV 20132013
IJCAR 20162016
CAV (1) 20182018

Wrote 3 papers:

CAV-2013-DaiXZ #generative #programming
Generating Non-linear Interpolants by Semidefinite Programming (LD, BX, NZ), pp. 364–380.
IJCAR-2016-GanDXZKC #polynomial #synthesis
Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF (TG, LD, BX, NZ, DK, MC), pp. 195–212.
CAV-2018-FengKLXZ #automaton #monitoring #multi
Monitoring CTMCs by Multi-clock Timed Automata (YF, JPK, HL, BX, NZ), pp. 507–526.

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.