| Date | Title | Type | Full Text |
|---|---|---|---|
| 2027-01 | Signature filtering: a lightweight enhancement for statistical watermark detection in large language models | article | web page(81) |
| 2026-05 | Concolic Testing on Individual Fairness of Neural Network Models | article | web page(466) |
| 2025-06 | Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification | article | web page(311) |
| 2024-01 | Regular Abstractions for Array Systems | article | web page(408) |
| 2019-06 | CSS Minification via Constraint Solving | article | web page(460) |
- 1