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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021280 0 0 0 0 0 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.304 66 277 218 23 11 16 19 98 103 67 187 219
2025/20261.288 269 143 264 244 304 64 0 0 0 0 0 0
Totale 6.572