Andrew M. Bailey

Publication Activity (10 Years)

Years Active: 1993-2022
Publications (10 Years): 1

Top Topics

State Transitions

Genetic Algorithm

Top Venues

Financial Cryptography Workshops

Publications

Troy Cross, Andrew M. Bailey
Carbon-Neutral Bitcoin for Nation States. Financial Cryptography Workshops (2022)
Mark B. Josephs, Andrew M. Bailey
The Use of SI-Algebra in the Design of Sequencer Circuits. Formal Aspects Comput. 9 (4) (1997)
Andrew M. Bailey, Mark B. Josephs
Sequencer circuits for VLSI programming. ASYNC (1995)
Andrew M. Bailey, George Alexander McCaskill, George J. Milne
An Exercise in the Automatic Verification of Asynchronous Designs. Formal Methods Syst. Des. 4 (3) (1994)
Andrew M. Bailey
Automatic Verification of Speed-Independent Circuit Designs Using the Circal System. CHARME (1993)