Papers
(The TQCC of Formal Methods in System Design is 2. The table below lists those papers that are above that threshold based on CrossRef citation counts [max. 250 papers]. The publications cover those that have been published in the past four years, i.e., from 2020-05-01 to 2024-05-01.)
Faster algorithms for quantitative verification in bounded treewidth graphs | 2 |
Symbolic encoding of LL(1) parsing and its applications | 2 |
Certifying proofs for SAT-based model checking | 2 |