IRIS
PROIETTI, MAURIZIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.092
AS - Asia 674
EU - Europa 662
SA - Sud America 76
AF - Africa 9
Continente sconosciuto - Info sul continente non disponibili 2
OC - Oceania 1
Totale 2.516
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.076
SG - Singapore 298
CN - Cina 215
IT - Italia 141
UA - Ucraina 122
IE - Irlanda 91
TR - Turchia 78
DE - Germania 73
SE - Svezia 73
BR - Brasile 64
GB - Regno Unito 53
FI - Finlandia 31
FR - Francia 26
VN - Vietnam 21
HK - Hong Kong 16
RU - Federazione Russa 15
IN - India 12
PL - Polonia 11
KR - Corea 9
CA - Canada 8
AR - Argentina 7
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.516
Salva come PNG Salva come JPEG
Città #
Singapore 223
Jacksonville 136
Chandler 130
Dublin 84
Ashburn 78
Ann Arbor 64
Princeton 60
Beijing 51
Izmir 49
Dallas 42
Nanjing 42
Munich 37
Los Angeles 35
Dearborn 33
Santa Clara 30
The Dalles 25
Nanchang 24
Cambridge 23
Wilmington 19
New York 18
Hong Kong 15
Southend 12
Hefei 11
Pescara 11
Hangzhou 9
Redondo Beach 9
Seoul 9
Norwalk 8
Seattle 8
São Paulo 8
Turku 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
Ho Chi Minh City 6
Johannesburg 6
Kunming 6
Montesilvano Marina 6
Warsaw 6
Ardabil 5
Atlanta 5
Buffalo 5
Chicago 5
Council Bluffs 5
Guangzhou 5
Hebei 5
Montreal 5
Shenyang 5
Tongling 5
Wroclaw 5
Zhengzhou 5
Boardman 4
Boston 4
Dong Ket 4
Frankfurt am Main 4
Hanoi 4
London 4
Mexico City 4
Milan 4
Moscow 4
Palombara Sabina 4
San Francisco 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
Poplar 3
Shanghai 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
Madrid 2
Manchester 2
Totale 1.589
Salva come PNG Salva come JPEG
Nome #
Major adverse cardiovascular events in non-valvular atrial fibrillation with chronic obstructive pulmonary disease: the ARAPACIS study 157
Verifying Controllability of Time-Aware Business Processes 144
Automatic Proofs of Protocols via Program Transformation. 130
Combining logic programs and monadic second order logics by program transformation 119
Specialization with constrained generalization for software model checking 117
Verification of time-aware business processes using constrained horn clauses 117
Lemma generation for horn clause satisfiability: A preliminary study 93
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 85
Removing unnecessary variables from Horn clause verification conditions 84
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach 83
Semantics-based generation of verification conditions via program specialization 82
Property-Based Test Case Generators for Free 81
Proving properties of sorting programs: A case study in horn clause verification 80
Verification of sets of infinite state processes using program transformation 78
Verifying Relational Program Properties by Transforming Constrained Horn Clauses 72
Contract Strengthening through Constrained Horn Clause Verification 69
Multiple Query Satisfiability of Constrained Horn Clauses 57
Transformational verification of quicksort 55
Predicate Pairing with Abstraction for Relational Verification 55
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution) 53
Relational verification through horn clause transformation 52
null 50
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions 39
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 30
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.616
Salva come PNG Salva come JPEG
Categoria #
all - tutte 11.812
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.812
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/2026484 93 45 73 109 159 5 0 0 0 0 0 0
Totale 2.616