IRIS
PETTOROSSI, ALBERTO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.462
EU - Europa 2.255
AS - Asia 1.076
AF - Africa 205
SA - Sud America 88
OC - Oceania 27
Continente sconosciuto - Info sul continente non disponibili 10
Totale 7.123
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.338
IT - Italia 909
FR - Francia 396
DE - Germania 285
IN - India 273
CN - Cina 244
KR - Corea 118
RU - Federazione Russa 109
CA - Canada 98
GB - Regno Unito 98
CZ - Repubblica Ceca 63
ID - Indonesia 63
ET - Etiopia 58
PK - Pakistan 57
NL - Olanda 52
UA - Ucraina 45
SE - Svezia 38
ZA - Sudafrica 38
ES - Italia 36
RO - Romania 35
IR - Iran 32
VN - Vietnam 32
BR - Brasile 31
JP - Giappone 30
IE - Irlanda 29
TR - Turchia 29
EG - Egitto 26
SG - Singapore 26
IL - Israele 23
MA - Marocco 23
MY - Malesia 22
FI - Finlandia 20
AU - Australia 19
PL - Polonia 19
IQ - Iraq 17
TW - Taiwan 17
AT - Austria 16
GR - Grecia 16
HU - Ungheria 15
MX - Messico 15
PE - Perù 15
AE - Emirati Arabi Uniti 14
AR - Argentina 14
CH - Svizzera 14
NG - Nigeria 13
CL - Cile 11
CO - Colombia 10
KH - Cambogia 10
LT - Lituania 10
BE - Belgio 9
HK - Hong Kong 9
BD - Bangladesh 8
DZ - Algeria 8
NZ - Nuova Zelanda 8
PR - Porto Rico 8
SA - Arabia Saudita 7
SD - Sudan 7
EU - Europa 6
LU - Lussemburgo 6
PH - Filippine 6
RE - Reunion 6
TH - Thailandia 6
JO - Giordania 5
LB - Libano 5
PT - Portogallo 5
RS - Serbia 5
SC - Seychelles 5
ZW - Zimbabwe 5
BW - Botswana 4
NO - Norvegia 4
YE - Yemen 4
A1 - Anonimo 3
AL - Albania 3
BO - Bolivia 3
CM - Camerun 3
DK - Danimarca 3
KE - Kenya 3
KW - Kuwait 3
LK - Sri Lanka 3
NP - Nepal 3
TN - Tunisia 3
BG - Bulgaria 2
BH - Bahrain 2
CY - Cipro 2
HR - Croazia 2
KZ - Kazakistan 2
MD - Moldavia 2
MK - Macedonia 2
PA - Panama 2
SI - Slovenia 2
SK - Slovacchia (Repubblica Slovacca) 2
UY - Uruguay 2
VE - Venezuela 2
AP - ???statistics.table.value.countryCode.AP??? 1
BA - Bosnia-Erzegovina 1
BT - Bhutan 1
BY - Bielorussia 1
EE - Estonia 1
GE - Georgia 1
GT - Guatemala 1
Totale 7.118
Salva come PNG Salva come JPEG
Città #
Woodbridge 701
Houston 444
Modena 243
Wilmington 198
Fairfield 170
Ashburn 126
Santa Cruz 122
Buffalo 108
Seattle 105
Ann Arbor 101
Rome 100
Mountain View 74
University Park 72
Cambridge 71
Piacenza 62
Simi Valley 50
Beijing 43
Jakarta 38
Chicago 33
Ottawa 33
Council Bluffs 32
Shenyang 31
Bangalore 28
Atella 26
Dublin 26
Dong Ket 24
Stockholm 24
Las Vegas 21
Nürnberg 20
Gurgaon 19
Islamabad 19
Milan 18
Mumbai 18
San Francisco 18
Guangzhou 17
Helsinki 17
Hyderabad 17
Centrale 16
Clearwater 16
Hangzhou 16
Bengaluru 15
Florence 15
Lima 15
New York 15
San Diego 15
Los Angeles 14
Phoenix 14
Shanghai 14
Changsha 13
Moscow 13
Ottobrunn 13
Scranton 13
Valencia 13
Henderson 12
Saint Petersburg 12
Wuhan 12
Munich 11
Napoli 11
Philadelphia 11
Stanford 11
Taipei 11
Toronto 11
Urbana 11
Buenos Aires 10
Dearborn 10
Hebei 10
Istanbul 10
Muizenberg 10
Seoul 10
Singapore 10
Boardman 9
Chennai 9
Kolkata 9
Kumar 9
Pune 9
Redmond 9
Kimberley 8
Siena 8
Dallas 7
Easton 7
Kiel 7
Lake Forest 7
Riva 7
York 7
Brunswick 6
Burlington 6
Chandigarh 6
Fort Collins 6
Karachi 6
Norwalk 6
Padova 6
Aachen 5
Bangkok 5
Barcelona 5
Belluno 5
Cloppenburg 5
Encino 5
Frankfurt am Main 5
Groningen 5
Hanoi 5
Totale 3.881
Salva come PNG Salva come JPEG
Nome #
Techniques for searching, parsing, and matching (Second edition), file e291c0d3-f915-cddb-e053-3a05fe0aa144 1.198
Elements of computability, decidability, and complexity (Third edition), file e291c0d3-f663-cddb-e053-3a05fe0aa144 911
Transformational verification of parameterized protocols using array formulas, file e291c0d4-202c-cddb-e053-3a05fe0aa144 495
Elements of concurrent programming (Third edition), file e291c0d3-facc-cddb-e053-3a05fe0aa144 444
Semantics of programming languages, file e291c0d3-f71a-cddb-e053-3a05fe0aa144 371
Elements of computability, decidability, and complexity, file e291c0d4-b851-cddb-e053-3a05fe0aa144 342
Elements of concurrent programming (Second edition), file e291c0d3-f690-cddb-e053-3a05fe0aa144 310
First order predicate calculus and logic programming (Second edition), file e291c0d3-f0ef-cddb-e053-3a05fe0aa144 297
Semantics-based generation of verification conditions via program specialization, file e291c0d6-a98a-cddb-e053-3a05fe0aa144 280
Transformation rules for locally stratified constraint logic programs, file e291c0d3-f6b3-cddb-e053-3a05fe0aa144 273
A folding algorithm for eliminating existential variables from constraint logic programs, file e291c0d4-1fda-cddb-e053-3a05fe0aa144 265
Automata theory and formal languages, file e291c0d4-b8c8-cddb-e053-3a05fe0aa144 265
Verifying controllability of time-aware business processes, file e291c0d6-aef7-cddb-e053-3a05fe0aa144 238
Automatic correctness proofs for logic program transformations, file e291c0d4-26fc-cddb-e053-3a05fe0aa144 227
Automata theory and formal languages, file e291c0d3-f3c1-cddb-e053-3a05fe0aa144 215
A folding rule for eliminating existential variables from constraint logic programs, file e291c0d3-f9aa-cddb-e053-3a05fe0aa144 199
Totally correct logic program transformations via well-founded annotations, file e291c0d3-fabb-cddb-e053-3a05fe0aa144 198
Proving properties of constraint logic programs by eliminating existential variables, file e291c0d4-211f-cddb-e053-3a05fe0aa144 197
Program transformation for program verification, file e291c0d4-87e3-cddb-e053-3a05fe0aa144 190
Deciding full branching time logic by program transformation, file e291c0d4-261d-cddb-e053-3a05fe0aa144 180
Program verification using constraint handling rules and array constraint generalizations, file e291c0d6-a74d-cddb-e053-3a05fe0aa144 180
Techniques for searching, parsing, and matching (fourth edition), file e291c0d4-b89d-cddb-e053-3a05fe0aa144 149
Techniques for searching, parsing, and matching, file e291c0d4-b8ca-cddb-e053-3a05fe0aa144 149
Transformations of Logic Programs on Infinite Lists, file e291c0d3-f959-cddb-e053-3a05fe0aa144 146
Totally correct logic program transformations via well-founded annotations, file e291c0d3-f591-cddb-e053-3a05fe0aa144 21
Program verification via iterated specialization, file e291c0d5-af33-cddb-e053-3a05fe0aa144 2
Proving correctness of imperative programs by linearizing constrained Horn clauses, file e291c0d5-d546-cddb-e053-3a05fe0aa144 2
A rule-based verification strategy for array manipulating programs, file e291c0d5-e252-cddb-e053-3a05fe0aa144 2
Removing unnecessary variables from Horn clause verification conditions, file e291c0d6-a50b-cddb-e053-3a05fe0aa144 2
Horn clause transformation for program verification, file e291c0d6-ac32-cddb-e053-3a05fe0aa144 2
Constraint-based correctness proofs for logic program transformations, file e291c0d5-0df8-cddb-e053-3a05fe0aa144 1
Semantics-based generation of verification conditions by program specialization, file e291c0d5-dbca-cddb-e053-3a05fe0aa144 1
Semantics of programming languages. Third Edition, file e291c0d6-a542-cddb-e053-3a05fe0aa144 1
Elements of computability, decidability, and complexity. Fifth Edition, file e291c0d6-afe5-cddb-e053-3a05fe0aa144 1
Totale 7.754
Salva come PNG Salva come JPEG
Categoria #
all - tutte 11.615
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 11.615
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019353 0 0 0 0 0 0 0 0 0 0 188 165
2019/2020925 105 77 36 87 100 76 66 63 119 49 91 56
2020/20211.146 55 62 69 93 85 94 59 194 97 165 83 90
2021/20221.197 112 100 125 129 96 85 84 106 46 68 167 79
2022/2023582 30 38 113 101 23 66 33 24 54 22 42 36
2023/2024825 33 31 59 36 56 59 208 153 144 42 4 0
Totale 7.754