Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Massimo Bartoletti
Verifying Liquidity of Bitcoin Contracts
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Theory of Agreements and Protection
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Circular Causality in Event Structures
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Static Enforcement of Service Deadlines
Ν-Types for Effects and Freshness Analysis
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model Checking Usage Policies
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
