Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Roberto Zunino

Efficient Finite-Difference Method for Computing Sensitivities of Biochemical Reactions

Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences
MathematicsEngineeringAstronomyPhysics
2018English

Verifying Liquidity of Bitcoin Contracts

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

A Theory of Agreements and Protection

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Circular Causality in Event Structures

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2014English

Static Enforcement of Service Deadlines

2010English

Ν-Types for Effects and Freshness Analysis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Model Checking Usage Policies

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy