IRIS
FIORAVANTI, Fabio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.366
AS - Asia 2.236
EU - Europa 2.062
SA - Sud America 244
Continente sconosciuto - Info sul continente non disponibili 207
AF - Africa 38
OC - Oceania 2
Totale 9.155
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.235
SG - Singapore 927
CN - Cina 704
IT - Italia 489
UA - Ucraina 343
IE - Irlanda 279
RU - Federazione Russa 237
TR - Turchia 237
SE - Svezia 203
BR - Brasile 190
GB - Regno Unito 154
VN - Vietnam 151
DE - Germania 144
FI - Finlandia 78
FR - Francia 65
CA - Canada 54
KR - Corea 43
HK - Hong Kong 37
BD - Bangladesh 28
IN - India 27
AR - Argentina 19
JP - Giappone 17
MX - Messico 17
PL - Polonia 15
ZA - Sudafrica 15
BE - Belgio 14
SV - El Salvador 12
IQ - Iraq 10
ES - Italia 9
CO - Colombia 8
CR - Costa Rica 8
IL - Israele 8
NL - Olanda 8
CW - ???statistics.table.value.countryCode.CW??? 7
IR - Iran 7
JM - Giamaica 7
PK - Pakistan 7
PR - Porto Rico 7
EC - Ecuador 6
SC - Seychelles 6
UZ - Uzbekistan 6
VE - Venezuela 6
CL - Cile 5
HN - Honduras 5
LT - Lituania 5
TT - Trinidad e Tobago 5
UY - Uruguay 5
AE - Emirati Arabi Uniti 4
DZ - Algeria 4
EG - Egitto 4
GT - Guatemala 4
NI - Nicaragua 4
SA - Arabia Saudita 4
AZ - Azerbaigian 3
EE - Estonia 3
EU - Europa 3
MA - Marocco 3
AT - Austria 2
BB - Barbados 2
BG - Bulgaria 2
CH - Svizzera 2
CZ - Repubblica Ceca 2
DK - Danimarca 2
GP - Guadalupe 2
JO - Giordania 2
KZ - Kazakistan 2
PA - Panama 2
PE - Perù 2
PT - Portogallo 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AL - Albania 1
AU - Australia 1
BN - Brunei Darussalam 1
BO - Bolivia 1
BY - Bielorussia 1
CI - Costa d'Avorio 1
CY - Cipro 1
DO - Repubblica Dominicana 1
ET - Etiopia 1
GE - Georgia 1
GY - Guiana 1
HR - Croazia 1
KE - Kenya 1
KH - Cambogia 1
LA - Repubblica Popolare Democratica del Laos 1
LB - Libano 1
LY - Libia 1
MD - Moldavia 1
MN - Mongolia 1
MQ - Martinica 1
MY - Malesia 1
NG - Nigeria 1
NZ - Nuova Zelanda 1
PH - Filippine 1
PS - Palestinian Territory 1
PY - Paraguay 1
SY - Repubblica araba siriana 1
TL - Timor Orientale 1
TN - Tunisia 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 8.960
Salva come PNG Salva come JPEG
Città #
San Jose 666
Singapore 640
Jacksonville 394
Chandler 372
Dublin 270
Ashburn 236
Council Bluffs 199
Beijing 187
Dallas 186
Princeton 161
Izmir 143
Nanjing 125
The Dalles 91
Santa Clara 88
Los Angeles 82
Ann Arbor 78
Staranzano 68
Cambridge 65
Dearborn 62
Southend 62
Nanchang 54
Buffalo 50
Wilmington 50
Ho Chi Minh City 47
Hefei 45
Munich 44
Seoul 43
Altamura 36
New York 35
Hong Kong 34
Phoenix 34
Tongling 34
Rome 32
Boardman 30
Hanoi 30
Chicago 26
Moscow 24
Francavilla Al Mare 22
São Paulo 21
Jiaxing 20
Pescara 20
Redondo Beach 19
Washington 18
Hangzhou 17
Montreal 17
Civitanova Marche 15
Hebei 15
Norwalk 15
Shenyang 15
Turku 15
Da Nang 14
Leawood 14
North Bergen 14
Tianjin 14
Tokyo 14
Woodbridge 14
Atlanta 13
Brooklyn 13
Kunming 13
Brussels 12
Changsha 12
Columbus 12
Florence 12
Johannesburg 12
Seattle 12
San Mateo 11
St Louis 11
Centrale 10
Charlotte 10
Denver 10
Changchun 9
San Francisco 9
San Salvador 9
Warsaw 9
Zhengzhou 9
Brasília 8
Chieti 8
Helsinki 8
London 8
Mexico City 8
Milan 8
Rio de Janeiro 8
San José 8
Ardabil 7
Lanzhou 7
Mount Pleasant 7
Willemstad 7
Belo Horizonte 6
Frankfurt am Main 6
Guangzhou 6
Kansas City 6
Kimball 6
Palermo 6
Philadelphia 6
Queens 6
San Antonio 6
Stockholm 6
The Bronx 6
Bologna 5
Boston 5
Totale 5.512
Salva come PNG Salva come JPEG
Nome #
Verifying Controllability of Time-Aware Business Processes 196
AI for Sustainability: Research at Ud’A Node 187
Predicate Pairing for program verification 167
Automatic Proofs of Protocols via Program Transformation. 160
An Infrastructural Approach to Secure Interoperability of Electronic IDs: The Bridging Backbone 152
Combining logic programs and monadic second order logics by program transformation 148
Specialization with constrained generalization for software model checking 147
Verification of time-aware business processes using constrained horn clauses 142
Lemma generation for horn clause satisfiability: A preliminary study 138
Semantics and controllability of time-aware business processes 137
A Specification for Security Services on Computational Grids 136
Defense trees for economic evaluation of security investments 135
Program Verification using Constraint Handling Rules and Array Constraint Generalizations 133
A layered IT infrastructure for secure interoperability in Personal Data Registry digital government services 129
Proving correctness of imperative programs by linearizing constrained Horn clauses 127
Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation 126
Specialization with clause splitting for deriving deterministic constraint logic programs 125
Bounded symbolic execution for runtime error detection of Erlang programs 121
Automated strategies for specializing constraint logic programs 120
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach 120
The Italian Electronic Identity Card: a short introduction. 119
Proceedings of the 26th Italian Conference on Computational Logic (CILC 2011)Pescara, Italy, August 31 - September 2, 2011. 119
Reliable peer-to-peer access for Italian citizens to digital government services on the Internet. 118
Property-Based Test Case Generators for Free 118
The italian electronic identity card: Overall architecture and it infrastructure 114
Semantics-based generation of verification conditions via program specialization 114
Contract Strengthening through Constrained Horn Clause Verification 113
Using real relaxations during program specialization 113
Inter-organizational e-services accounting management on computational Grids 112
Removing unnecessary variables from Horn clause verification conditions 112
Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation. 111
A Rule-based Verification Strategy for Array Manipulating Programs 110
Using Real Relaxations During Program Specialization 110
Proving properties of sorting programs: A case study in horn clause verification 109
Identity Management for e-Government Services 107
Evaluation of complex security scenarios using defense trees and economic indexes 106
Verification of infinite-state systems by specialization of CLP programs 106
Improving Reachability Analysis of Infinite State Systems by Specialization 105
Solving Horn Clauses on Inductive Data Types Without Induction 103
Rules and strategies for contextual specialization of constraint logic programs. 102
Generation of test data structures using Constraint Logic Programming 102
Branching Preserving Specialization for Software Model Checking 101
Specialization with Constrained Generalization for Software Model Checking 100
Verification of sets of infinite state processes using program transformation 100
Using CP-nets as a guide for countermeasure selection 100
Improving Reachability Analysis of Infinite State Systems by Specialization 99
Quality of service in wireless networks 99
Program Transformation for Development, Verification, and Synthesis of Programs 98
Catamorphic Abstractions for Constrained Horn Clause Satisfiability 97
Transformation Rules for Locally Stratified Constraint Logic Programs 97
Proving Theorems by Program Transformation 96
Controlling Polyvariance for Specialization-based Verification 93
Software Model Checking by Program Specialization 93
Special issue on the Italian conference on computational logic: CILC 2011 93
Verifying Programs via Iterated Specialization 92
Verifying Relational Program Properties by Transforming Constrained Horn Clauses 92
Multiple Query Satisfiability of Constrained Horn Clauses 91
Modeling Gene Regulatory Network Motifs using Statecharts 91
Generalization Strategies for the Verification of Infinite State Systems 91
Efficient Generation of Test Data Structures using Constraint Logic Programming and Program Transformation 91
Program verification via iterated specialization 91
Verification of Imperative Programs through Transformation of Constraint Logic Programs 87
A Statechart based representation for SBML descriptions 86
Relational verification through horn clause transformation 85
Predicate Pairing with Abstraction for Relational Verification 85
Semantics-based generation of verification conditions via program specialization 84
Transformational verification of quicksort 82
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution) 81
Improving Reachability Analysis of Infinite State Systems by Specialization 80
Verification of Imperative Programs by Constraint Logic Program Transformation 78
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions 75
Controlling Polyvariance for Specialization-based Verification 69
Program Verification using Constraint Handling Rules and Array Constraint Generalizations 64
Generalization Strategies for the Verification of Infinite State Systems. 63
VeriMAP: A Tool for Verifying Programs through Transformations 57
Modeling Gene Network Motifs Using Statecharts 57
Analysis and Transformation of Constrained Horn Clauses for Program Verification 57
Program Verification using Constraint Handling Rules and Array Constraint Generalizations 55
null 50
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates 50
Verification of Programs by Combining Iterated Specialization with Interpolation 48
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses 47
Visualizing CHC Verification Conditions for Smart Contracts Auditing 46
Verifying Smart Contracts in Yul via Transformation to CHC by Interpreter Specialization 45
Verification of Imperative Programs by Transforming Constraint Logic Programs 43
Verifying Array Programs by Transforming Verification Conditions 42
null 39
null 38
null 37
null 35
null 35
null 35
null 34
null 33
null 30
null 29
null 28
Towards Benchmarking of Solidity Verification Tools 26
Evaluating the Aspect-Category-Opinion-Sentiment Analysis Task on a Custom Dataset 23
null 23
Totale 9.135
Salva come PNG Salva come JPEG
Categoria #
all - tutte 42.286
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 42.286
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022296 0 0 0 0 25 20 6 28 27 33 45 112
2022/20231.039 112 132 73 123 89 197 61 56 137 6 29 24
2023/2024390 46 23 34 10 32 108 81 10 1 11 3 31
2024/20251.297 66 277 218 23 11 16 19 96 103 67 185 216
2025/20262.846 258 141 261 239 292 141 492 152 298 236 227 109
2026/20271.032 68 163 249 346 206 0 0 0 0 0 0 0
Totale 9.155