IRIS
PROIETTI, MAURIZIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 719
EU - Europa 547
AS - Asia 254
Continente sconosciuto - Info sul continente non disponibili 1
OC - Oceania 1
Totale 1.522
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 716
CN - Cina 146
IT - Italia 125
UA - Ucraina 121
IE - Irlanda 91
TR - Turchia 76
SE - Svezia 72
GB - Regno Unito 39
DE - Germania 35
FI - Finlandia 20
FR - Francia 17
RU - Federazione Russa 14
SG - Singapore 13
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.522
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
Los Angeles 12
Southend 12
Hangzhou 9
Pescara 9
Norwalk 8
Washington 8
Francavilla Al Mare 7
Jiaxing 7
Leawood 7
San Mateo 7
Singapore 7
Woodbridge 7
Altamura 6
Brussels 6
Civitanova Marche 6
Kunming 6
Ardabil 5
Hebei 5
Shenyang 5
Zhengzhou 5
Boardman 4
Dong Ket 4
Guangzhou 4
Helsinki 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
Munich 3
Ancona 2
Canino 2
Centrale 2
Ealing 2
London 2
Madrid 2
Misterbianco 2
Morro D'oro 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
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 976
Salva come PNG Salva come JPEG
Nome #
Verifying Controllability of Time-Aware Business Processes 107
Major adverse cardiovascular events in non-valvular atrial fibrillation with chronic obstructive pulmonary disease: the ARAPACIS study 106
Verification of time-aware business processes using constrained horn clauses 97
Specialization with constrained generalization for software model checking 80
Automatic Proofs of Protocols via Program Transformation. 71
Combining logic programs and monadic second order logics by program transformation 68
Using real relaxations during program specialization 60
Verification of sets of infinite state processes using program transformation 58
Lemma generation for horn clause satisfiability: A preliminary study 56
Removing unnecessary variables from Horn clause verification conditions 55
Specialization with clause splitting for deriving deterministic constraint logic programs 54
Semantics-based generation of verification conditions via program specialization 51
null 50
Automated strategies for specializing constraint logic programs 48
Property-Based Test Case Generators for Free 48
Proving properties of sorting programs: A case study in horn clause verification 45
Verifying Relational Program Properties by Transforming Constrained Horn Clauses 40
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach 40
null 39
null 39
null 38
null 37
null 35
null 35
null 34
null 29
null 28
Transformational verification of quicksort 27
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates 25
null 23
Predicate Pairing with Abstraction for Relational Verification 21
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses 16
Contract Strengthening through Constrained Horn Clause Verification 14
Multiple Query Satisfiability of Constrained Horn Clauses 12
Relational verification through horn clause transformation 12
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution) 9
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions 3
Totale 1.610
Salva come PNG Salva come JPEG
Categoria #
all - tutte 6.741
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 6.741
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020215 0 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/2024183 15 14 20 7 22 50 29 6 0 7 3 10
2024/202526 20 6 0 0 0 0 0 0 0 0 0 0
Totale 1.610