IRIS
Zunino, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.194
AS - Asia 2.193
EU - Europa 1.684
SA - Sud America 405
Continente sconosciuto - Info sul continente non disponibili 177
AF - Africa 40
OC - Oceania 3
Totale 10.696
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.086
SG - Singapore 1.002
VN - Vietnam 451
DE - Germania 437
CN - Cina 381
BR - Brasile 332
IT - Italia 287
RU - Federazione Russa 226
UA - Ucraina 147
SE - Svezia 103
GB - Regno Unito 100
KR - Corea 92
FR - Francia 89
FI - Finlandia 85
LV - Lettonia 84
CA - Canada 63
BG - Bulgaria 48
IN - India 43
ID - Indonesia 37
HK - Hong Kong 35
AR - Argentina 27
BD - Bangladesh 25
MX - Messico 23
IQ - Iraq 20
TR - Turchia 20
JP - Giappone 19
NL - Olanda 17
CO - Colombia 16
RO - Romania 14
ZA - Sudafrica 13
VE - Venezuela 11
PK - Pakistan 10
PL - Polonia 9
EC - Ecuador 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
GT - Guatemala 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
CH - Svizzera 3
DK - Danimarca 3
DZ - Algeria 3
EG - Egitto 3
HN - Honduras 3
IR - Iran 3
KE - Kenya 3
NP - Nepal 3
AL - Albania 2
CI - Costa d'Avorio 2
CR - Costa Rica 2
DO - Repubblica Dominicana 2
MU - Mauritius 2
NZ - Nuova Zelanda 2
PH - Filippine 2
SA - Arabia Saudita 2
TT - Trinidad e Tobago 2
UY - Uruguay 2
UZ - Uzbekistan 2
AU - Australia 1
BO - Bolivia 1
ET - Etiopia 1
EU - Europa 1
GY - Guiana 1
HU - Ungheria 1
KW - Kuwait 1
LA - Repubblica Popolare Democratica del Laos 1
NI - Nicaragua 1
NO - Norvegia 1
OM - Oman 1
PA - Panama 1
PS - Palestinian Territory 1
PT - Portogallo 1
QA - Qatar 1
RS - Serbia 1
SC - Seychelles 1
SN - Senegal 1
SV - El Salvador 1
SX - ???statistics.table.value.countryCode.SX??? 1
SY - Repubblica araba siriana 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 10.522
Salva come PNG Salva come JPEG
Città #
Fairfield 739
Singapore 723
Ashburn 495
Chandler 412
Woodbridge 337
Jacksonville 319
Seattle 317
Wilmington 270
Houston 247
Cambridge 234
San Jose 227
Dallas 226
Columbus 210
Santa Clara 203
Ann Arbor 172
San Mateo 147
Council Bluffs 130
Princeton 120
Hanoi 119
Moscow 113
Kerken 111
Ho Chi Minh City 108
Trento 108
Seoul 87
The Dalles 85
Riga 84
Beijing 80
Lauterbourg 72
New York 66
Los Angeles 54
Sofia 48
Dottingen 46
Munich 43
San Diego 33
Buffalo 31
Hong Kong 30
Milan 30
London 28
Chicago 27
Lawrence 27
Dearborn 26
Helsinki 26
Toronto 25
Da Nang 23
Hefei 23
São Paulo 23
Haiphong 22
Dong Ket 21
Jakarta 21
Boardman 18
Falls Church 17
Orem 16
Phoenix 16
Tokyo 16
San Paolo di Civitate 14
Atlanta 13
Norwalk 13
Altamura 12
Montreal 12
Brooklyn 11
Des Moines 11
Düsseldorf 11
Frankfurt am Main 11
Salt Lake City 11
San Francisco 10
Johannesburg 9
Ottawa 9
Rome 9
Amsterdam 8
Belo Horizonte 8
Elk Grove Village 8
Kilburn 8
Timisoara 8
Baghdad 7
Como 7
Guangzhou 7
Izmir 7
Miano 7
Philadelphia 7
Bến Tre 6
Chennai 6
Denver 6
Goiânia 6
Miami 6
Mumbai 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
Totale 7.608
Salva come PNG Salva come JPEG
Nome #
ν-types for Effects and Freshness Analysis 450
Contract-Oriented Computing in CO2 270
Efficient Constant-Time Complexity Algorithm for Stochastic Simulation of Large Reaction Networks 212
Choreographies in the wild 208
On the rejection-based algorithm for simulation and analysis of large-scale reaction networks 208
BitML: A Calculus for Bitcoin Smart Contracts 193
Debits and Credits in Petri Nets and Linear Logic 184
Contract agreements via logic 182
Verifying Liquidity of Bitcoin Contracts 176
A Semantic Deconstruction of Session Types 171
An imperative language of self-modifying graphs for biological systems 166
Contracts as games on event structures 165
Fun with bitcoin smart contracts 165
Efficient rejection-based simulation of biochemical reactions with stochastic noise and delays 163
Compliance in behavioural contracts: A brief survey 163
A theory of agreements and protection 162
A Calculus of Contracting Processes 161
Model checking usage policies 159
Formal Models of Bitcoin Contracts: A Survey 159
A rule-based and imperative language for biochemical modeling and simulation 156
Semantics-Based Design for Secure Web Services 153
Adaptive tree-based search for stochastic simulation algorithm 151
SoK: Unraveling bitcoin smart contracts 148
Types and Effects for Resource Usage Analysis 146
Accelerating rejection-based simulation of biochemical reactions with bounded acceptance probability 146
On the Decidability of Honesty and of Its Variants 140
Securing Java with Local Policies 135
Contracts in distributed systems 135
Call-by-contract for service discovery, orchestration and recovery 134
On the Realizability of Contracts in Dishonest Systems 134
Efficient stochastic simulation of biochemical reactions with noise and delays 134
Circular causality in event structures 131
Vicious circles in contracts and in logic 130
Primitives for Contract-based Synchronization 127
Weakening the perfect encryption assumption in Dolev-Yao adversaries. 125
Honesty by typing 125
A Note on the Perfect Encryption Assumption in a Process Calculus 125
A Sound Up-to- n, δ Bisimilarity for PCTL 124
Constant-deposit multiparty lotteries on bitcoin 124
Secure Service Orchestration. 120
On computation and synchronization costs in spatial distributed simulation 120
l: An imperative DSL to stochastically simulate biological systems 117
Model checking usage policies 116
Trading computation time for synchronization time in spatial distributed simulation 116
Efficient finite-difference method for computing sensitivities of biochemical reactions 116
Modelling and Verifying Contract-Oriented Systems in Maude 115
Verifiable abstractions for contract-oriented systems 115
Static Enforcement of Service Deadlines 114
Hard life with weak binders 112
Developing secure bitcoin contracts with BitML 111
Tree-Based Search for stochastic simulation algorithm 109
A general syntax for nonrecursive higher inductive types 108
Computationally sound Bitcoin tokens 107
How To Save Fees in Bitcoin Smart Contracts: a Simple Optimistic Off-chain Protocol 106
A Formal Model of Bitcoin Transactions 106
Bitcoin Covenants Unchained 106
A Formal Model of Algorand Smart Contracts 106
Hard life with weak binders 105
Local policies for resource usage analysis 102
Jalapa: Securing Java with Local Policies 101
Models of Circular Causality 98
Efficient formulation of the rejection-based algorithm for biochemical reactions with delays 97
Secure compilation of rich smart contracts on poor UTXO blockchains 96
Model checking usage policies 95
Handling exp, * (and Timestamps) in Protocol Analysis 93
Renegotiation and recursion in bitcoin contracts 93
DeFi Composability as MEV Non-interference 92
Contract-Oriented design of distributed applications: A tutorial 92
Verifying liquidity of recursive Bitcoin contracts 86
Tools and Verification 85
Tree-Based Search for Stochastic Simulation Algorithm 84
Smart contract languages: A comparative analysis 83
Handling exp, * (and Timestamps) in Protocol Analysis. FoSSaCS 2006: 83
Control Flow Analysis for the Applied Pi-calculus 82
Honesty by typing 82
nu-Types for Effects and Freshness Analysis 78
RSSA: a Rejection-based Stochastic Simulation Algorithm 77
LocUsT: a tool for checking usage policies 71
A Calculus of Contracting Processes 68
Sound approximate and asymptotic probabilistic bisimulations for PCTL 68
A Logic for Contracts 61
Static Enforcement of Service Deadlines 52
Control Flow Analysis for the Applied Pi-calculus 38
null 29
How To Save Fees in Bitcoin Smart Contracts: a Simple Optimistic Off-chain Protocol 19
Scalable UTXO smart contracts via fine-grained distributed state 16
A Theoretical Basis for MEV 10
Totale 10.696
Salva come PNG Salva come JPEG
Categoria #
all - tutte 44.556
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 4.312
Totale 48.868
Salva come PNG Salva come JPEG


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