| User engagement computer system and method of using same W Rocklin, R Reynolds, R Inamoto, TC Shoos, NG Torres, ... US Patent 10,855,952, 2020 | 12 | 2020 |
| Reprogrammable point-of-sale transaction flows JA Wolter, PY Ricau, R Dickerson US Patent 10,692,055, 2020 | 12 | 2020 |
| RHLE: Modular Deductive Verification of Relational Properties R Dickerson, Q Ye, MK Zhang, B Delaware Asian Symposium on Programming Languages and Systems, 67-87, 2022 | 7* | 2022 |
| Data-driven abductive inference of library specifications Z Zhou, R Dickerson, B Delaware, S Jagannathan Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-29, 2021 | 7 | 2021 |
| Reprogrammable point-of-sale transaction flows JA Wolter, PY Ricau, R Dickerson US Patent App. 15/224,117, 2018 | 5 | 2018 |
| Reprogrammable point-of-sale transaction flows JA Wolter, PY Ricau, R Dickerson US Patent App. 15/224,078, 2018 | 5 | 2018 |
| Reprogrammable point-of-sale transaction flows JA Wolter, PY Ricau, R Dickerson US Patent 10,872,320, 2020 | 4 | 2020 |
| Reprogrammable point-of-sale transaction flows JA Wolter, PY Ricau, R Dickerson US Patent 10,496,973, 2019 | 4 | 2019 |
| Reprogrammable point-of-sale transaction flows JA Wolter, PY Ricau, R Dickerson US Patent App. 17/218,825, 2021 | | 2021 |
| Reprogrammable point-of-sale transaction flows JA Wolter, PY Ricau, R Dickerson US Patent 11,017,361, 2021 | | 2021 |
| Reprogrammable point-of-sale transaction flows JA Wolter, PY Ricau, R Dickerson US Patent 10,762,480, 2020 | | 2020 |
| RHLE: Automatic Verification of∀∃-Hyperproperties. R Dickerson, Q Ye, B Delaware CoRR, 2020 | | 2020 |
Benjamin DelawareAssistant Professor, Purdue UniversityVerified email at purdue.edu
