IRIS
PETTOROSSI, ALBERTO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 27.138
AS - Asia 2.927
EU - Europa 2.012
SA - Sud America 384
Continente sconosciuto - Info sul continente non disponibili 115
AF - Africa 35
OC - Oceania 13
Totale 32.624
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 27.058
SG - Singapore 1.638
CN - Cina 530
UA - Ucraina 398
BR - Brasile 316
DE - Germania 307
RU - Federazione Russa 289
IT - Italia 246
IE - Irlanda 214
HK - Hong Kong 208
VN - Vietnam 186
SE - Svezia 155
FI - Finlandia 116
FR - Francia 101
GB - Regno Unito 100
JP - Giappone 84
KR - Corea 69
IN - India 37
CA - Canada 31
ID - Indonesia 31
BD - Bangladesh 27
MX - Messico 23
PL - Polonia 22
AR - Argentina 21
TR - Turchia 18
CL - Cile 16
IQ - Iraq 15
NL - Olanda 15
BE - Belgio 14
PH - Filippine 12
ES - Italia 11
AU - Australia 10
MY - Malesia 9
EC - Ecuador 8
TH - Thailandia 7
UZ - Uzbekistan 7
AE - Emirati Arabi Uniti 6
AT - Austria 6
DZ - Algeria 6
PK - Pakistan 6
ZA - Sudafrica 6
CO - Colombia 5
IL - Israele 5
MA - Marocco 5
NP - Nepal 5
PE - Perù 5
SA - Arabia Saudita 5
VE - Venezuela 5
DM - Dominica 4
JM - Giamaica 4
NG - Nigeria 4
NI - Nicaragua 4
EU - Europa 3
GE - Georgia 3
JO - Giordania 3
LB - Libano 3
PY - Paraguay 3
TT - Trinidad e Tobago 3
UY - Uruguay 3
AL - Albania 2
BA - Bosnia-Erzegovina 2
BO - Bolivia 2
CR - Costa Rica 2
DK - Danimarca 2
DO - Repubblica Dominicana 2
EG - Egitto 2
HN - Honduras 2
KE - Kenya 2
KZ - Kazakistan 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
BN - Brunei Darussalam 1
BZ - Belize 1
CH - Svizzera 1
CI - Costa d'Avorio 1
CZ - Repubblica Ceca 1
EE - Estonia 1
GT - Guatemala 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
RS - Serbia 1
Totale 32.509
Salva come PNG Salva come JPEG
Città #
Woodbridge 8.331
Houston 6.721
Wilmington 6.705
Fairfield 629
Singapore 597
Ann Arbor 513
Ashburn 412
Jacksonville 350
Chandler 345
San Jose 338
Seattle 258
Dublin 214
Cambridge 211
Hong Kong 208
Dearborn 202
Beijing 189
Medford 172
Council Bluffs 147
Santa Clara 93
The Dalles 91
Lawrence 80
New York 74
Tokyo 71
Rome 64
Zhengzhou 54
Moscow 53
Los Angeles 49
Ho Chi Minh City 46
Hanoi 45
Buffalo 44
Lauterbourg 44
Mülheim 44
Helsinki 36
Menlo Park 33
San Diego 29
University Park 27
Jakarta 25
Redwood City 25
Dong Ket 23
São Paulo 22
Milan 21
Phoenix 21
Springfield 18
Dallas 17
Mountain View 17
Chicago 16
San Mateo 15
Brussels 14
Falls Church 14
Boardman 13
Kunming 13
Napoli 13
Toronto 13
Columbus 12
Verona 12
Centrale 11
Istanbul 11
Nuremberg 11
Palermo 11
Philadelphia 11
Urbana 11
Falkenstein 10
London 9
Nanjing 9
Naples 9
San Francisco 9
Shanghai 9
Atlanta 8
Belo Horizonte 8
Da Nang 8
Indiana 8
Nola 8
Warsaw 8
Baghdad 7
Chongqing 7
Curitiba 7
Donetsk 7
Kraków 7
Norwalk 7
Santiago 7
Suzhou 7
Washington 7
Chennai 6
Guangzhou 6
Hefei 6
Karlsruhe 6
Krakow 6
Mexico City 6
Montreal 6
Naucalpan 6
Orem 6
Redondo Beach 6
Saint Petersburg 6
Sorocaba 6
Tashkent 6
Atella 5
Boston 5
Brooklyn 5
Changsha 5
Haiphong 5
Totale 28.178
Salva come PNG Salva come JPEG
Nome #
Verifying Array Programs by Transforming Verification Conditions 589
A rule-based verification strategy for array manipulating programs 548
Techniques for searching, parsing, and matching (Second edition) 542
Techniques for searching, parsing, and matching (fourth edition) 535
Automatic correctness proofs for logic program transformations 512
Automata theory and formal languages 489
Developing correct and efficient logic programs by transformation 485
A folding algorithm for eliminating existential variables from constraint logic programs 481
Derivation of efficient logic programs by specialization and reduction of nondeterminism 481
Program specialization for verifying infinite state systems: an experimental evaluation 475
Transformational verification of parameterized protocols using array formulas 472
Observers, experiments, and agents: a comprehensive approach to parallelism 461
Reducing nondeterminism while specializing logic programs 460
A theory of totally correct logic program transformations 457
Improving reachability analysis of infinite state systems by specialization 452
Generalization strategies for the verification of infinite state systems 449
Future directions in program transformation 448
Constraint-based correctness proofs for logic program transformations 448
Automated strategies for specializing constraint logic programs 445
Program verification via iterated specialization 442
Rules and strategies for contextual specialization of constraint logic programs 441
Proving properties of constraint logic programs by eliminating existential variables 439
Techniques for searching, parsing, and matching 439
Enhancing partial deduction via unfold/fold rules 438
Elements of concurrent programming (Third edition) 436
Proving properties of constraint logic programs by eliminating existential variables 434
Program verification using constraint handling rules and array constraint generalizations 428
Synthesizing concurrent programs using answer set programming 427
A folding rule for eliminating existential variables from constraint logic programs 426
Totally correct logic program transformations via well-founded annotations 425
Elements of computability, decidability, and complexity (Third edition) 423
Semantics of programming languages 421
Perfect model checking via unfold/fold transformations 420
Synthesis of eureka predicates for developing logic programs 418
Generalization strategies for the verification of infinite state systems 417
Transformations of Logic Programs on Infinite Lists 416
Controlling polyvariance for specialization-based verification 416
Elements of computability, decidability, and complexity. Fifth Edition 416
Removing unnecessary variables from Horn clause verification conditions 415
Automata theory and formal languages 414
Transformations of logic programs with goals as arguments 413
Verifying controllability of time-aware business processes 412
Automata Theory and Formal Languages (Third Edition) 409
Program transformation for development, verification, and synthesis of programs 403
Transformation rules for locally stratified constraint logic programs 400
Program transformation for program verification 400
Semantics of programming languages. Third Edition 398
Semantics-based generation of verification conditions by program specialization 398
Program transformation: theoretical foundations and basic techniques. Part 2 397
Scienze informatiche e biologiche: epistemologia e ontologia 394
Deciding full branching time logic by program transformation 386
Verification of time-aware business processes using constrained Horn clauses 383
Proving correctness of imperative programs by linearizing constrained Horn clauses 379
The transformational approach to program development 372
null 371
Elements of concurrent programming (Second edition) 370
Automata theory and formal languages (Second edition) 367
Proving correctness of imperative programs by linearizing constrained horn clauses 366
Improving reachability analysis of infinite state systems by specialization 364
Elements of computability, decidability, and complexity 357
Semantics of Programming Languages (Second Edition) 356
First order predicate calculus and logic programming (Second edition) 354
First order predicate calculus and logic programming. Fourth Edition 353
Semantics-based generation of verification conditions via program specialization 350
Higher-order and symbolic computation: editorial 345
Synthesizing concurrent programs using answer set programming 342
Program transformation: Theoretical foundations and basic techniques. Part 1 341
Introduzione a: Scienze informatiche e biologiche 335
A transformation strategy for verifying logic programs on infinite lists 329
Alla ricerca della verità oltre la verità scientifica 328
Predicate Pairing with Abstraction for Relational Verification 327
Relational verification through horn clause transformation 326
null 321
Special Issue on the Italian Conference on Computational Logic: CILC 2009 319
Verification of imperative programs through transformation of constraint logic programs 317
Software model checking by program specialization 313
Horn clause transformation for program verification 310
Sull'equivalenza di domande positive e negative con risorse computazionali limitate 305
null 294
Predicate Pairing for program verification 279
VeriMAP: A tool for Verifying Programs through Transformation. 70
Verifying programs via iterated specialization 49
Specialization with Constrained Generalization for Software Model Checking 39
null 3
Totale 32.624
Salva come PNG Salva come JPEG
Categoria #
all - tutte 63.320
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 63.320
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022684 0 68 60 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/2027212 99 113 0 0 0 0 0 0 0 0 0 0
Totale 32.624