IRIS
PETTOROSSI, ALBERTO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 25.898
EU - Europa 1.621
AS - Asia 1.088
SA - Sud America 128
AF - Africa 7
Continente sconosciuto - Info sul continente non disponibili 5
OC - Oceania 4
Totale 28.751
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 25.883
SG - Singapore 463
UA - Ucraina 390
CN - Cina 286
DE - Germania 283
IE - Irlanda 213
IT - Italia 178
HK - Hong Kong 157
SE - Svezia 151
RU - Federazione Russa 136
BR - Brasile 111
FI - Finlandia 101
GB - Regno Unito 78
KR - Corea 68
FR - Francia 44
VN - Vietnam 26
ID - Indonesia 24
IN - India 15
BE - Belgio 13
JP - Giappone 11
TR - Turchia 11
NL - Olanda 9
PL - Polonia 8
CA - Canada 6
CL - Cile 6
EC - Ecuador 5
UZ - Uzbekistan 5
DM - Dominica 4
ES - Italia 4
AT - Austria 3
EU - Europa 3
IL - Israele 3
MX - Messico 3
AU - Australia 2
BA - Bosnia-Erzegovina 2
CO - Colombia 2
DZ - Algeria 2
GE - Georgia 2
JO - Giordania 2
NZ - Nuova Zelanda 2
OM - Oman 2
PH - Filippine 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AL - Albania 1
AR - Argentina 1
AZ - Azerbaigian 1
BD - Bangladesh 1
BO - Bolivia 1
CH - Svizzera 1
CZ - Repubblica Ceca 1
DO - Repubblica Dominicana 1
IQ - Iraq 1
IR - Iran 1
KZ - Kazakistan 1
LB - Libano 1
LK - Sri Lanka 1
MA - Marocco 1
MD - Moldavia 1
NG - Nigeria 1
NI - Nicaragua 1
NO - Norvegia 1
NP - Nepal 1
PE - Perù 1
PK - Pakistan 1
PY - Paraguay 1
RO - Romania 1
SI - Slovenia 1
SK - Slovacchia (Repubblica Slovacca) 1
SN - Senegal 1
SY - Repubblica araba siriana 1
TH - Thailandia 1
TN - Tunisia 1
XK - ???statistics.table.value.countryCode.XK??? 1
ZA - Sudafrica 1
Totale 28.751
Salva come PNG Salva come JPEG
Città #
Woodbridge 8.331
Houston 6.716
Wilmington 6.701
Fairfield 629
Ann Arbor 513
Jacksonville 345
Chandler 344
Singapore 332
Ashburn 311
Seattle 253
Dublin 213
Cambridge 211
Dearborn 201
Medford 172
Hong Kong 157
Beijing 148
Lawrence 80
Santa Clara 76
Zhengzhou 52
Rome 51
New York 45
Mülheim 44
Council Bluffs 37
Moscow 35
Menlo Park 33
San Diego 27
University Park 27
Redwood City 25
Jakarta 24
Dong Ket 23
Helsinki 22
Milan 17
Mountain View 17
San Mateo 15
Falls Church 14
Boardman 13
Brussels 13
Kunming 13
Napoli 13
Phoenix 13
Verona 12
Centrale 11
Urbana 10
Falkenstein 9
Palermo 9
Shanghai 9
Indiana 8
Istanbul 8
Nola 8
Donetsk 7
Kraków 7
Norwalk 7
Guangzhou 6
Hefei 6
Karlsruhe 6
London 6
Nanjing 6
Saint Petersburg 6
São Paulo 6
Atella 5
Hangzhou 5
Hanover 5
Tashkent 5
Toronto 5
Auburn Hills 4
Belo Horizonte 4
Changsha 4
Jinan 4
Los Angeles 4
Potenza 4
Pune 4
Roseau 4
San Francisco 4
The Dalles 4
Chengdu 3
Curitiba 3
Groningen 3
Madrid 3
Nanchang 3
Nürnberg 3
Rio de Janeiro 3
Shenyang 3
Simi Valley 3
Uberlândia 3
Amman 2
Anápolis 2
Auckland 2
Brasília 2
Campo Grande 2
Charqueadas 2
Chongqing 2
City of Westminster 2
Frosinone 2
Guayaquil 2
Hanoi 2
Lajeado 2
Ludwigshafen 2
L’Aquila 2
Maidstone 2
Maratea 2
Totale 26.580
Salva come PNG Salva come JPEG
Nome #
A rule-based verification strategy for array manipulating programs 506
Automatic correctness proofs for logic program transformations 466
Developing correct and efficient logic programs by transformation 453
Program specialization for verifying infinite state systems: an experimental evaluation 443
Derivation of efficient logic programs by specialization and reduction of nondeterminism 433
Reducing nondeterminism while specializing logic programs 423
Automata theory and formal languages 419
Observers, experiments, and agents: a comprehensive approach to parallelism 416
A folding algorithm for eliminating existential variables from constraint logic programs 413
Improving reachability analysis of infinite state systems by specialization 413
Proving properties of constraint logic programs by eliminating existential variables 412
Future directions in program transformation 410
Generalization strategies for the verification of infinite state systems 410
Transformational verification of parameterized protocols using array formulas 408
Constraint-based correctness proofs for logic program transformations 407
Automated strategies for specializing constraint logic programs 405
Rules and strategies for contextual specialization of constraint logic programs 405
Proving properties of constraint logic programs by eliminating existential variables 404
Program verification via iterated specialization 403
A theory of totally correct logic program transformations 398
Techniques for searching, parsing, and matching 393
Perfect model checking via unfold/fold transformations 390
Enhancing partial deduction via unfold/fold rules 389
Removing unnecessary variables from Horn clause verification conditions 387
Synthesis of eureka predicates for developing logic programs 386
Transformations of logic programs with goals as arguments 385
A folding rule for eliminating existential variables from constraint logic programs 385
Synthesizing concurrent programs using answer set programming 384
Generalization strategies for the verification of infinite state systems 383
Controlling polyvariance for specialization-based verification 383
Totally correct logic program transformations via well-founded annotations 382
Elements of concurrent programming (Third edition) 379
Program transformation for development, verification, and synthesis of programs 378
Program transformation: theoretical foundations and basic techniques. Part 2 376
Transformations of Logic Programs on Infinite Lists 376
Verifying controllability of time-aware business processes 374
Elements of computability, decidability, and complexity (Third edition) 372
Semantics of programming languages 371
null 371
Elements of computability, decidability, and complexity. Fifth Edition 371
Program verification using constraint handling rules and array constraint generalizations 370
Program transformation for program verification 368
Semantics-based generation of verification conditions by program specialization 363
Scienze informatiche e biologiche: epistemologia e ontologia 359
Verifying Array Programs by Transforming Verification Conditions 355
Semantics of programming languages. Third Edition 354
Transformation rules for locally stratified constraint logic programs 353
Automata Theory and Formal Languages (Third Edition) 350
Proving correctness of imperative programs by linearizing constrained Horn clauses 347
The transformational approach to program development 341
Proving correctness of imperative programs by linearizing constrained horn clauses 340
Verification of time-aware business processes using constrained Horn clauses 340
Deciding full branching time logic by program transformation 337
Automata theory and formal languages 333
Automata theory and formal languages (Second edition) 324
Program transformation: Theoretical foundations and basic techniques. Part 1 322
null 321
Higher-order and symbolic computation: editorial 319
Semantics of Programming Languages (Second Edition) 319
First order predicate calculus and logic programming (Second edition) 315
Improving reachability analysis of infinite state systems by specialization 313
Synthesizing concurrent programs using answer set programming 313
Introduzione a: Scienze informatiche e biologiche 307
Elements of computability, decidability, and complexity 305
A transformation strategy for verifying logic programs on infinite lists 303
Elements of concurrent programming (Second edition) 303
First order predicate calculus and logic programming. Fourth Edition 301
Special Issue on the Italian Conference on Computational Logic: CILC 2009 300
Alla ricerca della verità oltre la verità scientifica 299
Relational verification through horn clause transformation 299
Predicate Pairing with Abstraction for Relational Verification 297
Semantics-based generation of verification conditions via program specialization 295
null 294
Techniques for searching, parsing, and matching (Second edition) 293
Software model checking by program specialization 291
Verification of imperative programs through transformation of constraint logic programs 291
Techniques for searching, parsing, and matching (fourth edition) 287
Sull'equivalenza di domande positive e negative con risorse computazionali limitate 282
Horn clause transformation for program verification 271
Predicate Pairing for program verification 252
VeriMAP: A tool for Verifying Programs through Transformation. 32
Verifying programs via iterated specialization 22
Specialization with Constrained Generalization for Software Model Checking 16
null 3
Totale 28.861
Salva come PNG Salva come JPEG
Categoria #
all - tutte 49.709
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 49.709
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20202.226 0 0 0 0 0 0 0 0 683 635 452 456
2020/20214.174 561 484 447 491 429 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/20251.241 58 359 159 101 22 128 234 134 46 0 0 0
Totale 28.861