References of "Bickford, Mark"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailComputability Beyond Church-Turing via Choice Sequences
Bickford, Mark; Cohen, Liron; Constable, Robert et al

in LICS 2018 (2018)

Detailed reference viewed: 122 (9 UL)
Full Text
Peer Reviewed
See detailA Verified Theorem Prover Backend Supported by a Monotonic Library
Rahli, Vincent UL; Cohen, Liron; Bickford, Mark

in LPAR 2018 (2018)

Detailed reference viewed: 125 (6 UL)
Full Text
Peer Reviewed
See detailBar Induction: The Good, the Bad, and the Ugly
Rahli, Vincent UL; Bickford, Mark; Constable, Robert

in Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Detailed reference viewed: 204 (21 UL)
Full Text
Peer Reviewed
See detailEventML: Specification, Verification, and Implementation of Crash-Tolerant State Machine Replication Systems
Rahli, Vincent UL; Guaspari, David; Bickford, Mark et al

in Science of Computer Programming (2017)

Detailed reference viewed: 142 (4 UL)
Full Text
Peer Reviewed
See detailValidating Brouwer's Continuity Principle for Numbers Using Named Exceptions
Rahli, Vincent UL; Bickford, Mark

in Mathematical Structures in Computer Science (2017)

Detailed reference viewed: 140 (3 UL)
Full Text
Peer Reviewed
See detailA Nominal Exploration of Intuitionism
Rahli, Vincent UL; Bickford, Mark

in The 5th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP 2016) (2016)

Detailed reference viewed: 166 (13 UL)
Full Text
Peer Reviewed
See detailCoq as a Metatheory for Nuprl with Bar Induction
Rahli, Vincent UL; Bickford, Mark

Scientific Conference (2015)

Detailed reference viewed: 115 (34 UL)
Full Text
Peer Reviewed
See detailFormal Specification, Verification, and Implementation of Fault-Tolerant Systems using EventML
Rahli, Vincent UL; Guaspari, David; Bickford, Mark et al

in EASST (2015)

Detailed reference viewed: 122 (16 UL)
Full Text
Peer Reviewed
See detailA Type Theory with Partial Equivalence Relations as Types
Anand, Abhishek; Bickford, Mark; Constable, Robert L. et al

Scientific Conference (2014)

Detailed reference viewed: 72 (5 UL)
Full Text
Peer Reviewed
See detailDeveloping Correctly Replicated Databases Using Formal Tools
Schiper, Nicolas; Rahli, Vincent UL; Van Renesse, Robbert et al

in DSN 2014 (2014)

Detailed reference viewed: 159 (5 UL)
Full Text
Peer Reviewed
See detailFormal Program Optimization in Nuprl Using Computational Equivalence and Partial Types
Rahli, Vincent UL; Bickford, Mark; Anand, Abhishek

in ITP 2013 (2013)

Detailed reference viewed: 103 (1 UL)
Full Text
See detailIntroduction to EventML
Bickford, Mark; Constable, Robert L.; Eaton, Richard et al

Report (2012)

Detailed reference viewed: 53 (1 UL)
Full Text
Peer Reviewed
See detailLogic of Events, a framework to reason about distributed systems
Bickford, Mark; Constable, Robert L.; Rahli, Vincent UL

Scientific Conference (2012)

Detailed reference viewed: 64 (2 UL)
Full Text
Peer Reviewed
See detailShadowDB: A Replicated Database on a Synthesized Consensus Core
Schiper, Nicolas; Rahli, Vincent UL; Renesse, Robbert Van et al

in HotDep 2012 (2012)

Detailed reference viewed: 48 (3 UL)
Full Text
Peer Reviewed
See detailA diversified and correct-by-construction broadcast service
Rahli, Vincent UL; Schiper, Nicolas; Renesse, Robbert Van et al

in ICNP 2012 (2012)

Detailed reference viewed: 86 (1 UL)