IRIS
NESI, MONICA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.413
EU - Europa 818
AS - Asia 719
SA - Sud America 70
AF - Africa 6
Continente sconosciuto - Info sul continente non disponibili 4
OC - Oceania 1
Totale 3.031
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.404
SG - Singapore 277
IE - Irlanda 268
CN - Cina 204
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
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.031
Salva come PNG Salva come JPEG
Città #
Jacksonville 272
Dublin 265
Chandler 233
Singapore 148
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
Nanchang 22
Munich 21
Ashburn 19
Dearborn 19
Moscow 18
Milan 15
Helsinki 14
Verona 14
Los Angeles 13
Seattle 13
Hebei 11
Shenyang 11
Tianjin 11
Brussels 10
Hefei 10
São Paulo 10
Woodbridge 10
Beijing 9
Kunming 9
Des Moines 8
Ningbo 8
The Dalles 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.114
Salva come PNG Salva come JPEG
Nome #
A Declarative Framework for Adaptable Applications in Heterogeneous Environments 122
Deriving the Type Flaw Attacks in the Otway-Rees Protocol by Rewriting 120
Deciding Observational Congruence of Finite-State CCS Expressions by Rewriting 112
Complete Sets of Axioms for Finite Basic LOTOS Behavioural Equivalences 107
On Structural Properties of Eta-expansions of Identity 105
A Rewriting Strategy for Protocol Verification 105
A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences 104
Combining Interaction and Automation in Process Algebra Verification 101
Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications 98
Equational Reasoning about LOTOS Specifications: A Rewriting Approach 94
Proceedings of SecReT'07 - Workshop on Security and Rewriting Techniques, Paris, June 2007 93
Mechanising a Modal Logic for Value-Passing Agents in HOL 92
Infinite Normal Forms for Non-Linear Term Rewritting Systems 92
Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications 92
Infinite Normal Forms for Non-linear Term Rewriting Systems 91
Formalising Process Calculi in Higher Order Logic, Ph.D. Thesis 91
Infinite Normal Forms for Non-linear Term Rewriting Systems 89
A Strategy to Deal with Divergent Rewrite Systems 89
A Rewriting Strategy to Verify Observational Congruence 89
Formalizing and Analyzing the Needham-Schroeder Symmetric-Key Protocol by Rewriting 88
Value-Passing CCS in HOL 87
Formalising a Value-Passing Calculus in HOL 85
A Rewriting Strategy for Protocol Verification (Extended Abstract) 85
Adding sorts to TRSs: a result on modularity of termination 84
Specification and Analysis of Security Protocols by Rewriting 83
On Rewriting Behavioural Semantics in Process Algebras 81
On the Complexity of Deciding the Derivation Length in Term Rewriting Systems 80
Formalization and Verification of Security Protocols by Rewriting 79
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 69
On Dealing with Divergent Rewrite Systems 68
Reasoning about Value-Passing Calculi in HOL 67
Formalizing a Modal Logic for CCS in the HOL Theorem Prover 67
Totale 3.059
Salva come PNG Salva come JPEG
Categoria #
all - tutte 12.539
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.539
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021197 0 0 0 0 36 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/2026349 57 107 60 108 17 0 0 0 0 0 0 0
Totale 3.059