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


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