IRIS
NESI, MONICA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.106
EU - Europa 690
AS - Asia 320
Continente sconosciuto - Info sul continente non disponibili 4
OC - Oceania 1
SA - Sud America 1
Totale 2.122
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.104
IE - Irlanda 268
CN - Cina 184
TR - Turchia 123
DE - Germania 106
GB - Regno Unito 68
UA - Ucraina 68
SE - Svezia 60
IT - Italia 44
FI - Finlandia 36
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.122
Salva come PNG Salva come JPEG
Città #
Jacksonville 272
Dublin 265
Chandler 233
Izmir 70
Ann Arbor 65
Nanjing 65
San Mateo 62
Boardman 49
Wilmington 41
Bremen 34
Lawrence 34
Princeton 34
New York 26
Nanchang 22
Dearborn 19
Milan 15
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
Venezia 6
Jinan 5
Los Angeles 5
Zhengzhou 5
Changsha 4
Mountain View 4
Changchun 3
Fremont 3
Lanzhou 3
Napoli 3
Norwalk 3
Orange 3
Guangzhou 2
Helsinki 2
L'aquila 2
Phoenix 2
Shanghai 2
Taizhou 2
Zurich 2
Amman 1
Athenry 1
Auckland 1
Cedar Knolls 1
Chengdu 1
Dallas 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
Red Bank 1
Redmond 1
Riyadh 1
San Diego 1
San Jose 1
Skokie 1
Sterling 1
Tappahannock 1
Walnut 1
Wenzhou 1
Totale 1.535
Salva come PNG Salva come JPEG
Nome #
Deriving the Type Flaw Attacks in the Otway-Rees Protocol by Rewriting 94
A Declarative Framework for Adaptable Applications in Heterogeneous Environments 89
Deciding Observational Congruence of Finite-State CCS Expressions by Rewriting 84
On Structural Properties of Eta-expansions of Identity 81
Complete Sets of Axioms for Finite Basic LOTOS Behavioural Equivalences 78
A Rewriting Strategy for Protocol Verification 78
A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences 75
Mechanising a Modal Logic for Value-Passing Agents in HOL 69
Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications 69
Combining Interaction and Automation in Process Algebra Verification 68
Equational Reasoning about LOTOS Specifications: A Rewriting Approach 67
Proceedings of SecReT'07 - Workshop on Security and Rewriting Techniques, Paris, June 2007 64
A Rewriting Strategy to Verify Observational Congruence 63
Infinite Normal Forms for Non-linear Term Rewriting Systems 62
Infinite Normal Forms for Non-linear Term Rewriting Systems 62
A Strategy to Deal with Divergent Rewrite Systems 61
Infinite Normal Forms for Non-Linear Term Rewritting Systems 60
Mechanizing a Proof by Induction of Process Algebra Specifications in Higher Order Logic 60
Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications 60
Value-Passing CCS in HOL 59
Formalising Process Calculi in Higher Order Logic, Ph.D. Thesis 59
Formalizing and Analyzing the Needham-Schroeder Symmetric-Key Protocol by Rewriting 58
Specification and Analysis of Security Protocols by Rewriting 58
Adding sorts to TRSs: a result on modularity of termination 58
Formalization and Verification of Security Protocols by Rewriting 57
On Rewriting Behavioural Semantics in Process Algebras 55
Formalising a Value-Passing Calculus in HOL 54
On the Complexity of Deciding the Derivation Length in Term Rewriting Systems 54
A Rewriting Strategy for Protocol Verification (Extended Abstract) 54
Rewriting Properties of Combinators for Rudimentary Linear Logic 52
On Dealing with Divergent Rewrite Systems 50
On Rewriting Protocol Specifications 47
Formalizing a Modal Logic for CCS in the HOL Theorem Prover 46
Reasoning about Value-Passing Calculi in HOL 45
Totale 2.150
Salva come PNG Salva come JPEG
Categoria #
all - tutte 6.280
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 6.280
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019107 0 0 0 0 0 0 0 0 0 0 12 95
2019/2020305 65 1 40 3 3 36 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/2024121 25 7 4 29 8 28 1 9 0 10 0 0
Totale 2.150