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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022337 9 15 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.299 66 277 218 23 11 16 19 97 103 67 186 216
2025/20262.876 263 142 263 241 301 141 496 154 300 239 227 109
2026/202736 36 0 0 0 0 0 0 0 0 0 0 0
Totale 8.191