IRIS
PETTOROSSI, ALBERTO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 26.996
AS - Asia 2.917
EU - Europa 2.003
SA - Sud America 384
AF - Africa 33
OC - Oceania 9
Continente sconosciuto - Info sul continente non disponibili 5
Totale 32.347
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 26.926
SG - Singapore 1.636
CN - Cina 530
UA - Ucraina 397
BR - Brasile 316
DE - Germania 307
RU - Federazione Russa 289
IT - Italia 240
IE - Irlanda 214
HK - Hong Kong 207
VN - Vietnam 183
SE - Svezia 155
FI - Finlandia 116
FR - Francia 101
GB - Regno Unito 100
JP - Giappone 84
KR - Corea 69
IN - India 36
ID - Indonesia 31
CA - Canada 30
BD - Bangladesh 27
AR - Argentina 21
PL - Polonia 20
MX - Messico 18
TR - Turchia 18
CL - Cile 16
IQ - Iraq 15
NL - Olanda 15
BE - Belgio 14
ES - Italia 11
MY - Malesia 9
PH - Filippine 9
EC - Ecuador 8
TH - Thailandia 7
UZ - Uzbekistan 7
AE - Emirati Arabi Uniti 6
AT - Austria 6
AU - Australia 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
NG - Nigeria 4
EU - Europa 3
GE - Georgia 3
JM - Giamaica 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
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
TT - Trinidad e Tobago 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
SI - Slovenia 1
Totale 32.343
Salva come PNG Salva come JPEG
Città #
Woodbridge 8.331
Houston 6.721
Wilmington 6.705
Fairfield 629
Singapore 595
Ann Arbor 513
Ashburn 402
Jacksonville 348
Chandler 345
San Jose 337
Seattle 256
Dublin 214
Cambridge 211
Hong Kong 207
Dearborn 202
Beijing 189
Medford 172
Santa Clara 92
The Dalles 91
Council Bluffs 87
Lawrence 80
New York 73
Tokyo 71
Rome 61
Zhengzhou 54
Moscow 53
Los Angeles 48
Ho Chi Minh City 46
Buffalo 44
Lauterbourg 44
Mülheim 44
Hanoi 42
Helsinki 36
Menlo Park 33
San Diego 29
University Park 27
Jakarta 25
Redwood City 25
Dong Ket 23
São Paulo 22
Milan 20
Phoenix 20
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
Springfield 12
Verona 12
Centrale 11
Istanbul 11
Nuremberg 11
Palermo 11
Falkenstein 10
Urbana 10
London 9
Nanjing 9
Philadelphia 9
San Francisco 9
Shanghai 9
Belo Horizonte 8
Da Nang 8
Indiana 8
Naples 8
Nola 8
Warsaw 8
Atlanta 7
Baghdad 7
Chongqing 7
Curitiba 7
Donetsk 7
Kraków 7
Norwalk 7
Santiago 7
Suzhou 7
Chennai 6
Guangzhou 6
Hefei 6
Karlsruhe 6
Mexico City 6
Montreal 6
Orem 6
Redondo Beach 6
Saint Petersburg 6
Sorocaba 6
Tashkent 6
Atella 5
Boston 5
Brooklyn 5
Changsha 5
Haiphong 5
Hangzhou 5
Hanover 5
Madrid 5
Totale 28.074
Salva come PNG Salva come JPEG
Nome #
Verifying Array Programs by Transforming Verification Conditions 586
A rule-based verification strategy for array manipulating programs 547
Techniques for searching, parsing, and matching (Second edition) 535
Techniques for searching, parsing, and matching (fourth edition) 530
Automatic correctness proofs for logic program transformations 511
Developing correct and efficient logic programs by transformation 484
Automata theory and formal languages 480
Derivation of efficient logic programs by specialization and reduction of nondeterminism 480
A folding algorithm for eliminating existential variables from constraint logic programs 477
Program specialization for verifying infinite state systems: an experimental evaluation 473
Transformational verification of parameterized protocols using array formulas 471
Observers, experiments, and agents: a comprehensive approach to parallelism 460
Reducing nondeterminism while specializing logic programs 459
A theory of totally correct logic program transformations 455
Improving reachability analysis of infinite state systems by specialization 450
Generalization strategies for the verification of infinite state systems 448
Constraint-based correctness proofs for logic program transformations 447
Future directions in program transformation 446
Automated strategies for specializing constraint logic programs 444
Program verification via iterated specialization 441
Rules and strategies for contextual specialization of constraint logic programs 438
Enhancing partial deduction via unfold/fold rules 437
Proving properties of constraint logic programs by eliminating existential variables 436
Elements of concurrent programming (Third edition) 435
Proving properties of constraint logic programs by eliminating existential variables 434
Techniques for searching, parsing, and matching 434
Synthesizing concurrent programs using answer set programming 426
Program verification using constraint handling rules and array constraint generalizations 426
A folding rule for eliminating existential variables from constraint logic programs 425
Elements of computability, decidability, and complexity (Third edition) 421
Totally correct logic program transformations via well-founded annotations 421
Perfect model checking via unfold/fold transformations 419
Semantics of programming languages 419
Transformations of Logic Programs on Infinite Lists 415
Generalization strategies for the verification of infinite state systems 415
Controlling polyvariance for specialization-based verification 415
Synthesis of eureka predicates for developing logic programs 415
Removing unnecessary variables from Horn clause verification conditions 414
Elements of computability, decidability, and complexity. Fifth Edition 413
Transformations of logic programs with goals as arguments 412
Verifying controllability of time-aware business processes 410
Automata Theory and Formal Languages (Third Edition) 408
Automata theory and formal languages 408
Program transformation for development, verification, and synthesis of programs 401
Program transformation for program verification 399
Semantics of programming languages. Third Edition 397
Program transformation: theoretical foundations and basic techniques. Part 2 396
Semantics-based generation of verification conditions by program specialization 396
Transformation rules for locally stratified constraint logic programs 395
Scienze informatiche e biologiche: epistemologia e ontologia 390
Deciding full branching time logic by program transformation 385
Verification of time-aware business processes using constrained Horn clauses 380
Proving correctness of imperative programs by linearizing constrained Horn clauses 378
null 371
The transformational approach to program development 369
Automata theory and formal languages (Second edition) 367
Elements of concurrent programming (Second edition) 367
Proving correctness of imperative programs by linearizing constrained horn clauses 365
Improving reachability analysis of infinite state systems by specialization 361
Elements of computability, decidability, and complexity 353
Semantics of Programming Languages (Second Edition) 352
First order predicate calculus and logic programming. Fourth Edition 352
First order predicate calculus and logic programming (Second edition) 351
Semantics-based generation of verification conditions via program specialization 348
Higher-order and symbolic computation: editorial 343
Synthesizing concurrent programs using answer set programming 341
Program transformation: Theoretical foundations and basic techniques. Part 1 340
Introduzione a: Scienze informatiche e biologiche 333
A transformation strategy for verifying logic programs on infinite lists 328
Alla ricerca della verità oltre la verità scientifica 327
Relational verification through horn clause transformation 325
Predicate Pairing with Abstraction for Relational Verification 323
null 321
Special Issue on the Italian Conference on Computational Logic: CILC 2009 318
Verification of imperative programs through transformation of constraint logic programs 315
Software model checking by program specialization 312
Horn clause transformation for program verification 309
Sull'equivalenza di domande positive e negative con risorse computazionali limitate 305
null 294
Predicate Pairing for program verification 278
VeriMAP: A tool for Verifying Programs through Transformation. 66
Verifying programs via iterated specialization 46
Specialization with Constrained Generalization for Software Model Checking 37
null 3
Totale 32.457
Salva come PNG Salva come JPEG
Categoria #
all - tutte 62.021
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 62.021
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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.565 144 93 297 117 123 153 394 347 331 325 90 151
2026/202745 45 0 0 0 0 0 0 0 0 0 0 0
Totale 32.457