IRIS
Zunino, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.906
AS - Asia 2.153
EU - Europa 1.654
SA - Sud America 376
AF - Africa 39
Continente sconosciuto - Info sul continente non disponibili 3
OC - Oceania 3
Totale 10.134
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.815
SG - Singapore 987
VN - Vietnam 437
DE - Germania 436
CN - Cina 375
BR - Brasile 308
IT - Italia 274
RU - Federazione Russa 223
UA - Ucraina 145
SE - Svezia 103
GB - Regno Unito 99
KR - Corea 92
FR - Francia 86
FI - Finlandia 85
LV - Lettonia 83
CA - Canada 55
BG - Bulgaria 47
IN - India 42
ID - Indonesia 35
HK - Hong Kong 33
BD - Bangladesh 25
AR - Argentina 24
MX - Messico 21
IQ - Iraq 20
TR - Turchia 20
JP - Giappone 19
NL - Olanda 16
CO - Colombia 14
RO - Romania 14
ZA - Sudafrica 12
VE - Venezuela 11
PK - Pakistan 10
EC - Ecuador 8
PL - Polonia 8
ES - Italia 7
PE - Perù 7
AE - Emirati Arabi Uniti 6
JO - Giordania 6
MA - Marocco 6
MY - Malesia 6
TW - Taiwan 6
CZ - Repubblica Ceca 5
JM - Giamaica 5
TH - Thailandia 5
TN - Tunisia 5
IL - Israele 4
KZ - Kazakistan 4
LT - Lituania 4
AT - Austria 3
AZ - Azerbaigian 3
BE - Belgio 3
CH - Svizzera 3
DK - Danimarca 3
DZ - Algeria 3
EG - Egitto 3
GT - Guatemala 3
IE - Irlanda 3
IR - Iran 3
KE - Kenya 3
NP - Nepal 3
AL - Albania 2
CI - Costa d'Avorio 2
DO - Repubblica Dominicana 2
HN - Honduras 2
MU - Mauritius 2
NZ - Nuova Zelanda 2
PH - Filippine 2
SA - Arabia Saudita 2
UY - Uruguay 2
UZ - Uzbekistan 2
AU - Australia 1
BO - Bolivia 1
CR - Costa Rica 1
ET - Etiopia 1
EU - Europa 1
GY - Guiana 1
KW - Kuwait 1
LA - Repubblica Popolare Democratica del Laos 1
NO - Norvegia 1
OM - Oman 1
PA - Panama 1
PS - Palestinian Territory 1
QA - Qatar 1
RS - Serbia 1
SC - Seychelles 1
SN - Senegal 1
SX - ???statistics.table.value.countryCode.SX??? 1
SY - Repubblica araba siriana 1
TT - Trinidad e Tobago 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 10.134
Salva come PNG Salva come JPEG
Città #
Fairfield 732
Singapore 715
Ashburn 478
Chandler 412
Woodbridge 334
Jacksonville 317
Seattle 313
Wilmington 267
Houston 244
Cambridge 233
San Jose 224
Dallas 222
Santa Clara 192
Ann Arbor 170
Columbus 152
San Mateo 145
Princeton 118
Hanoi 117
Moscow 112
Kerken 111
Trento 107
Ho Chi Minh City 105
Seoul 87
Riga 83
Beijing 78
The Dalles 75
Lauterbourg 71
New York 63
Council Bluffs 56
Los Angeles 54
Sofia 47
Dottingen 46
Munich 43
San Diego 32
Buffalo 31
Hong Kong 28
London 28
Lawrence 27
Milan 27
Helsinki 26
Toronto 25
Chicago 24
Hefei 23
Da Nang 22
Dearborn 22
Haiphong 21
Jakarta 20
Dong Ket 19
São Paulo 19
Boardman 18
Falls Church 17
Orem 16
Tokyo 16
Atlanta 13
Norwalk 13
San Paolo di Civitate 13
Altamura 12
Brooklyn 11
Des Moines 11
Düsseldorf 11
Frankfurt am Main 11
Montreal 11
Phoenix 11
Salt Lake City 11
San Francisco 10
Johannesburg 9
Ottawa 9
Amsterdam 8
Belo Horizonte 8
Elk Grove Village 8
Rome 8
Timisoara 8
Baghdad 7
Como 7
Guangzhou 7
Izmir 7
Kilburn 7
Miano 7
Bến Tre 6
Chennai 6
Goiânia 6
Phủ Lý 6
Rio de Janeiro 6
Shenzhen 6
St Louis 6
Stockholm 6
Taipei 6
Verona 6
Amman 5
Andover 5
Cavalese 5
Comabbio 5
Curitiba 5
Denver 5
Ha Long 5
Lappeenranta 5
Mexico City 5
Mumbai 5
Naaldwijk 5
Nanjing 5
Totale 7.342
Salva come PNG Salva come JPEG
Nome #
ν-types for Effects and Freshness Analysis 445
Contract-Oriented Computing in CO2 261
Efficient Constant-Time Complexity Algorithm for Stochastic Simulation of Large Reaction Networks 209
On the rejection-based algorithm for simulation and analysis of large-scale reaction networks 206
Choreographies in the wild 205
Contract agreements via logic 179
Debits and Credits in Petri Nets and Linear Logic 179
BitML: A Calculus for Bitcoin Smart Contracts 175
Verifying Liquidity of Bitcoin Contracts 171
A Semantic Deconstruction of Session Types 168
Contracts as games on event structures 163
A theory of agreements and protection 160
Efficient rejection-based simulation of biochemical reactions with stochastic noise and delays 160
An imperative language of self-modifying graphs for biological systems 159
Compliance in behavioural contracts: A brief survey 159
Fun with bitcoin smart contracts 159
Formal Models of Bitcoin Contracts: A Survey 158
A Calculus of Contracting Processes 157
Model checking usage policies 157
A rule-based and imperative language for biochemical modeling and simulation 155
Semantics-Based Design for Secure Web Services 151
Adaptive tree-based search for stochastic simulation algorithm 149
SoK: Unraveling bitcoin smart contracts 146
Types and Effects for Resource Usage Analysis 143
Accelerating rejection-based simulation of biochemical reactions with bounded acceptance probability 143
On the Decidability of Honesty and of Its Variants 138
Contracts in distributed systems 133
Call-by-contract for service discovery, orchestration and recovery 132
Efficient stochastic simulation of biochemical reactions with noise and delays 132
On the Realizability of Contracts in Dishonest Systems 131
Securing Java with Local Policies 129
Vicious circles in contracts and in logic 127
Circular causality in event structures 126
Primitives for Contract-based Synchronization 125
Weakening the perfect encryption assumption in Dolev-Yao adversaries. 123
A Note on the Perfect Encryption Assumption in a Process Calculus 123
Constant-deposit multiparty lotteries on bitcoin 122
A Sound Up-to- n, δ Bisimilarity for PCTL 121
On computation and synchronization costs in spatial distributed simulation 119
Secure Service Orchestration. 118
Model checking usage policies 115
Efficient finite-difference method for computing sensitivities of biochemical reactions 115
l: An imperative DSL to stochastically simulate biological systems 115
Trading computation time for synchronization time in spatial distributed simulation 114
Modelling and Verifying Contract-Oriented Systems in Maude 114
Verifiable abstractions for contract-oriented systems 112
Hard life with weak binders 111
Static Enforcement of Service Deadlines 111
Developing secure bitcoin contracts with BitML 110
Tree-Based Search for stochastic simulation algorithm 107
A general syntax for nonrecursive higher inductive types 105
Computationally sound Bitcoin tokens 103
A Formal Model of Algorand Smart Contracts 103
How To Save Fees in Bitcoin Smart Contracts: a Simple Optimistic Off-chain Protocol 102
A Formal Model of Bitcoin Transactions 102
Hard life with weak binders 101
Local policies for resource usage analysis 100
Bitcoin Covenants Unchained 100
Jalapa: Securing Java with Local Policies 99
Efficient formulation of the rejection-based algorithm for biochemical reactions with delays 96
Secure compilation of rich smart contracts on poor UTXO blockchains 94
Models of Circular Causality 94
Model checking usage policies 93
Renegotiation and recursion in bitcoin contracts 93
Handling exp, * (and Timestamps) in Protocol Analysis 91
Contract-Oriented design of distributed applications: A tutorial 90
DeFi Composability as MEV Non-interference 88
Verifying liquidity of recursive Bitcoin contracts 83
Smart contract languages: A comparative analysis 82
Tools and Verification 82
Handling exp, * (and Timestamps) in Protocol Analysis. FoSSaCS 2006: 81
Honesty by typing 80
Control Flow Analysis for the Applied Pi-calculus 79
Tree-Based Search for Stochastic Simulation Algorithm 78
RSSA: a Rejection-based Stochastic Simulation Algorithm 76
nu-Types for Effects and Freshness Analysis 74
LocUsT: a tool for checking usage policies 68
Sound approximate and asymptotic probabilistic bisimulations for PCTL 65
A Calculus of Contracting Processes 63
A Logic for Contracts 58
Static Enforcement of Service Deadlines 48
Control Flow Analysis for the Applied Pi-calculus 35
null 29
How To Save Fees in Bitcoin Smart Contracts: a Simple Optimistic Off-chain Protocol 13
Scalable UTXO smart contracts via fine-grained distributed state 11
A Theoretical Basis for MEV 6
Totale 10.305
Salva come PNG Salva come JPEG
Categoria #
all - tutte 42.226
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 4.152
Totale 46.378
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021100 0 0 0 0 0 0 0 0 0 0 0 100
2021/2022765 48 128 11 30 12 23 30 181 26 43 68 165
2022/2023822 127 116 7 111 84 118 11 64 102 11 52 19
2023/2024635 31 22 26 17 26 397 29 7 1 19 14 46
2024/20251.403 9 12 33 333 100 247 16 76 103 213 103 158
2025/20263.370 144 68 493 520 289 323 571 132 302 303 130 95
Totale 10.305