BOSSI, Annalisa
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.291
AS - Asia 2.164
EU - Europa 1.686
SA - Sud America 137
AF - Africa 16
Continente sconosciuto - Info sul continente non disponibili 6
OC - Oceania 4
Totale 9.304
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.188
CN - Cina 1.173
SG - Singapore 547
IT - Italia 266
UA - Ucraina 242
GB - Regno Unito 203
SE - Svezia 197
FI - Finlandia 174
DE - Germania 171
IE - Irlanda 143
HK - Hong Kong 121
PL - Polonia 118
BR - Brasile 116
CA - Canada 88
IN - India 78
RU - Federazione Russa 66
TR - Turchia 65
JP - Giappone 57
KR - Corea 37
VN - Vietnam 31
FR - Francia 25
BD - Bangladesh 21
BE - Belgio 18
ES - Italia 12
AT - Austria 10
MX - Messico 10
NL - Olanda 9
AR - Argentina 7
CH - Svizzera 7
ZA - Sudafrica 6
CL - Cile 5
DK - Danimarca 5
EU - Europa 5
AZ - Azerbaigian 4
BG - Bulgaria 4
IQ - Iraq 4
IR - Iran 4
KE - Kenya 4
IL - Israele 3
LB - Libano 3
LT - Lituania 3
MA - Marocco 3
PK - Pakistan 3
AU - Australia 2
EC - Ecuador 2
GR - Grecia 2
ID - Indonesia 2
JO - Giordania 2
KZ - Kazakistan 2
NO - Norvegia 2
NZ - Nuova Zelanda 2
OM - Oman 2
PA - Panama 2
PT - Portogallo 2
PY - Paraguay 2
VE - Venezuela 2
A2 - ???statistics.table.value.countryCode.A2??? 1
BY - Bielorussia 1
CO - Colombia 1
CR - Costa Rica 1
CY - Cipro 1
CZ - Repubblica Ceca 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
EE - Estonia 1
HU - Ungheria 1
JM - Giamaica 1
LU - Lussemburgo 1
ME - Montenegro 1
NG - Nigeria 1
NP - Nepal 1
PE - Perù 1
PH - Filippine 1
RS - Serbia 1
TN - Tunisia 1
TW - Taiwan 1
UY - Uruguay 1
UZ - Uzbekistan 1
Totale 9.304
Salva come PNG Salva come JPEG
Città #
Woodbridge 645
Fairfield 512
Chandler 509
Jacksonville 424
Houston 423
Ashburn 404
Singapore 333
Ann Arbor 319
Seattle 222
Cambridge 187
Wilmington 179
Dublin 143
Hong Kong 120
Mestre 119
Nanjing 116
Hefei 115
Jinan 108
Warsaw 108
Dallas 106
Beijing 102
Shenyang 88
Dearborn 79
Boardman 76
New York 71
Bengaluru 65
Los Angeles 65
Izmir 61
Andover 54
Toronto 52
Council Bluffs 51
Hebei 51
San Mateo 50
Boston 48
Guangzhou 48
Tianjin 48
Des Moines 44
Mülheim 40
Princeton 40
Changsha 34
Seoul 34
Zhengzhou 34
Taiyuan 33
Nanchang 30
Ningbo 28
Hangzhou 26
Jiaxing 26
Taizhou 26
Southend 25
Berlin 24
Haikou 23
Milan 22
Brooklyn 21
The Dalles 21
Saint Petersburg 20
Buffalo 19
Fuzhou 19
Brussels 18
London 17
Tokyo 17
Ottawa 15
São Paulo 15
Venice 15
Kunming 13
San Diego 13
Santa Clara 13
Montreal 12
Redwood City 11
Turku 11
Chicago 10
Columbus 10
Altamura 9
Ho Chi Minh City 9
Orem 9
Chennai 8
Poplar 8
Denver 7
Frankfurt am Main 7
Hanoi 7
Manchester 7
Norwalk 7
Rio de Janeiro 7
Johannesburg 6
Kilburn 6
Polska 6
San Paolo di Civitate 6
Auburn Hills 5
Kitzingen 5
Novokuznetsk 5
Padova 5
San Francisco 5
Secaucus 5
Verona 5
Vienna 5
Atlanta 4
Baku 4
Brusciano 4
Phoenix 4
Querétaro 4
Sofia 4
Washington 4
Totale 7.057
Salva come PNG Salva come JPEG
Nome #
Norms on Terms and their use in Proving Universal Termination of a Logic Program 348
Basic Transformation Operations which preserve Computed Answer Substitutions of Logic Programs 334
On Modular Termination Proofs of General Logic Programs 328
Information Flow in Secure Contexts 308
Action Refinement in Process Algebra and Security Issues 300
Declarative Semantics of Input Consuming Logic Programs 286
A Proof System for Information Flow Security 279
Termination of Well-Typed Logic Programs 274
Bisimulation and Unwinding for Verifying Possibilistic Security Properties 259
Information Flow Security and Recursive Systems 258
Enriching SMIL with assertions for temporal validation 253
Modelling Downgrading in Information Flow Security 251
Differential logic programs: Programming methodologies and semantics 247
Compositional Information Flow Security for Concurrent Programs 245
Refinement Operators and Information Flow Security 245
A Compositional Semantics for Logic Programs 243
Unwinding Conditions for Security in Imperative Languages 243
Specialising Logic Programs with respect to Call/Post Specifications 241
Unwinding in Information Flow Security 241
Simultaneous Replacement in Normal Programs 239
Properties of Input-Consuming Derivations 233
Call-Correct Specialisation of Logic Programs 232
Termination of Well-Moded Programs 231
Semantics and Termination of Simply-moded Logic Programs with Dynamic Scheduling 230
Transformation of left terminating programs 225
Compositional information flow security for concurrent programs 224
Properties of Input-Consuming Derivations 221
Semantics of well-moded input-consuming logic programs 215
Transforming processes to check and ensure Information Flow Security 204
Termination of Simply Moded Logic Programs with Dynamic Scheduling. 203
Semantics of input-consuming programs 202
Verifying Persistent Security Properties. 198
Secure Contexts for Confidential Data 197
Composing complete and partial knowledge 195
Analysis of SMIL scripts 185
Transformation Systems and Nondeclarative Properties 180
Ninth International Workshop on Logic-Based Program Synthesis and Transformation 174
Transforming acyclic programs 172
Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy ACM 2006 155
The s-sematics approach: theory and applications 132
Totale 9.430
Salva come PNG Salva come JPEG
Categoria #
all - tutte 27.137
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 27.137
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021737 0 0 0 0 0 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/2025635 24 21 77 56 58 6 73 47 56 75 93 49
2025/20261.441 232 211 221 348 346 83 0 0 0 0 0 0
Totale 9.430