| PISTIS: An Event-Triggered Real-Time Byzantine-Resilient Protocol Suite | 0 | 0.34 | 2021 |
| Open Bar - a Brouwerian Intuitionistic Logic with a Pinch of Excluded Middle. | 0 | 0.34 | 2021 |
| Practical Byzantine Reliable Broadcast on Partially Connected Networks | 0 | 0.34 | 2021 |
| Bar Induction is Compatible with Constructive Type Theory. | 0 | 0.34 | 2019 |
| Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq. | 0 | 0.34 | 2018 |
| A Verified Theorem Prover Backend Supported by a Monotonic Library. | 0 | 0.34 | 2018 |
| Computability Beyond Church-Turing via Choice Sequences. | 0 | 0.34 | 2018 |
| Validating Brouwer's continuity principle for numbers using named exceptions. | 0 | 0.34 | 2018 |
| EventML: Specification, verification, and implementation of crash-tolerant state machine replication systems. | 1 | 0.34 | 2017 |
| Meeting the Challenges of Critical and Extreme Dependability and Security | 0 | 0.34 | 2017 |
| Skalpel: A constraint-based type error slicer for Standard ML. | 1 | 0.39 | 2017 |
| Formally verified differential dynamic logic. | 7 | 0.52 | 2017 |
| A Nominal Exploration of Intuitionism | 6 | 0.49 | 2016 |
| Formal Specification, Verification, and Implementation of Fault-Tolerant Systems using EventML. | 4 | 0.40 | 2015 |
| Skalpel: A Type Error Slicer for Standard ML. | 3 | 0.45 | 2015 |
| A Generic Approach to Proofs about Substitution | 1 | 0.41 | 2014 |
| Formal program optimization in nuprl using computational equivalence and partial types | 6 | 0.42 | 2013 |
| On Realisability Semantics for Intersection Types with Expansion Variables | 2 | 0.37 | 2012 |
| Reducibility Proofs in the λ-Calculus | 1 | 0.37 | 2012 |
| A diversified and correct-by-construction broadcast service | 2 | 0.36 | 2012 |
| ShadowDB: a replicated database on a synthesized consensus core | 5 | 0.44 | 2012 |
| Simplified Reducibility Proofs of Church-Rosser for beta- and betaeta-reduction | 0 | 0.34 | 2009 |
| A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables | 2 | 0.43 | 2008 |
| Uniform Circuits, & Boolean Proof Nets | 2 | 0.43 | 2007 |
