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 × Norway
1 × Singapore
1 × USA
Collaborated with:
L.Zhang J.Li R.Duan M.Ying E.M.Hahn A.Turrini X.Zhong W.Fan Hyo-Kyung Lee Rebecca Jin P.A.Bain Jo Goffinet Christine Baker
Talks about:
quantum (2) process (2) bisimul (2) analysi (2) model (2) probabilist (1) intervent (1) protocol (1) automata (1) program (1)

Person: Yuan Feng

DBLP DBLP: Feng:Yuan

Contributed to:

FM 20152015
FM 20142014
POPL 20112011
CASE 20162016
CASE 20172017

Wrote 5 papers:

FM-2015-FengHTZ #model checking #named #protocol #quantum #source code
QPMC: A Model Checker for Quantum Programs and Protocols (YF, EMH, AT, LZ), pp. 265–272.
FM-2014-FengZ #automaton #bisimulation #equivalence #probability
When Equivalence and Bisimulation Join Forces in Probabilistic Automata (YF, LZ), pp. 247–262.
POPL-2011-FengDY #bisimulation #process #quantum
Bisimulation for quantum processes (YF, RD, MY), pp. 523–534.
CASE-2016-FengZLF #analysis
Analysis of closed loop production lines in automotive body shops (YF, XZ, JL, WF), pp. 849–854.
CASE-2017-LeeJFBGBL #analysis #modelling #process #simulation #using
Modeling and analysis of postoperative intervention process for total joint replacement patients using simulations (HKL, RJ, YF, PAB, JG, CB, JL), pp. 568–573.

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.