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: Feng:Yuan
Contributed to:
20152014
2011
20162017Wrote 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.