SENNI, VALERIO
 Distribuzione geografica
Continente #
NA - Nord America 5.239
EU - Europa 354
AS - Asia 164
SA - Sud America 4
Totale 5.761
Nazione #
US - Stati Uniti d'America 5.237
UA - Ucraina 87
SG - Singapore 85
DE - Germania 64
IE - Irlanda 45
CN - Cina 43
SE - Svezia 36
GB - Regno Unito 31
RU - Federazione Russa 29
IT - Italia 24
FI - Finlandia 19
KR - Corea 16
VN - Vietnam 11
BE - Belgio 10
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
Totale 5.761
Città #
Woodbridge 1.639
Wilmington 1.329
Houston 1.225
Fairfield 147
Ann Arbor 135
Chandler 101
Jacksonville 80
Singapore 74
Seattle 65
Cambridge 62
Ashburn 60
Dearborn 52
Dublin 44
Medford 35
Beijing 23
Lawrence 16
New York 16
Mülheim 14
Santa Clara 13
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
Moscow 5
San Diego 5
Boardman 4
Cagliari 4
Donetsk 4
Karlsruhe 4
Falls Church 3
Helsinki 3
Kunming 3
London 3
Milan 3
Saint Petersburg 3
Atella 2
Auburn Hills 2
Hanoi 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
Toronto 1
Verona 1
Werl 1
Yellow Springs 1
Totale 5.291
Nome #
Automatic correctness proofs for logic program transformations 453
Program specialization for verifying infinite state systems: an experimental evaluation 434
Generalization strategies for the verification of infinite state systems 405
Proving properties of constraint logic programs by eliminating existential variables 404
Improving reachability analysis of infinite state systems by specialization 401
A folding algorithm for eliminating existential variables from constraint logic programs 400
Transformational verification of parameterized protocols using array formulas 400
Proving properties of constraint logic programs by eliminating existential variables 396
A folding rule for eliminating existential variables from constraint logic programs 374
Transformations of Logic Programs on Infinite Lists 370
Scienze informatiche e biologiche: epistemologia e ontologia 354
The transformational approach to program development 336
Deciding full branching time logic by program transformation 326
Introduzione a: Scienze informatiche e biologiche 302
A transformation strategy for verifying logic programs on infinite lists 301
Transformation techniques for constraint logic programs with applications to protocol verification 115
Totale 5.771
Categoria #
all - tutte 9.866
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 9.866


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.005 0 0 0 0 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/202479 15 5 7 0 8 17 0 5 0 2 0 20
2024/2025131 6 74 35 15 1 0 0 0 0 0 0 0
Totale 5.771