IRIS
PETTOROSSI, ALBERTO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 26.308
AS - Asia 2.267
EU - Europa 1.696
SA - Sud America 338
AF - Africa 22
OC - Oceania 7
Continente sconosciuto - Info sul continente non disponibili 5
Totale 30.643
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 26.267
SG - Singapore 1.420
UA - Ucraina 395
CN - Cina 379
DE - Germania 296
BR - Brasile 291
IE - Irlanda 213
HK - Hong Kong 196
IT - Italia 192
SE - Svezia 154
RU - Federazione Russa 140
FI - Finlandia 102
GB - Regno Unito 91
VN - Vietnam 69
KR - Corea 68
FR - Francia 46
ID - Indonesia 29
IN - India 26
CA - Canada 17
JP - Giappone 17
AR - Argentina 16
PL - Polonia 15
TR - Turchia 15
BE - Belgio 13
MX - Messico 13
NL - Olanda 12
ES - Italia 9
CL - Cile 8
EC - Ecuador 7
IQ - Iraq 7
UZ - Uzbekistan 7
BD - Bangladesh 6
ZA - Sudafrica 6
AT - Austria 4
AU - Australia 4
DM - Dominica 4
IL - Israele 4
PE - Perù 4
CO - Colombia 3
DZ - Algeria 3
EU - Europa 3
MA - Marocco 3
NG - Nigeria 3
PY - Paraguay 3
SA - Arabia Saudita 3
UY - Uruguay 3
AL - Albania 2
BA - Bosnia-Erzegovina 2
DO - Repubblica Dominicana 2
GE - Georgia 2
JO - Giordania 2
LB - Libano 2
MY - Malesia 2
NI - Nicaragua 2
NZ - Nuova Zelanda 2
OM - Oman 2
PH - Filippine 2
RO - Romania 2
SN - Senegal 2
TN - Tunisia 2
VE - Venezuela 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AE - Emirati Arabi Uniti 1
AZ - Azerbaigian 1
BO - Bolivia 1
CH - Svizzera 1
CI - Costa d'Avorio 1
CZ - Repubblica Ceca 1
EG - Egitto 1
HN - Honduras 1
IR - Iran 1
JM - Giamaica 1
KE - Kenya 1
KZ - Kazakistan 1
LK - Sri Lanka 1
LT - Lituania 1
MD - Moldavia 1
NO - Norvegia 1
NP - Nepal 1
PA - Panama 1
PK - Pakistan 1
RS - Serbia 1
SI - Slovenia 1
SK - Slovacchia (Repubblica Slovacca) 1
SY - Repubblica araba siriana 1
TH - Thailandia 1
TV - Tuvalu 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 30.643
Salva come PNG Salva come JPEG
Città #
Woodbridge 8.331
Houston 6.717
Wilmington 6.703
Fairfield 629
Ann Arbor 513
Singapore 427
Ashburn 353
Jacksonville 346
Chandler 344
Seattle 255
Dublin 213
Cambridge 211
Dearborn 201
Hong Kong 196
Beijing 176
Medford 172
Lawrence 80
Santa Clara 79
The Dalles 75
Council Bluffs 64
Rome 54
Zhengzhou 54
New York 52
Los Angeles 46
Mülheim 44
Buffalo 43
Moscow 35
Menlo Park 33
San Diego 27
University Park 27
Jakarta 25
Redwood City 25
Dong Ket 23
Helsinki 22
São Paulo 19
Milan 17
Mountain View 17
Dallas 16
Ho Chi Minh City 16
Hanoi 15
Phoenix 15
San Mateo 15
Falls Church 14
Boardman 13
Brussels 13
Kunming 13
Napoli 13
Chicago 12
Columbus 12
Verona 12
Centrale 11
Nuremberg 11
Toronto 10
Urbana 10
Falkenstein 9
Istanbul 9
Palermo 9
Shanghai 9
Belo Horizonte 8
Indiana 8
Nola 8
San Francisco 8
Donetsk 7
Kraków 7
London 7
Norwalk 7
Warsaw 7
Curitiba 6
Guangzhou 6
Hefei 6
Karlsruhe 6
Nanjing 6
Redondo Beach 6
Saint Petersburg 6
Sorocaba 6
Tashkent 6
Tokyo 6
Atella 5
Changsha 5
Hangzhou 5
Hanover 5
Manchester 5
Pune 5
Ribeirão Preto 5
Rio de Janeiro 5
Auburn Hills 4
Baghdad 4
Brasília 4
Chengdu 4
Chennai 4
Da Nang 4
Jinan 4
Johannesburg 4
Mexico City 4
Potenza 4
Roseau 4
San Jose 4
Stockholm 4
Sydney 4
Uberlândia 4
Totale 27.132
Salva come PNG Salva come JPEG
Nome #
Verifying Array Programs by Transforming Verification Conditions 559
A rule-based verification strategy for array manipulating programs 520
Techniques for searching, parsing, and matching (Second edition) 509
Techniques for searching, parsing, and matching (fourth edition) 499
Automatic correctness proofs for logic program transformations 490
Developing correct and efficient logic programs by transformation 468
Program specialization for verifying infinite state systems: an experimental evaluation 464
Derivation of efficient logic programs by specialization and reduction of nondeterminism 454
A folding algorithm for eliminating existential variables from constraint logic programs 443
Reducing nondeterminism while specializing logic programs 441
Automata theory and formal languages 441
Transformational verification of parameterized protocols using array formulas 437
Generalization strategies for the verification of infinite state systems 436
Observers, experiments, and agents: a comprehensive approach to parallelism 436
Improving reachability analysis of infinite state systems by specialization 435
Future directions in program transformation 430
Constraint-based correctness proofs for logic program transformations 425
Rules and strategies for contextual specialization of constraint logic programs 422
Proving properties of constraint logic programs by eliminating existential variables 421
Automated strategies for specializing constraint logic programs 418
Proving properties of constraint logic programs by eliminating existential variables 418
A theory of totally correct logic program transformations 418
Program verification via iterated specialization 415
Techniques for searching, parsing, and matching 408
Enhancing partial deduction via unfold/fold rules 406
Synthesizing concurrent programs using answer set programming 406
Perfect model checking via unfold/fold transformations 404
A folding rule for eliminating existential variables from constraint logic programs 403
Synthesis of eureka predicates for developing logic programs 401
Totally correct logic program transformations via well-founded annotations 401
Generalization strategies for the verification of infinite state systems 400
Controlling polyvariance for specialization-based verification 400
Removing unnecessary variables from Horn clause verification conditions 397
Elements of concurrent programming (Third edition) 395
Transformations of Logic Programs on Infinite Lists 393
Transformations of logic programs with goals as arguments 391
Elements of computability, decidability, and complexity (Third edition) 391
Semantics of programming languages 391
Elements of computability, decidability, and complexity. Fifth Edition 390
Program transformation for development, verification, and synthesis of programs 389
Program verification using constraint handling rules and array constraint generalizations 389
Verifying controllability of time-aware business processes 389
Program transformation: theoretical foundations and basic techniques. Part 2 387
Automata Theory and Formal Languages (Third Edition) 386
Program transformation for program verification 381
Scienze informatiche e biologiche: epistemologia e ontologia 378
Semantics-based generation of verification conditions by program specialization 376
null 371
Semantics of programming languages. Third Edition 369
Transformation rules for locally stratified constraint logic programs 367
Proving correctness of imperative programs by linearizing constrained Horn clauses 363
Verification of time-aware business processes using constrained Horn clauses 359
Automata theory and formal languages 356
The transformational approach to program development 354
Deciding full branching time logic by program transformation 351
Proving correctness of imperative programs by linearizing constrained horn clauses 349
Automata theory and formal languages (Second edition) 346
Improving reachability analysis of infinite state systems by specialization 345
Semantics of Programming Languages (Second Edition) 331
First order predicate calculus and logic programming (Second edition) 330
Higher-order and symbolic computation: editorial 328
Elements of computability, decidability, and complexity 328
Synthesizing concurrent programs using answer set programming 327
Program transformation: Theoretical foundations and basic techniques. Part 1 326
First order predicate calculus and logic programming. Fourth Edition 324
null 321
Semantics-based generation of verification conditions via program specialization 318
Elements of concurrent programming (Second edition) 317
A transformation strategy for verifying logic programs on infinite lists 316
Introduzione a: Scienze informatiche e biologiche 316
Alla ricerca della verità oltre la verità scientifica 313
Relational verification through horn clause transformation 311
Special Issue on the Italian Conference on Computational Logic: CILC 2009 310
Predicate Pairing with Abstraction for Relational Verification 310
Verification of imperative programs through transformation of constraint logic programs 303
Software model checking by program specialization 301
null 294
Sull'equivalenza di domande positive e negative con risorse computazionali limitate 289
Horn clause transformation for program verification 284
Predicate Pairing for program verification 264
VeriMAP: A tool for Verifying Programs through Transformation. 50
Verifying programs via iterated specialization 33
Specialization with Constrained Generalization for Software Model Checking 25
null 3
Totale 30.753
Salva come PNG Salva come JPEG
Categoria #
all - tutte 57.077
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 57.077
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.762 0 0 0 0 0 469 471 407 91 82 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/2026906 144 93 297 117 123 132 0 0 0 0 0 0
Totale 30.753