Shuling Wang

Identifiers

• name variant Shuling Wang 0.60 · backfill

Papers (8)

1. Synthesizing SystemC Code from Delay Hybrid CSP cs.LO · 2017 · author #3
2. Compositional Hoare-style Reasoning about Hybrid CSP in the Duration Calculus cs.LO · 2017 · author #2
3. Approximate Bisimulation and Discretization of Hybrid CSP cs.LO · 2016 · author #4
4. A Theorem Prover for Quantum Hoare Logic and Its Applications cs.LO · 2016 · author #3
5. Extending Hybrid CSP with Probability and Stochasticity cs.LO · 2015 · author #2
6. A Framework for Hybrid Systems with Denial-of-Service Security Attack cs.LO · 2014 · author #1
7. A Framework for Automated and Certified Refinement Steps cs.SE · 2011 · author #4
8. Shot Noise Suppression in Avalanche Photodiodes physics.comp-ph · 2005 · author #2

Mentions

• 1509.01660 #2 · arxiv_oai · confidence 0.70 Shuling Wang
• 1403.6367 #1 · arxiv_oai · confidence 0.70 Shuling Wang
• 1403.6367 #1 · backfill · confidence 0.70 Shuling Wang
• 1112.0215 #4 · backfill · confidence 0.70 Shuling Wang

Frequent Coauthors

• Naijun Zhan 5 shared papers
• Gaogao Yan 2 shared papers
• Li Jiao 2 shared papers
• Yangjia Li 2 shared papers
• Andreas Griesmayer 1 shared papers
• Charles Morisset 1 shared papers
• Dimitar Guelev 1 shared papers
• Feng Ma 1 shared papers
• Flemming Nielson 1 shared papers
• Hanne Riis Nielson 1 shared papers
• Joe C. Campbell 1 shared papers
• Lijun Zhang 1 shared papers
• Mingsheng Ying 1 shared papers
• Tao Liu 1 shared papers
• Yu Peng 1 shared papers
• Zhiming Liu 1 shared papers