BOSSI, Annalisa
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.725
EU - Europa 1.610
AS - Asia 1.410
SA - Sud America 89
AF - Africa 8
Continente sconosciuto - Info sul continente non disponibili 6
OC - Oceania 4
Totale 7.852
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.653
CN - Cina 940
SG - Singapore 272
IT - Italia 262
UA - Ucraina 240
SE - Svezia 195
GB - Regno Unito 181
FI - Finlandia 167
DE - Germania 164
IE - Irlanda 143
PL - Polonia 107
HK - Hong Kong 97
BR - Brasile 79
CA - Canada 68
RU - Federazione Russa 64
TR - Turchia 63
FR - Francia 23
BE - Belgio 18
BD - Bangladesh 8
NL - Olanda 8
AT - Austria 7
CH - Svizzera 7
DK - Danimarca 5
EU - Europa 5
IR - Iran 4
BG - Bulgaria 3
CL - Cile 3
ES - Italia 3
KR - Corea 3
VN - Vietnam 3
AU - Australia 2
GR - Grecia 2
IL - Israele 2
IN - India 2
JO - Giordania 2
JP - Giappone 2
KE - Kenya 2
LB - Libano 2
MA - Marocco 2
NZ - Nuova Zelanda 2
OM - Oman 2
PA - Panama 2
PK - Pakistan 2
PT - Portogallo 2
VE - Venezuela 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AR - Argentina 1
AZ - Azerbaigian 1
BY - Bielorussia 1
CO - Colombia 1
CY - Cipro 1
CZ - Repubblica Ceca 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
EC - Ecuador 1
EE - Estonia 1
HU - Ungheria 1
IQ - Iraq 1
JM - Giamaica 1
LT - Lituania 1
LU - Lussemburgo 1
ME - Montenegro 1
NG - Nigeria 1
NO - Norvegia 1
PE - Perù 1
PH - Filippine 1
RS - Serbia 1
TN - Tunisia 1
TW - Taiwan 1
UY - Uruguay 1
UZ - Uzbekistan 1
ZA - Sudafrica 1
Totale 7.852
Salva come PNG Salva come JPEG
Città #
Woodbridge 645
Fairfield 512
Chandler 509
Jacksonville 423
Houston 416
Ann Arbor 319
Ashburn 230
Seattle 219
Cambridge 187
Wilmington 178
Singapore 161
Dublin 143
Mestre 119
Nanjing 116
Jinan 107
Warsaw 99
Hong Kong 96
Shenyang 87
Dearborn 79
Boardman 76
Beijing 73
Izmir 61
Andover 54
New York 53
Hebei 51
San Mateo 50
Toronto 50
Tianjin 48
Boston 46
Council Bluffs 46
Des Moines 44
Guangzhou 40
Mülheim 40
Princeton 40
Taiyuan 33
Changsha 31
Zhengzhou 31
Nanchang 30
Ningbo 28
Hangzhou 26
Hefei 26
Jiaxing 26
Taizhou 26
Southend 25
Berlin 24
Haikou 23
Milan 22
Saint Petersburg 20
Fuzhou 19
Los Angeles 19
Brussels 18
Ottawa 15
Venice 15
San Diego 13
Brooklyn 12
Kunming 12
London 11
Redwood City 11
Altamura 9
The Dalles 8
Norwalk 7
Kilburn 6
Polska 6
San Paolo di Civitate 6
Auburn Hills 5
Chicago 5
Kitzingen 5
Novokuznetsk 5
Padova 5
Verona 5
Brusciano 4
São Paulo 4
Turku 4
Washington 4
Dong Ket 3
Orange 3
Puxian 3
Rio de Janeiro 3
Simi Valley 3
Sofia 3
Vienna 3
Xiangfen 3
Amman 2
Brasília 2
Caxias do Sul 2
Den Haag 2
Edinburgh 2
Frankfurt am Main 2
Helsinki 2
Jacareí 2
Lanzhou 2
Lisbon 2
Manchester 2
Mogliano Veneto 2
Moscow 2
Oberhausen 2
Panama City 2
Philadelphia 2
Praia Grande 2
Quzhou 2
Totale 6.081
Salva come PNG Salva come JPEG
Nome #
Basic Transformation Operations which preserve Computed Answer Substitutions of Logic Programs 286
Norms on Terms and their use in Proving Universal Termination of a Logic Program 280
On Modular Termination Proofs of General Logic Programs 271
Information Flow in Secure Contexts 254
Declarative Semantics of Input Consuming Logic Programs 248
Termination of Well-Typed Logic Programs 242
A Proof System for Information Flow Security 230
Action Refinement in Process Algebra and Security Issues 223
Simultaneous Replacement in Normal Programs 221
Information Flow Security and Recursive Systems 220
Unwinding in Information Flow Security 220
Refinement Operators and Information Flow Security 217
Unwinding Conditions for Security in Imperative Languages 215
Specialising Logic Programs with respect to Call/Post Specifications 215
A Compositional Semantics for Logic Programs 213
Differential logic programs: Programming methodologies and semantics 210
Properties of Input-Consuming Derivations 210
Bisimulation and Unwinding for Verifying Possibilistic Security Properties 208
Enriching SMIL with assertions for temporal validation 208
Termination of Well-Moded Programs 207
Semantics and Termination of Simply-moded Logic Programs with Dynamic Scheduling 206
Modelling Downgrading in Information Flow Security 200
Transformation of left terminating programs 197
Compositional Information Flow Security for Concurrent Programs 194
Transforming processes to check and ensure Information Flow Security 191
Properties of Input-Consuming Derivations 190
Semantics of well-moded input-consuming logic programs 190
Compositional information flow security for concurrent programs 183
Semantics of input-consuming programs 177
Secure Contexts for Confidential Data 176
Call-Correct Specialisation of Logic Programs 172
Termination of Simply Moded Logic Programs with Dynamic Scheduling. 171
Verifying Persistent Security Properties. 171
Analysis of SMIL scripts 157
Transformation Systems and Nondeclarative Properties 155
Transforming acyclic programs 151
Composing complete and partial knowledge 147
Ninth International Workshop on Logic-Based Program Synthesis and Transformation 129
Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy ACM 2006 116
The s-sematics approach: theory and applications 107
Totale 7.978
Salva come PNG Salva come JPEG
Categoria #
all - tutte 23.656
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 23.656
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202036 0 0 0 0 0 0 0 0 0 0 0 36
2020/20211.111 86 31 65 18 174 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/2025624 24 21 77 56 58 6 73 47 56 75 93 38
Totale 7.978