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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022313 0 0 9 8 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/2027295 68 163 64 0 0 0 0 0 0 0 0 0
Totale 8.418