BOSSI, Annalisa
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.579
AS - Asia 2.996
EU - Europa 1.820
SA - Sud America 216
Continente sconosciuto - Info sul continente non disponibili 132
AF - Africa 45
OC - Oceania 4
Totale 11.792
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.432
CN - Cina 1.217
SG - Singapore 763
VN - Vietnam 393
IT - Italia 295
UA - Ucraina 243
GB - Regno Unito 229
SE - Svezia 217
DE - Germania 176
FI - Finlandia 176
BR - Brasile 150
IE - Irlanda 145
HK - Hong Kong 140
PL - Polonia 118
CA - Canada 105
JP - Giappone 95
IN - India 90
KR - Corea 86
TR - Turchia 68
RU - Federazione Russa 66
FR - Francia 58
BD - Bangladesh 36
ZA - Sudafrica 26
BE - Belgio 19
CO - Colombia 17
ES - Italia 16
MX - Messico 16
AR - Argentina 14
PH - Filippine 14
TH - Thailandia 14
EC - Ecuador 12
IQ - Iraq 12
AT - Austria 10
NL - Olanda 10
VE - Venezuela 9
JM - Giamaica 8
PK - Pakistan 8
CH - Svizzera 7
JO - Giordania 7
TW - Taiwan 7
CL - Cile 6
EE - Estonia 6
CR - Costa Rica 5
DK - Danimarca 5
EU - Europa 5
HN - Honduras 5
ID - Indonesia 5
IL - Israele 5
KE - Kenya 5
MA - Marocco 5
OM - Oman 5
AZ - Azerbaigian 4
BG - Bulgaria 4
IR - Iran 4
LB - Libano 4
MY - Malesia 4
BB - Barbados 3
DZ - Algeria 3
LT - Lituania 3
PY - Paraguay 3
SA - Arabia Saudita 3
AU - Australia 2
BO - Bolivia 2
CZ - Repubblica Ceca 2
GR - Grecia 2
KZ - Kazakistan 2
NO - Norvegia 2
NP - Nepal 2
NZ - Nuova Zelanda 2
PA - Panama 2
PT - Portogallo 2
UY - Uruguay 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AE - Emirati Arabi Uniti 1
AL - Albania 1
AM - Armenia 1
BS - Bahamas 1
BY - Bielorussia 1
CG - Congo 1
CI - Costa d'Avorio 1
CY - Cipro 1
DO - Repubblica Dominicana 1
EG - Egitto 1
GA - Gabon 1
HU - Ungheria 1
KW - Kuwait 1
LU - Lussemburgo 1
ME - Montenegro 1
MK - Macedonia 1
MM - Myanmar 1
MN - Mongolia 1
MT - Malta 1
NG - Nigeria 1
PE - Perù 1
PS - Palestinian Territory 1
RS - Serbia 1
SI - Slovenia 1
TN - Tunisia 1
TT - Trinidad e Tobago 1
UZ - Uzbekistan 1
Totale 11.666
Salva come PNG Salva come JPEG
Città #
Woodbridge 645
Ashburn 581
Fairfield 512
Chandler 509
Houston 431
Singapore 429
Jacksonville 425
Ann Arbor 319
San Jose 245
Council Bluffs 233
Seattle 224
Cambridge 187
Wilmington 180
Dublin 143
Hong Kong 126
Mestre 119
Nanjing 116
Hefei 115
Dallas 108
Ho Chi Minh City 108
Jinan 108
Warsaw 108
Beijing 103
Hanoi 88
Shenyang 88
Dearborn 79
Boardman 76
New York 76
Seoul 75
Los Angeles 71
Bengaluru 66
Izmir 61
Toronto 55
Andover 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
Santa Clara 20
Brussels 19
Chicago 19
Fuzhou 19
London 19
Philadelphia 18
São Paulo 18
Memphis 15
Orem 15
Ottawa 15
Staranzano 15
Venice 15
Da Nang 13
Kunming 13
Montreal 13
San Diego 13
Atlanta 12
Frankfurt am Main 11
Redwood City 11
Turku 11
Phoenix 10
Altamura 9
Chennai 9
Denver 9
Manchester 8
Norwalk 8
Poplar 8
Rio de Janeiro 8
Washington 8
Baghdad 7
Charlotte 7
Miami 7
Quận Ba 7
Amman 6
Biên Hòa 6
Bogotá 6
Kilburn 6
Totale 8.282
Salva come PNG Salva come JPEG
Nome #
Norms on Terms and their use in Proving Universal Termination of a Logic Program 420
Basic Transformation Operations which preserve Computed Answer Substitutions of Logic Programs 415
On Modular Termination Proofs of General Logic Programs 397
Action Refinement in Process Algebra and Security Issues 381
Information Flow in Secure Contexts 380
Declarative Semantics of Input Consuming Logic Programs 372
A Proof System for Information Flow Security 357
Bisimulation and Unwinding for Verifying Possibilistic Security Properties 337
Termination of Well-Typed Logic Programs 323
Modelling Downgrading in Information Flow Security 318
Information Flow Security and Recursive Systems 314
Enriching SMIL with assertions for temporal validation 311
Differential logic programs: Programming methodologies and semantics 309
Unwinding in Information Flow Security 302
Call-Correct Specialisation of Logic Programs 297
Compositional information flow security for concurrent programs 296
Compositional Information Flow Security for Concurrent Programs 293
A Compositional Semantics for Logic Programs 290
Properties of Input-Consuming Derivations 289
Refinement Operators and Information Flow Security 289
Unwinding Conditions for Security in Imperative Languages 287
Specialising Logic Programs with respect to Call/Post Specifications 283
Simultaneous Replacement in Normal Programs 280
Semantics and Termination of Simply-moded Logic Programs with Dynamic Scheduling 279
Termination of Well-Moded Programs 277
Transforming processes to check and ensure Information Flow Security 276
Properties of Input-Consuming Derivations 270
Termination of Simply Moded Logic Programs with Dynamic Scheduling. 269
Semantics of well-moded input-consuming logic programs 265
Transformation of left terminating programs 263
Verifying Persistent Security Properties. 262
Composing complete and partial knowledge 259
Semantics of input-consuming programs 254
Analysis of SMIL scripts 244
Secure Contexts for Confidential Data 244
Ninth International Workshop on Logic-Based Program Synthesis and Transformation 239
Transformation Systems and Nondeclarative Properties 234
Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy ACM 2006 216
Transforming acyclic programs 211
The s-sematics approach: theory and applications 190
Totale 11.792
Salva come PNG Salva come JPEG
Categoria #
all - tutte 32.350
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 32.350
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022624 0 0 0 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/2027788 78 102 538 70 0 0 0 0 0 0 0 0
Totale 11.792