Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Dmitri Chkliaev
Formal Verification of Programs for Abstract Register Machines
Bulletin of the Novosibirsk Computing Center. Series:Computer Science
Related publications
Formal Verification of Signal Programs: Application to a Power Transformer Station Controller
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On Shift Register Realizations for Sequential Machines
About the Decision of Reachability for Register Machines
RAIRO - Theoretical Informatics and Applications
Mathematics
Computer Science Applications
Software
Abstracting Abstract Machines
ACM SIGPLAN Notices
Computer Science
Concurrent Abstract Machines
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Verification of Privacy for RFID Systems
A Metaprogramming Framework for Formal Verification
Proceedings of the ACM on Programming Languages
Formal Modeling and Verification for MVB
Journal of Applied Mathematics
Applied Mathematics
Interaction Abstract Machines
