BOSSI, Annalisa
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.096
AS - Asia 2.961
EU - Europa 1.769
SA - Sud America 171
Continente sconosciuto - Info sul continente non disponibili 132
AF - Africa 45
OC - Oceania 4
Totale 11.178
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.965
CN - Cina 1.216
SG - Singapore 763
VN - Vietnam 390
IT - Italia 275
UA - Ucraina 243
SE - Svezia 217
GB - Regno Unito 206
DE - Germania 176
FI - Finlandia 176
IE - Irlanda 144
HK - Hong Kong 140
BR - Brasile 131
PL - Polonia 118
CA - Canada 101
JP - Giappone 95
IN - India 86
KR - Corea 86
RU - Federazione Russa 66
TR - Turchia 66
FR - Francia 58
BD - Bangladesh 29
ZA - Sudafrica 26
BE - Belgio 18
ES - Italia 16
MX - Messico 14
AR - Argentina 13
TH - Thailandia 13
IQ - Iraq 12
PH - Filippine 12
AT - Austria 10
NL - Olanda 10
CH - Svizzera 7
TW - Taiwan 7
CL - Cile 6
CO - Colombia 6
JM - Giamaica 6
JO - Giordania 6
DK - Danimarca 5
EU - Europa 5
IL - Israele 5
KE - Kenya 5
MA - Marocco 5
PK - Pakistan 5
AZ - Azerbaigian 4
BG - Bulgaria 4
EC - Ecuador 4
ID - Indonesia 4
IR - Iran 4
LB - Libano 4
OM - Oman 4
VE - Venezuela 4
CR - Costa Rica 3
DZ - Algeria 3
LT - Lituania 3
PY - Paraguay 3
AU - Australia 2
BO - Bolivia 2
CZ - Repubblica Ceca 2
GR - Grecia 2
HN - Honduras 2
KZ - Kazakistan 2
NO - Norvegia 2
NZ - Nuova Zelanda 2
PA - Panama 2
PT - Portogallo 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AL - Albania 1
BB - Barbados 1
BS - Bahamas 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 11.052
Salva come PNG Salva come JPEG
Città #
Woodbridge 645
Ashburn 531
Fairfield 512
Chandler 509
Singapore 429
Houston 425
Jacksonville 424
Ann Arbor 319
Council Bluffs 233
Seattle 224
San Jose 214
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
New York 75
Seoul 75
Los Angeles 70
Bengaluru 66
Izmir 61
Andover 54
Toronto 54
Tokyo 53
Hebei 51
Boston 50
San Mateo 50
The Dalles 49
Guangzhou 48
Tianjin 48
Des Moines 44
Princeton 41
Mülheim 40
Changsha 34
Columbus 34
Taiyuan 34
Zhengzhou 34
Lauterbourg 31
Nanchang 30
Ningbo 28
Hangzhou 26
Jiaxing 26
Johannesburg 26
Taizhou 26
Brooklyn 25
Southend 25
Berlin 24
Milan 24
Haikou 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
Chicago 13
Da Nang 13
Kunming 13
Montreal 13
San Diego 13
Memphis 12
Frankfurt am Main 11
Redwood City 11
Turku 11
Altamura 9
Chennai 9
Denver 9
Manchester 8
Norwalk 8
Philadelphia 8
Poplar 8
Rio de Janeiro 8
Baghdad 7
Quận Ba 7
Washington 7
Amman 6
Biên Hòa 6
Kilburn 6
Polska 6
San Paolo di Civitate 6
Atlanta 5
Auburn Hills 5
Hải Dương 5
Kitzingen 5
Totale 8.135
Salva come PNG Salva come JPEG
Nome #
Norms on Terms and their use in Proving Universal Termination of a Logic Program 406
Basic Transformation Operations which preserve Computed Answer Substitutions of Logic Programs 391
On Modular Termination Proofs of General Logic Programs 383
Action Refinement in Process Algebra and Security Issues 361
Information Flow in Secure Contexts 360
Declarative Semantics of Input Consuming Logic Programs 352
A Proof System for Information Flow Security 338
Bisimulation and Unwinding for Verifying Possibilistic Security Properties 324
Termination of Well-Typed Logic Programs 312
Modelling Downgrading in Information Flow Security 310
Information Flow Security and Recursive Systems 300
Enriching SMIL with assertions for temporal validation 299
Differential logic programs: Programming methodologies and semantics 295
Unwinding in Information Flow Security 287
Call-Correct Specialisation of Logic Programs 286
Compositional information flow security for concurrent programs 286
Compositional Information Flow Security for Concurrent Programs 284
Refinement Operators and Information Flow Security 279
Properties of Input-Consuming Derivations 275
A Compositional Semantics for Logic Programs 274
Unwinding Conditions for Security in Imperative Languages 273
Semantics and Termination of Simply-moded Logic Programs with Dynamic Scheduling 272
Specialising Logic Programs with respect to Call/Post Specifications 271
Simultaneous Replacement in Normal Programs 270
Termination of Well-Moded Programs 263
Transforming processes to check and ensure Information Flow Security 259
Semantics of well-moded input-consuming logic programs 258
Properties of Input-Consuming Derivations 256
Transformation of left terminating programs 255
Termination of Simply Moded Logic Programs with Dynamic Scheduling. 249
Verifying Persistent Security Properties. 245
Composing complete and partial knowledge 239
Secure Contexts for Confidential Data 228
Semantics of input-consuming programs 227
Analysis of SMIL scripts 221
Ninth International Workshop on Logic-Based Program Synthesis and Transformation 220
Transformation Systems and Nondeclarative Properties 217
Transforming acyclic programs 199
Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy ACM 2006 195
The s-sematics approach: theory and applications 159
Totale 11.178
Salva come PNG Salva come JPEG
Categoria #
all - tutte 31.165
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 31.165
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022867 0 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.015 232 211 221 348 346 212 274 152 411 282 116 210
2026/2027174 78 96 0 0 0 0 0 0 0 0 0 0
Totale 11.178