IRIS
FIORAVANTI, Fabio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.217
EU - Europa 1.586
AS - Asia 1.440
SA - Sud America 152
AF - Africa 12
Continente sconosciuto - Info sul continente non disponibili 4
OC - Oceania 2
Totale 5.413
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.193
SG - Singapore 565
CN - Cina 558
UA - Ucraina 340
IE - Irlanda 278
IT - Italia 277
TR - Turchia 231
SE - Svezia 201
DE - Germania 144
BR - Brasile 139
GB - Regno Unito 132
FI - Finlandia 69
FR - Francia 62
RU - Federazione Russa 44
HK - Hong Kong 20
IN - India 19
CA - Canada 12
BE - Belgio 11
PL - Polonia 9
BD - Bangladesh 8
IR - Iran 7
MX - Messico 7
VN - Vietnam 7
ZA - Sudafrica 7
ES - Italia 5
JP - Giappone 5
IQ - Iraq 4
AR - Argentina 3
EU - Europa 3
NL - Olanda 3
UZ - Uzbekistan 3
AT - Austria 2
AZ - Azerbaigian 2
CH - Svizzera 2
CL - Cile 2
EC - Ecuador 2
EE - Estonia 2
EG - Egitto 2
IL - Israele 2
MA - Marocco 2
PK - Pakistan 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AE - Emirati Arabi Uniti 1
AL - Albania 1
AU - Australia 1
BB - Barbados 1
BO - Bolivia 1
BY - Bielorussia 1
CO - Colombia 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
LT - Lituania 1
MN - Mongolia 1
NZ - Nuova Zelanda 1
PA - Panama 1
PE - Perù 1
PT - Portogallo 1
SA - Arabia Saudita 1
UY - Uruguay 1
VE - Venezuela 1
Totale 5.413
Salva come PNG Salva come JPEG
Città #
Singapore 400
Jacksonville 393
Chandler 372
Dublin 269
Princeton 161
Izmir 143
Beijing 126
Nanjing 125
The Dalles 91
Ashburn 80
Ann Arbor 78
Santa Clara 71
Cambridge 65
Dearborn 62
Southend 62
Nanchang 54
Wilmington 49
Munich 46
Hefei 45
Altamura 36
Tongling 34
Boardman 30
Los Angeles 28
Francavilla Al Mare 22
Hong Kong 20
Jiaxing 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
New York 12
São Paulo 12
San Mateo 11
Seattle 11
Brussels 10
Centrale 10
Changchun 9
Zhengzhou 9
Helsinki 8
Ardabil 7
Brasília 7
Chicago 7
Council Bluffs 7
Johannesburg 7
Lanzhou 7
London 7
Brooklyn 6
Montreal 6
Rome 6
San Francisco 6
Turku 6
Belo Horizonte 5
Charlotte 5
Frankfurt am Main 5
Guangzhou 5
Moscow 5
Rio de Janeiro 5
Wroclaw 5
Dong Ket 4
Fara Gera D'adda 4
Mexico City 4
Palombara Sabina 4
Phoenix 4
Shanghai 4
Stockholm 4
Termoli 4
Tokyo 4
Warsaw 4
Ancona 3
Atlanta 3
Bexley 3
Boston 3
Campo Grande 3
Chennai 3
Chieti 3
Fermo 3
Isernia 3
Jinan 3
L'aquila 3
Milan 3
Ningbo 3
Porto Alegre 3
San Jose 3
Tashkent 3
Anaheim 2
Ankara 2
Auburn Hills 2
Augusta 2
Baku 2
Bangalore 2
Boydton 2
Canino 2
Totale 3.360
Salva come PNG Salva come JPEG
Nome #
Verifying Controllability of Time-Aware Business Processes 133
Automatic Proofs of Protocols via Program Transformation. 112
Verification of time-aware business processes using constrained horn clauses 110
Predicate Pairing for program verification 105
Specialization with constrained generalization for software model checking 103
Semantics and controllability of time-aware business processes 100
Combining logic programs and monadic second order logics by program transformation 99
An Infrastructural Approach to Secure Interoperability of Electronic IDs: The Bridging Backbone 96
A layered IT infrastructure for secure interoperability in Personal Data Registry digital government services 89
The Italian Electronic Identity Card: a short introduction. 89
Defense trees for economic evaluation of security investments 86
Using real relaxations during program specialization 82
Specialization with clause splitting for deriving deterministic constraint logic programs 81
Program Verification using Constraint Handling Rules and Array Constraint Generalizations 81
Proving correctness of imperative programs by linearizing constrained Horn clauses 79
Verification of infinite-state systems by specialization of CLP programs 77
Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation. 76
Lemma generation for horn clause satisfiability: A preliminary study 76
The italian electronic identity card: Overall architecture and it infrastructure 75
Inter-organizational e-services accounting management on computational Grids 75
Identity Management for e-Government Services 74
Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation 74
Evaluation of complex security scenarios using defense trees and economic indexes 73
Improving Reachability Analysis of Infinite State Systems by Specialization 73
Bounded symbolic execution for runtime error detection of Erlang programs 73
Reliable peer-to-peer access for Italian citizens to digital government services on the Internet. 72
A Rule-based Verification Strategy for Array Manipulating Programs 72
Automated strategies for specializing constraint logic programs 71
Rules and strategies for contextual specialization of constraint logic programs. 70
Semantics-based generation of verification conditions via program specialization 69
Removing unnecessary variables from Horn clause verification conditions 69
A Specification for Security Services on Computational Grids 68
Verification of sets of infinite state processes using program transformation 68
Proceedings of the 26th Italian Conference on Computational Logic (CILC 2011)Pescara, Italy, August 31 - September 2, 2011. 67
Specialization with Constrained Generalization for Software Model Checking 67
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach 67
Modeling Gene Regulatory Network Motifs using Statecharts 66
Property-Based Test Case Generators for Free 66
Branching Preserving Specialization for Software Model Checking 65
Proving Theorems by Program Transformation 65
Using Real Relaxations During Program Specialization 65
Verification of Imperative Programs through Transformation of Constraint Logic Programs 63
Verifying Relational Program Properties by Transforming Constrained Horn Clauses 63
Proving properties of sorting programs: A case study in horn clause verification 63
Efficient Generation of Test Data Structures using Constraint Logic Programming and Program Transformation 62
Program verification via iterated specialization 62
Quality of service in wireless networks 61
A Statechart based representation for SBML descriptions 60
Controlling Polyvariance for Specialization-based Verification 60
Generalization Strategies for the Verification of Infinite State Systems 59
Improving Reachability Analysis of Infinite State Systems by Specialization 59
Verifying Programs via Iterated Specialization 59
Generation of test data structures using Constraint Logic Programming 59
Solving Horn Clauses on Inductive Data Types Without Induction 59
Program Transformation for Development, Verification, and Synthesis of Programs 58
Transformation Rules for Locally Stratified Constraint Logic Programs 57
Contract Strengthening through Constrained Horn Clause Verification 56
Software Model Checking by Program Specialization 56
Improving Reachability Analysis of Infinite State Systems by Specialization 52
Semantics-based generation of verification conditions via program specialization 50
null 50
Verification of Imperative Programs by Constraint Logic Program Transformation 49
Special issue on the Italian conference on computational logic: CILC 2011 49
Transformational verification of quicksort 46
Using CP-nets as a guide for countermeasure selection 44
Predicate Pairing with Abstraction for Relational Verification 43
AI for Sustainability: Research at Ud’A Node 42
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution) 42
Multiple Query Satisfiability of Constrained Horn Clauses 41
null 39
null 38
null 37
null 37
Controlling Polyvariance for Specialization-based Verification 36
null 35
null 35
null 35
Program Verification using Constraint Handling Rules and Array Constraint Generalizations 35
null 34
null 33
Relational verification through horn clause transformation 33
null 30
Modeling Gene Network Motifs Using Statecharts 30
null 29
null 28
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions 26
Program Verification using Constraint Handling Rules and Array Constraint Generalizations 25
Generalization Strategies for the Verification of Infinite State Systems. 25
null 23
VeriMAP: A Tool for Verifying Programs through Transformations 22
Verifying Array Programs by Transforming Verification Conditions 17
null 17
Verification of Programs by Combining Iterated Specialization with Interpolation 16
Catamorphic Abstractions for Constrained Horn Clause Satisfiability 15
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates 15
Verification of Imperative Programs by Transforming Constraint Logic Programs 14
Analysis and Transformation of Constrained Horn Clauses for Program Verification 11
Evaluating the Aspect-Category-Opinion-Sentiment Analysis Task on a Custom Dataset 10
Visualizing CHC Verification Conditions for Smart Contracts Auditing 8
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses 7
Totale 5.597
Salva come PNG Salva come JPEG
Categoria #
all - tutte 28.625
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 28.625
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021404 0 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.304 66 277 218 23 11 16 19 98 103 67 187 219
2025/2026317 269 48 0 0 0 0 0 0 0 0 0 0
Totale 5.601