The Ingest and Maintenance of Electronic Records: Moving from Theory to Practice. - Kevin L. Glick; Eliot Wilczek; Robert Dockins (Bull. IEEE Tech. Comm. Digit. Libr., 2007)

Multimodal Separation Logic for Reasoning About Operational Semantics. - Robert Dockins; Andrew W. Appel; Aquinas Hobor (MFPS, 2008)

A Fresh Look at Separation Algebras and Share Accounting. - Robert Dockins; Aquinas Hobor; Andrew W. Appel (APLAS, 2009)

A Logical Mix of Approximation and Separation. - Aquinas Hobor; Robert Dockins; Andrew W. Appel (APLAS, 2010)

A Theory of Termination via Indirection. - Robert Dockins; Aquinas Hobor (Modelling, Controlling and Reasoning About State, 2010)

A theory of indirection via approximation. - Aquinas Hobor; Robert Dockins; Andrew W. Appel (POPL, 2010)

Time Bounds for General Function Pointers. - Robert Dockins; Aquinas Hobor (MFPS, 2012)

A List-Machine Benchmark for Mechanized Metatheory. - Andrew W. Appel; Robert Dockins; Xavier Leroy (J. Autom. Reason., 2012)

Operational Refinement for Compiler Correctness - Robert Dockins (2012)

Suppl: A Flexible Language for Policies. - Robert Dockins; Andrew Tolmach (APLAS, 2014)

Verified Compilation for Shared-Memory C. - Lennart Beringer; Gordon Stewart 001; Robert Dockins; Andrew W. Appel (ESOP, 2014)

Formalized, Effective Domain Theory in Coq. - Robert Dockins (ITP, 2014)

Constructing Semantic Models of Programs with the Software Analysis Workbench. - Robert Dockins; Adam Foltzer; Joe Hendrix; Brian Huffman; Dylan McNamee; Aaron Tomb (VSTTE, 2016)

Dependently typed Haskell in industry (experience report). - David Thrane Christiansen; Iavor S. Diatchki; Robert Dockins; Joe Hendrix; Tristan Ravitch (Proc. ACM Program. Lang., 2019)

Trustworthy Runtime Verification via Bisimulation (Experience Report). - Ryan G. Scott; Mike Dodds; Ivan Perez 001; Alwyn E. Goodloe; Robert Dockins (Proc. ACM Program. Lang., 2023)

Crux, a Precise Verifier for Rust and Other Languages. - Stuart Pernsteiner; Iavor S. Diatchki; Robert Dockins; Mike Dodds; Joe Hendrix; Tristan Ravitch; Patrick Redmond; Ryan G. Scott; Aaron Tomb (CoRR, 2024)