IRIS
PETTOROSSI, ALBERTO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 26.793
AS - Asia 2.882
EU - Europa 1.977
SA - Sud America 378
AF - Africa 31
OC - Oceania 9
Continente sconosciuto - Info sul continente non disponibili 5
Totale 32.075
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 26.730
SG - Singapore 1.632
CN - Cina 525
UA - Ucraina 397
BR - Brasile 313
DE - Germania 306
RU - Federazione Russa 289
IT - Italia 222
IE - Irlanda 213
HK - Hong Kong 206
VN - Vietnam 183
SE - Svezia 155
FI - Finlandia 116
FR - Francia 101
GB - Regno Unito 100
JP - Giappone 82
KR - Corea 69
IN - India 35
ID - Indonesia 30
CA - Canada 28
AR - Argentina 21
TR - Turchia 18
MX - Messico 16
PL - Polonia 16
IQ - Iraq 15
NL - Olanda 15
CL - Cile 14
BD - Bangladesh 13
BE - Belgio 13
ES - Italia 11
PH - Filippine 9
EC - Ecuador 8
UZ - Uzbekistan 7
AE - Emirati Arabi Uniti 6
AT - Austria 6
AU - Australia 6
PK - Pakistan 6
ZA - Sudafrica 6
CO - Colombia 5
DZ - Algeria 5
IL - Israele 5
MY - Malesia 5
SA - Arabia Saudita 5
TH - Thailandia 5
VE - Venezuela 5
DM - Dominica 4
MA - Marocco 4
NG - Nigeria 4
NP - Nepal 4
PE - Perù 4
EU - Europa 3
GE - Georgia 3
JO - Giordania 3
LB - Libano 3
PY - Paraguay 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
JM - Giamaica 2
KE - Kenya 2
KZ - Kazakistan 2
NI - Nicaragua 2
NZ - Nuova Zelanda 2
OM - Oman 2
RE - Reunion 2
RO - Romania 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
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
SI - Slovenia 1
SK - Slovacchia (Repubblica Slovacca) 1
SY - Repubblica araba siriana 1
Totale 32.073
Salva come PNG Salva come JPEG
Città #
Woodbridge 8.331
Houston 6.721
Wilmington 6.704
Fairfield 629
Singapore 593
Ann Arbor 513
Ashburn 393
Jacksonville 348
Chandler 345
Seattle 256
San Jose 245
Dublin 213
Cambridge 211
Hong Kong 206
Dearborn 202
Beijing 189
Medford 172
The Dalles 91
Council Bluffs 82
Santa Clara 81
Lawrence 80
Tokyo 71
New York 69
Rome 60
Zhengzhou 54
Moscow 53
Los Angeles 48
Ho Chi Minh City 46
Lauterbourg 44
Mülheim 44
Buffalo 43
Hanoi 42
Helsinki 36
Menlo Park 33
San Diego 28
University Park 27
Jakarta 25
Redwood City 25
Dong Ket 23
São Paulo 22
Milan 19
Phoenix 18
Dallas 17
Mountain View 17
Chicago 15
San Mateo 15
Falls Church 14
Boardman 13
Brussels 13
Kunming 13
Napoli 13
Toronto 13
Columbus 12
Verona 12
Centrale 11
Istanbul 11
Nuremberg 11
Falkenstein 10
Urbana 10
Nanjing 9
Palermo 9
Shanghai 9
Belo Horizonte 8
Da Nang 8
Indiana 8
London 8
Nola 8
San Francisco 8
Warsaw 8
Baghdad 7
Chongqing 7
Donetsk 7
Kraków 7
Norwalk 7
Philadelphia 7
Suzhou 7
Atlanta 6
Chennai 6
Curitiba 6
Guangzhou 6
Hefei 6
Karlsruhe 6
Montreal 6
Orem 6
Redondo Beach 6
Saint Petersburg 6
Santiago 6
Sorocaba 6
Tashkent 6
Atella 5
Changsha 5
Haiphong 5
Hangzhou 5
Hanover 5
Madrid 5
Manchester 5
Mumbai 5
Pune 5
Ribeirão Preto 5
Rio de Janeiro 5
Totale 27.920
Salva come PNG Salva come JPEG
Nome #
Verifying Array Programs by Transforming Verification Conditions 582
A rule-based verification strategy for array manipulating programs 541
Techniques for searching, parsing, and matching (Second edition) 530
Techniques for searching, parsing, and matching (fourth edition) 519
Automatic correctness proofs for logic program transformations 509
Developing correct and efficient logic programs by transformation 482
Derivation of efficient logic programs by specialization and reduction of nondeterminism 478
Automata theory and formal languages 476
A folding algorithm for eliminating existential variables from constraint logic programs 474
Program specialization for verifying infinite state systems: an experimental evaluation 471
Transformational verification of parameterized protocols using array formulas 470
Observers, experiments, and agents: a comprehensive approach to parallelism 457
Reducing nondeterminism while specializing logic programs 455
Improving reachability analysis of infinite state systems by specialization 449
Generalization strategies for the verification of infinite state systems 447
Future directions in program transformation 445
Constraint-based correctness proofs for logic program transformations 445
Automated strategies for specializing constraint logic programs 440
A theory of totally correct logic program transformations 438
Enhancing partial deduction via unfold/fold rules 436
Program verification via iterated specialization 436
Proving properties of constraint logic programs by eliminating existential variables 434
Proving properties of constraint logic programs by eliminating existential variables 433
Rules and strategies for contextual specialization of constraint logic programs 432
Techniques for searching, parsing, and matching 426
Synthesizing concurrent programs using answer set programming 425
A folding rule for eliminating existential variables from constraint logic programs 423
Elements of concurrent programming (Third edition) 422
Program verification using constraint handling rules and array constraint generalizations 418
Totally correct logic program transformations via well-founded annotations 418
Perfect model checking via unfold/fold transformations 417
Elements of computability, decidability, and complexity (Third edition) 417
Generalization strategies for the verification of infinite state systems 413
Synthesis of eureka predicates for developing logic programs 413
Removing unnecessary variables from Horn clause verification conditions 413
Transformations of Logic Programs on Infinite Lists 412
Controlling polyvariance for specialization-based verification 412
Semantics of programming languages 411
Transformations of logic programs with goals as arguments 409
Elements of computability, decidability, and complexity. Fifth Edition 408
Automata Theory and Formal Languages (Third Edition) 405
Verifying controllability of time-aware business processes 404
Program transformation for development, verification, and synthesis of programs 400
Program transformation for program verification 396
Program transformation: theoretical foundations and basic techniques. Part 2 395
Automata theory and formal languages 395
Semantics of programming languages. Third Edition 395
Semantics-based generation of verification conditions by program specialization 393
Transformation rules for locally stratified constraint logic programs 390
Scienze informatiche e biologiche: epistemologia e ontologia 388
Deciding full branching time logic by program transformation 380
Verification of time-aware business processes using constrained Horn clauses 378
Proving correctness of imperative programs by linearizing constrained Horn clauses 376
null 371
The transformational approach to program development 367
Proving correctness of imperative programs by linearizing constrained horn clauses 364
Automata theory and formal languages (Second edition) 362
Elements of concurrent programming (Second edition) 360
Improving reachability analysis of infinite state systems by specialization 359
Semantics of Programming Languages (Second Edition) 349
First order predicate calculus and logic programming (Second edition) 348
Elements of computability, decidability, and complexity 347
First order predicate calculus and logic programming. Fourth Edition 346
Semantics-based generation of verification conditions via program specialization 345
Higher-order and symbolic computation: editorial 341
Program transformation: Theoretical foundations and basic techniques. Part 1 339
Synthesizing concurrent programs using answer set programming 336
Introduzione a: Scienze informatiche e biologiche 331
A transformation strategy for verifying logic programs on infinite lists 326
Alla ricerca della verità oltre la verità scientifica 326
Relational verification through horn clause transformation 324
Predicate Pairing with Abstraction for Relational Verification 322
null 321
Special Issue on the Italian Conference on Computational Logic: CILC 2009 317
Verification of imperative programs through transformation of constraint logic programs 314
Software model checking by program specialization 311
Horn clause transformation for program verification 306
Sull'equivalenza di domande positive e negative con risorse computazionali limitate 303
null 294
Predicate Pairing for program verification 277
VeriMAP: A tool for Verifying Programs through Transformation. 65
Verifying programs via iterated specialization 45
Specialization with Constrained Generalization for Software Model Checking 35
null 3
Totale 32.185
Salva come PNG Salva come JPEG
Categoria #
all - tutte 60.037
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 60.037
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021242 0 0 0 0 0 0 0 0 0 0 175 67
2021/2022727 43 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.338 144 93 297 117 123 153 394 347 331 325 14 0
Totale 32.185