BOSSI, Annalisa
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.630
EU - Europa 1.581
AS - Asia 1.150
Continente sconosciuto - Info sul continente non disponibili 6
SA - Sud America 6
OC - Oceania 4
AF - Africa 1
Totale 7.378
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.562
CN - Cina 919
IT - Italia 257
UA - Ucraina 239
SE - Svezia 195
GB - Regno Unito 176
FI - Finlandia 163
DE - Germania 161
IE - Irlanda 143
SG - Singapore 112
PL - Polonia 107
CA - Canada 66
TR - Turchia 62
RU - Federazione Russa 58
HK - Hong Kong 27
FR - Francia 23
BE - Belgio 18
AT - Austria 7
BD - Bangladesh 7
CH - Svizzera 7
NL - Olanda 7
DK - Danimarca 5
EU - Europa 5
IR - Iran 4
BG - Bulgaria 3
CL - Cile 3
KR - Corea 3
VN - Vietnam 3
AU - Australia 2
ES - Italia 2
GR - Grecia 2
IL - Israele 2
JP - Giappone 2
LB - Libano 2
NZ - Nuova Zelanda 2
PA - Panama 2
PT - Portogallo 2
A2 - ???statistics.table.value.countryCode.A2??? 1
BR - Brasile 1
CO - Colombia 1
CY - Cipro 1
CZ - Repubblica Ceca 1
EE - Estonia 1
HU - Ungheria 1
IN - India 1
JO - Giordania 1
LU - Lussemburgo 1
ME - Montenegro 1
NG - Nigeria 1
NO - Norvegia 1
PE - Perù 1
PH - Filippine 1
PK - Pakistan 1
TW - Taiwan 1
UZ - Uzbekistan 1
Totale 7.378
Salva come PNG Salva come JPEG
Città #
Woodbridge 645
Fairfield 512
Chandler 509
Jacksonville 423
Houston 416
Ann Arbor 319
Ashburn 226
Seattle 219
Cambridge 187
Wilmington 178
Dublin 143
Mestre 119
Nanjing 116
Jinan 107
Warsaw 99
Shenyang 87
Dearborn 79
Boardman 76
Beijing 73
Singapore 67
Izmir 61
Andover 54
New York 52
Hebei 51
San Mateo 50
Toronto 49
Tianjin 48
Boston 46
Des Moines 44
Mülheim 40
Princeton 40
Guangzhou 35
Taiyuan 33
Changsha 31
Zhengzhou 31
Nanchang 30
Ningbo 28
Hangzhou 26
Hong Kong 26
Jiaxing 26
Taizhou 26
Southend 25
Berlin 24
Haikou 23
Milan 21
Saint Petersburg 20
Fuzhou 19
Brussels 18
Los Angeles 18
Ottawa 15
Venice 15
San Diego 13
Hefei 12
Kunming 12
Redwood City 11
Altamura 9
Brooklyn 9
London 8
Norwalk 7
Kilburn 6
Polska 6
San Paolo di Civitate 6
Auburn Hills 5
Kitzingen 5
Novokuznetsk 5
Padova 5
Verona 5
Brusciano 4
Washington 4
Chicago 3
Dong Ket 3
Orange 3
Puxian 3
Simi Valley 3
Sofia 3
Vienna 3
Xiangfen 3
Den Haag 2
Edinburgh 2
Frankfurt am Main 2
Helsinki 2
Lanzhou 2
Lisbon 2
Mogliano Veneto 2
Moscow 2
Oberhausen 2
Panama City 2
Philadelphia 2
Quzhou 2
Riva 2
Saint Paul 2
Santa Clara 2
Trumbull 2
Vittorio Veneto 2
Winnipeg 2
Yicheng 2
Amman 1
Athens 1
Atlanta 1
Auckland 1
Totale 5.823
Salva come PNG Salva come JPEG
Nome #
Basic Transformation Operations which preserve Computed Answer Substitutions of Logic Programs 271
Norms on Terms and their use in Proving Universal Termination of a Logic Program 267
On Modular Termination Proofs of General Logic Programs 257
Information Flow in Secure Contexts 243
Declarative Semantics of Input Consuming Logic Programs 234
Termination of Well-Typed Logic Programs 233
Simultaneous Replacement in Normal Programs 214
Information Flow Security and Recursive Systems 209
A Proof System for Information Flow Security 207
Action Refinement in Process Algebra and Security Issues 207
Refinement Operators and Information Flow Security 206
Specialising Logic Programs with respect to Call/Post Specifications 205
A Compositional Semantics for Logic Programs 202
Differential logic programs: Programming methodologies and semantics 202
Properties of Input-Consuming Derivations 202
Unwinding Conditions for Security in Imperative Languages 201
Unwinding in Information Flow Security 200
Bisimulation and Unwinding for Verifying Possibilistic Security Properties 199
Enriching SMIL with assertions for temporal validation 198
Semantics and Termination of Simply-moded Logic Programs with Dynamic Scheduling 197
Termination of Well-Moded Programs 194
Modelling Downgrading in Information Flow Security 190
Transformation of left terminating programs 186
Compositional Information Flow Security for Concurrent Programs 184
Properties of Input-Consuming Derivations 180
Transforming processes to check and ensure Information Flow Security 177
Semantics of well-moded input-consuming logic programs 174
Compositional information flow security for concurrent programs 174
Secure Contexts for Confidential Data 167
Semantics of input-consuming programs 166
Termination of Simply Moded Logic Programs with Dynamic Scheduling. 161
Verifying Persistent Security Properties. 160
Call-Correct Specialisation of Logic Programs 159
Transformation Systems and Nondeclarative Properties 148
Transforming acyclic programs 142
Analysis of SMIL scripts 142
Composing complete and partial knowledge 128
Ninth International Workshop on Logic-Based Program Synthesis and Transformation 118
Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy ACM 2006 106
The s-sematics approach: theory and applications 94
Totale 7.504
Salva come PNG Salva come JPEG
Categoria #
all - tutte 20.196
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 20.196
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.323 0 0 0 348 117 166 139 169 149 123 76 36
2020/20211.111 86 31 65 18 174 113 60 57 41 148 179 139
2021/2022947 80 165 78 100 74 21 60 55 44 87 101 82
2022/20231.150 89 101 17 174 145 275 44 93 109 8 87 8
2023/2024310 13 19 20 8 43 61 15 10 26 17 43 35
2024/2025150 24 21 77 28 0 0 0 0 0 0 0 0
Totale 7.504