Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ricky Butler
Formal Verification of Conflict Detection Algorithms
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Formal Verification of IA-64 Division Algorithms
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms
IEEE Transactions on Software Engineering
Software
Randomized Algorithms for Probabilistic Aircraft Conflict Detection
Conflict Resolution Algorithms for Fault Detection and Diagnosis
Formal Verification of Pipelined Processors
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Verification of NTRUEncrypt Scheme
International Journal of Computer Network and Information Security
Formal Verification of Netlog Protocols
Formal Verification of Hybrid Systems
Evaluation of Face Detection Algorithms for the Bank Client Identity Verification
Foundations of Computing and Decision Sciences
Computer Science
Theoretical Computer Science
