Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Xiaoqing Jin

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2013
[c4]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/hybrid/JinDDS13
- ask others
Xiaoqing Jin, Alexandre Donzé, Jyotirmoy V. Deshmukh, Sanjit A. Seshia: Mining requirements from closed-loop control models. HSCC 2013: 43-52
2012
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/topnoc/CiardoZJ12
- ask others
Gianfranco Ciardo, Yang Zhao, Xiaoqing Jin: Ten Years of Saturation: A Petri Net Perspective. T. Petri Nets and Other Models of Concurrency 5: 51-95 (2012)
2011
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/atva/JinCKZ11
- ask others
Xiaoqing Jin, Gianfranco Ciardo, Tae-Hyong Kim, Yang Zhao: Symbolic Verification and Test Generation for a Network of Communicating FSMs. ATVA 2011: 432-442
[c2]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tase/ZhaoJC11
- ask others
Yang Zhao, Xiaoqing Jin, Gianfranco Ciardo: A Symbolic Algorithm for Shortest EG Witness Generation. TASE 2011: 68-75

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-0912-2785
- ask others
Gianfranco Ciardo, Yang Zhao, Xiaoqing Jin: Parallel symbolic state-space exploration is difficult, but what is the alternative? PDMC 2009: 1-17

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?