IRIS
PROIETTI, MAURIZIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.403
EU - Europa 1.389
AS - Asia 819
SA - Sud America 96
AF - Africa 13
Continente sconosciuto - Info sul continente non disponibili 3
OC - Oceania 1
Totale 3.724
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.383
RU - Federazione Russa 721
SG - Singapore 349
CN - Cina 230
IT - Italia 151
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
BD - Bangladesh 13
IN - India 13
PL - Polonia 13
AR - Argentina 10
CA - Canada 9
KR - Corea 9
BE - Belgio 8
MX - Messico 8
ZA - Sudafrica 8
IR - Iran 6
ES - Italia 5
IQ - Iraq 5
AE - Emirati Arabi Uniti 4
LT - Lituania 4
UZ - Uzbekistan 4
AZ - Azerbaigian 3
JP - Giappone 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.724
Salva come PNG Salva come JPEG
Città #
Singapore 263
San Jose 179
Jacksonville 136
Chandler 130
Ashburn 110
Dublin 84
Ann Arbor 64
Princeton 60
Beijing 51
Izmir 49
Dallas 44
Nanjing 42
Munich 37
Los Angeles 36
Dearborn 33
Santa Clara 33
Ho Chi Minh City 25
The Dalles 25
Nanchang 24
Cambridge 23
New York 22
Wilmington 19
Council Bluffs 17
Hong Kong 15
St Louis 14
Pescara 12
Southend 12
Hanoi 11
Hefei 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
Buffalo 6
Chicago 6
Civitanova Marche 6
Helsinki 6
Johannesburg 6
Kunming 6
Montesilvano Marina 6
Ardabil 5
Atlanta 5
Guangzhou 5
Hebei 5
Milan 5
Montreal 5
Shenyang 5
Tongling 5
Wroclaw 5
Zhengzhou 5
Boardman 4
Boston 4
Brooklyn 4
Charlotte 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
Changsha 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
Rome 3
Tashkent 3
Tokyo 3
Uberlândia 3
Amsterdam 2
Ancona 2
Basra 2
Brasília 2
Totale 1.934
Salva come PNG Salva come JPEG
Nome #
Major adverse cardiovascular events in non-valvular atrial fibrillation with chronic obstructive pulmonary disease: the ARAPACIS study 830
Verifying Controllability of Time-Aware Business Processes 180
Automatic Proofs of Protocols via Program Transformation. 148
Combining logic programs and monadic second order logics by program transformation 138
Specialization with constrained generalization for software model checking 135
Verification of time-aware business processes using constrained horn clauses 134
Lemma generation for horn clause satisfiability: A preliminary study 116
Specialization with clause splitting for deriving deterministic constraint logic programs 108
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach 107
Automated strategies for specializing constraint logic programs 104
Using real relaxations during program specialization 104
Property-Based Test Case Generators for Free 104
Removing unnecessary variables from Horn clause verification conditions 102
Semantics-based generation of verification conditions via program specialization 101
Proving properties of sorting programs: A case study in horn clause verification 100
Contract Strengthening through Constrained Horn Clause Verification 94
Verification of sets of infinite state processes using program transformation 90
Verifying Relational Program Properties by Transforming Constrained Horn Clauses 84
Multiple Query Satisfiability of Constrained Horn Clauses 80
Catamorphic Abstractions for Constrained Horn Clause Satisfiability 79
Predicate Pairing with Abstraction for Relational Verification 77
Relational verification through horn clause transformation 75
Transformational verification of quicksort 70
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution) 69
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions 68
null 50
null 39
null 39
null 38
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates 38
null 37
null 37
null 35
null 35
null 34
null 33
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses 32
null 29
null 28
null 23
Totale 3.824
Salva come PNG Salva come JPEG
Categoria #
all - tutte 14.273
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 14.273
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202113 0 0 0 0 0 0 0 0 0 0 0 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.692 93 45 73 109 159 59 208 35 735 104 64 8
Totale 3.824