Mark Bickford

	2009
13		Mark Bickford: Component Specification Using Event Classes. CBSE 2009: 140-155
12		Mark Bickford, Robert L. Constable, Joseph Y. Halpern, Sabina Petride: Knowledge-Based Synthesis of Distributed Systems Using Event Structures CoRR abs/0906.4315: (2009)
	2008
11		Chi Ho, Robbert van Renesse, Mark Bickford, Danny Dolev: Nysiad: Practical Protocol Transformation to Tolerate Byzantine Failures. NSDI 2008: 175-188
10		Mark Bickford: Unguessable Atoms: A Logical Foundation for Security. VSTTE 2008: 30-53
	2006
9		Stuart F. Allen, Mark Bickford, Robert L. Constable, Richard Eaton, Christoph Kreitz, Lori Lorigo, E. Moran: Innovations in computational type theory using Nuprl. J. Applied Logic 4(4): 428-469 (2006)
	2004
8		Mark Bickford, Robert L. Constable, Joseph Y. Halpern, Sabina Petride: Knowledge-Based Synthesis of Distributed Systems Using Event Structures. LPAR 2004: 449-465
	2001
7		Xiaoming Liu, Robbert van Renesse, Mark Bickford, Christoph Kreitz, Robert L. Constable: Protocol Switching: Exploiting Meta-Properties. ICDCS Workshops 2001: 37-42
6		Mark Bickford, Christoph Kreitz, Robbert van Renesse, Xiaoming Liu: Proving Hybrid Protocols Correct. TPHOLs 2001: 105-120
	1999
5		Mark Bickford, Jason Hickey: Predicate Transformers for Infinite-State Automata in NuPRL Type Theory. IWFM 1999
	1996
4		Mark Bickford, Damir Jamsek: Formal Specification and Verification of VHDL. FMCAD 1996: 310-326
	1992
3		Mark Bickford, Mandayam K. Srivas: Verification of a Fault-Tolerant Property of a Multiprocessor System: A Case Study in Theorem Prover-Based Verification. TPCD 1992: 225-251
	1990
2		Mandayam K. Srivas, Mark Bickford: Formal Verification of a Pipelined Microprocessor. IEEE Software 7(5): 52-64 (1990)
	1989
1		Mark Bickford, Mandayam K. Srivas: Verification of a Pipelined Microprocessor Using Clio. Hardware Specification, Verification and Synthesis 1989: 307-332

Coauthor Index

1	Stuart F. Allen	[9]
2	Robert L. Constable	[7] [8] [9] [12]
3	Danny Dolev	[11]
4	Richard Eaton	[9]
5	Joseph Y. Halpern	[8] [12]
6	Jason Hickey	[5]
7	Chi Ho	[11]
8	Damir Jamsek	[4]
9	Christoph Kreitz	[6] [7] [9]
10	Xiaoming Liu	[6] [7]
11	Lori Lorigo	[9]
12	E. Moran	[9]
13	Sabina Petride	[8] [12]
14	Robbert van Renesse	[6] [7] [11]
15	Mandayam K. Srivas	[1] [2] [3]

Colors in the list of coauthors