FIORAVANTI, Fabio
 Distribuzione geografica
Continente #
NA - Nord America 2.076
EU - Europa 1.508
AS - Asia 1.138
SA - Sud America 61
AF - Africa 5
Continente sconosciuto - Info sul continente non disponibili 4
OC - Oceania 2
Totale 4.794
Nazione #
US - Stati Uniti d'America 2.068
SG - Singapore 455
CN - Cina 416
UA - Ucraina 338
IE - Irlanda 278
IT - Italia 271
TR - Turchia 226
SE - Svezia 199
DE - Germania 122
GB - Regno Unito 112
FI - Finlandia 64
BR - Brasile 54
FR - Francia 54
RU - Federazione Russa 43
IN - India 12
BE - Belgio 11
IR - Iran 7
CA - Canada 6
JP - Giappone 4
VN - Vietnam 4
AR - Argentina 3
EU - Europa 3
AT - Austria 2
AZ - Azerbaigian 2
BD - Bangladesh 2
CH - Svizzera 2
CL - Cile 2
EE - Estonia 2
ES - Italia 2
IL - Israele 2
IQ - Iraq 2
MA - Marocco 2
NL - Olanda 2
PL - Polonia 2
ZA - Sudafrica 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AE - Emirati Arabi Uniti 1
AL - Albania 1
AU - Australia 1
BY - Bielorussia 1
CR - Costa Rica 1
DK - Danimarca 1
EG - Egitto 1
GY - Guiana 1
HK - Hong Kong 1
KH - Cambogia 1
KZ - Kazakistan 1
MN - Mongolia 1
NZ - Nuova Zelanda 1
PA - Panama 1
PE - Perù 1
PT - Portogallo 1
UZ - Uzbekistan 1
Totale 4.794
Città #
Jacksonville 391
Chandler 372
Singapore 303
Dublin 269
Princeton 161
Izmir 143
Nanjing 125
The Dalles 91
Ann Arbor 78
Beijing 72
Cambridge 65
Ashburn 64
Santa Clara 63
Dearborn 62
Southend 62
Nanchang 54
Wilmington 49
Altamura 36
Boardman 30
Munich 28
Francavilla Al Mare 22
Jiaxing 20
Los Angeles 20
Civitanova Marche 15
Hangzhou 15
Hebei 15
Norwalk 15
Shenyang 15
Leawood 14
Tianjin 14
Woodbridge 14
Kunming 13
Pescara 13
Washington 13
Changsha 12
San Mateo 11
Brussels 10
Centrale 10
Changchun 9
Zhengzhou 9
Helsinki 8
Seattle 8
Ardabil 7
Council Bluffs 7
Lanzhou 7
New York 7
Guangzhou 5
Rome 5
Dong Ket 4
Fara Gera D'adda 4
Moscow 4
Palombara Sabina 4
Shanghai 4
Termoli 4
Ancona 3
Chicago 3
Chieti 3
Fermo 3
Isernia 3
Jinan 3
L'aquila 3
Milan 3
Ningbo 3
San Francisco 3
São Paulo 3
Tokyo 3
Anaheim 2
Auburn Hills 2
Augusta 2
Baku 2
Bangalore 2
Belo Horizonte 2
Boydton 2
Brasília 2
Brooklyn 2
Canino 2
Charlotte 2
Ealing 2
Johannesburg 2
Jundiaí 2
Kocaeli 2
Lappeenranta 2
London 2
L’Aquila 2
Madrid 2
Maiolati Spontini 2
Monmouth Junction 2
Montreal 2
Morro D'oro 2
Mumbai 2
Nuremberg 2
Orsogna 2
Ottawa 2
Perugia 2
Sambuceto 2
San Giovanni Teatino 2
San Jose 2
Santo André 2
Shenzhen 2
Stockholm 2
Totale 2.979
Nome #
Verifying Controllability of Time-Aware Business Processes 129
Verification of time-aware business processes using constrained horn clauses 105
Automatic Proofs of Protocols via Program Transformation. 99
Predicate Pairing for program verification 98
Semantics and controllability of time-aware business processes 97
Specialization with constrained generalization for software model checking 96
Combining logic programs and monadic second order logics by program transformation 87
An Infrastructural Approach to Secure Interoperability of Electronic IDs: The Bridging Backbone 85
Defense trees for economic evaluation of security investments 81
The Italian Electronic Identity Card: a short introduction. 80
A layered IT infrastructure for secure interoperability in Personal Data Registry digital government services 79
Using real relaxations during program specialization 77
Program Verification using Constraint Handling Rules and Array Constraint Generalizations 76
Specialization with clause splitting for deriving deterministic constraint logic programs 74
Proving correctness of imperative programs by linearizing constrained Horn clauses 72
Verification of infinite-state systems by specialization of CLP programs 72
Inter-organizational e-services accounting management on computational Grids 71
Evaluation of complex security scenarios using defense trees and economic indexes 69
Bounded symbolic execution for runtime error detection of Erlang programs 69
Lemma generation for horn clause satisfiability: A preliminary study 69
The italian electronic identity card: Overall architecture and it infrastructure 68
Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation. 67
Removing unnecessary variables from Horn clause verification conditions 66
Identity Management for e-Government Services 65
Improving Reachability Analysis of Infinite State Systems by Specialization 65
Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation 65
Reliable peer-to-peer access for Italian citizens to digital government services on the Internet. 64
Verification of sets of infinite state processes using program transformation 64
Automated strategies for specializing constraint logic programs 63
Semantics-based generation of verification conditions via program specialization 62
Rules and strategies for contextual specialization of constraint logic programs. 61
A Rule-based Verification Strategy for Array Manipulating Programs 61
Using Real Relaxations During Program Specialization 61
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach 61
Property-Based Test Case Generators for Free 59
Specialization with Constrained Generalization for Software Model Checking 58
Proving Theorems by Program Transformation 58
Modeling Gene Regulatory Network Motifs using Statecharts 57
Proceedings of the 26th Italian Conference on Computational Logic (CILC 2011)Pescara, Italy, August 31 - September 2, 2011. 57
A Specification for Security Services on Computational Grids 57
Verifying Programs via Iterated Specialization 56
Controlling Polyvariance for Specialization-based Verification 56
Solving Horn Clauses on Inductive Data Types Without Induction 56
Proving properties of sorting programs: A case study in horn clause verification 56
Branching Preserving Specialization for Software Model Checking 55
Verification of Imperative Programs through Transformation of Constraint Logic Programs 55
Quality of service in wireless networks 55
Efficient Generation of Test Data Structures using Constraint Logic Programming and Program Transformation 54
Program verification via iterated specialization 54
Generation of test data structures using Constraint Logic Programming 54
Program Transformation for Development, Verification, and Synthesis of Programs 53
Verifying Relational Program Properties by Transforming Constrained Horn Clauses 53
A Statechart based representation for SBML descriptions 52
Generalization Strategies for the Verification of Infinite State Systems 51
null 50
Improving Reachability Analysis of Infinite State Systems by Specialization 48
Software Model Checking by Program Specialization 48
Transformation Rules for Locally Stratified Constraint Logic Programs 47
Semantics-based generation of verification conditions via program specialization 46
Contract Strengthening through Constrained Horn Clause Verification 44
Improving Reachability Analysis of Infinite State Systems by Specialization 43
Verification of Imperative Programs by Constraint Logic Program Transformation 43
Transformational verification of quicksort 43
Special issue on the Italian conference on computational logic: CILC 2011 42
null 39
null 38
Using CP-nets as a guide for countermeasure selection 38
null 37
null 37
null 35
null 35
null 35
Predicate Pairing with Abstraction for Relational Verification 35
null 34
null 33
Controlling Polyvariance for Specialization-based Verification 32
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution) 31
Multiple Query Satisfiability of Constrained Horn Clauses 30
null 30
Program Verification using Constraint Handling Rules and Array Constraint Generalizations 30
null 29
null 28
null 23
Program Verification using Constraint Handling Rules and Array Constraint Generalizations 22
Modeling Gene Network Motifs Using Statecharts 22
Relational verification through horn clause transformation 21
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions 18
VeriMAP: A Tool for Verifying Programs through Transformations 18
Generalization Strategies for the Verification of Infinite State Systems. 18
AI for Sustainability: Research at Ud’A Node 17
null 17
Verification of Programs by Combining Iterated Specialization with Interpolation 13
Verifying Array Programs by Transforming Verification Conditions 11
Evaluating the Aspect-Category-Opinion-Sentiment Analysis Task on a Custom Dataset 9
Verification of Imperative Programs by Transforming Constraint Logic Programs 9
Catamorphic Abstractions for Constrained Horn Clause Satisfiability 6
Visualizing CHC Verification Conditions for Smart Contracts Auditing 5
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates 3
Analysis and Transformation of Constrained Horn Clauses for Program Verification 2
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses 2
Totale 4.980
Categoria #
all - tutte 26.460
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 26.460


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202099 0 0 0 0 0 0 0 0 0 0 93 6
2020/2021465 61 0 76 3 45 95 7 3 25 44 84 22
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.002 66 277 218 23 11 16 19 98 103 67 104 0
Totale 4.982