NESI, MONICA
 Distribuzione geografica
Continente #
NA - Nord America 1.214
EU - Europa 720
AS - Asia 512
SA - Sud America 6
Continente sconosciuto - Info sul continente non disponibili 4
AF - Africa 1
OC - Oceania 1
Totale 2.458
Nazione #
US - Stati Uniti d'America 1.212
IE - Irlanda 268
CN - Cina 189
DE - Germania 123
SG - Singapore 123
TR - Turchia 123
GB - Regno Unito 68
UA - Ucraina 68
HK - Hong Kong 64
SE - Svezia 60
FI - Finlandia 48
IT - Italia 45
FR - Francia 21
BE - Belgio 10
IN - India 10
BR - Brasile 6
EU - Europa 3
RO - Romania 3
CH - Svizzera 2
A2 - ???statistics.table.value.countryCode.A2??? 1
CA - Canada 1
IR - Iran 1
IS - Islanda 1
JO - Giordania 1
MX - Messico 1
NG - Nigeria 1
NL - Olanda 1
NZ - Nuova Zelanda 1
RU - Federazione Russa 1
SA - Arabia Saudita 1
SK - Slovacchia (Repubblica Slovacca) 1
Totale 2.458
Città #
Jacksonville 272
Dublin 265
Chandler 233
Singapore 115
Boardman 83
Izmir 70
Santa Clara 68
Ann Arbor 65
Nanjing 65
Hong Kong 64
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
Goiânia 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
Grenoble 1
João Pessoa 1
Keflavik 1
Kildare 1
Lagos 1
Mexico City 1
Naas 1
New Orleans 1
North Port 1
Palermo 1
Paranaguá 1
Portici 1
Porto Alegre 1
Pune 1
Qingdao 1
Red Bank 1
Redmond 1
Riyadh 1
San Diego 1
San Jose 1
Skokie 1
Sterling 1
São Paulo 1
Tappahannock 1
Walnut 1
Wenzhou 1
Zhuhai 1
Totale 1.856
Nome #
A Declarative Framework for Adaptable Applications in Heterogeneous Environments 104
Deriving the Type Flaw Attacks in the Otway-Rees Protocol by Rewriting 103
On Structural Properties of Eta-expansions of Identity 92
Deciding Observational Congruence of Finite-State CCS Expressions by Rewriting 91
Complete Sets of Axioms for Finite Basic LOTOS Behavioural Equivalences 88
A Rewriting Strategy for Protocol Verification 88
A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences 88
Combining Interaction and Automation in Process Algebra Verification 79
Mechanising a Modal Logic for Value-Passing Agents in HOL 78
Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications 78
Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications 75
Equational Reasoning about LOTOS Specifications: A Rewriting Approach 75
Proceedings of SecReT'07 - Workshop on Security and Rewriting Techniques, Paris, June 2007 74
A Rewriting Strategy to Verify Observational Congruence 74
Infinite Normal Forms for Non-linear Term Rewriting Systems 72
Formalizing and Analyzing the Needham-Schroeder Symmetric-Key Protocol by Rewriting 72
Infinite Normal Forms for Non-Linear Term Rewritting Systems 71
Infinite Normal Forms for Non-linear Term Rewriting Systems 71
A Strategy to Deal with Divergent Rewrite Systems 69
Formalising Process Calculi in Higher Order Logic, Ph.D. Thesis 69
Value-Passing CCS in HOL 68
Formalising a Value-Passing Calculus in HOL 67
Mechanizing a Proof by Induction of Process Algebra Specifications in Higher Order Logic 67
Specification and Analysis of Security Protocols by Rewriting 67
Adding sorts to TRSs: a result on modularity of termination 67
Formalization and Verification of Security Protocols by Rewriting 66
On Rewriting Behavioural Semantics in Process Algebras 64
A Rewriting Strategy for Protocol Verification (Extended Abstract) 63
On the Complexity of Deciding the Derivation Length in Term Rewriting Systems 62
Rewriting Properties of Combinators for Rudimentary Linear Logic 60
On Dealing with Divergent Rewrite Systems 59
On Rewriting Protocol Specifications 56
Formalizing a Modal Logic for CCS in the HOL Theorem Prover 55
Reasoning about Value-Passing Calculi in HOL 54
Totale 2.486
Categoria #
all - tutte 9.404
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 9.404


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020106 0 0 0 0 0 0 0 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/2025334 37 12 68 16 91 39 64 7 0 0 0 0
Totale 2.486