IRIS
PROIETTI, MAURIZIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.631
EU - Europa 1.421
AS - Asia 820
Continente sconosciuto - Info sul continente non disponibili 104
SA - Sud America 103
AF - Africa 13
OC - Oceania 1
Totale 4.093
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.597
RU - Federazione Russa 721
SG - Singapore 346
CN - Cina 228
IT - Italia 181
UA - Ucraina 123
IE - Irlanda 91
BR - Brasile 79
TR - Turchia 79
VN - Vietnam 75
DE - Germania 72
SE - Svezia 72
GB - Regno Unito 58
FI - Finlandia 31
FR - Francia 27
BD - Bangladesh 16
CA - Canada 15
HK - Hong Kong 14
IN - India 14
PL - Polonia 13
AR - Argentina 10
BE - Belgio 9
KR - Corea 9
MX - Messico 8
ZA - Sudafrica 8
IR - Iran 6
CO - Colombia 5
ES - Italia 5
IQ - Iraq 5
JP - Giappone 5
AE - Emirati Arabi Uniti 4
LT - Lituania 4
UY - Uruguay 4
UZ - Uzbekistan 4
AZ - Azerbaigian 3
NL - Olanda 3
PK - Pakistan 3
SA - Arabia Saudita 3
CL - Cile 2
CR - Costa Rica 2
EE - Estonia 2
EG - Egitto 2
HN - Honduras 2
JM - Giamaica 2
PA - Panama 2
PT - Portogallo 2
VE - Venezuela 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AT - Austria 1
AU - Australia 1
BZ - Belize 1
CH - Svizzera 1
CI - Costa d'Avorio 1
CY - Cipro 1
DK - Danimarca 1
DZ - Algeria 1
EC - Ecuador 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
MQ - Martinica 1
RO - Romania 1
SK - Slovacchia (Repubblica Slovacca) 1
SV - El Salvador 1
TL - Timor Orientale 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 3.991
Salva come PNG Salva come JPEG
Città #
Singapore 261
San Jose 190
Jacksonville 136
Chandler 130
Ashburn 109
Los Angeles 88
Dublin 84
Ann Arbor 64
Princeton 60
Beijing 49
Izmir 49
Council Bluffs 48
Dallas 44
Nanjing 42
Munich 36
Santa Clara 35
Dearborn 33
Staranzano 26
The Dalles 25
Ho Chi Minh City 24
Nanchang 24
Cambridge 23
New York 21
Buffalo 19
Wilmington 19
St Louis 14
Hong Kong 13
Pescara 12
Phoenix 12
Southend 12
Hanoi 11
Hefei 11
Moscow 10
São Paulo 10
Hangzhou 9
Redondo Beach 9
Seoul 9
Brussels 8
Chicago 8
Norwalk 8
Seattle 8
Turku 8
Warsaw 8
Washington 8
Brooklyn 7
Da Nang 7
Francavilla Al Mare 7
Jiaxing 7
Leawood 7
San Mateo 7
Woodbridge 7
Altamura 6
Atlanta 6
Civitanova Marche 6
Denver 6
Helsinki 6
Johannesburg 6
Kunming 6
Montesilvano Marina 6
Montreal 6
Ardabil 5
Boston 5
Guangzhou 5
Hebei 5
Milan 5
Shenyang 5
Tokyo 5
Tongling 5
Wroclaw 5
Zhengzhou 5
Boardman 4
Charlotte 4
Columbus 4
Dong Ket 4
Frankfurt am Main 4
Kimball 4
London 4
Mexico City 4
Montevideo 4
Ninh Bình 4
Palombara Sabina 4
Rome 4
San Francisco 4
Shanghai 4
Baku 3
Belo Horizonte 3
Bexley 3
Biên Hòa 3
Changsha 3
Chennai 3
Chieti 3
Fara Gera D'adda 3
Houston 3
Isernia 3
L'aquila 3
Lanzhou 3
Monmouth Junction 3
Orem 3
Poplar 3
Rio de Janeiro 3
Totale 2.084
Salva come PNG Salva come JPEG
Nome #
Major adverse cardiovascular events in non-valvular atrial fibrillation with chronic obstructive pulmonary disease: the ARAPACIS study 894
Verifying Controllability of Time-Aware Business Processes 191
Automatic Proofs of Protocols via Program Transformation. 158
Combining logic programs and monadic second order logics by program transformation 146
Specialization with constrained generalization for software model checking 144
Verification of time-aware business processes using constrained horn clauses 140
Lemma generation for horn clause satisfiability: A preliminary study 131
Specialization with clause splitting for deriving deterministic constraint logic programs 119
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach 116
Automated strategies for specializing constraint logic programs 114
Property-Based Test Case Generators for Free 113
Contract Strengthening through Constrained Horn Clause Verification 112
Using real relaxations during program specialization 111
Semantics-based generation of verification conditions via program specialization 110
Removing unnecessary variables from Horn clause verification conditions 110
Proving properties of sorting programs: A case study in horn clause verification 107
Verification of sets of infinite state processes using program transformation 98
Catamorphic Abstractions for Constrained Horn Clause Satisfiability 92
Verifying Relational Program Properties by Transforming Constrained Horn Clauses 91
Multiple Query Satisfiability of Constrained Horn Clauses 90
Predicate Pairing with Abstraction for Relational Verification 83
Relational verification through horn clause transformation 81
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution) 79
Transformational verification of quicksort 79
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions 74
null 50
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses 45
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates 45
null 39
null 39
null 38
null 37
null 35
null 35
null 34
null 33
null 29
null 28
null 23
Totale 4.093
Salva come PNG Salva come JPEG
Categoria #
all - tutte 15.640
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 15.640
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022134 0 0 0 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/2025546 20 142 111 14 6 10 11 39 29 28 55 81
2025/20261.666 88 44 71 107 150 59 204 33 733 101 64 12
2026/2027297 65 44 106 82 0 0 0 0 0 0 0 0
Totale 4.093