Home
News
People
Publications
Courses
Vacancies
Contact
Pulp Fictions
Light
Dark
Automatic
Jian Wang
Publications with FICTION
Journal Articles
Jian Wang
,
Jie An
,
Mingshuai Chen
,
Naijun Zhan
,
Lulin Wang
,
Miaomiao Zhang
,
Ting Gan
(2020).
From Model to Implementation: A Network Algorithm Programming Language
.
Sci. China Inf. Sci.
.
PDF
Cite
Code
DOI
Conference Papers
Mingshuai Chen
,
Jian Wang
,
Jie An
,
Bohua Zhan
,
Deepak Kapur
,
Naijun Zhan
(2019).
NIL: Learning Nonlinear Interpolants
. In
CADE 2019
.
PDF
Cite
Code
Slides
DOI
Cite
×