Daniel Ricketts
Publication Activity (10 Years)
Years Active: 2009-2019
Publications (10 Years): 4
Publications (10 Years): 4
University of California, San Diego, USA (PHD)
Education History
University of California, San Diego, USA
PHD
Publications
- Markus Alexander Kuppe, Leslie Lamport, Daniel Ricketts
- Daniel Ricketts, Gregory Malecha, Sorin Lerner
- Daniel Ricketts, Valentin Robert, Dongseok Jang, Zachary Tatlock, Sorin Lerner
- Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernán VanzettoTLA+ Proofs CoRR (2012)
- Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernán Vanzetto
- Nuh Aygün Dalkiran, Moshe Hoffman, Ramamohan Paturi, Daniel Ricketts, Andrea Vattani
- Aparna Das, Claire Mathieu, Daniel Ricketts