IRIS
PROIETTI, MAURIZIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 825
EU - Europa 569
AS - Asia 389
Continente sconosciuto - Info sul continente non disponibili 1
OC - Oceania 1
Totale 1.785
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 822
CN - Cina 147
SG - Singapore 147
IT - Italia 127
UA - Ucraina 121
IE - Irlanda 91
TR - Turchia 76
SE - Svezia 72
DE - Germania 54
GB - Regno Unito 39
FI - Finlandia 21
FR - Francia 17
RU - Federazione Russa 14
IN - India 7
BE - Belgio 6
IR - Iran 6
VN - Vietnam 4
CA - Canada 2
ES - Italia 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AE - Emirati Arabi Uniti 1
AT - Austria 1
AU - Australia 1
AZ - Azerbaigian 1
DK - Danimarca 1
GR - Grecia 1
NL - Olanda 1
PA - Panama 1
PT - Portogallo 1
Totale 1.785
Salva come PNG Salva come JPEG
Città #
Jacksonville 135
Chandler 130
Singapore 128
Dublin 84
Ann Arbor 64
Princeton 60
Izmir 49
Ashburn 42
Nanjing 42
Dearborn 33
Santa Clara 28
Nanchang 24
Cambridge 23
Munich 22
Beijing 20
Wilmington 19
Los Angeles 12
Southend 12
Hangzhou 9
Pescara 9
Norwalk 8
Washington 8
Francavilla Al Mare 7
Jiaxing 7
Leawood 7
San Mateo 7
Woodbridge 7
Altamura 6
Brussels 6
Civitanova Marche 6
Kunming 6
Ardabil 5
Guangzhou 5
Hebei 5
Helsinki 5
Shenyang 5
Zhengzhou 5
Boardman 4
Dong Ket 4
Moscow 4
Palombara Sabina 4
Seattle 4
Changsha 3
Fara Gera D'adda 3
Isernia 3
L'aquila 3
Lanzhou 3
Monmouth Junction 3
Ancona 2
Canino 2
Centrale 2
Ealing 2
London 2
Madrid 2
Misterbianco 2
Morro D'oro 2
Ningbo 2
Orsogna 2
Romola 2
Shenzhen 2
Tianjin 2
Albano Laziale 1
Alcamo 1
Augusta 1
Baku 1
Bangalore 1
Bergamo 1
Bologna 1
Brentonico 1
Chengdu 1
Copenhagen 1
Dubai 1
Fairfield 1
Fermo 1
Fuzhou 1
Hefei 1
Lappeenranta 1
Lisbon 1
L’Aquila 1
Milan 1
Montreal 1
Mumbai 1
Panama City 1
Paris 1
Pune 1
Quzhou 1
Rome 1
San Giovanni Teatino 1
Sassari 1
Shanghai 1
Surgut 1
Sydney 1
Toronto 1
Vienna 1
Xian 1
Totale 1.148
Salva come PNG Salva come JPEG
Nome #
Verifying Controllability of Time-Aware Business Processes 123
Major adverse cardiovascular events in non-valvular atrial fibrillation with chronic obstructive pulmonary disease: the ARAPACIS study 110
Verification of time-aware business processes using constrained horn clauses 98
Automatic Proofs of Protocols via Program Transformation. 92
Specialization with constrained generalization for software model checking 90
Combining logic programs and monadic second order logics by program transformation 81
Using real relaxations during program specialization 73
Specialization with clause splitting for deriving deterministic constraint logic programs 69
Removing unnecessary variables from Horn clause verification conditions 62
Lemma generation for horn clause satisfiability: A preliminary study 61
Verification of sets of infinite state processes using program transformation 60
Automated strategies for specializing constraint logic programs 57
Semantics-based generation of verification conditions via program specialization 56
Property-Based Test Case Generators for Free 54
Proving properties of sorting programs: A case study in horn clause verification 51
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach 51
null 50
Verifying Relational Program Properties by Transforming Constrained Horn Clauses 49
Transformational verification of quicksort 40
null 39
null 39
Contract Strengthening through Constrained Horn Clause Verification 38
null 38
null 37
null 35
null 35
null 34
Predicate Pairing with Abstraction for Relational Verification 32
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses 31
null 29
null 28
Multiple Query Satisfiability of Constrained Horn Clauses 27
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution) 26
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates 26
null 23
Relational verification through horn clause transformation 17
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions 12
Totale 1.873
Salva come PNG Salva come JPEG
Categoria #
all - tutte 8.018
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 8.018
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020186 0 0 0 0 35 26 47 24 12 8 31 3
2020/2021199 19 0 30 3 23 40 8 3 11 13 36 13
2021/2022149 5 4 6 7 8 9 5 12 6 23 22 42
2022/2023359 49 47 20 46 20 62 21 22 50 2 13 7
2023/2024183 15 14 20 7 22 50 29 6 0 7 3 10
2024/2025289 20 142 111 14 2 0 0 0 0 0 0 0
Totale 1.873