IRIS
SENNI, VALERIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.504
AS - Asia 550
EU - Europa 438
SA - Sud America 90
Continente sconosciuto - Info sul continente non disponibili 10
AF - Africa 8
Totale 6.600
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.492
SG - Singapore 235
CN - Cina 133
UA - Ucraina 89
BR - Brasile 73
DE - Germania 70
RU - Federazione Russa 67
VN - Vietnam 52
IE - Irlanda 45
HK - Hong Kong 44
SE - Svezia 38
GB - Regno Unito 37
IT - Italia 30
FI - Finlandia 28
JP - Giappone 25
BD - Bangladesh 16
KR - Corea 16
ID - Indonesia 12
BE - Belgio 11
FR - Francia 11
AR - Argentina 5
NL - Olanda 5
CA - Canada 4
CL - Cile 4
MA - Marocco 4
ES - Italia 3
IN - India 3
MX - Messico 3
VE - Venezuela 3
AT - Austria 2
DO - Repubblica Dominicana 2
EC - Ecuador 2
MY - Malesia 2
TH - Thailandia 2
ZA - Sudafrica 2
AZ - Azerbaigian 1
CR - Costa Rica 1
DZ - Algeria 1
GE - Georgia 1
HN - Honduras 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.590
Salva come PNG Salva come JPEG
Città #
Woodbridge 1.639
Wilmington 1.329
Houston 1.229
Fairfield 147
Singapore 139
Ann Arbor 135
Chandler 101
Ashburn 84
Jacksonville 82
Seattle 66
San Jose 65
Cambridge 62
Dearborn 53
Dublin 44
Hong Kong 44
Beijing 40
Council Bluffs 37
Medford 35
The Dalles 19
New York 18
Tokyo 18
Lawrence 17
Santa Clara 17
Los Angeles 16
Mülheim 14
Helsinki 12
Ho Chi Minh City 12
Redwood City 12
Brussels 11
Rome 11
Buffalo 10
Southend 10
Dong Ket 9
Moscow 9
Hanoi 8
Jakarta 8
University Park 8
Zhengzhou 7
Menlo Park 6
Phoenix 6
San Mateo 6
São Paulo 6
Dallas 5
San Diego 5
Amsterdam 4
Boardman 4
Cagliari 4
Donetsk 4
Karlsruhe 4
Lauterbourg 4
London 4
Milan 4
Chicago 3
Falls Church 3
Hải Dương 3
Kunming 3
Mexico City 3
Ninh Bình 3
Saint Petersburg 3
Shijiazhuang 3
Suzhou 3
Aracaju 2
Atella 2
Auburn Hills 2
Belo Horizonte 2
Boston 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
Queens 2
San Francisco 2
Shanghai 2
Thái Bình 2
Volta Redonda 2
Agadir 1
Alvorada 1
Amman 1
Ancol 1
Andradas 1
Antrim 1
Anápolis 1
Araguari 1
Atibaia 1
Baghdad 1
Totale 5.738
Salva come PNG Salva come JPEG
Nome #
Automatic correctness proofs for logic program transformations 512
A folding algorithm for eliminating existential variables from constraint logic programs 481
Program specialization for verifying infinite state systems: an experimental evaluation 475
Transformational verification of parameterized protocols using array formulas 472
Improving reachability analysis of infinite state systems by specialization 452
Generalization strategies for the verification of infinite state systems 451
Proving properties of constraint logic programs by eliminating existential variables 439
Proving properties of constraint logic programs by eliminating existential variables 434
A folding rule for eliminating existential variables from constraint logic programs 426
Transformations of Logic Programs on Infinite Lists 416
Scienze informatiche e biologiche: epistemologia e ontologia 394
Deciding full branching time logic by program transformation 386
The transformational approach to program development 372
Introduzione a: Scienze informatiche e biologiche 335
A transformation strategy for verifying logic programs on infinite lists 329
Transformation techniques for constraint logic programs with applications to protocol verification 226
Totale 6.600
Salva come PNG Salva come JPEG
Categoria #
all - tutte 13.366
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.366
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022154 0 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/2026572 45 30 61 21 45 40 84 72 69 58 6 41
2026/202740 25 15 0 0 0 0 0 0 0 0 0 0
Totale 6.600