PROIETTI, MAURIZIO
 Distribuzione geografica
Continente #
NA - Nord America 879
EU - Europa 583
AS - Asia 440
SA - Sud America 22
AF - Africa 2
Continente sconosciuto - Info sul continente non disponibili 1
OC - Oceania 1
Totale 1.928
Nazione #
US - Stati Uniti d'America 874
SG - Singapore 189
CN - Cina 152
IT - Italia 132
UA - Ucraina 121
IE - Irlanda 91
TR - Turchia 76
SE - Svezia 72
DE - Germania 54
GB - Regno Unito 40
FI - Finlandia 23
BR - Brasile 20
FR - Francia 18
RU - Federazione Russa 14
BE - Belgio 7
IN - India 7
IR - Iran 6
CA - Canada 4
VN - Vietnam 4
AR - Argentina 2
AZ - Azerbaigian 2
ES - Italia 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AE - Emirati Arabi Uniti 1
AT - Austria 1
AU - Australia 1
BD - Bangladesh 1
CH - Svizzera 1
DK - Danimarca 1
EE - Estonia 1
GR - Grecia 1
HK - Hong Kong 1
MA - Marocco 1
NL - Olanda 1
PA - Panama 1
PL - Polonia 1
PT - Portogallo 1
SK - Slovacchia (Repubblica Slovacca) 1
UZ - Uzbekistan 1
ZA - Sudafrica 1
Totale 1.928
Città #
Singapore 141
Jacksonville 135
Chandler 130
Dublin 84
Ann Arbor 64
Princeton 60
Izmir 49
Ashburn 43
Nanjing 42
Dearborn 33
Santa Clara 29
The Dalles 25
Nanchang 24
Cambridge 23
Munich 22
Beijing 20
Wilmington 19
Los Angeles 12
Southend 12
Pescara 11
Hangzhou 9
Norwalk 8
Washington 8
Brussels 7
Francavilla Al Mare 7
Jiaxing 7
Leawood 7
San Mateo 7
Woodbridge 7
Altamura 6
Civitanova Marche 6
Helsinki 6
Kunming 6
Seattle 6
Ardabil 5
Council Bluffs 5
Guangzhou 5
Hebei 5
New York 5
Shenyang 5
Zhengzhou 5
Boardman 4
Dong Ket 4
Milan 4
Moscow 4
Palombara Sabina 4
Changsha 3
Fara Gera D'adda 3
Isernia 3
L'aquila 3
Lanzhou 3
Monmouth Junction 3
San Francisco 3
Shanghai 3
Ancona 2
Baku 2
Canino 2
Centrale 2
Charlotte 2
Ealing 2
Lappeenranta 2
London 2
Madrid 2
Misterbianco 2
Morro D'oro 2
Ningbo 2
Orsogna 2
Ottawa 2
Rio de Janeiro 2
Romola 2
Shenzhen 2
Tianjin 2
Albano Laziale 1
Alcamo 1
Atlanta 1
Augusta 1
Bangalore 1
Belo Horizonte 1
Bergamo 1
Bologna 1
Boston 1
Bragança Paulista 1
Bratislava 1
Brentonico 1
Brooklyn 1
Casablanca 1
Chengdu 1
Chittagong 1
Copenhagen 1
Córdoba 1
Dubai 1
Estância 1
Fairfield 1
Feira de Santana 1
Fermo 1
Fortaleza 1
Fuzhou 1
Goianésia 1
Hefei 1
Hong Kong 1
Totale 1.218
Nome #
Verifying Controllability of Time-Aware Business Processes 129
Major adverse cardiovascular events in non-valvular atrial fibrillation with chronic obstructive pulmonary disease: the ARAPACIS study 117
Verification of time-aware business processes using constrained horn clauses 105
Automatic Proofs of Protocols via Program Transformation. 99
Specialization with constrained generalization for software model checking 96
Combining logic programs and monadic second order logics by program transformation 87
Using real relaxations during program specialization 77
Specialization with clause splitting for deriving deterministic constraint logic programs 74
Lemma generation for horn clause satisfiability: A preliminary study 69
Removing unnecessary variables from Horn clause verification conditions 66
Verification of sets of infinite state processes using program transformation 64
Automated strategies for specializing constraint logic programs 63
Semantics-based generation of verification conditions via program specialization 62
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach 61
Property-Based Test Case Generators for Free 59
Proving properties of sorting programs: A case study in horn clause verification 56
Verifying Relational Program Properties by Transforming Constrained Horn Clauses 53
null 50
Contract Strengthening through Constrained Horn Clause Verification 44
Transformational verification of quicksort 43
null 39
null 39
null 38
null 37
null 37
null 35
null 35
Predicate Pairing with Abstraction for Relational Verification 35
null 34
null 33
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution) 31
Multiple Query Satisfiability of Constrained Horn Clauses 30
null 29
null 28
null 23
Relational verification through horn clause transformation 21
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions 18
Catamorphic Abstractions for Constrained Horn Clause Satisfiability 7
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates 3
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses 2
Totale 2.028
Categoria #
all - tutte 9.776
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 9.776


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202034 0 0 0 0 0 0 0 0 0 0 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/2025444 20 142 111 14 6 10 11 40 29 28 33 0
Totale 2.028