Home
News
People
Publications
Seminar
Courses
Vacancies
Contact
Pulp Fictions
Light
Dark
Automatic
Miaomiao Zhang
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
Jie An
,
Mingshuai Chen
,
Bohua Zhan
,
Naijun Zhan
,
Miaomiao Zhang
(2020).
Learning One-Clock Timed Automata
. In
TACAS 2020
.
PDF
Cite
Slides
DOI
Artifact Evaluated
Best Paper Award @ FMAC 2019
Springer High-Impact Paper
Cite
×