IRIS
NESI, MONICA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.424
EU - Europa 818
AS - Asia 769
SA - Sud America 70
AF - Africa 6
Continente sconosciuto - Info sul continente non disponibili 4
OC - Oceania 1
Totale 3.092
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.415
SG - Singapore 325
IE - Irlanda 268
CN - Cina 205
DE - Germania 130
TR - Turchia 123
GB - Regno Unito 76
HK - Hong Kong 74
UA - Ucraina 69
RU - Federazione Russa 66
BR - Brasile 63
SE - Svezia 60
FI - Finlandia 51
IT - Italia 50
FR - Francia 22
IN - India 18
BE - Belgio 10
CA - Canada 6
JP - Giappone 4
AR - Argentina 3
EU - Europa 3
PL - Polonia 3
RO - Romania 3
VN - Vietnam 3
AZ - Azerbaigian 2
BD - Bangladesh 2
CH - Svizzera 2
IQ - Iraq 2
KE - Kenya 2
MX - Messico 2
NL - Olanda 2
SA - Arabia Saudita 2
UZ - Uzbekistan 2
ZA - Sudafrica 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AE - Emirati Arabi Uniti 1
AT - Austria 1
BG - Bulgaria 1
CL - Cile 1
CO - Colombia 1
EC - Ecuador 1
ES - Italia 1
GE - Georgia 1
IR - Iran 1
IS - Islanda 1
JM - Giamaica 1
JO - Giordania 1
LB - Libano 1
LT - Lituania 1
MY - Malesia 1
NG - Nigeria 1
NP - Nepal 1
NZ - Nuova Zelanda 1
SK - Slovacchia (Repubblica Slovacca) 1
SN - Senegal 1
VE - Venezuela 1
Totale 3.092
Salva come PNG Salva come JPEG
Città #
Jacksonville 272
Dublin 265
Chandler 233
Singapore 179
Dallas 98
Boardman 83
Hong Kong 74
Santa Clara 71
Izmir 70
Ann Arbor 65
Nanjing 65
San Mateo 62
Wilmington 41
Bremen 34
Lawrence 34
Princeton 34
New York 28
Ashburn 27
Nanchang 22
Munich 21
Dearborn 19
Moscow 18
Milan 15
Helsinki 14
Verona 14
Los Angeles 13
Seattle 13
Hebei 11
Shenyang 11
The Dalles 11
Tianjin 11
Brussels 10
Hefei 10
São Paulo 10
Woodbridge 10
Beijing 9
Kunming 9
Des Moines 8
Ningbo 8
Auburn Hills 7
Jiaxing 7
Hangzhou 6
Venezia 6
Jinan 5
Zhengzhou 5
Changsha 4
Denver 4
Mountain View 4
San Francisco 4
Tokyo 4
Turin 4
Boston 3
Changchun 3
Charlotte 3
Chennai 3
Fremont 3
Lanzhou 3
Montreal 3
Napoli 3
Norwalk 3
Orange 3
Phoenix 3
Shanghai 3
Turku 3
Warsaw 3
Atlanta 2
Baku 2
Brooklyn 2
Chicago 2
Council Bluffs 2
Goiânia 2
Guangzhou 2
Guarulhos 2
Hanoi 2
Johannesburg 2
L'aquila 2
Mumbai 2
Porto Alegre 2
São José do Rio Preto 2
Taizhou 2
Tashkent 2
Zurich 2
Agra 1
Amman 1
Amsterdam 1
Athenry 1
Auckland 1
Açu 1
Baghdad 1
Barra do Garças 1
Beirut 1
Belfast 1
Bellingham 1
Belém 1
Benito Juarez 1
Bloomington 1
Botevgrad 1
Brasília 1
Bristol 1
Calgary 1
Totale 2.156
Salva come PNG Salva come JPEG
Nome #
A Declarative Framework for Adaptable Applications in Heterogeneous Environments 126
Deriving the Type Flaw Attacks in the Otway-Rees Protocol by Rewriting 123
Deciding Observational Congruence of Finite-State CCS Expressions by Rewriting 112
Complete Sets of Axioms for Finite Basic LOTOS Behavioural Equivalences 108
A Rewriting Strategy for Protocol Verification 107
On Structural Properties of Eta-expansions of Identity 106
A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences 106
Combining Interaction and Automation in Process Algebra Verification 102
Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications 100
Proceedings of SecReT'07 - Workshop on Security and Rewriting Techniques, Paris, June 2007 96
Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications 95
Equational Reasoning about LOTOS Specifications: A Rewriting Approach 95
Mechanising a Modal Logic for Value-Passing Agents in HOL 94
Infinite Normal Forms for Non-Linear Term Rewritting Systems 94
A Strategy to Deal with Divergent Rewrite Systems 93
Formalising Process Calculi in Higher Order Logic, Ph.D. Thesis 93
Formalizing and Analyzing the Needham-Schroeder Symmetric-Key Protocol by Rewriting 92
Infinite Normal Forms for Non-linear Term Rewriting Systems 91
A Rewriting Strategy to Verify Observational Congruence 91
Infinite Normal Forms for Non-linear Term Rewriting Systems 90
Value-Passing CCS in HOL 89
A Rewriting Strategy for Protocol Verification (Extended Abstract) 88
Adding sorts to TRSs: a result on modularity of termination 87
Formalising a Value-Passing Calculus in HOL 86
Specification and Analysis of Security Protocols by Rewriting 85
On Rewriting Behavioural Semantics in Process Algebras 83
On the Complexity of Deciding the Derivation Length in Term Rewriting Systems 82
Formalization and Verification of Security Protocols by Rewriting 80
Mechanizing a Proof by Induction of Process Algebra Specifications in Higher Order Logic 76
Rewriting Properties of Combinators for Rudimentary Linear Logic 74
On Rewriting Protocol Specifications 71
Reasoning about Value-Passing Calculi in HOL 69
Formalizing a Modal Logic for CCS in the HOL Theorem Prover 68
On Dealing with Divergent Rewrite Systems 68
Totale 3.120
Salva come PNG Salva come JPEG
Categoria #
all - tutte 12.729
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 12.729
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021161 0 0 0 0 0 6 38 1 35 7 69 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/2026410 57 107 60 108 66 12 0 0 0 0 0 0
Totale 3.120