Skip to main content
PRL Project

Knowledge Base of
Publication Publications, Seminar Seminars, & Math Book Math Library

PhD theses from the project are accessible at the NCSTRL web site.

Browse by author | title | year | subject

Filter for: Mark Bickford

85 results


Publication Bar Induction: The Good, the Bad, and the Ugly
by Vincent Rahli, Mark Bickford, Robert L. Constable
April 11, 2017

Publication Constructive Analysis and Experimental Mathematics using the Nuprl Proof Assistant
by Mark Bickford
March 02, 2016

Publication A Nominal Exploration of Intuitionism
by Vincent Rahli, Mark Bickford
January 18, 2016

Publication Coq as a Metatheory for Nuprl with Bar Induction
by Vincent Rahli, Mark Bickford
September 14, 2015

Publication Formal Specification, Verification, and Implementation of Fault-Tolerant Systems using EventML
by Vincent Rahli, David Guaspari, Mark Bickford, Robert L. Constable
September 01, 2015

Publication Nuprl’s Inductive Logical Forms
by Mark Bickford, Robert L. Constable, Richard Eaton, Vincent Rahli
September 01, 2015

Seminar Synthetic Topology in NuPRL
by Francisco Mota, Mark Bickford
December 03, 2014

Seminar From Replicated Databases to Ensembles of Collaborating Robots
by Abhishek Anand, Mark Bickford
November 19, 2014

Seminar Nominal Type Theory
by Mark Bickford, Vincent Rahli
October 29, 2014

Seminar Topics in Type Theory
by Abhishek Anand, Robert L. Constable, Mark Bickford
October 22, 2014

Seminar There Are No Discontinuous Real Functions
by Mark Bickford, Vincent Rahli
October 08, 2014

Seminar Synthesizing Protocols using the Logic of Events and EventML
by Robert L. Constable, Mark Bickford
September 17, 2014

Publication Developing Correctly Replicated Databases Using Formal Tools
by Nicolas Schiper, Vincent Rahli, Robbert van Renesse, Mark Bickford, Robert L. Constable
June 23, 2014

Math Book A Fast Algorithm for the Integer Square Root
by Anne Trostle, Mark Bickford
June 09, 2014

Publication A Type Theory with Partial Equivalence Relations as Types
by Abhishek Anand, Mark Bickford, Robert L. Constable, Vincent Rahli
May 12, 2014

Publication Inductive Construction in Nuprl Type Theory Using Bar Induction
by Mark Bickford, Robert L. Constable
May 12, 2014

Seminar Formalizing Bishop's Constructive Analysis in Constructive Type Theory
by Mark Bickford, Robert L. Constable
April 10, 2014

Publication Intuitionistic Completeness of First-Order Logic | cite »
by Robert L. Constable, Mark Bickford
January 01, 2014

Seminar Quotient Types in Nuprl
by Mark Bickford
November 13, 2013

Seminar The power of bar induction in constructive type theory
by Mark Bickford
September 25, 2013

Publication Formal Program Optimization in Nuprl Using Computational Equivalence and Partial Types | cite »
by Vincent Rahli, Mark Bickford, Abhishek Anand
April 22, 2013

Publication Formal Specification, Verification, and Implementation of Fault-Tolerant Systems
by Vincent Rahli, David Guaspari, Mark Bickford, Robert L. Constable
March 31, 2013

Publication A Diversified and Correct-by-Construction Broadcast Service | cite »
by Vincent Rahli, Nicolas Schiper, Robbert van Renesse, Mark Bickford, Robert L. Constable
October 30, 2012

Seminar Realizing Bar Induction in Nuprl
by Mark Bickford
October 26, 2012

Seminar Bar Induction and the Fan Theorem in Constructive Type Theory
by Robert L. Constable, Mark Bickford, Abhishek Anand
October 12, 2012

Publication ShadowDB: A Replicated Database on a Synthesized Consensus Core | cite »
by Nicolas Schiper, Vincent Rahli, Robbert van Renesse, Mark Bickford, Robert L. Constable
October 07, 2012

Seminar Wider Deployment of Nuprl
by Richard Eaton, Mark Bickford, Robert L. Constable, Christoph Kreitz
September 28, 2012

Math Book Formalizing Constructive Analysis in Nuprl
by Mark Bickford
September 04, 2012

Publication Polymorphic Logic | cite »
by Mark Bickford, Robert L. Constable
July 29, 2012

Math Book Formalizing Moessner's Theorem in Nuprl
by Mark Bickford, Dexter Kozen, Alexandra Silva
June 08, 2012

Math Book Introduction to EventML
by Mark Bickford, Robert L. Constable, Richard Eaton, David Guaspari
February 03, 2012

Publication The Logic of Events, a framework to reason about distributed systems | cite »
by Mark Bickford, Vincent Rahli, Robert L. Constable
2012

Seminar Adding Communication Primitives to the Nuprl Evaluator
by Mark Bickford
May 04, 2012

Seminar Impredicative vs Predicative Type Theory
by Robert L. Constable, Mark Bickford, Richard Eaton
April 13, 2012

Seminar Simple Consensus Algorithm
by Robert L. Constable, Mark Bickford, Vincent Rahli
October 28, 2011

Seminar NuPRL Demo
by Mark Bickford
September 16, 2011

Publication Intuitionistic Completeness of First-Order Logic | cite »
by Robert L. Constable, Mark Bickford
October 07, 2011

Publication Automated Proof of Authentication Protocols in a Logic of Events | cite »
by Mark Bickford
2010

Publication Generating Event Logics with Higher-Order Processes as Realizers | cite »
by Mark Bickford, Robert L. Constable, David Guaspari
2010

Publication Investigating Correct-by-Construction Attack-Tolerant Systems | cite »
by Robert L. Constable, Mark Bickford, Robbert van Renesse
2010

Publication Component Specification Using Event Classes | cite »
by Mark Bickford
2009

Publication Formal Foundations of Computer Security | cite »
by Mark Bickford, Robert L. Constable
2008

Publication Unguessable Atoms: A Logical Foundation for Security | cite »
by Mark Bickford
2008

Math Book Chain Replication Protocol
by Mark Bickford
September 27, 2006

Publication Formalizing chain replication
by Mark Bickford, David Guaspari
2006

Publication Innovations in Computational Type Theory using Nuprl | cite »
by Stuart F. Allen, Mark Bickford, Robert L. Constable, Richard Eaton, Christoph Kreitz, Lori Lorigo, Evan Moran
2006

Publication Unguessable Atoms: A Logical Foundation for Security | cite »
by Mark Bickford
2006

Seminar Automating Proofs in Event Logic
by Mark Bickford, Richard Eaton
March 23, 2006

Seminar Event Systems: Introduction to the Logic of Events
by Mark Bickford
February 17, 2006

Seminar Urelements in Type Theory: New Definition of "Inherence"
by Mark Bickford
November 18, 2005

Seminar Automated Proofs in Event Logic
by Mark Bickford
September 16, 2005

Seminar Automating Proofs in Event Logic
by Mark Bickford, Richard Eaton
August 26, 2005

Publication A Causal Logic of Events in Formalized Computational Type Theory | cite »
by Mark Bickford, Robert L. Constable
2005

Publication Knowledge-based synthesis of distributed systems using event structures | cite »
by Mark Bickford, Robert L. Constable, Joseph Y. Halpern, Sabina Petride
2005

Publication A Programming Logic for Distributed Systems | cite »
by Mark Bickford, David Guaspari
2005

Seminar Urelements in Computational Type Theory
by Mark Bickford
November 11, 2005

Seminar Real-time Message Automata
by Mark Bickford
February 11, 2005

Seminar Mark Presentation
by Mark Bickford
November 29, 2004

Publication Knowledge-Based Synthesis of Distributed Systems Using Event Structures
by Mark Bickford, Robert L. Constable, Joseph Y. Halpern, Sabina Petride
2004

Seminar The Logic of Events and Event Structure Patterns
by Mark Bickford
April 26, 2004

Seminar Leader Election Protocols
by Mark Bickford
October 06, 2003

Math Book Event Systems
by Mark Bickford
November 08, 2003

Math Book Graph Theory
by Mark Bickford
May 14, 2003

Math Book General Automata Theory
by Mark Bickford
January 25, 2003

Publication A Logic of Events | cite »
by Mark Bickford, Robert L. Constable
2003

Publication A Nuprl-PVS Connection: Integrating Libraries of Formal Mathematics | cite »
by Jon Kleinberg, Mark Bickford, Robert L. Constable, Richard Eaton, Christoph Kreitz
2003

Seminar Implementing the Logic of Events
by Mark Bickford
February 24, 2003

Seminar Application of Event Systems and the Logic of Distributed Systems to Leader Election
by Mark Bickford
September 30, 2002

Seminar Introduction to Event Systems and the Logic of Distributed Systems
by Mark Bickford, Robert L. Constable
September 16, 2002

Math Book Hybrid Protocols
by Mark Bickford
February 20, 2002

Publication FDL: A Prototype Formal Digital Library
by Stuart F. Allen, Mark Bickford, Robert L. Constable, Richard Eaton, Christoph Kreitz, Lori Lorigo
2002

Seminar Recent Results on the PCES Project
by Mark Bickford
April 01, 2002

Seminar Report on the DARPA PCES PI meeting
by Robert L. Constable, Lori Lorigo, Mark Bickford
October 29, 2001

Seminar Processing video streams using event notification systems
by Robert L. Constable, Mark Bickford
October 15, 2001

Seminar More on proof automation: Shostak's decision procedure and Nuprl
by Mark Bickford
September 24, 2001

Publication An Experiment in Formal Design Using Meta-Properties | cite »
by Mark Bickford, Christoph Kreitz, Robbert van Renesse, Robert L. Constable
2001

Publication Formally Verifying Hybrid Protocols with the Nuprl Logical Programming Environment | cite »
by Mark Bickford, Christoph Kreitz, Robbert van Renesse
2001

Publication Protocol Switching: Exploiting Meta-Properties | cite »
by Xiaoming Liu, Robbert van Renesse, Mark Bickford, Christoph Kreitz, Robert L. Constable
2001

Publication Proving Hybrid Protocols Correct | cite »
by Mark Bickford, Christoph Kreitz, Robbert van Renesse, Xiaoming Liu
2001

Seminar Summer Reports
by Stuart F. Allen, Ralph Benzinger, Regina Barzilay, Ozan Hafizogullari, Aleksey Nogin, Amanda Holland-Minkley, Mark Bickford, Sasha Evfimievski, Lori Lorigo
September 18, 2000

Seminar Summer Reports
by Stuart F. Allen, Ralph Benzinger, Regina Barzilay, Ozan Hafizogullari, Aleksey Nogin, Amanda Holland-Minkley, Mark Bickford, Sasha Evfimievski, Lori Lorigo
September 11, 2000

Seminar Summer Reports
by Stuart F. Allen, Ralph Benzinger, Regina Barzilay, Ozan Hafizogullari, Aleksey Nogin, Amanda Holland-Minkley, Mark Bickford, Sasha Evfimievski, Lori Lorigo
September 04, 2000

Seminar Continuation on reflection
by Mark Bickford
March 13, 2000

Seminar IO-automata and Ensemble
by Mark Bickford
February 21, 2000

Publication An Object-Oriented Approach to Verifying Group Communication Systems | cite »
by Mark Bickford, Jason Hickey
1999