# Mark Bickford

Orcid: 0000-0003-2294-7601
According to our database

Collaborative distances:

^{1}, Mark Bickford authored at least 34 papers between 1982 and 2022.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2022

J. Log. Algebraic Methods Program., 2022

2021

Proceedings of the 29th EACSL Annual Conference on Computer Science Logic, 2021

2019

J. ACM, 2019

Ann. Math. Artif. Intell., 2019

2018

Math. Struct. Comput. Sci., 2018

Math. Log. Q., 2018

CoRR, 2018

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

2017

EventML: Specification, verification, and implementation of crash-tolerant state machine replication systems.

Sci. Comput. Program., 2017

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

2016

Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, 2016

2015

Formal Specification, Verification, and Implementation of Fault-Tolerant Systems using EventML.

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015

2014

Ann. Pure Appl. Log., 2014

Proceedings of the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2014

2013

Formal Program Optimization in Nuprl Using Computational Equivalence and Partial Types.

Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

2012

Proceedings of the 20th IEEE International Conference on Network Protocols, 2012

Proceedings of the Eighth Workshop on Hot Topics in System Dependability, HotDep 2012, 2012

2011

Log. Methods Comput. Sci., 2011

2010

Proceedings of the 6th International Verification Workshop, 2010

2009

Proceedings of the Component-Based Software Engineering, 12th International Symposium, 2009

2008

Proceedings of the Verified Software: Theories, 2008

Proceedings of the 5th USENIX Symposium on Networked Systems Design & Implementation, 2008

2006

J. Appl. Log., 2006

2001

Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001

Proceedings of the 21st International Conference on Distributed Computing Systems Workshops (ICDCS 2001 Workshops), 2001

1999

Proceedings of the 3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999, 1999

1996

Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996

1994

Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems, 1994

1992

Verification of a Fault-Tolerant Property of a Multiprocessor System: A Case Study in Theorem Prover-Based Verification.

Proceedings of the Theorem Provers in Circuit Design, 1992

1990

IEEE Softw., 1990

Proceedings of the Computer-Aided Verification, 1990

1989

Proceedings of the Hardware Specification, 1989

1982

Propositional & analogical generation of coordinated verbal, visual & musical texts: U. of Wisconsin.

SIGART Newsl., 1982