| Solving Program Sketches with Large Integer Values. | 0 | 0.34 | 2020 |
| Solving Program Sketches with Large Integer Values. | 0 | 0.34 | 2020 |
| Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain. | 2 | 0.37 | 2019 |
| (m, n, 3, 1) Optical Orthogonal Signature Pattern Codes With Maximum Possible Size. | 2 | 0.42 | 2015 |
