BOSSI, Annalisa
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.957
AS - Asia 2.954
EU - Europa 1.737
SA - Sud America 162
AF - Africa 45
Continente sconosciuto - Info sul continente non disponibili 6
OC - Oceania 4
Totale 10.865
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.842
CN - Cina 1.215
SG - Singapore 763
VN - Vietnam 389
IT - Italia 268
UA - Ucraina 243
GB - Regno Unito 206
SE - Svezia 197
DE - Germania 176
FI - Finlandia 176
IE - Irlanda 143
HK - Hong Kong 140
BR - Brasile 129
PL - Polonia 118
JP - Giappone 95
CA - Canada 94
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
TW - Taiwan 7
JO - Giordania 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
JM - Giamaica 3
LT - Lituania 3
VE - Venezuela 3
AU - Australia 2
CR - Costa Rica 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
CY - Cipro 1
DO - Repubblica Dominicana 1
EE - Estonia 1
EG - Egitto 1
GA - Gabon 1
HU - Ungheria 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.865
Salva come PNG Salva come JPEG
Città #
Woodbridge 645
Ashburn 513
Fairfield 512
Chandler 509
Singapore 429
Jacksonville 424
Houston 423
Ann Arbor 319
Seattle 224
San Jose 214
Council Bluffs 200
Cambridge 187
Wilmington 179
Dublin 143
Hong Kong 126
Mestre 119
Nanjing 116
Hefei 115
Jinan 108
Warsaw 108
Dallas 107
Ho Chi Minh City 106
Beijing 103
Hanoi 88
Shenyang 88
Dearborn 79
Boardman 76
Seoul 75
New York 74
Los Angeles 70
Bengaluru 66
Izmir 61
Andover 54
Toronto 54
Tokyo 53
Hebei 51
San Mateo 50
The Dalles 49
Boston 48
Guangzhou 48
Tianjin 48
Des Moines 44
Mülheim 40
Princeton 40
Changsha 34
Columbus 34
Taiyuan 34
Zhengzhou 34
Lauterbourg 31
Nanchang 30
Ningbo 28
Hangzhou 26
Jiaxing 26
Johannesburg 26
Taizhou 26
Southend 25
Berlin 24
Brooklyn 24
Haikou 23
Milan 23
Haiphong 22
Buffalo 20
Saint Petersburg 20
Fuzhou 19
London 19
Brussels 18
Santa Clara 18
Ottawa 15
São Paulo 15
Venice 15
Orem 14
Da Nang 13
Kunming 13
San Diego 13
Chicago 12
Memphis 12
Montreal 12
Frankfurt am Main 11
Redwood City 11
Turku 11
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
Washington 6
Auburn Hills 5
Hải Dương 5
Kitzingen 5
Nha Trang 5
Novokuznetsk 5
Totale 8.068
Salva come PNG Salva come JPEG
Nome #
Norms on Terms and their use in Proving Universal Termination of a Logic Program 397
Basic Transformation Operations which preserve Computed Answer Substitutions of Logic Programs 389
On Modular Termination Proofs of General Logic Programs 381
Information Flow in Secure Contexts 356
Action Refinement in Process Algebra and Security Issues 352
Declarative Semantics of Input Consuming Logic Programs 345
A Proof System for Information Flow Security 334
Bisimulation and Unwinding for Verifying Possibilistic Security Properties 317
Termination of Well-Typed Logic Programs 307
Modelling Downgrading in Information Flow Security 303
Information Flow Security and Recursive Systems 298
Enriching SMIL with assertions for temporal validation 292
Differential logic programs: Programming methodologies and semantics 288
Compositional Information Flow Security for Concurrent Programs 281
Call-Correct Specialisation of Logic Programs 280
Unwinding in Information Flow Security 280
Compositional information flow security for concurrent programs 275
Refinement Operators and Information Flow Security 274
A Compositional Semantics for Logic Programs 271
Unwinding Conditions for Security in Imperative Languages 268
Properties of Input-Consuming Derivations 268
Semantics and Termination of Simply-moded Logic Programs with Dynamic Scheduling 267
Specialising Logic Programs with respect to Call/Post Specifications 267
Simultaneous Replacement in Normal Programs 265
Termination of Well-Moded Programs 261
Semantics of well-moded input-consuming logic programs 255
Properties of Input-Consuming Derivations 254
Transforming processes to check and ensure Information Flow Security 253
Transformation of left terminating programs 252
Termination of Simply Moded Logic Programs with Dynamic Scheduling. 243
Verifying Persistent Security Properties. 241
Composing complete and partial knowledge 235
Secure Contexts for Confidential Data 226
Semantics of input-consuming programs 224
Analysis of SMIL scripts 218
Ninth International Workshop on Logic-Based Program Synthesis and Transformation 215
Transformation Systems and Nondeclarative Properties 213
Transforming acyclic programs 197
Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy ACM 2006 191
The s-sematics approach: theory and applications 158
Totale 10.991
Salva come PNG Salva come JPEG
Categoria #
all - tutte 30.106
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 30.106
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021139 0 0 0 0 0 0 0 0 0 0 0 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/20263.002 232 211 221 348 346 212 274 152 411 282 116 197
Totale 10.991