IRIS
Zunino, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.213
EU - Europa 1.006
AS - Asia 139
AF - Africa 2
SA - Sud America 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 5.363
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.200
DE - Germania 370
IT - Italia 171
UA - Ucraina 141
SE - Svezia 98
CN - Cina 69
GB - Regno Unito 69
FI - Finlandia 67
BG - Bulgaria 48
VN - Vietnam 36
CA - Canada 13
RU - Federazione Russa 12
SG - Singapore 12
RO - Romania 9
FR - Francia 8
TR - Turchia 7
NL - Olanda 5
TW - Taiwan 4
IR - Iran 3
PL - Polonia 3
IL - Israele 2
JP - Giappone 2
MU - Mauritius 2
BE - Belgio 1
BR - Brasile 1
CH - Svizzera 1
CO - Colombia 1
ES - Italia 1
EU - Europa 1
IE - Irlanda 1
IQ - Iraq 1
JO - Giordania 1
MY - Malesia 1
NO - Norvegia 1
PK - Pakistan 1
Totale 5.363
Salva come PNG Salva come JPEG
Città #
Fairfield 739
Chandler 411
Woodbridge 337
Jacksonville 317
Seattle 316
Ashburn 314
Wilmington 268
Houston 239
Cambridge 233
Ann Arbor 172
San Mateo 147
Princeton 120
Kerken 111
Trento 96
Sofia 48
Dottingen 46
Beijing 41
New York 34
San Diego 33
Lawrence 27
Dearborn 26
London 23
Dong Ket 21
Falls Church 17
Helsinki 16
Boardman 15
San Paolo di Civitate 14
Norwalk 13
Altamura 12
Düsseldorf 11
Kilburn 8
Los Angeles 8
Timisoara 8
Como 7
Izmir 7
Toronto 7
Des Moines 6
Andover 5
Comabbio 5
Hefei 5
Naaldwijk 5
Nanjing 5
Phoenix 5
L’Aquila 4
Milan 4
Ottawa 4
Taipei 4
Washington 4
Chicago 3
Krakow 3
Kunming 3
Verona 3
Acton 2
Brooklyn 2
Buffalo 2
Council Bluffs 2
Hebei 2
Karlsruhe 2
Kish 2
Montréal 2
New Bedfont 2
Old Bridge 2
San Francisco 2
Tappahannock 2
Tokyo 2
Trieste 2
Wandsworth 2
Austin 1
Berlin 1
Bogotá 1
Brussels 1
Chengdu 1
Chiswick 1
Clearwater 1
Cordenons 1
Dublin 1
Falkenstein 1
Guangzhou 1
Gunzenhausen 1
Hangzhou 1
Hendon 1
Hounslow 1
Jiaxing 1
Jinan 1
Langfang 1
Mestre 1
Moscow 1
Nanchang 1
Nanning 1
Nuremberg 1
Palestrina 1
Pavia 1
Perca 1
Philadelphia 1
Pozza di Fassa 1
Prescot 1
Redmond 1
Rodgau 1
Rome 1
Saint Louis 1
Totale 4.393
Salva come PNG Salva come JPEG
Nome #
ν-types for Effects and Freshness Analysis 353
Contract-Oriented Computing in CO2 148
Choreographies in the wild 140
On the rejection-based algorithm for simulation and analysis of large-scale reaction networks 136
Debits and Credits in Petri Nets and Linear Logic 120
A Semantic Deconstruction of Session Types 115
Efficient Constant-Time Complexity Algorithm for Stochastic Simulation of Large Reaction Networks 104
On the Decidability of Honesty and of Its Variants 104
Verifying Liquidity of Bitcoin Contracts 103
Model checking usage policies 102
Contract agreements via logic 102
SoK: Unraveling bitcoin smart contracts 102
Efficient rejection-based simulation of biochemical reactions with stochastic noise and delays 101
Types and Effects for Resource Usage Analysis 98
Formal Models of Bitcoin Contracts: A Survey 95
Compliance in behavioural contracts: A brief survey 94
Contracts as games on event structures 94
Contracts in distributed systems 93
A rule-based and imperative language for biochemical modeling and simulation 93
Adaptive tree-based search for stochastic simulation algorithm 90
On the Realizability of Contracts in Dishonest Systems 89
A theory of agreements and protection 88
Primitives for Contract-based Synchronization 86
Call-by-contract for service discovery, orchestration and recovery 86
An imperative language of self-modifying graphs for biological systems 85
Efficient finite-difference method for computing sensitivities of biochemical reactions 85
Accelerating rejection-based simulation of biochemical reactions with bounded acceptance probability 83
Weakening the perfect encryption assumption in Dolev-Yao adversaries. 82
Constant-deposit multiparty lotteries on bitcoin 82
A Calculus of Contracting Processes 81
Modelling and Verifying Contract-Oriented Systems in Maude 80
Model checking usage policies 77
Vicious circles in contracts and in logic 76
Fun with bitcoin smart contracts 76
Semantics-Based Design for Secure Web Services 76
Secure Service Orchestration. 75
Local policies for resource usage analysis 73
Verifiable abstractions for contract-oriented systems 72
Trading computation time for synchronization time in spatial distributed simulation 71
Efficient stochastic simulation of biochemical reactions with noise and delays 71
A Note on the Perfect Encryption Assumption in a Process Calculus 71
Circular causality in event structures 67
Securing Java with Local Policies 66
Static Enforcement of Service Deadlines 66
Developing secure bitcoin contracts with BitML 66
Jalapa: Securing Java with Local Policies 64
Tree-Based Search for stochastic simulation algorithm 64
BitML: A Calculus for Bitcoin Smart Contracts 63
Model checking usage policies 61
Efficient formulation of the rejection-based algorithm for biochemical reactions with delays 55
Models of Circular Causality 54
On computation and synchronization costs in spatial distributed simulation 53
Honesty by typing 48
Honesty by typing 48
Hard life with weak binders 47
Handling exp, * (and Timestamps) in Protocol Analysis 43
A Formal Model of Bitcoin Transactions 42
Handling exp, * (and Timestamps) in Protocol Analysis. FoSSaCS 2006: 41
Tools and Verification 41
A general syntax for nonrecursive higher inductive types 40
l: An imperative DSL to stochastically simulate biological systems 38
nu-Types for Effects and Freshness Analysis 37
Renegotiation and recursion in bitcoin contracts 37
Control Flow Analysis for the Applied Pi-calculus 36
LocUsT: a tool for checking usage policies 36
Bitcoin Covenants Unchained 35
Contract-Oriented design of distributed applications: A tutorial 34
Verifying liquidity of recursive Bitcoin contracts 32
Computationally sound Bitcoin tokens 30
null 29
Hard life with weak binders 27
A Formal Model of Algorand Smart Contracts 18
A Sound Up-to- n, δ Bisimilarity for PCTL 13
RSSA: a Rejection-based Stochastic Simulation Algorithm 12
Sound approximate and asymptotic probabilistic bisimulations for PCTL 9
Tree-Based Search for Stochastic Simulation Algorithm 8
A Logic for Contracts 3
A Calculus of Contracting Processes 2
Static Enforcement of Service Deadlines 2
Control Flow Analysis for the Applied Pi-calculus 1
Totale 5.520
Salva come PNG Salva come JPEG
Categoria #
all - tutte 23.785
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.500
Totale 26.285
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019550 0 0 0 0 0 0 0 0 0 102 245 203
2019/20201.430 103 50 89 163 149 139 195 145 189 78 64 66
2020/2021969 29 140 63 104 78 102 58 72 69 74 75 105
2021/2022777 48 129 11 32 12 23 30 186 26 43 69 168
2022/2023824 128 117 7 111 84 118 11 64 102 11 52 19
2023/2024577 31 22 26 17 26 397 31 7 1 19 0 0
Totale 5.520