IRIS
NESI, MONICA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.956
EU - Europa 1.030
AS - Asia 968
SA - Sud America 81
Continente sconosciuto - Info sul continente non disponibili 32
AF - Africa 10
OC - Oceania 1
Totale 4.078
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.931
SG - Singapore 442
IE - Irlanda 268
CN - Cina 230
RU - Federazione Russa 147
IT - Italia 136
DE - Germania 134
TR - Turchia 124
HK - Hong Kong 81
GB - Regno Unito 80
BR - Brasile 74
UA - Ucraina 69
SE - Svezia 60
FR - Francia 52
FI - Finlandia 51
VN - Vietnam 38
IN - India 21
CA - Canada 16
BE - Belgio 10
JP - Giappone 9
RO - Romania 6
PL - Polonia 4
ZA - Sudafrica 4
AR - Argentina 3
EU - Europa 3
NL - Olanda 3
AZ - Azerbaigian 2
BD - Bangladesh 2
CH - Svizzera 2
ES - Italia 2
IQ - Iraq 2
KE - Kenya 2
MX - Messico 2
MY - Malesia 2
NP - Nepal 2
SA - Arabia Saudita 2
TT - Trinidad e Tobago 2
UZ - Uzbekistan 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AE - Emirati Arabi Uniti 1
AO - Angola 1
AT - Austria 1
BA - Bosnia-Erzegovina 1
BG - Bulgaria 1
BH - Bahrain 1
CL - Cile 1
CO - Colombia 1
CR - Costa Rica 1
CU - Cuba 1
EC - Ecuador 1
GE - Georgia 1
IR - Iran 1
IS - Islanda 1
JM - Giamaica 1
JO - Giordania 1
LB - Libano 1
LT - Lituania 1
NG - Nigeria 1
NZ - Nuova Zelanda 1
OM - Oman 1
PH - Filippine 1
PR - Porto Rico 1
SK - Slovacchia (Repubblica Slovacca) 1
SN - Senegal 1
SV - El Salvador 1
TH - Thailandia 1
TN - Tunisia 1
VE - Venezuela 1
Totale 4.050
Salva come PNG Salva come JPEG
Città #
Singapore 274
Jacksonville 272
Dublin 265
Chandler 233
San Jose 165
Ashburn 119
Council Bluffs 113
Dallas 102
Boardman 84
Hong Kong 81
Santa Clara 77
Izmir 70
Ann Arbor 65
Nanjing 65
San Mateo 62
Wilmington 41
Moscow 39
New York 38
Bremen 34
Lawrence 34
Princeton 34
Milan 31
Lauterbourg 27
The Dalles 24
Nanchang 22
Munich 21
Dearborn 19
Los Angeles 19
Ho Chi Minh City 15
Helsinki 14
Verona 14
Hanoi 13
Seattle 13
São Paulo 13
Beijing 11
Hebei 11
Shenyang 11
Tianjin 11
Brussels 10
Hefei 10
Woodbridge 10
Kunming 9
Denver 8
Des Moines 8
Ningbo 8
Tokyo 8
Auburn Hills 7
Jiaxing 7
Orem 7
Rome 7
San Francisco 7
Hangzhou 6
Naples 6
Staranzano 6
Venezia 6
Brooklyn 5
Chennai 5
Jinan 5
Miano 5
Zhengzhou 5
Changsha 4
Charlotte 4
Chicago 4
Montreal 4
Mountain View 4
Turin 4
Warsaw 4
Atlanta 3
Boston 3
Changchun 3
Frankfurt am Main 3
Fremont 3
Johannesburg 3
Lanzhou 3
Mumbai 3
Napoli 3
Norwalk 3
Orange 3
Phoenix 3
Shanghai 3
Toronto 3
Turku 3
Washington 3
Amsterdam 2
Baku 2
Bari 2
Brescia 2
Buffalo 2
Calgary 2
Cardiff 2
Columbus 2
Florence 2
Goiânia 2
Guangzhou 2
Guarulhos 2
Kathmandu 2
L'aquila 2
Lakeland 2
Louisville 2
Miami 2
Totale 2.821
Salva come PNG Salva come JPEG
Nome #
A Declarative Framework for Adaptable Applications in Heterogeneous Environments 165
Deciding Observational Congruence of Finite-State CCS Expressions by Rewriting 156
Deriving the Type Flaw Attacks in the Otway-Rees Protocol by Rewriting 150
Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications 142
Complete Sets of Axioms for Finite Basic LOTOS Behavioural Equivalences 137
A Rewriting Strategy for Protocol Verification 136
On Structural Properties of Eta-expansions of Identity 134
A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences 133
Formalizing and Analyzing the Needham-Schroeder Symmetric-Key Protocol by Rewriting 129
Combining Interaction and Automation in Process Algebra Verification 129
Infinite Normal Forms for Non-Linear Term Rewritting Systems 128
Mechanising a Modal Logic for Value-Passing Agents in HOL 126
Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications 125
A Strategy to Deal with Divergent Rewrite Systems 122
Infinite Normal Forms for Non-linear Term Rewriting Systems 121
Proceedings of SecReT'07 - Workshop on Security and Rewriting Techniques, Paris, June 2007 121
Formalising Process Calculi in Higher Order Logic, Ph.D. Thesis 121
Formalising a Value-Passing Calculus in HOL 118
Value-Passing CCS in HOL 118
A Rewriting Strategy for Protocol Verification (Extended Abstract) 118
Equational Reasoning about LOTOS Specifications: A Rewriting Approach 117
Adding sorts to TRSs: a result on modularity of termination 114
Infinite Normal Forms for Non-linear Term Rewriting Systems 113
Formalization and Verification of Security Protocols by Rewriting 108
On Rewriting Behavioural Semantics in Process Algebras 108
On the Complexity of Deciding the Derivation Length in Term Rewriting Systems 107
A Rewriting Strategy to Verify Observational Congruence 105
Specification and Analysis of Security Protocols by Rewriting 103
Mechanizing a Proof by Induction of Process Algebra Specifications in Higher Order Logic 102
Rewriting Properties of Combinators for Rudimentary Linear Logic 101
On Rewriting Protocol Specifications 96
Reasoning about Value-Passing Calculi in HOL 94
Formalizing a Modal Logic for CCS in the HOL Theorem Prover 93
On Dealing with Divergent Rewrite Systems 88
Totale 4.078
Salva come PNG Salva come JPEG
Categoria #
all - tutte 15.564
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 15.564
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022142 0 0 0 12 24 1 3 17 6 3 17 59
2022/2023721 44 42 11 74 92 68 0 45 324 2 13 6
2023/2024123 25 7 4 29 8 28 1 9 0 10 0 2
2024/2025558 37 12 68 16 91 39 64 45 86 17 55 28
2025/20261.047 57 107 60 108 66 117 156 45 95 129 94 13
2026/2027321 18 46 74 183 0 0 0 0 0 0 0 0
Totale 4.078