SENNI, VALERIO
 Distribuzione geografica
Continente #
NA - Nord America 5.342
AS - Asia 392
EU - Europa 386
SA - Sud America 79
AF - Africa 6
Totale 6.205
Nazione #
US - Stati Uniti d'America 5.336
SG - Singapore 186
CN - Cina 89
UA - Ucraina 88
DE - Germania 68
BR - Brasile 66
IE - Irlanda 45
HK - Hong Kong 43
SE - Svezia 37
RU - Federazione Russa 36
GB - Regno Unito 34
IT - Italia 26
FI - Finlandia 25
VN - Vietnam 25
KR - Corea 16
ID - Indonesia 11
BE - Belgio 10
JP - Giappone 9
FR - Francia 7
NL - Olanda 5
AR - Argentina 4
CL - Cile 4
MX - Messico 3
ES - Italia 2
IN - India 2
MA - Marocco 2
ZA - Sudafrica 2
AT - Austria 1
AZ - Azerbaigian 1
BD - Bangladesh 1
CA - Canada 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
EC - Ecuador 1
GE - Georgia 1
HN - Honduras 1
IL - Israele 1
IQ - Iraq 1
JO - Giordania 1
LB - Libano 1
MY - Malesia 1
NG - Nigeria 1
OM - Oman 1
PE - Perù 1
PL - Polonia 1
PY - Paraguay 1
RO - Romania 1
SA - Arabia Saudita 1
TH - Thailandia 1
UY - Uruguay 1
VE - Venezuela 1
Totale 6.205
Città #
Woodbridge 1.639
Wilmington 1.329
Houston 1.225
Fairfield 147
Ann Arbor 135
Chandler 101
Singapore 94
Jacksonville 80
Ashburn 73
Seattle 65
Cambridge 62
Dearborn 52
Dublin 44
Hong Kong 43
Beijing 38
Medford 35
Council Bluffs 18
New York 18
Lawrence 16
Los Angeles 15
Mülheim 14
Santa Clara 14
The Dalles 14
Redwood City 12
Brussels 10
Southend 10
Buffalo 9
Dong Ket 9
Helsinki 9
Rome 9
Jakarta 8
University Park 8
Zhengzhou 7
Menlo Park 6
Phoenix 6
San Mateo 6
São Paulo 6
Hanoi 5
Moscow 5
San Diego 5
Amsterdam 4
Boardman 4
Cagliari 4
Dallas 4
Donetsk 4
Ho Chi Minh City 4
Karlsruhe 4
Falls Church 3
Kunming 3
London 3
Mexico City 3
Milan 3
Saint Petersburg 3
Atella 2
Auburn Hills 2
Belo Horizonte 2
Cangzhou 2
Casablanca 2
Curitiba 2
Falkenstein 2
Johannesburg 2
Manchester 2
Nanchang 2
Nanjing 2
Philadelphia 2
Porto Alegre 2
San Francisco 2
Shanghai 2
Tokyo 2
Volta Redonda 2
Amman 1
Ancol 1
Andradas 1
Anápolis 1
Aracaju 1
Araguari 1
Baghdad 1
Baku 1
Balneário Camboriú 1
Biên Hòa 1
Boston 1
Buenos Aires 1
Byblos 1
Caldas Novas 1
Campinas 1
Campo Grande 1
Canaã dos Carajás 1
Carapicuíba 1
Carneirinho 1
Cassilândia 1
Caxias do Sul 1
Changshahsien 1
Chennai 1
Chicago 1
Coimbatore 1
Constantine 1
Coro 1
Cuiabá 1
Da Nang 1
Dnipro 1
Totale 5.511
Nome #
Automatic correctness proofs for logic program transformations 489
Program specialization for verifying infinite state systems: an experimental evaluation 464
A folding algorithm for eliminating existential variables from constraint logic programs 437
Transformational verification of parameterized protocols using array formulas 437
Generalization strategies for the verification of infinite state systems 436
Improving reachability analysis of infinite state systems by specialization 435
Proving properties of constraint logic programs by eliminating existential variables 421
Proving properties of constraint logic programs by eliminating existential variables 418
A folding rule for eliminating existential variables from constraint logic programs 403
Transformations of Logic Programs on Infinite Lists 393
Scienze informatiche e biologiche: epistemologia e ontologia 378
The transformational approach to program development 354
Deciding full branching time logic by program transformation 351
A transformation strategy for verifying logic programs on infinite lists 316
Introduzione a: Scienze informatiche e biologiche 316
Transformation techniques for constraint logic programs with applications to protocol verification 167
Totale 6.215
Categoria #
all - tutte 12.049
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 12.049


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021384 0 0 0 0 0 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/2025348 6 74 35 15 2 24 58 55 11 25 31 12
2025/2026227 45 30 61 21 45 25 0 0 0 0 0 0
Totale 6.215