IRIS
Zunino, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.310
EU - Europa 1.470
AS - Asia 1.324
SA - Sud America 363
AF - Africa 25
Continente sconosciuto - Info sul continente non disponibili 2
Totale 8.494
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.241
SG - Singapore 713
DE - Germania 427
CN - Cina 315
BR - Brasile 308
RU - Federazione Russa 224
IT - Italia 216
VN - Vietnam 149
UA - Ucraina 144
SE - Svezia 100
GB - Regno Unito 88
LV - Lettonia 83
FI - Finlandia 76
BG - Bulgaria 48
CA - Canada 44
ID - Indonesia 33
AR - Argentina 23
HK - Hong Kong 20
MX - Messico 15
TR - Turchia 14
CO - Colombia 13
IN - India 13
RO - Romania 13
NL - Olanda 12
JP - Giappone 11
FR - Francia 9
ZA - Sudafrica 9
BD - Bangladesh 8
IQ - Iraq 8
VE - Venezuela 7
EC - Ecuador 6
AE - Emirati Arabi Uniti 5
JO - Giordania 5
MA - Marocco 5
MY - Malesia 5
PL - Polonia 5
IE - Irlanda 4
JM - Giamaica 4
PE - Perù 4
TW - Taiwan 4
AT - Austria 3
BE - Belgio 3
ES - Italia 3
IL - Israele 3
IR - Iran 3
LT - Lituania 3
PK - Pakistan 3
AL - Albania 2
AZ - Azerbaigian 2
CI - Costa d'Avorio 2
CZ - Repubblica Ceca 2
DK - Danimarca 2
DO - Repubblica Dominicana 2
DZ - Algeria 2
EG - Egitto 2
KZ - Kazakistan 2
MU - Mauritius 2
SA - Arabia Saudita 2
TN - Tunisia 2
CH - Svizzera 1
CR - Costa Rica 1
EU - Europa 1
GT - Guatemala 1
GY - Guiana 1
HN - Honduras 1
KE - Kenya 1
KW - Kuwait 1
NO - Norvegia 1
NP - Nepal 1
OM - Oman 1
PA - Panama 1
PS - Palestinian Territory 1
RS - Serbia 1
TH - Thailandia 1
UY - Uruguay 1
UZ - Uzbekistan 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 8.494
Salva come PNG Salva come JPEG
Città #
Fairfield 739
Singapore 475
Chandler 411
Ashburn 394
Woodbridge 337
Jacksonville 317
Seattle 317
Wilmington 270
Houston 241
Cambridge 234
Dallas 216
Santa Clara 181
Ann Arbor 172
Columbus 153
San Mateo 147
Princeton 120
Moscow 113
Kerken 111
Trento 108
Riga 83
Beijing 77
Council Bluffs 49
Sofia 48
New York 47
Dottingen 46
Ho Chi Minh City 45
Munich 43
Los Angeles 41
San Diego 33
The Dalles 33
Buffalo 31
Lawrence 27
Dearborn 26
London 26
Hanoi 25
Hefei 23
Dong Ket 21
Jakarta 21
Chicago 20
São Paulo 20
Toronto 20
Hong Kong 18
Falls Church 17
Helsinki 17
Boardman 16
San Paolo di Civitate 14
Norwalk 13
Altamura 12
Des Moines 11
Düsseldorf 11
Salt Lake City 11
Montreal 10
Tokyo 9
Belo Horizonte 8
Elk Grove Village 8
Kilburn 8
Ottawa 8
Timisoara 8
Como 7
Frankfurt am Main 7
Guangzhou 7
Haiphong 7
Izmir 7
Johannesburg 7
Phoenix 7
San Francisco 7
Goiânia 6
Milan 6
Rio de Janeiro 6
Rome 6
Salvador 6
San Jose 6
Shenzhen 6
Amsterdam 5
Andover 5
Brooklyn 5
Cavalese 5
Comabbio 5
Curitiba 5
Lappeenranta 5
Naaldwijk 5
Nanjing 5
Popayán 5
Porto Alegre 5
Redondo Beach 5
Verona 5
Amman 4
Bucharest 4
Chennai 4
Da Nang 4
Dublin 4
Hangzhou 4
Kingston 4
L’Aquila 4
Natal 4
Rio Grande 4
Sorocaba 4
Taipei 4
Washington 4
Xi'an 4
Totale 6.279
Salva come PNG Salva come JPEG
Nome #
ν-types for Effects and Freshness Analysis 391
Contract-Oriented Computing in CO2 205
Choreographies in the wild 179
On the rejection-based algorithm for simulation and analysis of large-scale reaction networks 177
Efficient Constant-Time Complexity Algorithm for Stochastic Simulation of Large Reaction Networks 160
Debits and Credits in Petri Nets and Linear Logic 158
A Semantic Deconstruction of Session Types 151
Verifying Liquidity of Bitcoin Contracts 140
Efficient rejection-based simulation of biochemical reactions with stochastic noise and delays 139
Compliance in behavioural contracts: A brief survey 139
Contract agreements via logic 138
A rule-based and imperative language for biochemical modeling and simulation 138
A theory of agreements and protection 137
An imperative language of self-modifying graphs for biological systems 135
SoK: Unraveling bitcoin smart contracts 135
Types and Effects for Resource Usage Analysis 133
Contracts as games on event structures 133
Model checking usage policies 132
Adaptive tree-based search for stochastic simulation algorithm 132
Accelerating rejection-based simulation of biochemical reactions with bounded acceptance probability 128
A Calculus of Contracting Processes 126
BitML: A Calculus for Bitcoin Smart Contracts 124
On the Decidability of Honesty and of Its Variants 124
Contracts in distributed systems 123
Call-by-contract for service discovery, orchestration and recovery 121
On the Realizability of Contracts in Dishonest Systems 118
Fun with bitcoin smart contracts 117
Primitives for Contract-based Synchronization 116
Formal Models of Bitcoin Contracts: A Survey 116
Securing Java with Local Policies 115
Honesty by typing 112
Weakening the perfect encryption assumption in Dolev-Yao adversaries. 111
A Note on the Perfect Encryption Assumption in a Process Calculus 111
Semantics-Based Design for Secure Web Services 110
Constant-deposit multiparty lotteries on bitcoin 107
On computation and synchronization costs in spatial distributed simulation 107
Model checking usage policies 106
Vicious circles in contracts and in logic 106
Modelling and Verifying Contract-Oriented Systems in Maude 105
Efficient stochastic simulation of biochemical reactions with noise and delays 105
Efficient finite-difference method for computing sensitivities of biochemical reactions 105
Circular causality in event structures 104
Secure Service Orchestration. 102
Trading computation time for synchronization time in spatial distributed simulation 100
Static Enforcement of Service Deadlines 98
Verifiable abstractions for contract-oriented systems 96
Developing secure bitcoin contracts with BitML 94
Jalapa: Securing Java with Local Policies 91
Local policies for resource usage analysis 91
Tree-Based Search for stochastic simulation algorithm 90
l: An imperative DSL to stochastically simulate biological systems 90
Computationally sound Bitcoin tokens 89
Hard life with weak binders 88
A general syntax for nonrecursive higher inductive types 87
Models of Circular Causality 85
Model checking usage policies 84
A Formal Model of Bitcoin Transactions 84
Efficient formulation of the rejection-based algorithm for biochemical reactions with delays 80
Bitcoin Covenants Unchained 79
Hard life with weak binders 75
Honesty by typing 74
How To Save Fees in Bitcoin Smart Contracts: a Simple Optimistic Off-chain Protocol 73
Handling exp, * (and Timestamps) in Protocol Analysis 73
Renegotiation and recursion in bitcoin contracts 72
Tools and Verification 71
A Sound Up-to- n, δ Bisimilarity for PCTL 70
Handling exp, * (and Timestamps) in Protocol Analysis. FoSSaCS 2006: 70
Contract-Oriented design of distributed applications: A tutorial 70
Control Flow Analysis for the Applied Pi-calculus 69
A Formal Model of Algorand Smart Contracts 69
Verifying liquidity of recursive Bitcoin contracts 67
Secure compilation of rich smart contracts on poor UTXO blockchains 62
nu-Types for Effects and Freshness Analysis 60
RSSA: a Rejection-based Stochastic Simulation Algorithm 59
LocUsT: a tool for checking usage policies 57
Smart contract languages: A comparative analysis 56
Tree-Based Search for Stochastic Simulation Algorithm 53
Sound approximate and asymptotic probabilistic bisimulations for PCTL 49
DeFi Composability as MEV Non-interference 49
A Calculus of Contracting Processes 48
A Logic for Contracts 40
Static Enforcement of Service Deadlines 30
null 29
Control Flow Analysis for the Applied Pi-calculus 23
Totale 8.665
Salva come PNG Salva come JPEG
Categoria #
all - tutte 38.103
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 3.805
Totale 41.908
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021555 0 0 0 0 0 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/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/20261.665 145 70 506 550 290 104 0 0 0 0 0 0
Totale 8.665