IRIS
PETTOROSSI, ALBERTO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 27.842
AS - Asia 2.957
EU - Europa 2.042
SA - Sud America 410
Continente sconosciuto - Info sul continente non disponibili 115
AF - Africa 37
OC - Oceania 13
Totale 33.416
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 27.741
SG - Singapore 1.640
CN - Cina 530
UA - Ucraina 398
BR - Brasile 325
DE - Germania 308
RU - Federazione Russa 289
IT - Italia 259
IE - Irlanda 214
HK - Hong Kong 210
VN - Vietnam 190
SE - Svezia 155
FI - Finlandia 116
GB - Regno Unito 109
FR - Francia 102
JP - Giappone 86
KR - Corea 69
CA - Canada 43
IN - India 37
ID - Indonesia 34
BD - Bangladesh 28
MX - Messico 24
PL - Polonia 22
AR - Argentina 21
TR - Turchia 19
CL - Cile 16
PH - Filippine 16
BE - Belgio 15
IQ - Iraq 15
NL - Olanda 15
CO - Colombia 12
ES - Italia 11
AU - Australia 10
EC - Ecuador 10
PK - Pakistan 10
VE - Venezuela 10
MY - Malesia 9
SA - Arabia Saudita 8
TH - Thailandia 8
JM - Giamaica 7
UZ - Uzbekistan 7
AE - Emirati Arabi Uniti 6
AT - Austria 6
DZ - Algeria 6
NG - Nigeria 6
NI - Nicaragua 6
ZA - Sudafrica 6
EE - Estonia 5
IL - Israele 5
MA - Marocco 5
NP - Nepal 5
PE - Perù 5
DM - Dominica 4
HN - Honduras 4
PY - Paraguay 4
UY - Uruguay 4
BO - Bolivia 3
EU - Europa 3
GE - Georgia 3
JO - Giordania 3
KZ - Kazakistan 3
LB - Libano 3
TT - Trinidad e Tobago 3
AL - Albania 2
BA - Bosnia-Erzegovina 2
BN - Brunei Darussalam 2
CR - Costa Rica 2
DK - Danimarca 2
DO - Repubblica Dominicana 2
EG - Egitto 2
GT - Guatemala 2
KE - Kenya 2
NZ - Nuova Zelanda 2
OM - Oman 2
RE - Reunion 2
RO - Romania 2
SC - Seychelles 2
SN - Senegal 2
TN - Tunisia 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AM - Armenia 1
AO - Angola 1
AZ - Azerbaigian 1
BB - Barbados 1
BH - Bahrain 1
BZ - Belize 1
CH - Svizzera 1
CI - Costa d'Avorio 1
CZ - Repubblica Ceca 1
GR - Grecia 1
IR - Iran 1
KG - Kirghizistan 1
KW - Kuwait 1
LK - Sri Lanka 1
LT - Lituania 1
MD - Moldavia 1
MT - Malta 1
NO - Norvegia 1
PA - Panama 1
PR - Porto Rico 1
Totale 33.299
Salva come PNG Salva come JPEG
Città #
Woodbridge 8.331
Houston 6.724
Wilmington 6.705
Fairfield 629
Singapore 598
Ashburn 554
Ann Arbor 513
San Jose 386
Jacksonville 351
Chandler 345
Seattle 258
Dublin 214
Cambridge 211
Hong Kong 210
Dearborn 202
Beijing 189
Medford 172
Council Bluffs 153
Santa Clara 100
The Dalles 97
Lawrence 80
New York 76
Tokyo 72
Rome 69
Los Angeles 56
Zhengzhou 54
Moscow 53
Hanoi 48
Ho Chi Minh City 47
Buffalo 44
Lauterbourg 44
Mülheim 44
Helsinki 36
Menlo Park 33
San Diego 29
University Park 27
São Paulo 26
Jakarta 25
Redwood City 25
Denver 24
Dong Ket 23
Phoenix 22
Milan 21
Chicago 18
Dallas 18
Springfield 18
Mountain View 17
Brussels 15
San Mateo 15
Toronto 15
Atlanta 14
Falls Church 14
Boardman 13
Kunming 13
Napoli 13
Columbus 12
Palermo 12
Verona 12
Centrale 11
Istanbul 11
Nuremberg 11
Philadelphia 11
Urbana 11
Washington 11
Falkenstein 10
Naples 10
San Francisco 10
London 9
Nanjing 9
Shanghai 9
Belo Horizonte 8
Da Nang 8
Indiana 8
Nola 8
Warsaw 8
Baghdad 7
Chongqing 7
Curitiba 7
Donetsk 7
Kraków 7
Montreal 7
Newark 7
Norwalk 7
Santiago 7
Suzhou 7
Birmingham 6
Brasília 6
Chennai 6
Guangzhou 6
Hefei 6
Karlsruhe 6
Krakow 6
Managua 6
Mexico City 6
Naucalpan 6
Orem 6
Redondo Beach 6
Saint Petersburg 6
Sorocaba 6
Tashkent 6
Totale 28.462
Salva come PNG Salva come JPEG
Nome #
Verifying Array Programs by Transforming Verification Conditions 599
A rule-based verification strategy for array manipulating programs 555
Techniques for searching, parsing, and matching (Second edition) 549
Techniques for searching, parsing, and matching (fourth edition) 546
Automatic correctness proofs for logic program transformations 528
Automata theory and formal languages 512
A folding algorithm for eliminating existential variables from constraint logic programs 497
Developing correct and efficient logic programs by transformation 491
Derivation of efficient logic programs by specialization and reduction of nondeterminism 490
Program specialization for verifying infinite state systems: an experimental evaluation 484
Transformational verification of parameterized protocols using array formulas 482
Reducing nondeterminism while specializing logic programs 472
A theory of totally correct logic program transformations 471
Observers, experiments, and agents: a comprehensive approach to parallelism 467
Generalization strategies for the verification of infinite state systems 464
Enhancing partial deduction via unfold/fold rules 459
Elements of concurrent programming (Third edition) 458
Improving reachability analysis of infinite state systems by specialization 458
Automated strategies for specializing constraint logic programs 457
Constraint-based correctness proofs for logic program transformations 455
Future directions in program transformation 451
Program verification via iterated specialization 451
Semantics of programming languages 450
Techniques for searching, parsing, and matching 448
Proving properties of constraint logic programs by eliminating existential variables 447
Proving properties of constraint logic programs by eliminating existential variables 447
Rules and strategies for contextual specialization of constraint logic programs 446
Synthesizing concurrent programs using answer set programming 443
Program verification using constraint handling rules and array constraint generalizations 439
A folding rule for eliminating existential variables from constraint logic programs 437
Totally correct logic program transformations via well-founded annotations 436
Elements of computability, decidability, and complexity (Third edition) 435
Synthesis of eureka predicates for developing logic programs 429
Controlling polyvariance for specialization-based verification 427
Generalization strategies for the verification of infinite state systems 426
Perfect model checking via unfold/fold transformations 425
Transformations of Logic Programs on Infinite Lists 424
Automata theory and formal languages 424
Elements of computability, decidability, and complexity. Fifth Edition 423
Removing unnecessary variables from Horn clause verification conditions 423
Automata Theory and Formal Languages (Third Edition) 420
Verifying controllability of time-aware business processes 419
Transformations of logic programs with goals as arguments 418
Program transformation for development, verification, and synthesis of programs 413
Transformation rules for locally stratified constraint logic programs 412
Program transformation for program verification 408
Semantics of programming languages. Third Edition 408
Semantics-based generation of verification conditions by program specialization 406
Program transformation: theoretical foundations and basic techniques. Part 2 404
Scienze informatiche e biologiche: epistemologia e ontologia 404
Deciding full branching time logic by program transformation 401
Verification of time-aware business processes using constrained Horn clauses 392
Proving correctness of imperative programs by linearizing constrained Horn clauses 387
Elements of concurrent programming (Second edition) 385
The transformational approach to program development 382
Proving correctness of imperative programs by linearizing constrained horn clauses 375
Improving reachability analysis of infinite state systems by specialization 374
Elements of computability, decidability, and complexity 374
Automata theory and formal languages (Second edition) 373
Semantics of Programming Languages (Second Edition) 373
null 371
First order predicate calculus and logic programming (Second edition) 362
Semantics-based generation of verification conditions via program specialization 361
First order predicate calculus and logic programming. Fourth Edition 361
Higher-order and symbolic computation: editorial 349
Program transformation: Theoretical foundations and basic techniques. Part 1 348
Synthesizing concurrent programs using answer set programming 348
Introduzione a: Scienze informatiche e biologiche 342
Alla ricerca della verità oltre la verità scientifica 340
Relational verification through horn clause transformation 335
A transformation strategy for verifying logic programs on infinite lists 334
Predicate Pairing with Abstraction for Relational Verification 333
Verification of imperative programs through transformation of constraint logic programs 323
Special Issue on the Italian Conference on Computational Logic: CILC 2009 323
null 321
Software model checking by program specialization 317
Horn clause transformation for program verification 316
Sull'equivalenza di domande positive e negative con risorse computazionali limitate 312
null 294
Predicate Pairing for program verification 283
VeriMAP: A tool for Verifying Programs through Transformation. 83
Verifying programs via iterated specialization 60
Specialization with Constrained Generalization for Software Model Checking 44
null 3
Totale 33.416
Salva come PNG Salva come JPEG
Categoria #
all - tutte 65.445
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 65.445
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022556 0 0 0 46 9 50 31 35 33 85 39 228
2022/2023933 95 40 56 106 105 210 72 57 103 1 67 21
2023/2024292 39 13 22 3 32 56 6 26 0 5 11 79
2024/20252.227 58 359 159 101 22 128 234 134 118 125 450 339
2025/20262.565 144 93 297 117 123 153 394 347 331 325 90 151
2026/20271.004 99 137 551 217 0 0 0 0 0 0 0 0
Totale 33.416