Zunino, Roberto

Zunino, Roberto  

Matematica (29/10/12-)  

Mostra records
Risultati 1 - 20 di 73 (tempo di esecuzione: 0.082 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 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 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 +
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 +
Computationally sound Bitcoin tokens 1-gen-2021 Zunino, Roberto +
Constant-deposit multiparty lotteries on bitcoin 1-gen-2017 Zunino, Roberto +
Contract agreements via logic 1-gen-2013 Zunino, Roberto +
Contract-Oriented Computing in CO2 1-gen-2012 Zunino, Roberto +
Contract-Oriented design of distributed applications: A tutorial 1-gen-2017 Murgia M.Zunino R. +