Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Natalia Kulatova
Ledger Design Language: Designing and Deploying Formally Verified Public Ledgers
Related publications
A Formally Verified NAT Stack
Formally Verified Approximations of Definite Integrals
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Formally Verified Cryptographic Web Applications in WebAssembly
On Construction of a Library of Formally Verified Low-Level Arithmetic Functions
Introduction to Designing and Deploying Advanced Knowledge Systems Minitrack
A Mechanically Verified Language Implementation
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
BigraphTalk: Verified Design of IoT Applications
IEEE Internet of Things Journal
Information Systems
Signal Processing
Computer Networks
Hardware
Communications
Computer Science Applications
Management
Architecture
Deploying Public Surface Transit to Forward Messages in DTN
Ledger
