IRIS
NESI, MONICA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.726
AS - Asia 965
EU - Europa 943
SA - Sud America 78
AF - Africa 10
Continente sconosciuto - Info sul continente non disponibili 4
OC - Oceania 1
Totale 3.727
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.712
SG - Singapore 440
IE - Irlanda 268
CN - Cina 230
RU - Federazione Russa 147
DE - Germania 133
TR - Turchia 124
GB - Regno Unito 80
HK - Hong Kong 80
BR - Brasile 71
UA - Ucraina 69
SE - Svezia 60
IT - Italia 54
FR - Francia 52
FI - Finlandia 51
VN - Vietnam 38
IN - India 21
BE - Belgio 10
CA - Canada 9
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
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
TH - Thailandia 1
TN - Tunisia 1
TT - Trinidad e Tobago 1
VE - Venezuela 1
Totale 3.727
Salva come PNG Salva come JPEG
Città #
Singapore 274
Jacksonville 272
Dublin 265
Chandler 233
San Jose 152
Dallas 102
Boardman 84
Hong Kong 80
Santa Clara 76
Izmir 70
Ashburn 68
Ann Arbor 65
Nanjing 65
San Mateo 62
Council Bluffs 46
Wilmington 41
Moscow 39
Bremen 34
Lawrence 34
Princeton 34
New York 32
Lauterbourg 27
The Dalles 24
Nanchang 22
Munich 21
Dearborn 19
Ho Chi Minh City 15
Los Angeles 15
Milan 15
Helsinki 14
Verona 14
Hanoi 13
Seattle 13
São Paulo 12
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
Mountain View 4
Turin 4
Warsaw 4
Boston 3
Changchun 3
Charlotte 3
Chicago 3
Frankfurt am Main 3
Fremont 3
Johannesburg 3
Lanzhou 3
Montreal 3
Mumbai 3
Napoli 3
Norwalk 3
Orange 3
Phoenix 3
Shanghai 3
Turku 3
Amsterdam 2
Atlanta 2
Baku 2
Brooklyn 2
Cardiff 2
Columbus 2
Goiânia 2
Guangzhou 2
Guarulhos 2
Kathmandu 2
L'aquila 2
Miami 2
Porto Alegre 2
São José do Rio Preto 2
Taizhou 2
Tashkent 2
Zurich 2
Agra 1
Amman 1
Annapolis 1
Athenry 1
Auckland 1
Açu 1
Baghdad 1
Balsas 1
Totale 2.626
Salva come PNG Salva come JPEG
Nome #
A Declarative Framework for Adaptable Applications in Heterogeneous Environments 150
Deciding Observational Congruence of Finite-State CCS Expressions by Rewriting 149
Deriving the Type Flaw Attacks in the Otway-Rees Protocol by Rewriting 143
Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications 130
Complete Sets of Axioms for Finite Basic LOTOS Behavioural Equivalences 127
A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences 124
A Rewriting Strategy for Protocol Verification 123
Combining Interaction and Automation in Process Algebra Verification 123
On Structural Properties of Eta-expansions of Identity 122
Formalizing and Analyzing the Needham-Schroeder Symmetric-Key Protocol by Rewriting 118
Infinite Normal Forms for Non-Linear Term Rewritting Systems 116
Mechanising a Modal Logic for Value-Passing Agents in HOL 114
Proceedings of SecReT'07 - Workshop on Security and Rewriting Techniques, Paris, June 2007 113
Infinite Normal Forms for Non-linear Term Rewriting Systems 112
Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications 111
Formalising Process Calculi in Higher Order Logic, Ph.D. Thesis 111
A Strategy to Deal with Divergent Rewrite Systems 110
Formalising a Value-Passing Calculus in HOL 109
Value-Passing CCS in HOL 109
Adding sorts to TRSs: a result on modularity of termination 109
A Rewriting Strategy for Protocol Verification (Extended Abstract) 108
Equational Reasoning about LOTOS Specifications: A Rewriting Approach 107
Infinite Normal Forms for Non-linear Term Rewriting Systems 106
Formalization and Verification of Security Protocols by Rewriting 100
On the Complexity of Deciding the Derivation Length in Term Rewriting Systems 100
Specification and Analysis of Security Protocols by Rewriting 99
A Rewriting Strategy to Verify Observational Congruence 98
On Rewriting Behavioural Semantics in Process Algebras 97
Reasoning about Value-Passing Calculi in HOL 90
Rewriting Properties of Combinators for Rudimentary Linear Logic 90
On Rewriting Protocol Specifications 87
Mechanizing a Proof by Induction of Process Algebra Specifications in Higher Order Logic 86
Formalizing a Modal Logic for CCS in the HOL Theorem Prover 83
On Dealing with Divergent Rewrite Systems 81
Totale 3.755
Salva come PNG Salva come JPEG
Categoria #
all - tutte 14.337
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.337
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20215 0 0 0 0 0 0 0 0 0 0 0 5
2021/2022193 7 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.045 57 107 60 108 66 117 156 45 95 129 94 11
Totale 3.755