Roberto Zunino

Available identifiers

Publication	Date of Publication	Type
A formal model of Algorand smart contracts	2022-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q5028478	2022-02-09	Paper
https://portal.mardi4nfdi.de/entity/Q4994119	2021-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q4963914	2021-02-24	Paper
Efficient finite-difference method for computing sensitivities of biochemical reactions	2019-02-27	Paper
Contract-Oriented Computing in CO2	2019-02-08	Paper
Honesty by Typing	2017-04-11	Paper
Verifiable abstractions for contract-oriented systems	2016-11-30	Paper
Model checking usage policies	2016-07-27	Paper
Contracts as games on event structures	2016-04-20	Paper
Compliance in Behavioural Contracts: A Brief Survey	2016-01-08	Paper
Debits and Credits in Petri Nets and Linear Logic	2015-09-14	Paper
Modelling and Verifying Contract-Oriented Systems in Maude	2015-09-09	Paper
Circular Causality in Event Structures	2015-06-26	Paper
A Semantic Deconstruction of Session Types	2014-09-15	Paper
Hard Life with Weak Binders	2014-07-23	Paper
A Theory of Agreements and Protection	2013-08-06	Paper
On the Realizability of Contracts in Dishonest Systems	2012-08-21	Paper
Secure Service Orchestration	2009-10-22	Paper
ν-Types for Effects and Freshness Analysis	2009-08-20	Paper
Foundations of Software Science and Computation Structures	2007-09-28	Paper
Types and Effects for Resource Usage Analysis	2007-09-07	Paper
Foundations of Software Science and Computation Structures	2007-05-02	Paper
Weakening the perfect encryption assumption in Dolev-Yao adversaries	2005-06-30	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Roberto Zunino