IRIS
PROIETTI, MAURIZIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.106
AS - Asia 678
EU - Europa 663
SA - Sud America 81
AF - Africa 9
Continente sconosciuto - Info sul continente non disponibili 2
OC - Oceania 1
Totale 2.540
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.090
SG - Singapore 300
CN - Cina 216
IT - Italia 141
UA - Ucraina 122
IE - Irlanda 91
TR - Turchia 78
DE - Germania 73
SE - Svezia 73
BR - Brasile 68
GB - Regno Unito 53
FI - Finlandia 31
FR - Francia 26
VN - Vietnam 22
HK - Hong Kong 16
RU - Federazione Russa 15
IN - India 12
PL - Polonia 12
KR - Corea 9
AR - Argentina 8
CA - Canada 8
BE - Belgio 7
MX - Messico 7
IR - Iran 6
ZA - Sudafrica 6
ES - Italia 5
BD - Bangladesh 4
AE - Emirati Arabi Uniti 3
LT - Lituania 3
AZ - Azerbaigian 2
CH - Svizzera 2
IQ - Iraq 2
NL - Olanda 2
PK - Pakistan 2
UY - Uruguay 2
UZ - Uzbekistan 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AT - Austria 1
AU - Australia 1
CI - Costa d'Avorio 1
CL - Cile 1
CO - Colombia 1
DK - Danimarca 1
EE - Estonia 1
EG - Egitto 1
GE - Georgia 1
GR - Grecia 1
JP - Giappone 1
LA - Repubblica Popolare Democratica del Laos 1
MA - Marocco 1
PA - Panama 1
PT - Portogallo 1
RO - Romania 1
SA - Arabia Saudita 1
SK - Slovacchia (Repubblica Slovacca) 1
VE - Venezuela 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 2.540
Salva come PNG Salva come JPEG
Città #
Singapore 225
Jacksonville 136
Chandler 130
Dublin 84
Ashburn 81
Ann Arbor 64
Princeton 60
Beijing 51
Izmir 49
Dallas 43
Nanjing 42
Munich 37
Los Angeles 36
Dearborn 33
Santa Clara 30
The Dalles 25
Nanchang 24
Cambridge 23
New York 20
Wilmington 19
Hong Kong 15
Southend 12
Hefei 11
Pescara 11
São Paulo 10
Hangzhou 9
Redondo Beach 9
Seoul 9
Norwalk 8
Seattle 8
Turku 8
Washington 8
Brussels 7
Francavilla Al Mare 7
Jiaxing 7
Leawood 7
San Mateo 7
Warsaw 7
Woodbridge 7
Altamura 6
Civitanova Marche 6
Helsinki 6
Ho Chi Minh City 6
Johannesburg 6
Kunming 6
Montesilvano Marina 6
Ardabil 5
Atlanta 5
Buffalo 5
Chicago 5
Council Bluffs 5
Guangzhou 5
Hanoi 5
Hebei 5
Montreal 5
Shenyang 5
Tongling 5
Wroclaw 5
Zhengzhou 5
Boardman 4
Boston 4
Dong Ket 4
Frankfurt am Main 4
London 4
Mexico City 4
Milan 4
Moscow 4
Palombara Sabina 4
Phoenix 4
San Francisco 4
Shanghai 4
Belo Horizonte 3
Bexley 3
Brooklyn 3
Changsha 3
Charlotte 3
Chennai 3
Chieti 3
Fara Gera D'adda 3
Isernia 3
L'aquila 3
Lanzhou 3
Monmouth Junction 3
Orem 3
Poplar 3
Ancona 2
Baku 2
Brasília 2
Buenos Aires 2
Canino 2
Centrale 2
Da Nang 2
Denver 2
Dhaka 2
Duque de Caxias 2
Ealing 2
Fortaleza 2
Helena 2
Houston 2
Lappeenranta 2
Totale 1.606
Salva come PNG Salva come JPEG
Nome #
Major adverse cardiovascular events in non-valvular atrial fibrillation with chronic obstructive pulmonary disease: the ARAPACIS study 159
Verifying Controllability of Time-Aware Business Processes 144
Automatic Proofs of Protocols via Program Transformation. 131
Combining logic programs and monadic second order logics by program transformation 120
Specialization with constrained generalization for software model checking 118
Verification of time-aware business processes using constrained horn clauses 117
Lemma generation for horn clause satisfiability: A preliminary study 94
Using real relaxations during program specialization 92
Specialization with clause splitting for deriving deterministic constraint logic programs 89
Automated strategies for specializing constraint logic programs 87
Removing unnecessary variables from Horn clause verification conditions 85
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach 84
Semantics-based generation of verification conditions via program specialization 83
Property-Based Test Case Generators for Free 82
Proving properties of sorting programs: A case study in horn clause verification 82
Verification of sets of infinite state processes using program transformation 79
Verifying Relational Program Properties by Transforming Constrained Horn Clauses 73
Contract Strengthening through Constrained Horn Clause Verification 69
Multiple Query Satisfiability of Constrained Horn Clauses 58
Predicate Pairing with Abstraction for Relational Verification 56
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution) 55
Transformational verification of quicksort 55
Relational verification through horn clause transformation 53
null 50
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions 41
null 39
null 39
null 38
null 37
null 37
null 35
null 35
null 34
null 33
Catamorphic Abstractions for Constrained Horn Clause Satisfiability 31
null 29
null 28
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates 25
null 23
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses 21
Totale 2.640
Salva come PNG Salva come JPEG
Categoria #
all - tutte 11.869
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 11.869
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021124 0 0 0 0 0 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/2025548 20 142 111 14 6 10 11 40 29 28 56 81
2025/2026508 93 45 73 109 159 29 0 0 0 0 0 0
Totale 2.640