BOSSI, Annalisa
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.581
AS - Asia 2.947
EU - Europa 1.736
SA - Sud America 162
AF - Africa 45
Continente sconosciuto - Info sul continente non disponibili 6
OC - Oceania 4
Totale 10.481
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.474
CN - Cina 1.213
SG - Singapore 760
VN - Vietnam 389
IT - Italia 267
UA - Ucraina 243
GB - Regno Unito 206
SE - Svezia 197
DE - Germania 176
FI - Finlandia 176
IE - Irlanda 143
HK - Hong Kong 139
BR - Brasile 129
PL - Polonia 118
JP - Giappone 95
CA - Canada 89
IN - India 86
KR - Corea 86
RU - Federazione Russa 66
TR - Turchia 66
FR - Francia 56
BD - Bangladesh 27
ZA - Sudafrica 26
BE - Belgio 18
ES - Italia 14
MX - Messico 13
TH - Thailandia 13
AR - Argentina 12
IQ - Iraq 12
PH - Filippine 11
AT - Austria 10
NL - Olanda 10
CH - Svizzera 7
JO - Giordania 6
TW - Taiwan 6
CL - Cile 5
DK - Danimarca 5
EU - Europa 5
IL - Israele 5
KE - Kenya 5
MA - Marocco 5
PK - Pakistan 5
AZ - Azerbaigian 4
BG - Bulgaria 4
CO - Colombia 4
EC - Ecuador 4
IR - Iran 4
LB - Libano 4
OM - Oman 4
DZ - Algeria 3
LT - Lituania 3
VE - Venezuela 3
AU - Australia 2
CZ - Repubblica Ceca 2
GR - Grecia 2
ID - Indonesia 2
KZ - Kazakistan 2
NO - Norvegia 2
NZ - Nuova Zelanda 2
PA - Panama 2
PT - Portogallo 2
PY - Paraguay 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AL - Albania 1
BO - Bolivia 1
BY - Bielorussia 1
CG - Congo 1
CI - Costa d'Avorio 1
CR - Costa Rica 1
CY - Cipro 1
DO - Repubblica Dominicana 1
EE - Estonia 1
EG - Egitto 1
GA - Gabon 1
HU - Ungheria 1
JM - Giamaica 1
KW - Kuwait 1
LU - Lussemburgo 1
ME - Montenegro 1
MN - Mongolia 1
MT - Malta 1
MY - Malesia 1
NG - Nigeria 1
NP - Nepal 1
PE - Perù 1
PS - Palestinian Territory 1
RS - Serbia 1
SA - Arabia Saudita 1
SI - Slovenia 1
TN - Tunisia 1
UY - Uruguay 1
UZ - Uzbekistan 1
Totale 10.481
Salva come PNG Salva come JPEG
Città #
Woodbridge 645
Fairfield 512
Chandler 509
Ashburn 481
Singapore 429
Jacksonville 424
Houston 423
Ann Arbor 319
Seattle 222
Cambridge 187
Wilmington 179
San Jose 156
Dublin 143
Hong Kong 125
Mestre 119
Nanjing 116
Hefei 115
Jinan 108
Warsaw 108
Dallas 106
Ho Chi Minh City 106
Beijing 103
Hanoi 88
Shenyang 88
Dearborn 79
Boardman 76
Seoul 75
New York 71
Los Angeles 69
Bengaluru 66
Izmir 61
Andover 54
Tokyo 53
Toronto 53
Council Bluffs 51
Hebei 51
San Mateo 50
The Dalles 49
Boston 48
Guangzhou 48
Tianjin 48
Des Moines 44
Mülheim 40
Princeton 40
Changsha 34
Taiyuan 34
Zhengzhou 34
Lauterbourg 31
Nanchang 30
Ningbo 28
Hangzhou 26
Jiaxing 26
Johannesburg 26
Taizhou 26
Southend 25
Berlin 24
Haikou 23
Haiphong 22
Milan 22
Brooklyn 21
Buffalo 20
Saint Petersburg 20
Fuzhou 19
Brussels 18
London 18
Santa Clara 18
Ottawa 15
São Paulo 15
Venice 15
Da Nang 13
Kunming 13
Orem 13
San Diego 13
Montreal 12
Frankfurt am Main 11
Redwood City 11
Turku 11
Chicago 10
Columbus 10
Altamura 9
Chennai 9
Denver 8
Manchester 8
Poplar 8
Rio de Janeiro 8
Baghdad 7
Norwalk 7
Quận Ba 7
Amman 6
Biên Hòa 6
Kilburn 6
Polska 6
San Paolo di Civitate 6
Auburn Hills 5
Hải Dương 5
Kitzingen 5
Nha Trang 5
Novokuznetsk 5
Padova 5
San Francisco 5
Totale 7.780
Salva come PNG Salva come JPEG
Nome #
Norms on Terms and their use in Proving Universal Termination of a Logic Program 382
Basic Transformation Operations which preserve Computed Answer Substitutions of Logic Programs 380
On Modular Termination Proofs of General Logic Programs 373
Information Flow in Secure Contexts 348
Action Refinement in Process Algebra and Security Issues 337
Declarative Semantics of Input Consuming Logic Programs 331
A Proof System for Information Flow Security 328
Bisimulation and Unwinding for Verifying Possibilistic Security Properties 308
Termination of Well-Typed Logic Programs 298
Modelling Downgrading in Information Flow Security 293
Information Flow Security and Recursive Systems 288
Enriching SMIL with assertions for temporal validation 280
Differential logic programs: Programming methodologies and semantics 277
Compositional Information Flow Security for Concurrent Programs 274
Unwinding in Information Flow Security 267
Call-Correct Specialisation of Logic Programs 266
A Compositional Semantics for Logic Programs 266
Refinement Operators and Information Flow Security 266
Unwinding Conditions for Security in Imperative Languages 264
Specialising Logic Programs with respect to Call/Post Specifications 262
Properties of Input-Consuming Derivations 261
Simultaneous Replacement in Normal Programs 259
Compositional information flow security for concurrent programs 257
Semantics and Termination of Simply-moded Logic Programs with Dynamic Scheduling 255
Termination of Well-Moded Programs 253
Semantics of well-moded input-consuming logic programs 249
Transformation of left terminating programs 246
Properties of Input-Consuming Derivations 242
Transforming processes to check and ensure Information Flow Security 241
Verifying Persistent Security Properties. 231
Termination of Simply Moded Logic Programs with Dynamic Scheduling. 229
Composing complete and partial knowledge 223
Semantics of input-consuming programs 219
Secure Contexts for Confidential Data 218
Analysis of SMIL scripts 212
Ninth International Workshop on Logic-Based Program Synthesis and Transformation 202
Transformation Systems and Nondeclarative Properties 202
Transforming acyclic programs 190
Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy ACM 2006 182
The s-sematics approach: theory and applications 148
Totale 10.607
Salva come PNG Salva come JPEG
Categoria #
all - tutte 28.844
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 28.844
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021466 0 0 0 0 0 0 0 0 0 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/2025635 24 21 77 56 58 6 73 47 56 75 93 49
2025/20262.618 232 211 221 348 346 212 274 152 411 211 0 0
Totale 10.607