Lee A. Barnett
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2017–2025
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | FMCAD | Modeling the AWS Authorization Engine. | Lee A. Barnett, Loris D'Antoni, Amit Goel, Rami Gkhan Kici, Neha Rungta, Mary Southern, Chungha Sung |
| 2021 | CADE | Non-clausal Redundancy Properties. | Lee A. Barnett, Armin Biere |
| 2020 | CADE | Covered Clauses Are Not Propagation Redundant. | Lee A. Barnett, David M. Cerna, Armin Biere |
| 2017 | TABLEAUX | Goal-Sensitive Reasoning with Disconnection Tableaux. | Lee A. Barnett |