SENNI, VALERIO
 Distribuzione geografica
Continente #
NA - Nord America 5.194
EU - Europa 332
AS - Asia 80
SA - Sud America 4
Totale 5.610
Nazione #
US - Stati Uniti d'America 5.192
UA - Ucraina 87
DE - Germania 64
IE - Irlanda 45
CN - Cina 43
SE - Svezia 36
GB - Regno Unito 31
IT - Italia 24
FI - Finlandia 18
KR - Corea 16
VN - Vietnam 11
BE - Belgio 10
RU - Federazione Russa 8
JP - Giappone 7
FR - Francia 6
CL - Cile 4
NL - Olanda 2
CA - Canada 1
IL - Israele 1
MX - Messico 1
PL - Polonia 1
SA - Arabia Saudita 1
SG - Singapore 1
Totale 5.610
Città #
Woodbridge 1.639
Wilmington 1.329
Houston 1.225
Fairfield 147
Ann Arbor 135
Chandler 101
Jacksonville 80
Seattle 65
Cambridge 62
Ashburn 60
Dearborn 52
Dublin 44
Medford 35
Beijing 23
Lawrence 16
New York 16
Mülheim 14
Redwood City 12
Brussels 10
Southend 10
Dong Ket 9
Rome 9
University Park 8
Menlo Park 6
Phoenix 6
San Mateo 6
Zhengzhou 6
San Diego 5
Boardman 4
Cagliari 4
Donetsk 4
Karlsruhe 4
Falls Church 3
Kunming 3
London 3
Milan 3
Saint Petersburg 3
Atella 2
Auburn Hills 2
Hanoi 2
Helsinki 2
Nanchang 2
Nanjing 2
Philadelphia 2
San Francisco 2
Shanghai 2
Amsterdam 1
Changshahsien 1
East Hartford 1
Groningen 1
Hanover 1
Hefei 1
Jinan 1
Kyiv 1
Ludwigshafen 1
Medina 1
Mexico City 1
Quzhou 1
Serra 1
Shenyang 1
Simi Valley 1
Singapore 1
Toronto 1
Verona 1
Werl 1
Yellow Springs 1
Totale 5.199
Nome #
Automatic correctness proofs for logic program transformations 447
Program specialization for verifying infinite state systems: an experimental evaluation 417
Proving properties of constraint logic programs by eliminating existential variables 398
Transformational verification of parameterized protocols using array formulas 395
A folding algorithm for eliminating existential variables from constraint logic programs 392
Improving reachability analysis of infinite state systems by specialization 389
Generalization strategies for the verification of infinite state systems 388
Proving properties of constraint logic programs by eliminating existential variables 379
A folding rule for eliminating existential variables from constraint logic programs 368
Transformations of Logic Programs on Infinite Lists 363
Scienze informatiche e biologiche: epistemologia e ontologia 351
The transformational approach to program development 330
Deciding full branching time logic by program transformation 311
Introduzione a: Scienze informatiche e biologiche 298
A transformation strategy for verifying logic programs on infinite lists 296
Transformation techniques for constraint logic programs with applications to protocol verification 98
Totale 5.620
Categoria #
all - tutte 8.845
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 8.845


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019308 0 0 0 0 0 0 0 0 0 0 153 155
2019/20201.575 173 134 95 168 143 167 127 140 131 106 89 102
2020/2021867 110 102 85 101 85 102 96 86 18 19 40 23
2021/2022165 11 18 11 12 5 12 6 5 6 24 10 45
2022/2023255 19 10 19 32 33 52 16 19 31 1 16 7
2023/202459 15 5 7 0 8 17 0 5 0 2 0 0
Totale 5.620