Clark Barrett

No bio available. Add one in Open Library.

Books by Clark Barrett (50 max)

+ shelf+ list

Proceedings of the Joint Workshops of the 6th International Workshop on Satisfiability Modulo Theories and 1st International Workshop on Bit-Precise Reasoning

2008

Clark Barrett

+ shelf+ list

NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

2017

Clark Barrett, Misty Davies, Temesghen Kahsai

+ shelf+ list

Algorithms for Verifying Deep Neural Networks

2021

Changliu Liu, Tomer Arnon, Christopher Lazarus, Christopher Strong, Clark Barrett

+ shelf+ list

Identifying and Mitigating the Security Risks of Generative AI

2024

Clark Barrett, Brad Boyd, Elie Bursztein, Nicholas Carlini, Brad Chen

+ shelf+ list

Automated Deduction : CADE 30: 30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings

2025

Clark Barrett, Uwe Waldmann