Yun-Rong Luo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2021–2025
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CAV | QSM-Cutoff: Systematic Derivation of Quantified Cutoff Formulas for Distributed Protocols. | Yun-Rong Luo, Aman Goel, Karem A. Sakallah |
| 2024 | IJCAI | Knowledge Compilation for Incremental and Checkable Stochastic Boolean Satisfiability. | Che Cheng, Yun-Rong Luo, Jie-Hong R. Jiang |
| 2024 | ISoLA | SAT-Based Quantified Symmetric Minimization of the Reachable States of Distributed Protocols: An Update. | Yun-Rong Luo, Aman Goel, Karem A. Sakallah |
| 2021 | ICCAD | Compatible Equivalence Checking of X-Valued Circuits. | Yu-Neng Wang, Yun-Rong Luo, Po-Chun Chien, Ping-Lun Wang, Hao-Ren Wang, Wan-Hsuan Lin, Jie-Hong Roland Jiang, Chung-Yang Ric Huang |