IRIS
Zunino, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.740
AS - Asia 2.172
EU - Europa 1.628
SA - Sud America 400
AF - Africa 39
Continente sconosciuto - Info sul continente non disponibili 3
OC - Oceania 3
Totale 9.985
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.649
SG - Singapore 996
VN - Vietnam 451
DE - Germania 437
CN - Cina 378
BR - Brasile 329
IT - Italia 241
RU - Federazione Russa 226
UA - Ucraina 146
SE - Svezia 103
GB - Regno Unito 100
KR - Corea 92
FR - Francia 87
FI - Finlandia 85
LV - Lettonia 84
CA - Canada 54
BG - Bulgaria 48
IN - India 42
ID - Indonesia 37
HK - Hong Kong 33
AR - Argentina 27
MX - Messico 22
IQ - Iraq 20
TR - Turchia 20
JP - Giappone 19
BD - Bangladesh 16
NL - Olanda 15
CO - Colombia 14
RO - Romania 14
ZA - Sudafrica 13
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
IE - Irlanda 4
IL - Israele 4
KZ - Kazakistan 4
LT - Lituania 4
AT - Austria 3
AZ - Azerbaigian 3
BE - Belgio 3
DK - Danimarca 3
DZ - Algeria 3
EG - Egitto 3
GT - Guatemala 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
CH - Svizzera 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
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 9.985
Salva come PNG Salva come JPEG
Città #
Fairfield 739
Singapore 719
Ashburn 449
Chandler 411
Woodbridge 337
Jacksonville 317
Seattle 317
Wilmington 270
Houston 245
Cambridge 234
Dallas 220
San Jose 190
Santa Clara 188
Ann Arbor 172
Columbus 154
San Mateo 147
Princeton 120
Hanoi 119
Moscow 113
Kerken 111
Ho Chi Minh City 108
Trento 108
Seoul 87
Riga 84
Beijing 79
The Dalles 75
Lauterbourg 72
New York 60
Council Bluffs 52
Los Angeles 52
Sofia 48
Dottingen 46
Munich 43
San Diego 33
Buffalo 31
Hong Kong 28
London 28
Lawrence 27
Dearborn 26
Helsinki 26
Chicago 25
Toronto 24
Da Nang 23
Hefei 23
Haiphong 22
Dong Ket 21
Jakarta 21
São Paulo 21
Falls Church 17
Boardman 16
Tokyo 16
Milan 14
Orem 14
San Paolo di Civitate 14
Norwalk 13
Altamura 12
Des Moines 11
Düsseldorf 11
Frankfurt am Main 11
Montreal 11
Salt Lake City 11
Brooklyn 9
Johannesburg 9
Ottawa 9
Phoenix 9
San Francisco 9
Amsterdam 8
Belo Horizonte 8
Elk Grove Village 8
Kilburn 8
Timisoara 8
Atlanta 7
Baghdad 7
Como 7
Guangzhou 7
Izmir 7
Rome 7
Bến Tre 6
Chennai 6
Goiânia 6
Phủ Lý 6
Rio de Janeiro 6
Salvador 6
Shenzhen 6
St Louis 6
Stockholm 6
Taipei 6
Verona 6
Amman 5
Andover 5
Bắc Ninh 5
Can Tho 5
Cavalese 5
Comabbio 5
Curitiba 5
Denver 5
Ha Long 5
Lappeenranta 5
Mumbai 5
Naaldwijk 5
Totale 7.289
Salva come PNG Salva come JPEG
Nome #
ν-types for Effects and Freshness Analysis 442
Contract-Oriented Computing in CO2 258
On the rejection-based algorithm for simulation and analysis of large-scale reaction networks 201
Choreographies in the wild 200
Efficient Constant-Time Complexity Algorithm for Stochastic Simulation of Large Reaction Networks 195
Contract agreements via logic 178
Debits and Credits in Petri Nets and Linear Logic 174
BitML: A Calculus for Bitcoin Smart Contracts 170
A Semantic Deconstruction of Session Types 164
Verifying Liquidity of Bitcoin Contracts 164
Contracts as games on event structures 159
A theory of agreements and protection 157
Compliance in behavioural contracts: A brief survey 157
An imperative language of self-modifying graphs for biological systems 156
Fun with bitcoin smart contracts 156
A Calculus of Contracting Processes 155
Model checking usage policies 155
Efficient rejection-based simulation of biochemical reactions with stochastic noise and delays 155
Formal Models of Bitcoin Contracts: A Survey 154
A rule-based and imperative language for biochemical modeling and simulation 153
Semantics-Based Design for Secure Web Services 149
Adaptive tree-based search for stochastic simulation algorithm 148
SoK: Unraveling bitcoin smart contracts 144
Types and Effects for Resource Usage Analysis 143
Accelerating rejection-based simulation of biochemical reactions with bounded acceptance probability 141
On the Decidability of Honesty and of Its Variants 136
Contracts in distributed systems 132
Call-by-contract for service discovery, orchestration and recovery 130
On the Realizability of Contracts in Dishonest Systems 130
Securing Java with Local Policies 129
Efficient stochastic simulation of biochemical reactions with noise and delays 129
Circular causality in event structures 124
Weakening the perfect encryption assumption in Dolev-Yao adversaries. 123
Primitives for Contract-based Synchronization 123
A Note on the Perfect Encryption Assumption in a Process Calculus 122
Vicious circles in contracts and in logic 121
Honesty by typing 120
Constant-deposit multiparty lotteries on bitcoin 118
Secure Service Orchestration. 116
On computation and synchronization costs in spatial distributed simulation 116
Model checking usage policies 115
Trading computation time for synchronization time in spatial distributed simulation 114
Modelling and Verifying Contract-Oriented Systems in Maude 113
Efficient finite-difference method for computing sensitivities of biochemical reactions 113
l: An imperative DSL to stochastically simulate biological systems 112
A Sound Up-to- n, δ Bisimilarity for PCTL 110
Hard life with weak binders 110
Static Enforcement of Service Deadlines 109
Verifiable abstractions for contract-oriented systems 109
Developing secure bitcoin contracts with BitML 108
Tree-Based Search for stochastic simulation algorithm 103
A Formal Model of Algorand Smart Contracts 102
A general syntax for nonrecursive higher inductive types 101
Hard life with weak binders 100
Computationally sound Bitcoin tokens 100
Local policies for resource usage analysis 98
A Formal Model of Bitcoin Transactions 98
Jalapa: Securing Java with Local Policies 96
Efficient formulation of the rejection-based algorithm for biochemical reactions with delays 96
Bitcoin Covenants Unchained 96
Renegotiation and recursion in bitcoin contracts 93
Models of Circular Causality 92
Model checking usage policies 90
Secure compilation of rich smart contracts on poor UTXO blockchains 89
Handling exp, * (and Timestamps) in Protocol Analysis 89
Contract-Oriented design of distributed applications: A tutorial 88
How To Save Fees in Bitcoin Smart Contracts: a Simple Optimistic Off-chain Protocol 85
Tools and Verification 82
Verifying liquidity of recursive Bitcoin contracts 80
Honesty by typing 79
Handling exp, * (and Timestamps) in Protocol Analysis. FoSSaCS 2006: 78
Control Flow Analysis for the Applied Pi-calculus 77
RSSA: a Rejection-based Stochastic Simulation Algorithm 76
nu-Types for Effects and Freshness Analysis 74
Smart contract languages: A comparative analysis 71
Tree-Based Search for Stochastic Simulation Algorithm 70
LocUsT: a tool for checking usage policies 66
Sound approximate and asymptotic probabilistic bisimulations for PCTL 65
DeFi Composability as MEV Non-interference 65
A Calculus of Contracting Processes 61
A Logic for Contracts 55
Static Enforcement of Service Deadlines 46
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 10
Scalable UTXO smart contracts via fine-grained distributed state 8
A Theoretical Basis for MEV 6
Totale 10.159
Salva come PNG Salva come JPEG
Categoria #
all - tutte 40.675
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 3.978
Totale 44.653
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021254 0 0 0 0 0 0 0 0 0 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/2024637 31 22 26 17 26 397 31 7 1 19 14 46
2024/20251.420 9 12 33 337 101 250 17 79 105 216 103 158
2025/20263.159 145 70 506 550 290 326 573 133 303 263 0 0
Totale 10.159