Lee A. Barnett

According to our database, Lee A. Barnett authored at least 4 papers between 2017 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Modeling the AWS Authorization Engine.

Lee A. Barnett, Loris D'Antoni, Amit Goel, Rami Gökhan Kici, Neha Rungta, Mary Southern, Chungha Sung

Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, 2025

2021

Non-clausal Redundancy Properties.

Lee A. Barnett, Armin Biere

Proceedings of the Automated Deduction - CADE 28, 2021

2020

Covered Clauses Are Not Propagation Redundant.

Lee A. Barnett, David M. Cerna, Armin Biere

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2017

Goal-Sensitive Reasoning with Disconnection Tableaux.

Lee A. Barnett

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2017