BOSSI, Annalisa
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.633
EU - Europa 1.581
AS - Asia 1.209
Continente sconosciuto - Info sul continente non disponibili 6
SA - Sud America 6
OC - Oceania 4
AF - Africa 1
Totale 7.440
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.565
CN - Cina 919
IT - Italia 257
UA - Ucraina 239
SE - Svezia 195
GB - Regno Unito 176
SG - Singapore 171
FI - Finlandia 163
DE - Germania 161
IE - Irlanda 143
PL - Polonia 107
CA - Canada 66
TR - Turchia 62
RU - Federazione Russa 58
HK - Hong Kong 27
FR - Francia 23
BE - Belgio 18
AT - Austria 7
BD - Bangladesh 7
CH - Svizzera 7
NL - Olanda 7
DK - Danimarca 5
EU - Europa 5
IR - Iran 4
BG - Bulgaria 3
CL - Cile 3
KR - Corea 3
VN - Vietnam 3
AU - Australia 2
ES - Italia 2
GR - Grecia 2
IL - Israele 2
JP - Giappone 2
LB - Libano 2
NZ - Nuova Zelanda 2
PA - Panama 2
PT - Portogallo 2
A2 - ???statistics.table.value.countryCode.A2??? 1
BR - Brasile 1
CO - Colombia 1
CY - Cipro 1
CZ - Repubblica Ceca 1
EE - Estonia 1
HU - Ungheria 1
IN - India 1
JO - Giordania 1
LU - Lussemburgo 1
ME - Montenegro 1
NG - Nigeria 1
NO - Norvegia 1
PE - Perù 1
PH - Filippine 1
PK - Pakistan 1
TW - Taiwan 1
UZ - Uzbekistan 1
Totale 7.440
Salva come PNG Salva come JPEG
Città #
Woodbridge 645
Fairfield 512
Chandler 509
Jacksonville 423
Houston 416
Ann Arbor 319
Ashburn 228
Seattle 219
Cambridge 187
Wilmington 178
Dublin 143
Singapore 121
Mestre 119
Nanjing 116
Jinan 107
Warsaw 99
Shenyang 87
Dearborn 79
Boardman 76
Beijing 73
Izmir 61
Andover 54
New York 52
Hebei 51
San Mateo 50
Toronto 49
Tianjin 48
Boston 46
Des Moines 44
Mülheim 40
Princeton 40
Guangzhou 35
Taiyuan 33
Changsha 31
Zhengzhou 31
Nanchang 30
Ningbo 28
Hangzhou 26
Hong Kong 26
Jiaxing 26
Taizhou 26
Southend 25
Berlin 24
Haikou 23
Milan 21
Saint Petersburg 20
Fuzhou 19
Brussels 18
Los Angeles 18
Ottawa 15
Venice 15
San Diego 13
Hefei 12
Kunming 12
Redwood City 11
Altamura 9
Brooklyn 9
London 8
Norwalk 7
Kilburn 6
Polska 6
San Paolo di Civitate 6
Auburn Hills 5
Kitzingen 5
Novokuznetsk 5
Padova 5
Verona 5
Brusciano 4
Washington 4
Chicago 3
Dong Ket 3
Orange 3
Puxian 3
Simi Valley 3
Sofia 3
Vienna 3
Xiangfen 3
Den Haag 2
Edinburgh 2
Frankfurt am Main 2
Helsinki 2
Lanzhou 2
Lisbon 2
Mogliano Veneto 2
Moscow 2
Oberhausen 2
Panama City 2
Philadelphia 2
Quzhou 2
Riva 2
Saint Paul 2
Santa Clara 2
Trumbull 2
Vittorio Veneto 2
Winnipeg 2
Yicheng 2
Amman 1
Athens 1
Atlanta 1
Auckland 1
Totale 5.879
Salva come PNG Salva come JPEG
Nome #
Basic Transformation Operations which preserve Computed Answer Substitutions of Logic Programs 273
Norms on Terms and their use in Proving Universal Termination of a Logic Program 268
On Modular Termination Proofs of General Logic Programs 258
Information Flow in Secure Contexts 244
Declarative Semantics of Input Consuming Logic Programs 235
Termination of Well-Typed Logic Programs 234
Simultaneous Replacement in Normal Programs 215
A Proof System for Information Flow Security 211
Information Flow Security and Recursive Systems 210
Action Refinement in Process Algebra and Security Issues 209
Refinement Operators and Information Flow Security 208
Unwinding Conditions for Security in Imperative Languages 206
Specialising Logic Programs with respect to Call/Post Specifications 206
A Compositional Semantics for Logic Programs 204
Properties of Input-Consuming Derivations 204
Differential logic programs: Programming methodologies and semantics 203
Unwinding in Information Flow Security 202
Bisimulation and Unwinding for Verifying Possibilistic Security Properties 200
Enriching SMIL with assertions for temporal validation 199
Semantics and Termination of Simply-moded Logic Programs with Dynamic Scheduling 198
Termination of Well-Moded Programs 195
Modelling Downgrading in Information Flow Security 192
Transformation of left terminating programs 186
Compositional Information Flow Security for Concurrent Programs 185
Properties of Input-Consuming Derivations 181
Semantics of well-moded input-consuming logic programs 181
Transforming processes to check and ensure Information Flow Security 179
Compositional information flow security for concurrent programs 175
Secure Contexts for Confidential Data 168
Semantics of input-consuming programs 167
Termination of Simply Moded Logic Programs with Dynamic Scheduling. 162
Verifying Persistent Security Properties. 161
Call-Correct Specialisation of Logic Programs 160
Transformation Systems and Nondeclarative Properties 148
Analysis of SMIL scripts 145
Transforming acyclic programs 142
Composing complete and partial knowledge 129
Ninth International Workshop on Logic-Based Program Synthesis and Transformation 120
Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy ACM 2006 108
The s-sematics approach: theory and applications 95
Totale 7.566
Salva come PNG Salva come JPEG
Categoria #
all - tutte 20.843
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 20.843
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020975 0 0 0 0 117 166 139 169 149 123 76 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/2025212 24 21 77 56 34 0 0 0 0 0 0 0
Totale 7.566