IRIS
Zunino, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.985
AS - Asia 2.209
EU - Europa 1.828
SA - Sud America 427
Continente sconosciuto - Info sul continente non disponibili 183
AF - Africa 47
OC - Oceania 3
Totale 11.682
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.823
SG - Singapore 1.005
VN - Vietnam 451
DE - Germania 439
IT - Italia 394
CN - Cina 383
BR - Brasile 339
RU - Federazione Russa 228
UA - Ucraina 148
GB - Regno Unito 113
SE - Svezia 104
FR - Francia 92
KR - Corea 92
FI - Finlandia 85
LV - Lettonia 84
CA - Canada 82
BG - Bulgaria 49
IN - India 43
ID - Indonesia 39
HK - Hong Kong 35
AR - Argentina 30
BD - Bangladesh 26
MX - Messico 24
CO - Colombia 22
TR - Turchia 21
IQ - Iraq 20
NL - Olanda 20
JP - Giappone 19
VE - Venezuela 16
RO - Romania 14
ZA - Sudafrica 14
LT - Lituania 11
CR - Costa Rica 10
PK - Pakistan 10
PL - Polonia 10
EC - Ecuador 8
ES - Italia 8
GT - Guatemala 7
JM - Giamaica 7
PE - Perù 7
AE - Emirati Arabi Uniti 6
IL - Israele 6
JO - Giordania 6
MA - Marocco 6
MY - Malesia 6
NI - Nicaragua 6
TW - Taiwan 6
CZ - Repubblica Ceca 5
KE - Kenya 5
PR - Porto Rico 5
TH - Thailandia 5
TN - Tunisia 5
TT - Trinidad e Tobago 5
HN - Honduras 4
IE - Irlanda 4
KZ - Kazakistan 4
SA - Arabia Saudita 4
SV - El Salvador 4
AT - Austria 3
AZ - Azerbaigian 3
BE - Belgio 3
CH - Svizzera 3
CI - Costa d'Avorio 3
CW - ???statistics.table.value.countryCode.CW??? 3
DK - Danimarca 3
DZ - Algeria 3
EG - Egitto 3
IR - Iran 3
NP - Nepal 3
SC - Seychelles 3
SY - Repubblica araba siriana 3
AL - Albania 2
BB - Barbados 2
BS - Bahamas 2
DO - Repubblica Dominicana 2
EE - Estonia 2
GY - Guiana 2
MU - Mauritius 2
NZ - Nuova Zelanda 2
PH - Filippine 2
UY - Uruguay 2
UZ - Uzbekistan 2
AU - Australia 1
BO - Bolivia 1
CV - Capo Verde 1
ET - Etiopia 1
EU - Europa 1
GP - Guadalupe 1
HU - Ungheria 1
KW - Kuwait 1
LA - Repubblica Popolare Democratica del Laos 1
LK - Sri Lanka 1
NO - Norvegia 1
OM - Oman 1
PA - Panama 1
PS - Palestinian Territory 1
PT - Portogallo 1
QA - Qatar 1
RS - Serbia 1
SN - Senegal 1
Totale 11.503
Salva come PNG Salva come JPEG
Città #
Fairfield 739
Singapore 725
Ashburn 571
Chandler 412
Woodbridge 338
Jacksonville 320
Seattle 317
San Jose 307
Wilmington 271
Houston 247
Cambridge 234
Dallas 230
Council Bluffs 222
Santa Clara 220
Columbus 212
Ann Arbor 172
San Mateo 147
Princeton 121
Hanoi 119
Moscow 113
Kerken 111
Ho Chi Minh City 108
Trento 108
Seoul 87
The Dalles 85
Riga 84
Beijing 80
Staranzano 73
Lauterbourg 72
New York 67
Phoenix 64
Los Angeles 59
Sofia 48
Dottingen 46
Munich 43
San Diego 36
Milan 35
Buffalo 32
Chicago 30
Hong Kong 30
London 30
Toronto 28
Lawrence 27
Dearborn 26
Helsinki 26
Da Nang 23
Hefei 23
São Paulo 23
Haiphong 22
Dong Ket 21
Jakarta 21
Boardman 20
Orem 18
Falls Church 17
Tokyo 16
Brooklyn 15
Atlanta 14
San Paolo di Civitate 14
Montreal 13
Norwalk 13
Altamura 12
Des Moines 12
San Francisco 12
Düsseldorf 11
Frankfurt am Main 11
North Bergen 11
Salt Lake City 11
Rome 10
Amsterdam 9
Johannesburg 9
Miami 9
Ottawa 9
Philadelphia 9
Belo Horizonte 8
Denver 8
Elk Grove Village 8
Kilburn 8
San José 8
Timisoara 8
Vilnius 8
Baghdad 7
Como 7
Guangzhou 7
Izmir 7
Miano 7
Stockholm 7
Bến Tre 6
Chennai 6
Goiânia 6
Managua 6
Mexico City 6
Mumbai 6
Phủ Lý 6
Rio de Janeiro 6
Salvador 6
Shenzhen 6
St Louis 6
Taipei 6
Verona 6
Amman 5
Totale 8.061
Salva come PNG Salva come JPEG
Nome #
ν-types for Effects and Freshness Analysis 461
Contract-Oriented Computing in CO2 287
Efficient Constant-Time Complexity Algorithm for Stochastic Simulation of Large Reaction Networks 240
On the rejection-based algorithm for simulation and analysis of large-scale reaction networks 221
Choreographies in the wild 219
BitML: A Calculus for Bitcoin Smart Contracts 202
Debits and Credits in Petri Nets and Linear Logic 196
Verifying Liquidity of Bitcoin Contracts 192
Contract agreements via logic 190
Contracts as games on event structures 186
An imperative language of self-modifying graphs for biological systems 180
A Semantic Deconstruction of Session Types 179
Fun with bitcoin smart contracts 176
Efficient rejection-based simulation of biochemical reactions with stochastic noise and delays 174
Compliance in behavioural contracts: A brief survey 173
A Calculus of Contracting Processes 172
A theory of agreements and protection 171
Semantics-Based Design for Secure Web Services 171
Model checking usage policies 170
Formal Models of Bitcoin Contracts: A Survey 167
A rule-based and imperative language for biochemical modeling and simulation 166
Adaptive tree-based search for stochastic simulation algorithm 162
Accelerating rejection-based simulation of biochemical reactions with bounded acceptance probability 161
Types and Effects for Resource Usage Analysis 155
SoK: Unraveling bitcoin smart contracts 155
On the Decidability of Honesty and of Its Variants 152
Securing Java with Local Policies 149
Contracts in distributed systems 147
Efficient stochastic simulation of biochemical reactions with noise and delays 145
Call-by-contract for service discovery, orchestration and recovery 143
A Sound Up-to- n, δ Bisimilarity for PCTL 140
On the Realizability of Contracts in Dishonest Systems 140
Vicious circles in contracts and in logic 140
Circular causality in event structures 138
Primitives for Contract-based Synchronization 136
Weakening the perfect encryption assumption in Dolev-Yao adversaries. 135
On computation and synchronization costs in spatial distributed simulation 134
Secure Service Orchestration. 133
Honesty by typing 133
A Note on the Perfect Encryption Assumption in a Process Calculus 133
Constant-deposit multiparty lotteries on bitcoin 132
Verifiable abstractions for contract-oriented systems 127
Modelling and Verifying Contract-Oriented Systems in Maude 126
Efficient finite-difference method for computing sensitivities of biochemical reactions 126
l: An imperative DSL to stochastically simulate biological systems 126
Trading computation time for synchronization time in spatial distributed simulation 125
Static Enforcement of Service Deadlines 124
Bitcoin Covenants Unchained 123
A general syntax for nonrecursive higher inductive types 122
Model checking usage policies 121
A Formal Model of Bitcoin Transactions 121
How To Save Fees in Bitcoin Smart Contracts: a Simple Optimistic Off-chain Protocol 120
Computationally sound Bitcoin tokens 120
Hard life with weak binders 118
Developing secure bitcoin contracts with BitML 118
Tree-Based Search for stochastic simulation algorithm 117
A Formal Model of Algorand Smart Contracts 117
Hard life with weak binders 116
Secure compilation of rich smart contracts on poor UTXO blockchains 115
Local policies for resource usage analysis 115
Smart contract languages: A comparative analysis 114
Jalapa: Securing Java with Local Policies 109
Contract-Oriented design of distributed applications: A tutorial 106
Models of Circular Causality 105
Efficient formulation of the rejection-based algorithm for biochemical reactions with delays 104
Renegotiation and recursion in bitcoin contracts 104
DeFi Composability as MEV Non-interference 103
Model checking usage policies 102
Verifying liquidity of recursive Bitcoin contracts 102
Handling exp, * (and Timestamps) in Protocol Analysis 101
Tree-Based Search for Stochastic Simulation Algorithm 97
Handling exp, * (and Timestamps) in Protocol Analysis. FoSSaCS 2006: 93
Honesty by typing 92
Tools and Verification 92
RSSA: a Rejection-based Stochastic Simulation Algorithm 90
Control Flow Analysis for the Applied Pi-calculus 90
nu-Types for Effects and Freshness Analysis 89
A Calculus of Contracting Processes 88
Sound approximate and asymptotic probabilistic bisimulations for PCTL 75
LocUsT: a tool for checking usage policies 74
A Logic for Contracts 69
Static Enforcement of Service Deadlines 68
Control Flow Analysis for the Applied Pi-calculus 48
How To Save Fees in Bitcoin Smart Contracts: a Simple Optimistic Off-chain Protocol 33
null 29
Scalable UTXO smart contracts via fine-grained distributed state 22
A Theoretical Basis for MEV 19
A formal framework for the economic security of DeFi compositions 11
Totale 11.682
Salva come PNG Salva come JPEG
Categoria #
all - tutte 47.373
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 4.536
Totale 51.909
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022557 0 0 0 0 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.435 145 70 506 550 290 326 573 133 303 304 131 104
2026/20271.247 72 189 435 539 12 0 0 0 0 0 0 0
Totale 11.682