Andrew M. Bailey

According to our database, Andrew M. Bailey authored at least 5 papers between 1993 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2022

Carbon-Neutral Bitcoin for Nation States.

Troy Cross, Andrew M. Bailey

Proceedings of the Financial Cryptography and Data Security. FC 2022 International Workshops, 2022

1997

The Use of SI-Algebra in the Design of Sequencer Circuits.

Mark B. Josephs, Andrew M. Bailey

Formal Aspects Comput., 1997

1995

Sequencer circuits for VLSI programming.

Andrew M. Bailey, Mark B. Josephs

Proceedings of the Second Working Conference on Asynchronous Design Methodologies, 1995

1994

An Exercise in the Automatic Verification of Asynchronous Designs.

Andrew M. Bailey, George Alexander McCaskill, George J. Milne

Formal Methods Syst. Des., 1994

1993

Automatic Verification of Speed-Independent Circuit Designs Using the Circal System.

Andrew M. Bailey

Proceedings of the Correct Hardware Design and Verification Methods, 1993