BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × China
1 × United Kingdom
Collaborated with:
Z.Qiu G.Pu X.Zhao Xueying Ding Haitao Li 0001 J.He W.Yi J.Liu B.Zhan S.Ying T.Liu Y.Li M.Ying N.Zhan
Talks about:
approach (2) quantum (2) hardwar (2) logic (2) algorithm (1) feedback (1) softwar (1) network (1) multipl (1) disturb (1)

Person: Shuling Wang

DBLP DBLP: Wang:Shuling

Contributed to:

FM 20052005
SEFM 20042004
CAV (2) 20192019
CASE 20172017

Wrote 4 papers:

FM-2005-QiuWPZ #fault #semantics
Semantics of BPEL4WS-Like Fault and Compensation Handling (ZQ, SW, GP, XZ), pp. 350–365.
SEFM-2004-GeguangXSZHY #approach #clustering #hardware #multi
An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model (GP, XZ, SW, ZQ, JH, WY), pp. 376–385.
CAV-2019-LiuZWYLLYZ #algorithm #hoare #logic #quantum #using #verification
Formal Verification of Quantum Algorithms Using Quantum Hoare Logic (JL, BZ, SW, SY, TL, YL, MY, NZ), pp. 187–207.
CASE-2017-DingWL #approach #feedback #logic #matrix #network
Output feedback disturbance decoupling of boolean control networks: A logical matrix factorization approach (XD, SW, HL0), pp. 181–186.
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.