SENNI, VALERIO
 Distribuzione geografica
Continente #
NA - Nord America 1.026
EU - Europa 593
AS - Asia 78
AF - Africa 10
SA - Sud America 4
Totale 1.711
Nazione #
US - Stati Uniti d'America 1.021
FR - Francia 301
IT - Italia 160
DE - Germania 60
CN - Cina 31
KR - Corea 21
GB - Regno Unito 19
RU - Federazione Russa 12
VN - Vietnam 11
ZA - Sudafrica 10
SE - Svezia 9
CZ - Repubblica Ceca 8
FI - Finlandia 6
CA - Canada 5
IE - Irlanda 5
NL - Olanda 5
SG - Singapore 5
CL - Cile 4
IN - India 4
BE - Belgio 2
JP - Giappone 2
LT - Lituania 2
UA - Ucraina 2
HU - Ungheria 1
ID - Indonesia 1
IL - Israele 1
RO - Romania 1
SA - Arabia Saudita 1
UZ - Uzbekistan 1
Totale 1.711
Città #
Woodbridge 229
Houston 127
Modena 86
Fairfield 78
Wilmington 70
Santa Cruz 58
Buffalo 49
Seattle 49
Ashburn 33
Cambridge 31
Piacenza 27
Ann Arbor 26
University Park 25
Chicago 19
Mountain View 17
Beijing 12
Dong Ket 10
Clearwater 9
Rome 8
Stockholm 8
Henderson 7
Las Vegas 7
Ottobrunn 7
Helsinki 6
Los Angeles 6
Nürnberg 6
Phoenix 6
Atella 5
Dublin 5
Muizenberg 5
Dallas 4
Lake Forest 4
Zhengzhou 4
Bengaluru 3
Herndon 3
Munich 3
New York 3
Saint Petersburg 3
San Francisco 3
Shanghai 3
St Petersburg 3
Boardman 2
Boulder 2
Catanzaro 2
Cloppenburg 2
Duncan 2
East Lansing 2
Easton 2
Fremont 2
Hesperia 2
Indiana 2
Lagrangeville 2
Leawood 2
Norwalk 2
Ottawa 2
Peschiera Borromeo 2
Riva 2
San Diego 2
San Jose 2
Sassari 2
Silverton 2
Toronto 2
Amsterdam 1
Atlanta 1
Bellevue 1
Bolzano 1
Budapest 1
Caserta 1
Cedar Rapids 1
Changshahsien 1
Chennai 1
Cheyenne 1
Council Bluffs 1
East Hartford 1
Gainesville 1
Gammertingen 1
Gapyeong County 1
Groningen 1
Hamilton 1
Hangzhou 1
Hanoi 1
Jersey City 1
Jerusalem 1
Kiel 1
Lastrup 1
Merano 1
Redcar 1
Santa Clara 1
Santiago 1
Schaumburg 1
Scottsdale 1
Scranton 1
Secaucus 1
Serra 1
Singapore 1
Soragna 1
Tampa 1
Tokyo 1
Weston 1
Wuhan 1
Totale 1.147
Nome #
Transformational verification of parameterized protocols using array formulas, file e291c0d4-202c-cddb-e053-3a05fe0aa144 495
A folding algorithm for eliminating existential variables from constraint logic programs, file e291c0d4-1fda-cddb-e053-3a05fe0aa144 266
Automatic correctness proofs for logic program transformations, file e291c0d4-26fc-cddb-e053-3a05fe0aa144 227
A folding rule for eliminating existential variables from constraint logic programs, file e291c0d3-f9aa-cddb-e053-3a05fe0aa144 200
Proving properties of constraint logic programs by eliminating existential variables, file e291c0d4-211f-cddb-e053-3a05fe0aa144 197
Deciding full branching time logic by program transformation, file e291c0d4-261d-cddb-e053-3a05fe0aa144 180
Transformation techniques for constraint logic programs with applications to protocol verification, file e291c0d3-7292-cddb-e053-3a05fe0aa144 159
Transformations of Logic Programs on Infinite Lists, file e291c0d3-f959-cddb-e053-3a05fe0aa144 146
Totale 1.870
Categoria #
all - tutte 2.974
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 2.974


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019111 0 0 0 0 0 0 0 0 0 0 54 57
2019/2020246 38 24 12 22 21 19 23 21 31 12 14 9
2020/2021218 11 15 6 18 14 10 5 61 10 35 9 24
2021/2022247 13 12 32 15 23 16 9 23 6 15 63 20
2022/2023153 3 10 35 32 3 16 6 2 29 1 12 4
2023/2024346 5 3 4 4 6 3 148 95 71 3 4 0
Totale 1.870