IRIS
NESI, MONICA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.106
EU - Europa 690
AS - Asia 360
Continente sconosciuto - Info sul continente non disponibili 4
OC - Oceania 1
SA - Sud America 1
Totale 2.162
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
SG - Singapore 40
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.162
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
Singapore 39
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.574
Salva come PNG Salva come JPEG
Nome #
Deriving the Type Flaw Attacks in the Otway-Rees Protocol by Rewriting 95
A Declarative Framework for Adaptable Applications in Heterogeneous Environments 91
Deciding Observational Congruence of Finite-State CCS Expressions by Rewriting 85
On Structural Properties of Eta-expansions of Identity 83
Complete Sets of Axioms for Finite Basic LOTOS Behavioural Equivalences 79
A Rewriting Strategy for Protocol Verification 79
A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences 76
Mechanising a Modal Logic for Value-Passing Agents in HOL 70
Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications 70
Combining Interaction and Automation in Process Algebra Verification 69
Equational Reasoning about LOTOS Specifications: A Rewriting Approach 68
Proceedings of SecReT'07 - Workshop on Security and Rewriting Techniques, Paris, June 2007 65
A Rewriting Strategy to Verify Observational Congruence 64
Infinite Normal Forms for Non-linear Term Rewriting Systems 63
Infinite Normal Forms for Non-linear Term Rewriting Systems 63
A Strategy to Deal with Divergent Rewrite Systems 62
Infinite Normal Forms for Non-Linear Term Rewritting Systems 61
Mechanizing a Proof by Induction of Process Algebra Specifications in Higher Order Logic 61
Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications 61
Value-Passing CCS in HOL 61
Formalising Process Calculi in Higher Order Logic, Ph.D. Thesis 60
Adding sorts to TRSs: a result on modularity of termination 60
Formalizing and Analyzing the Needham-Schroeder Symmetric-Key Protocol by Rewriting 59
Specification and Analysis of Security Protocols by Rewriting 59
Formalization and Verification of Security Protocols by Rewriting 58
On Rewriting Behavioural Semantics in Process Algebras 56
On the Complexity of Deciding the Derivation Length in Term Rewriting Systems 56
Formalising a Value-Passing Calculus in HOL 55
A Rewriting Strategy for Protocol Verification (Extended Abstract) 55
Rewriting Properties of Combinators for Rudimentary Linear Logic 54
On Dealing with Divergent Rewrite Systems 51
On Rewriting Protocol Specifications 48
Formalizing a Modal Logic for CCS in the HOL Theorem Prover 47
Reasoning about Value-Passing Calculi in HOL 46
Totale 2.190
Salva come PNG Salva come JPEG
Categoria #
all - tutte 7.200
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 7.200
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020240 0 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/2024123 25 7 4 29 8 28 1 9 0 10 0 2
2024/202538 37 1 0 0 0 0 0 0 0 0 0 0
Totale 2.190