IRIS
NESI, MONICA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.214
EU - Europa 719
AS - Asia 448
Continente sconosciuto - Info sul continente non disponibili 4
OC - Oceania 1
SA - Sud America 1
Totale 2.387
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.212
IE - Irlanda 268
CN - Cina 189
SG - Singapore 123
TR - Turchia 123
DE - Germania 122
GB - Regno Unito 68
UA - Ucraina 68
SE - Svezia 60
FI - Finlandia 48
IT - Italia 45
FR - Francia 21
BE - Belgio 10
IN - India 10
EU - Europa 3
RO - Romania 3
CH - Svizzera 2
A2 - ???statistics.table.value.countryCode.A2??? 1
BR - Brasile 1
CA - Canada 1
IR - Iran 1
IS - Islanda 1
JO - Giordania 1
MX - Messico 1
NL - Olanda 1
NZ - Nuova Zelanda 1
RU - Federazione Russa 1
SA - Arabia Saudita 1
SK - Slovacchia (Repubblica Slovacca) 1
Totale 2.387
Salva come PNG Salva come JPEG
Città #
Jacksonville 272
Dublin 265
Chandler 233
Singapore 115
Boardman 83
Izmir 70
Santa Clara 68
Ann Arbor 65
Nanjing 65
San Mateo 62
Wilmington 41
Bremen 34
Lawrence 34
Princeton 34
New York 26
Nanchang 22
Dearborn 19
Milan 15
Munich 15
Helsinki 14
Verona 14
Hebei 11
Seattle 11
Shenyang 11
Tianjin 11
Ashburn 10
Brussels 10
Woodbridge 10
Kunming 9
Ningbo 8
Auburn Hills 7
Jiaxing 7
Beijing 6
Des Moines 6
Hangzhou 6
Los Angeles 6
Venezia 6
Jinan 5
Zhengzhou 5
Changsha 4
Mountain View 4
Changchun 3
Fremont 3
Lanzhou 3
Napoli 3
Norwalk 3
Orange 3
Shanghai 3
Dallas 2
Guangzhou 2
L'aquila 2
Phoenix 2
Taizhou 2
Zurich 2
Amman 1
Athenry 1
Auckland 1
Bloomington 1
Cedar Knolls 1
Chengdu 1
Dalian 1
Düsseldorf 1
Edinburgh 1
Edmonton 1
Falkenstein 1
Goiânia 1
Grenoble 1
Keflavik 1
Kildare 1
Mexico City 1
Naas 1
New Orleans 1
North Port 1
Palermo 1
Portici 1
Pune 1
Qingdao 1
Red Bank 1
Redmond 1
Riyadh 1
San Diego 1
San Jose 1
Skokie 1
Sterling 1
Tappahannock 1
Walnut 1
Wenzhou 1
Zhuhai 1
Totale 1.786
Salva come PNG Salva come JPEG
Nome #
A Declarative Framework for Adaptable Applications in Heterogeneous Environments 102
Deriving the Type Flaw Attacks in the Otway-Rees Protocol by Rewriting 101
Deciding Observational Congruence of Finite-State CCS Expressions by Rewriting 91
On Structural Properties of Eta-expansions of Identity 90
A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences 86
Complete Sets of Axioms for Finite Basic LOTOS Behavioural Equivalences 85
A Rewriting Strategy for Protocol Verification 85
Combining Interaction and Automation in Process Algebra Verification 77
Mechanising a Modal Logic for Value-Passing Agents in HOL 76
Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications 76
Equational Reasoning about LOTOS Specifications: A Rewriting Approach 73
Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications 72
Proceedings of SecReT'07 - Workshop on Security and Rewriting Techniques, Paris, June 2007 72
A Rewriting Strategy to Verify Observational Congruence 72
Infinite Normal Forms for Non-Linear Term Rewritting Systems 71
Infinite Normal Forms for Non-linear Term Rewriting Systems 70
Formalizing and Analyzing the Needham-Schroeder Symmetric-Key Protocol by Rewriting 70
Infinite Normal Forms for Non-linear Term Rewriting Systems 68
A Strategy to Deal with Divergent Rewrite Systems 67
Formalising Process Calculi in Higher Order Logic, Ph.D. Thesis 67
Value-Passing CCS in HOL 66
Mechanizing a Proof by Induction of Process Algebra Specifications in Higher Order Logic 65
Specification and Analysis of Security Protocols by Rewriting 65
Adding sorts to TRSs: a result on modularity of termination 65
Formalising a Value-Passing Calculus in HOL 64
Formalization and Verification of Security Protocols by Rewriting 64
On Rewriting Behavioural Semantics in Process Algebras 62
A Rewriting Strategy for Protocol Verification (Extended Abstract) 61
On the Complexity of Deciding the Derivation Length in Term Rewriting Systems 60
Rewriting Properties of Combinators for Rudimentary Linear Logic 58
On Dealing with Divergent Rewrite Systems 56
On Rewriting Protocol Specifications 54
Reasoning about Value-Passing Calculi in HOL 52
Formalizing a Modal Logic for CCS in the HOL Theorem Prover 52
Totale 2.415
Salva come PNG Salva come JPEG
Categoria #
all - tutte 8.925
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 8.925
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020157 0 0 0 0 0 0 51 18 41 5 3 39
2020/2021300 27 37 2 37 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/2025263 37 12 68 16 91 39 0 0 0 0 0 0
Totale 2.415