IRIS
SENNI, VALERIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.685
AS - Asia 555
EU - Europa 446
SA - Sud America 96
Continente sconosciuto - Info sul continente non disponibili 10
AF - Africa 8
Totale 6.800
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.670
SG - Singapore 236
CN - Cina 133
UA - Ucraina 89
BR - Brasile 76
DE - Germania 71
RU - Federazione Russa 67
VN - Vietnam 52
HK - Hong Kong 45
IE - Irlanda 45
GB - Regno Unito 39
SE - Svezia 38
IT - Italia 35
FI - Finlandia 28
JP - Giappone 26
BD - Bangladesh 16
KR - Corea 16
ID - Indonesia 12
BE - Belgio 11
FR - Francia 11
CA - Canada 6
AR - Argentina 5
NL - Olanda 5
VE - Venezuela 5
CL - Cile 4
MA - Marocco 4
EC - Ecuador 3
ES - Italia 3
IN - India 3
MX - Messico 3
TH - Thailandia 3
AT - Austria 2
DO - Repubblica Dominicana 2
HN - Honduras 2
MY - Malesia 2
ZA - Sudafrica 2
AZ - Azerbaigian 1
BN - Brunei Darussalam 1
CR - Costa Rica 1
DZ - Algeria 1
GE - Georgia 1
IL - Israele 1
IQ - Iraq 1
JO - Giordania 1
LB - Libano 1
NG - Nigeria 1
OM - Oman 1
PE - Perù 1
PH - Filippine 1
PK - Pakistan 1
PL - Polonia 1
PY - Paraguay 1
RO - Romania 1
SA - Arabia Saudita 1
TT - Trinidad e Tobago 1
UY - Uruguay 1
Totale 6.790
Salva come PNG Salva come JPEG
Città #
Woodbridge 1.639
Wilmington 1.329
Houston 1.229
Fairfield 147
Singapore 140
Ann Arbor 135
Ashburn 125
Chandler 101
Jacksonville 82
San Jose 77
Seattle 66
Cambridge 62
Dearborn 53
Hong Kong 45
Dublin 44
Beijing 40
Council Bluffs 38
Medford 35
The Dalles 19
Tokyo 19
New York 18
Lawrence 17
Santa Clara 17
Los Angeles 16
Mülheim 14
Rome 14
Helsinki 12
Ho Chi Minh City 12
Redwood City 12
Brussels 11
Denver 11
Buffalo 10
Southend 10
Dong Ket 9
Moscow 9
Hanoi 8
Jakarta 8
University Park 8
San Francisco 7
Washington 7
Zhengzhou 7
Dallas 6
Menlo Park 6
Phoenix 6
San Mateo 6
São Paulo 6
San Diego 5
Amsterdam 4
Boardman 4
Cagliari 4
Chicago 4
Donetsk 4
Karlsruhe 4
Lauterbourg 4
London 4
Milan 4
Falls Church 3
Hải Dương 3
Kunming 3
Mexico City 3
Ninh Bình 3
Queens 3
Saint Petersburg 3
Shijiazhuang 3
Suzhou 3
Aracaju 2
Atella 2
Atlanta 2
Auburn Hills 2
Belo Horizonte 2
Boston 2
Brasília 2
Brooklyn 2
Cangzhou 2
Casablanca 2
Curitiba 2
Dnipro 2
Falkenstein 2
Fortaleza 2
Frankfurt am Main 2
Johannesburg 2
Kuala Lumpur 2
Manchester 2
Nanchang 2
Nanjing 2
Orem 2
Orlando 2
Petrópolis 2
Philadelphia 2
Pomona 2
Porto Alegre 2
Princeton 2
Quito 2
Shanghai 2
Thái Bình 2
Volta Redonda 2
Agadir 1
Alvorada 1
Amman 1
Ancol 1
Totale 5.826
Salva come PNG Salva come JPEG
Nome #
Automatic correctness proofs for logic program transformations 528
A folding algorithm for eliminating existential variables from constraint logic programs 497
Program specialization for verifying infinite state systems: an experimental evaluation 484
Transformational verification of parameterized protocols using array formulas 482
Generalization strategies for the verification of infinite state systems 464
Improving reachability analysis of infinite state systems by specialization 458
Proving properties of constraint logic programs by eliminating existential variables 447
Proving properties of constraint logic programs by eliminating existential variables 447
A folding rule for eliminating existential variables from constraint logic programs 437
Transformations of Logic Programs on Infinite Lists 425
Scienze informatiche e biologiche: epistemologia e ontologia 404
Deciding full branching time logic by program transformation 401
The transformational approach to program development 382
Introduzione a: Scienze informatiche e biologiche 342
A transformation strategy for verifying logic programs on infinite lists 334
Transformation techniques for constraint logic programs with applications to protocol verification 268
Totale 6.800
Salva come PNG Salva come JPEG
Categoria #
all - tutte 13.827
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 13.827
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022125 0 0 0 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/2026572 45 30 61 21 45 40 84 72 69 58 6 41
2026/2027240 25 26 109 80 0 0 0 0 0 0 0 0
Totale 6.800