IRIS
PROIETTI, MAURIZIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 713
EU - Europa 528
AS - Asia 241
Continente sconosciuto - Info sul continente non disponibili 1
Totale 1.483
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 710
CN - Cina 146
IT - Italia 123
UA - Ucraina 121
IE - Irlanda 91
TR - Turchia 76
SE - Svezia 72
GB - Regno Unito 39
DE - Germania 34
FI - Finlandia 19
FR - Francia 17
IN - India 7
BE - Belgio 6
IR - Iran 6
VN - Vietnam 4
CA - Canada 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AE - Emirati Arabi Uniti 1
AT - Austria 1
AZ - Azerbaigian 1
DK - Danimarca 1
GR - Grecia 1
NL - Olanda 1
PA - Panama 1
PT - Portogallo 1
RU - Federazione Russa 1
Totale 1.483
Salva come PNG Salva come JPEG
Città #
Jacksonville 135
Chandler 130
Dublin 84
Ann Arbor 64
Princeton 60
Izmir 49
Ashburn 42
Nanjing 42
Dearborn 33
Nanchang 24
Cambridge 23
Beijing 20
Wilmington 19
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
Los Angeles 6
Ardabil 5
Hebei 5
Shenyang 5
Zhengzhou 5
Boardman 4
Dong Ket 4
Guangzhou 4
Helsinki 4
Palombara Sabina 4
Seattle 4
Changsha 3
Fara Gera D'adda 3
L'aquila 3
Lanzhou 3
Monmouth Junction 3
Ancona 2
Canino 2
Centrale 2
Ealing 2
London 2
Misterbianco 2
Morro D'oro 2
Munich 2
Ningbo 2
Orsogna 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
Isernia 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
Toronto 1
Vienna 1
Xian 1
Totale 952
Salva come PNG Salva come JPEG
Nome #
Verifying Controllability of Time-Aware Business Processes 106
Major adverse cardiovascular events in non-valvular atrial fibrillation with chronic obstructive pulmonary disease: the ARAPACIS study 104
Verification of time-aware business processes using constrained horn clauses 96
Specialization with constrained generalization for software model checking 78
Automatic Proofs of Protocols via Program Transformation. 70
Combining logic programs and monadic second order logics by program transformation 67
Using real relaxations during program specialization 60
Verification of sets of infinite state processes using program transformation 56
Removing unnecessary variables from Horn clause verification conditions 55
Lemma generation for horn clause satisfiability: A preliminary study 54
Specialization with clause splitting for deriving deterministic constraint logic programs 52
null 50
Semantics-based generation of verification conditions via program specialization 50
Property-Based Test Case Generators for Free 47
Automated strategies for specializing constraint logic programs 46
Proving properties of sorting programs: A case study in horn clause verification 44
null 39
null 39
null 38
Verifying Relational Program Properties by Transforming Constrained Horn Clauses 38
null 37
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach 37
null 35
null 35
null 34
null 29
null 28
Transformational verification of quicksort 26
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates 24
null 23
Predicate Pairing with Abstraction for Relational Verification 20
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses 14
Contract Strengthening through Constrained Horn Clause Verification 13
Relational verification through horn clause transformation 12
Multiple Query Satisfiability of Constrained Horn Clauses 9
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution) 4
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions 2
Totale 1.571
Salva come PNG Salva come JPEG
Categoria #
all - tutte 5.779
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 5.779
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201994 0 0 0 0 0 0 0 0 0 4 26 64
2019/2020311 96 15 11 3 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/2024170 15 14 20 7 22 50 29 6 0 7 0 0
Totale 1.571