Maximizing profit using recommender systems - Aparna Das; Claire Mathieu; Daniel Ricketts 001 (CoRR, 2009)

TLA + Proofs. - Denis Cousineau 002; Damien Doligez; Leslie Lamport; Stephan Merz; Daniel Ricketts 001; Hernán Vanzetto (FM, 2012)

Common Knowledge and State-Dependent Equilibria. - Nuh Aygün Dalkiran; Moshe Hoffman; Ramamohan Paturi; Daniel Ricketts 001; Andrea Vattani (SAGT, 2012)

Experimental study of the impact of historical information in human coordination - Manuel Cebrián; Ramamohan Paturi; Daniel Ricketts 001 (CoRR, 2012)

Automating formal proofs for reactive systems. - Daniel Ricketts 001; Valentin Robert; Dongseok Jang; Zachary Tatlock; Sorin Lerner (PLDI, 2014)

Towards verification of hybrid systems in a foundational proof assistant. - Daniel Ricketts 001; Gregory Malecha; Mario M. Alvarez; Vignesh Gowda; Sorin Lerner (MEMOCODE, 2015)

Towards foundational verification of cyber-physical systems. - Gregory Malecha; Daniel Ricketts 001; Mario M. Alvarez; Sorin Lerner (SOSCYPS@CPSWeek, 2016)

Modular deductive verification of sampled-data systems. - Daniel Ricketts 001; Gregory Malecha; Sorin Lerner (EMSOFT, 2016)

Verification of Sampled-Data Systems using Coq. - Daniel Ricketts 001 (2017)

Safety Verification Using Barrier Certificates with Application to Double Integrator with Input Saturation and Zero-Order Hold. - Azad Ghaffari; Imoleayo Abel; Daniel Ricketts 001; Sorin Lerner; Miroslav Krstic (ACC, 2018)

The TLA+ Toolbox. - Markus Alexander Kuppe; Leslie Lamport; Daniel Ricketts 001 (F-IDE@FM, 2019)