IRIS
NESI, MONICA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.773
AS - Asia 968
EU - Europa 946
SA - Sud America 81
Continente sconosciuto - Info sul continente non disponibili 32
AF - Africa 10
OC - Oceania 1
Totale 3.811
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.755
SG - Singapore 442
IE - Irlanda 268
CN - Cina 230
RU - Federazione Russa 147
DE - Germania 133
TR - Turchia 124
HK - Hong Kong 81
GB - Regno Unito 80
BR - Brasile 74
UA - Ucraina 69
SE - Svezia 60
IT - Italia 56
FR - Francia 52
FI - Finlandia 51
VN - Vietnam 38
IN - India 21
CA - Canada 12
BE - Belgio 10
JP - Giappone 9
PL - Polonia 4
ZA - Sudafrica 4
AR - Argentina 3
EU - Europa 3
NL - Olanda 3
RO - Romania 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
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
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
TT - Trinidad e Tobago 1
VE - Venezuela 1
Totale 3.783
Salva come PNG Salva come JPEG
Città #
Singapore 274
Jacksonville 272
Dublin 265
Chandler 233
San Jose 152
Dallas 102
Boardman 84
Hong Kong 81
Santa Clara 77
Ashburn 76
Izmir 70
Ann Arbor 65
Nanjing 65
San Mateo 62
Council Bluffs 46
Wilmington 41
Moscow 39
New York 37
Bremen 34
Lawrence 34
Princeton 34
Lauterbourg 27
The Dalles 24
Nanchang 22
Munich 21
Dearborn 19
Los Angeles 19
Ho Chi Minh City 15
Milan 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
Des Moines 8
Ningbo 8
Tokyo 8
Auburn Hills 7
Denver 7
Jiaxing 7
San Francisco 7
Hangzhou 6
Orem 6
Venezia 6
Chennai 5
Jinan 5
Zhengzhou 5
Changsha 4
Charlotte 4
Montreal 4
Mountain View 4
Turin 4
Warsaw 4
Boston 3
Changchun 3
Chicago 3
Frankfurt am Main 3
Fremont 3
Johannesburg 3
Lanzhou 3
Mumbai 3
Napoli 3
Norwalk 3
Orange 3
Phoenix 3
Shanghai 3
Turku 3
Amsterdam 2
Atlanta 2
Baku 2
Brooklyn 2
Buffalo 2
Cardiff 2
Columbus 2
Goiânia 2
Guangzhou 2
Guarulhos 2
Kathmandu 2
L'aquila 2
Lakeland 2
Miami 2
Philadelphia 2
Porto Alegre 2
Spartanburg 2
São José do Rio Preto 2
Taizhou 2
Tashkent 2
Toronto 2
Zurich 2
Agra 1
Amman 1
Annapolis 1
Totale 2.653
Salva come PNG Salva come JPEG
Nome #
A Declarative Framework for Adaptable Applications in Heterogeneous Environments 153
Deciding Observational Congruence of Finite-State CCS Expressions by Rewriting 150
Deriving the Type Flaw Attacks in the Otway-Rees Protocol by Rewriting 146
Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications 132
Complete Sets of Axioms for Finite Basic LOTOS Behavioural Equivalences 131
A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences 125
A Rewriting Strategy for Protocol Verification 124
Combining Interaction and Automation in Process Algebra Verification 124
On Structural Properties of Eta-expansions of Identity 122
Formalizing and Analyzing the Needham-Schroeder Symmetric-Key Protocol by Rewriting 119
Infinite Normal Forms for Non-Linear Term Rewritting Systems 117
Mechanising a Modal Logic for Value-Passing Agents in HOL 115
Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications 115
Proceedings of SecReT'07 - Workshop on Security and Rewriting Techniques, Paris, June 2007 114
Formalising Process Calculi in Higher Order Logic, Ph.D. Thesis 114
Infinite Normal Forms for Non-linear Term Rewriting Systems 113
A Strategy to Deal with Divergent Rewrite Systems 113
Formalising a Value-Passing Calculus in HOL 112
Adding sorts to TRSs: a result on modularity of termination 111
Value-Passing CCS in HOL 110
A Rewriting Strategy for Protocol Verification (Extended Abstract) 109
Infinite Normal Forms for Non-linear Term Rewriting Systems 108
Equational Reasoning about LOTOS Specifications: A Rewriting Approach 108
Formalization and Verification of Security Protocols by Rewriting 102
On the Complexity of Deciding the Derivation Length in Term Rewriting Systems 101
Specification and Analysis of Security Protocols by Rewriting 100
On Rewriting Behavioural Semantics in Process Algebras 99
A Rewriting Strategy to Verify Observational Congruence 98
Rewriting Properties of Combinators for Rudimentary Linear Logic 93
Reasoning about Value-Passing Calculi in HOL 91
Mechanizing a Proof by Induction of Process Algebra Specifications in Higher Order Logic 88
On Rewriting Protocol Specifications 87
Formalizing a Modal Logic for CCS in the HOL Theorem Prover 86
On Dealing with Divergent Rewrite Systems 81
Totale 3.811
Salva come PNG Salva come JPEG
Categoria #
all - tutte 14.783
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 14.783
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022186 0 31 13 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/202754 18 36 0 0 0 0 0 0 0 0 0 0
Totale 3.811