Zunino, Roberto

Zunino, Roberto  

Matematica (29/10/12-)  

Mostra records
Risultati 1 - 20 di 79 (tempo di esecuzione: 0.054 secondi).
Titolo Anno di pubblicazione Autori Unitn File
A Calculus of Contracting Processes 1-gen-2009 Zunino, Roberto +
A Calculus of Contracting Processes 1-gen-2010 Zunino, Roberto +
A Formal Model of Algorand Smart Contracts 1-gen-2021 Zunino, Roberto +
A Formal Model of Bitcoin Transactions 1-gen-2018 Zunino R. +
A general syntax for nonrecursive higher inductive types 1-gen-2020 Girardi M.Zunino R. +
A Logic for Contracts 1-gen-2009 Zunino, Roberto +
A Note on the Perfect Encryption Assumption in a Process Calculus 1-gen-2004 Zunino, Roberto +
A rule-based and imperative language for biochemical modeling and simulation 1-gen-2012 Priami, CorradoZunino, Roberto +
A Semantic Deconstruction of Session Types 1-gen-2014 Zunino, Roberto +
A Sound Up-to- n, δ Bisimilarity for PCTL 1-gen-2022 Murgia M.Zunino R. +
A theory of agreements and protection 1-gen-2013 Zunino, Roberto +
Accelerating rejection-based simulation of biochemical reactions with bounded acceptance probability 1-gen-2016 Vo Hong, ThanhPriami, CorradoZunino, Roberto
Adaptive tree-based search for stochastic simulation algorithm 1-gen-2014 Zunino, Roberto +
An imperative language of self-modifying graphs for biological systems 1-gen-2012 Priami, CorradoQuaglia, PaolaZunino, Roberto
Bitcoin Covenants Unchained 1-gen-2020 Zunino R. +
BitML: A Calculus for Bitcoin Smart Contracts 1-gen-2018 Zunino, Roberto +
Call-by-contract for service discovery, orchestration and recovery 1-gen-2011 Zunino, Roberto +
Choreographies in the wild 1-gen-2015 Zunino, Roberto +
Circular causality in event structures 1-gen-2014 Zunino, Roberto +
Compliance in behavioural contracts: A brief survey 1-gen-2015 Zunino, Roberto +