Shang-Wei Lin
Identifiers
- name variant Shang-Wei Lin 0.60 · backfill
Papers (7)
- Quantangle-SAT: A Quantum SAT Solver Based on Entanglement and Equivalence Checking quant-ph · 2026 · author #1
- A Modular and T-Gate Efficient Architecture for Quantum Leading-Zero/One Counter quant-ph · 2026 · author #2
- DeepFWI: Identifying Bug-Sensitive Warnings with Multi-Modal Code-Warning Semantics cs.SE · 2024 · author #7
- The language preservation problem is undecidable for parametric event-recording automata cs.FL · 2018 · author #2
- Executable Operational Semantics of Solidity cs.PL · 2018 · author #3
- Compositional Reasoning for Shared-variable Concurrent Programs cs.FL · 2016 · author #6
- Proceedings 2nd French Singaporean Workshop on Formal Methods and Applications cs.LO · 2014 · author #1
Mentions
- 1407.1952 #1 · backfill · confidence 0.70 Shang-Wei Lin
Frequent Coauthors
- Yang Liu 3 shared papers
- David Sanan 2 shared papers
- Jun Sun 2 shared papers
- Yean-Ru Chen 2 shared papers
- Alwen Tiu 1 shared papers
- Cen Zhang 1 shared papers
- CNRS 1 shared papers
- David San\'an 1 shared papers
- \'Etienne Andr\'e 1 shared papers
- F-93430 1 shared papers
- France) 1 shared papers
- Fuyuan Zhang 1 shared papers
- Han Liu 1 shared papers
- Jian Zhang 1 shared papers
- Jiao Jiao 1 shared papers
- Ji-Qing Yan 1 shared papers
- Kaixuan Li 1 shared papers
- Laure Petrucci (Universit\'e Paris 13 1 shared papers
- Lei-Han Yao 1 shared papers
- LIPN 1 shared papers