IRIS
FIORAVANTI, Fabio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.724
EU - Europa 1.445
AS - Asia 696
Continente sconosciuto - Info sul continente non disponibili 4
SA - Sud America 3
OC - Oceania 2
AF - Africa 1
Totale 3.875
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.720
CN - Cina 402
UA - Ucraina 337
IE - Irlanda 279
IT - Italia 256
TR - Turchia 226
SE - Svezia 200
GB - Regno Unito 110
DE - Germania 91
FI - Finlandia 59
FR - Francia 53
RU - Federazione Russa 43
SG - Singapore 37
IN - India 11
BE - Belgio 10
IR - Iran 7
VN - Vietnam 4
CA - Canada 3
EU - Europa 3
AT - Austria 2
CL - Cile 2
ES - Italia 2
IL - Israele 2
JP - Giappone 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AE - Emirati Arabi Uniti 1
AU - Australia 1
AZ - Azerbaigian 1
DK - Danimarca 1
KH - Cambogia 1
KZ - Kazakistan 1
MN - Mongolia 1
NL - Olanda 1
NZ - Nuova Zelanda 1
PA - Panama 1
PE - Perù 1
PT - Portogallo 1
ZA - Sudafrica 1
Totale 3.875
Salva come PNG Salva come JPEG
Città #
Jacksonville 391
Chandler 373
Dublin 270
Princeton 161
Izmir 143
Nanjing 125
Ann Arbor 78
Beijing 72
Cambridge 65
Ashburn 63
Dearborn 62
Southend 62
Nanchang 54
Wilmington 49
Altamura 36
Boardman 30
Francavilla Al Mare 22
Jiaxing 20
Singapore 19
Civitanova Marche 15
Hebei 15
Norwalk 15
Shenyang 15
Hangzhou 14
Leawood 14
Tianjin 14
Woodbridge 14
Kunming 13
Washington 13
Changsha 12
San Mateo 11
Centrale 10
Brussels 9
Changchun 9
Los Angeles 9
Zhengzhou 9
Ardabil 7
Lanzhou 7
Seattle 6
Helsinki 5
Pescara 5
Dong Ket 4
Fara Gera D'adda 4
Guangzhou 4
Moscow 4
Palombara Sabina 4
Termoli 4
Ancona 3
Chieti 3
Fermo 3
Isernia 3
Jinan 3
L'aquila 3
Ningbo 3
Rome 3
Anaheim 2
Auburn Hills 2
Augusta 2
Bangalore 2
Canino 2
Ealing 2
Kocaeli 2
London 2
Madrid 2
Maiolati Spontini 2
Monmouth Junction 2
Morro D'oro 2
Mumbai 2
Orsogna 2
Perugia 2
Sambuceto 2
San Giovanni Teatino 2
Shenzhen 2
Taizhou 2
Vienna 2
Xian 2
Alcamo 1
Almaty 1
Andover 1
Baku 1
Bari 1
Bologna 1
Callao 1
Christchurch 1
Copenhagen 1
Draveil 1
Dubai 1
Edinburgh 1
Fairfield 1
Frankfurt am Main 1
Fuzhou 1
Grevenbroich 1
Hefei 1
Istanbul 1
Johannesburg 1
Kortrijk 1
Lappeenranta 1
Levittown 1
Lisbon 1
L’Aquila 1
Totale 2.450
Salva come PNG Salva come JPEG
Nome #
Verifying Controllability of Time-Aware Business Processes 107
Verification of time-aware business processes using constrained horn clauses 97
Predicate Pairing for program verification 87
Specialization with constrained generalization for software model checking 80
Semantics and controllability of time-aware business processes 76
The Italian Electronic Identity Card: a short introduction. 73
An Infrastructural Approach to Secure Interoperability of Electronic IDs: The Bridging Backbone 72
Automatic Proofs of Protocols via Program Transformation. 71
A layered IT infrastructure for secure interoperability in Personal Data Registry digital government services 68
Combining logic programs and monadic second order logics by program transformation 68
Inter-organizational e-services accounting management on computational Grids 65
Program Verification using Constraint Handling Rules and Array Constraint Generalizations 65
Proving correctness of imperative programs by linearizing constrained Horn clauses 64
The italian electronic identity card: Overall architecture and it infrastructure 63
Defense trees for economic evaluation of security investments 63
Evaluation of complex security scenarios using defense trees and economic indexes 60
Using real relaxations during program specialization 60
Reliable peer-to-peer access for Italian citizens to digital government services on the Internet. 59
Identity Management for e-Government Services 59
Rules and strategies for contextual specialization of constraint logic programs. 58
Verification of infinite-state systems by specialization of CLP programs 58
Verification of sets of infinite state processes using program transformation 57
Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation. 55
Bounded symbolic execution for runtime error detection of Erlang programs 55
Removing unnecessary variables from Horn clause verification conditions 55
Lemma generation for horn clause satisfiability: A preliminary study 55
Specialization with clause splitting for deriving deterministic constraint logic programs 54
A Rule-based Verification Strategy for Array Manipulating Programs 53
Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation 52
Quality of service in wireless networks 51
Semantics-based generation of verification conditions via program specialization 51
Improving Reachability Analysis of Infinite State Systems by Specialization 50
Proceedings of the 26th Italian Conference on Computational Logic (CILC 2011)Pescara, Italy, August 31 - September 2, 2011. 50
A Specification for Security Services on Computational Grids 50
null 50
Using Real Relaxations During Program Specialization 50
Program Transformation for Development, Verification, and Synthesis of Programs 49
A Statechart based representation for SBML descriptions 48
Verifying Programs via Iterated Specialization 48
Controlling Polyvariance for Specialization-based Verification 48
Efficient Generation of Test Data Structures using Constraint Logic Programming and Program Transformation 48
Verification of Imperative Programs through Transformation of Constraint Logic Programs 48
Automated strategies for specializing constraint logic programs 48
Solving Horn Clauses on Inductive Data Types Without Induction 48
Property-Based Test Case Generators for Free 48
Modeling Gene Regulatory Network Motifs using Statecharts 47
Generalization Strategies for the Verification of Infinite State Systems 47
Generation of test data structures using Constraint Logic Programming 46
Branching Preserving Specialization for Software Model Checking 45
Program verification via iterated specialization 45
Proving properties of sorting programs: A case study in horn clause verification 44
Transformation Rules for Locally Stratified Constraint Logic Programs 43
Specialization with Constrained Generalization for Software Model Checking 43
Semantics-based generation of verification conditions via program specialization 43
Software Model Checking by Program Specialization 42
Improving Reachability Analysis of Infinite State Systems by Specialization 41
Verification of Imperative Programs by Constraint Logic Program Transformation 40
Verifying Relational Program Properties by Transforming Constrained Horn Clauses 39
null 39
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach 39
null 38
null 37
null 35
Proving Theorems by Program Transformation 35
null 35
null 35
Special issue on the Italian conference on computational logic: CILC 2011 34
null 34
Improving Reachability Analysis of Infinite State Systems by Specialization 33
null 30
null 29
null 28
Transformational verification of quicksort 27
Controlling Polyvariance for Specialization-based Verification 24
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates 24
null 23
Predicate Pairing with Abstraction for Relational Verification 20
Program Verification using Constraint Handling Rules and Array Constraint Generalizations 19
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses 16
Using CP-nets as a guide for countermeasure selection 15
Contract Strengthening through Constrained Horn Clause Verification 14
VeriMAP: A Tool for Verifying Programs through Transformations 13
Multiple Query Satisfiability of Constrained Horn Clauses 12
Modeling Gene Network Motifs Using Statecharts 12
Generalization Strategies for the Verification of Infinite State Systems. 12
Relational verification through horn clause transformation 12
Program Verification using Constraint Handling Rules and Array Constraint Generalizations 11
null 11
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution) 9
Analysis and Transformation of Constrained Horn Clauses for Program Verification 7
Verification of Imperative Programs by Transforming Constraint Logic Programs 6
Verifying Array Programs by Transforming Verification Conditions 6
Verification of Programs by Combining Iterated Specialization with Interpolation 4
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions 3
Evaluating the Aspect-Category-Opinion-Sentiment Analysis Task on a Custom Dataset 2
Totale 4.042
Salva come PNG Salva come JPEG
Categoria #
all - tutte 17.963
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 17.963
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020815 277 53 12 13 80 47 103 73 31 27 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.045 112 132 73 123 89 199 62 56 140 6 29 24
2023/2024391 47 23 34 10 32 108 81 10 1 11 3 31
2024/202555 55 0 0 0 0 0 0 0 0 0 0 0
Totale 4.042