IRIS
PETTOROSSI, ALBERTO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 25.571
EU - Europa 1.419
AS - Asia 412
SA - Sud America 10
Continente sconosciuto - Info sul continente non disponibili 4
OC - Oceania 3
AF - Africa 1
Totale 27.420
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 25.560
UA - Ucraina 388
CN - Cina 270
DE - Germania 265
IE - Irlanda 213
SE - Svezia 150
IT - Italia 148
FI - Finlandia 80
GB - Regno Unito 76
KR - Corea 68
FR - Francia 41
RU - Federazione Russa 26
VN - Vietnam 26
IN - India 15
BE - Belgio 13
JP - Giappone 11
TR - Turchia 9
PL - Polonia 8
SG - Singapore 7
CA - Canada 6
CL - Cile 6
DM - Dominica 4
NL - Olanda 4
BR - Brasile 3
EU - Europa 3
AU - Australia 2
IL - Israele 2
A2 - ???statistics.table.value.countryCode.A2??? 1
BA - Bosnia-Erzegovina 1
CH - Svizzera 1
CO - Colombia 1
ES - Italia 1
ID - Indonesia 1
IR - Iran 1
KZ - Kazakistan 1
MD - Moldavia 1
MX - Messico 1
NG - Nigeria 1
NO - Norvegia 1
NZ - Nuova Zelanda 1
PH - Filippine 1
RO - Romania 1
SK - Slovacchia (Repubblica Slovacca) 1
Totale 27.420
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
Ashburn 290
Seattle 252
Dublin 213
Cambridge 211
Dearborn 201
Medford 172
Beijing 146
Lawrence 80
Zhengzhou 52
Rome 46
New York 45
Mülheim 44
Menlo Park 33
San Diego 27
University Park 27
Redwood City 25
Dong Ket 23
Mountain View 17
Milan 16
San Mateo 15
Falls Church 14
Boardman 13
Brussels 13
Kunming 13
Napoli 13
Phoenix 13
Verona 12
Centrale 11
Urbana 10
Indiana 8
Shanghai 8
Donetsk 7
Istanbul 7
Kraków 7
Norwalk 7
Hefei 6
Karlsruhe 6
London 6
Nanjing 6
Saint Petersburg 6
Atella 5
Hangzhou 5
Hanover 5
Toronto 5
Auburn Hills 4
Jinan 4
Potenza 4
Pune 4
Roseau 4
San Francisco 4
Changsha 3
Chengdu 3
Groningen 3
Guangzhou 3
Nanchang 3
Nürnberg 3
Shenyang 3
Simi Valley 3
City of Westminster 2
Frosinone 2
Hanoi 2
Helsinki 2
Los Angeles 2
Ludwigshafen 2
Maratea 2
Quzhou 2
Randolph 2
Roseto Degli Abruzzi 2
Singapore 2
Sydney 2
São Paulo 2
Washington 2
Wenzhou 2
Almaty 1
Andover 1
Anyang 1
Arad 1
Ardabil 1
Auckland 1
Austin 1
Aversa 1
Bangalore 1
Barcelona 1
Bhubaneswar 1
Boydton 1
Bratislava 1
Carbonia 1
Changshahsien 1
Chisinau 1
Chongqing 1
Cupertino 1
Dietikon 1
Dronten 1
Totale 25.818
Salva come PNG Salva come JPEG
Nome #
A rule-based verification strategy for array manipulating programs 487
Automatic correctness proofs for logic program transformations 447
Developing correct and efficient logic programs by transformation 434
Program specialization for verifying infinite state systems: an experimental evaluation 417
Reducing nondeterminism while specializing logic programs 405
Automata theory and formal languages 403
Future directions in program transformation 398
Proving properties of constraint logic programs by eliminating existential variables 398
Derivation of efficient logic programs by specialization and reduction of nondeterminism 397
Automated strategies for specializing constraint logic programs 395
Transformational verification of parameterized protocols using array formulas 395
Observers, experiments, and agents: a comprehensive approach to parallelism 394
Rules and strategies for contextual specialization of constraint logic programs 393
A folding algorithm for eliminating existential variables from constraint logic programs 392
Constraint-based correctness proofs for logic program transformations 391
Improving reachability analysis of infinite state systems by specialization 389
Generalization strategies for the verification of infinite state systems 388
Perfect model checking via unfold/fold transformations 383
Proving properties of constraint logic programs by eliminating existential variables 379
A theory of totally correct logic program transformations 379
Enhancing partial deduction via unfold/fold rules 378
Synthesis of eureka predicates for developing logic programs 376
Transformations of logic programs with goals as arguments 374
Program verification via iterated specialization 374
Generalization strategies for the verification of infinite state systems 373
Controlling polyvariance for specialization-based verification 373
Removing unnecessary variables from Horn clause verification conditions 373
null 371
A folding rule for eliminating existential variables from constraint logic programs 368
Techniques for searching, parsing, and matching 367
Totally correct logic program transformations via well-founded annotations 364
Transformations of Logic Programs on Infinite Lists 363
Synthesizing concurrent programs using answer set programming 362
Program transformation: theoretical foundations and basic techniques. Part 2 355
Verifying controllability of time-aware business processes 354
Elements of concurrent programming (Third edition) 353
Program transformation for development, verification, and synthesis of programs 353
Semantics of programming languages 351
Scienze informatiche e biologiche: epistemologia e ontologia 351
Semantics-based generation of verification conditions by program specialization 351
Program transformation for program verification 350
Elements of computability, decidability, and complexity (Third edition) 349
Semantics of programming languages. Third Edition 343
Program verification using constraint handling rules and array constraint generalizations 342
Elements of computability, decidability, and complexity. Fifth Edition 337
Automata Theory and Formal Languages (Third Edition) 333
Verifying Array Programs by Transforming Verification Conditions 332
Proving correctness of imperative programs by linearizing constrained Horn clauses 332
Transformation rules for locally stratified constraint logic programs 331
Proving correctness of imperative programs by linearizing constrained horn clauses 331
The transformational approach to program development 330
Verification of time-aware business processes using constrained Horn clauses 324
null 321
Automata theory and formal languages 314
Automata theory and formal languages (Second edition) 312
Deciding full branching time logic by program transformation 311
Semantics of Programming Languages (Second Edition) 310
Program transformation: Theoretical foundations and basic techniques. Part 1 308
First order predicate calculus and logic programming (Second edition) 306
Higher-order and symbolic computation: editorial 304
Improving reachability analysis of infinite state systems by specialization 301
Synthesizing concurrent programs using answer set programming 299
Introduzione a: Scienze informatiche e biologiche 298
A transformation strategy for verifying logic programs on infinite lists 296
null 294
Elements of concurrent programming (Second edition) 288
Elements of computability, decidability, and complexity 288
Relational verification through horn clause transformation 288
Special Issue on the Italian Conference on Computational Logic: CILC 2009 287
Techniques for searching, parsing, and matching (Second edition) 286
Software model checking by program specialization 282
Semantics-based generation of verification conditions via program specialization 282
First order predicate calculus and logic programming. Fourth Edition 282
Alla ricerca della verità oltre la verità scientifica 281
Verification of imperative programs through transformation of constraint logic programs 279
Techniques for searching, parsing, and matching (fourth edition) 278
Sull'equivalenza di domande positive e negative con risorse computazionali limitate 274
Predicate Pairing with Abstraction for Relational Verification 262
Horn clause transformation for program verification 260
Predicate Pairing for program verification 239
VeriMAP: A tool for Verifying Programs through Transformation. 8
Specialization with Constrained Generalization for Software Model Checking 4
Verifying programs via iterated specialization 3
null 3
Totale 27.530
Salva come PNG Salva come JPEG
Categoria #
all - tutte 41.817
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 41.817
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/20191.490 0 0 0 0 0 0 0 0 0 0 731 759
2019/20207.672 804 586 489 760 672 820 626 689 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/2024202 39 13 22 3 32 56 6 26 0 5 0 0
Totale 27.530