IRIS
PROIETTI, MAURIZIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 887
EU - Europa 586
AS - Asia 447
SA - Sud America 44
AF - Africa 2
Continente sconosciuto - Info sul continente non disponibili 1
OC - Oceania 1
Totale 1.968
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 882
SG - Singapore 193
CN - Cina 152
IT - Italia 132
UA - Ucraina 121
IE - Irlanda 91
TR - Turchia 77
SE - Svezia 72
DE - Germania 54
GB - Regno Unito 42
BR - Brasile 40
FI - Finlandia 23
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
PL - Polonia 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
CO - Colombia 1
DK - Danimarca 1
EE - Estonia 1
GR - Grecia 1
HK - Hong Kong 1
IQ - Iraq 1
MA - Marocco 1
NL - Olanda 1
PA - Panama 1
PK - Pakistan 1
PT - Portogallo 1
SK - Slovacchia (Repubblica Slovacca) 1
UZ - Uzbekistan 1
VE - Venezuela 1
ZA - Sudafrica 1
Totale 1.968
Salva come PNG Salva come JPEG
Città #
Singapore 145
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
Charlotte 3
Fara Gera D'adda 3
Isernia 3
L'aquila 3
Lanzhou 3
Monmouth Junction 3
San Francisco 3
Shanghai 3
Ancona 2
Atlanta 2
Baku 2
Brooklyn 2
Canino 2
Centrale 2
Duque de Caxias 2
Ealing 2
Fortaleza 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
Warsaw 2
Albano Laziale 1
Alcamo 1
Almenara 1
Araxá 1
Augusta 1
Bangalore 1
Basra 1
Belo Horizonte 1
Bergamo 1
Boituva 1
Bologna 1
Boston 1
Bragança Paulista 1
Bratislava 1
Brentonico 1
Campo Grande 1
Capão do Leão 1
Carúpano 1
Casablanca 1
Chengdu 1
Chicago 1
Chittagong 1
Colinas do Tocantins 1
Totale 1.228
Salva come PNG Salva come JPEG
Nome #
Verifying Controllability of Time-Aware Business Processes 131
Major adverse cardiovascular events in non-valvular atrial fibrillation with chronic obstructive pulmonary disease: the ARAPACIS study 119
Verification of time-aware business processes using constrained horn clauses 107
Automatic Proofs of Protocols via Program Transformation. 101
Specialization with constrained generalization for software model checking 96
Combining logic programs and monadic second order logics by program transformation 88
Using real relaxations during program specialization 78
Specialization with clause splitting for deriving deterministic constraint logic programs 74
Lemma generation for horn clause satisfiability: A preliminary study 71
Verification of sets of infinite state processes using program transformation 66
Removing unnecessary variables from Horn clause verification conditions 66
Automated strategies for specializing constraint logic programs 65
Semantics-based generation of verification conditions via program specialization 62
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach 62
Property-Based Test Case Generators for Free 61
Verifying Relational Program Properties by Transforming Constrained Horn Clauses 58
Proving properties of sorting programs: A case study in horn clause verification 57
null 50
Contract Strengthening through Constrained Horn Clause Verification 44
Transformational verification of quicksort 44
null 39
null 39
null 38
null 37
null 37
Predicate Pairing with Abstraction for Relational Verification 36
null 35
null 35
null 34
null 33
Multiple Query Satisfiability of Constrained Horn Clauses 31
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution) 31
null 29
null 28
Relational verification through horn clause transformation 24
null 23
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions 20
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates 9
Catamorphic Abstractions for Constrained Horn Clause Satisfiability 8
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses 2
Totale 2.068
Salva come PNG Salva come JPEG
Categoria #
all - tutte 9.917
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.917
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20203 0 0 0 0 0 0 0 0 0 0 0 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/2025484 20 142 111 14 6 10 11 40 29 28 56 17
Totale 2.068