IRIS
PROIETTI, MAURIZIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.382
NA - Nord America 1.315
AS - Asia 814
SA - Sud America 96
AF - Africa 13
Continente sconosciuto - Info sul continente non disponibili 3
OC - Oceania 1
Totale 3.624
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.296
RU - Federazione Russa 721
SG - Singapore 349
CN - Cina 230
IT - Italia 145
UA - Ucraina 123
IE - Irlanda 91
TR - Turchia 78
BR - Brasile 76
VN - Vietnam 76
DE - Germania 73
SE - Svezia 73
GB - Regno Unito 55
FI - Finlandia 31
FR - Francia 27
HK - Hong Kong 16
IN - India 13
PL - Polonia 13
AR - Argentina 10
KR - Corea 9
BD - Bangladesh 8
BE - Belgio 8
CA - Canada 8
MX - Messico 8
ZA - Sudafrica 8
IR - Iran 6
ES - Italia 5
IQ - Iraq 5
AE - Emirati Arabi Uniti 4
UZ - Uzbekistan 4
AZ - Azerbaigian 3
JP - Giappone 3
LT - Lituania 3
NL - Olanda 3
PK - Pakistan 3
SA - Arabia Saudita 3
UY - Uruguay 3
CH - Svizzera 2
CL - Cile 2
CO - Colombia 2
EG - Egitto 2
PA - Panama 2
PT - Portogallo 2
VE - Venezuela 2
XK - ???statistics.table.value.countryCode.XK??? 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AT - Austria 1
AU - Australia 1
CI - Costa d'Avorio 1
CR - Costa Rica 1
DK - Danimarca 1
DZ - Algeria 1
EC - Ecuador 1
EE - Estonia 1
GE - Georgia 1
GR - Grecia 1
JO - Giordania 1
KZ - Kazakistan 1
LA - Repubblica Popolare Democratica del Laos 1
MA - Marocco 1
MD - Moldavia 1
RO - Romania 1
SK - Slovacchia (Repubblica Slovacca) 1
Totale 3.624
Salva come PNG Salva come JPEG
Città #
Singapore 263
San Jose 139
Jacksonville 136
Chandler 130
Ashburn 108
Dublin 84
Ann Arbor 64
Princeton 60
Beijing 51
Izmir 49
Dallas 43
Nanjing 42
Munich 37
Los Angeles 36
Dearborn 33
Santa Clara 31
Ho Chi Minh City 25
The Dalles 25
Nanchang 24
Cambridge 23
New York 21
Wilmington 19
Hong Kong 15
Southend 12
Hanoi 11
Hefei 11
Pescara 11
São Paulo 11
Moscow 10
Hangzhou 9
Redondo Beach 9
Seoul 9
Brussels 8
Norwalk 8
Seattle 8
Turku 8
Warsaw 8
Washington 8
Da Nang 7
Francavilla Al Mare 7
Jiaxing 7
Leawood 7
San Mateo 7
Woodbridge 7
Altamura 6
Chicago 6
Civitanova Marche 6
Helsinki 6
Johannesburg 6
Kunming 6
Montesilvano Marina 6
Ardabil 5
Atlanta 5
Buffalo 5
Council Bluffs 5
Guangzhou 5
Hebei 5
Milan 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
Ninh Bình 4
Palombara Sabina 4
Phoenix 4
San Francisco 4
Shanghai 4
Baku 3
Belo Horizonte 3
Bexley 3
Biên Hòa 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
Montevideo 3
Orem 3
Poplar 3
St Louis 3
Tashkent 3
Tokyo 3
Uberlândia 3
Amsterdam 2
Ancona 2
Basra 2
Brasília 2
Buenos Aires 2
Totale 1.860
Salva come PNG Salva come JPEG
Nome #
Major adverse cardiovascular events in non-valvular atrial fibrillation with chronic obstructive pulmonary disease: the ARAPACIS study 824
Verifying Controllability of Time-Aware Business Processes 167
Automatic Proofs of Protocols via Program Transformation. 147
Combining logic programs and monadic second order logics by program transformation 136
Specialization with constrained generalization for software model checking 134
Verification of time-aware business processes using constrained horn clauses 130
Lemma generation for horn clause satisfiability: A preliminary study 116
Specialization with clause splitting for deriving deterministic constraint logic programs 105
Automated strategies for specializing constraint logic programs 103
Using real relaxations during program specialization 103
Property-Based Test Case Generators for Free 103
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach 103
Semantics-based generation of verification conditions via program specialization 100
Removing unnecessary variables from Horn clause verification conditions 100
Proving properties of sorting programs: A case study in horn clause verification 98
Verification of sets of infinite state processes using program transformation 90
Contract Strengthening through Constrained Horn Clause Verification 85
Verifying Relational Program Properties by Transforming Constrained Horn Clauses 82
Predicate Pairing with Abstraction for Relational Verification 77
Multiple Query Satisfiability of Constrained Horn Clauses 76
Relational verification through horn clause transformation 73
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions 66
Transformational verification of quicksort 66
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution) 65
Catamorphic Abstractions for Constrained Horn Clause Satisfiability 50
null 50
null 39
null 39
null 38
null 37
null 37
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates 37
null 35
null 35
null 34
null 33
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses 31
null 29
null 28
null 23
Totale 3.724
Salva come PNG Salva come JPEG
Categoria #
all - tutte 13.362
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 13.362
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202162 0 0 0 0 0 0 0 0 0 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/20261.592 93 45 73 109 159 59 208 35 735 76 0 0
Totale 3.724