Follow
Robert Dickerson
Robert Dickerson
PhD Student, Purdue University
Verified email at purdue.edu - Homepage
Title
Cited by
Cited by
Year
Reprogrammable point-of-sale transaction flows
JA Wolter, PY Ricau, R Dickerson
US Patent 10,692,055, 2020
112020
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
52020
Reprogrammable point-of-sale transaction flows
JA Wolter, PY Ricau, R Dickerson
US Patent App. 15/224,117, 2018
52018
Reprogrammable point-of-sale transaction flows
JA Wolter, PY Ricau, R Dickerson
US Patent App. 15/224,078, 2018
52018
Reprogrammable point-of-sale transaction flows
JA Wolter, PY Ricau, R Dickerson
US Patent 10,496,973, 2019
42019
Data-driven abductive inference of library specifications
Z Zhou, R Dickerson, B Delaware, S Jagannathan
arXiv preprint arXiv:2108.04783, 2021
22021
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
2022
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,872,320, 2020
2020
Reprogrammable point-of-sale transaction flows
JA Wolter, PY Ricau, R Dickerson
US Patent 10,762,480, 2020
2020
RHLE: Relational Reasoning for Existential Program Verification
R Dickerson, Q Ye, B Delaware
2020
RHLE: Automatic Verification of∀∃-Hyperproperties.
R Dickerson, Q Ye, B Delaware
CoRR, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–13