CNR Institutional Research Information System

FIORAVANTI, FABIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 954
NA - Nord America 751
SA - Sud America 160
EU - Europa 127
AF - Africa 19
Totale 2.011
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 714
SG - Singapore 421
CN - Cina 230
BR - Brasile 125
HK - Hong Kong 96
VN - Vietnam 79
FR - Francia 52
KR - Corea 33
JP - Giappone 24
IN - India 18
AR - Argentina 13
GB - Regno Unito 13
IT - Italia 13
CA - Canada 12
DE - Germania 10
MX - Messico 8
BD - Bangladesh 7
TR - Turchia 7
CO - Colombia 6
EC - Ecuador 6
FI - Finlandia 6
IL - Israele 6
JM - Giamaica 6
ES - Italia 5
IQ - Iraq 5
NL - Olanda 5
SA - Arabia Saudita 5
CR - Costa Rica 4
MA - Marocco 4
RU - Federazione Russa 4
UZ - Uzbekistan 4
AE - Emirati Arabi Uniti 3
CL - Cile 3
ID - Indonesia 3
IE - Irlanda 3
PE - Perù 3
PK - Pakistan 3
TN - Tunisia 3
ZA - Sudafrica 3
AZ - Azerbaigian 2
EG - Egitto 2
HN - Honduras 2
KE - Kenya 2
LA - Repubblica Popolare Democratica del Laos 2
LT - Lituania 2
NI - Nicaragua 2
OM - Oman 2
PL - Polonia 2
RS - Serbia 2
SE - Svezia 2
SN - Senegal 2
VE - Venezuela 2
BB - Barbados 1
BG - Bulgaria 1
CZ - Repubblica Ceca 1
DZ - Algeria 1
EE - Estonia 1
GT - Guatemala 1
GY - Guiana 1
HU - Ungheria 1
KH - Cambogia 1
ML - Mali 1
MN - Mongolia 1
MR - Mauritania 1
NO - Norvegia 1
NP - Nepal 1
PT - Portogallo 1
PY - Paraguay 1
RO - Romania 1
SY - Repubblica araba siriana 1
TT - Trinidad e Tobago 1
UA - Ucraina 1
Totale 2.011
Salva come PNG Salva come JPEG
Città #
Santa Clara 372
Singapore 257
Hong Kong 94
Hefei 87
Los Angeles 56
San Jose 56
Beijing 55
Lauterbourg 45
Ashburn 36
Seoul 33
Ho Chi Minh City 23
Hanoi 22
Tokyo 18
New York 12
Dallas 10
Orem 9
São Paulo 9
Buffalo 6
Rio de Janeiro 6
Des Moines 5
Frankfurt am Main 5
Helsinki 5
Milan 5
Minamishinagawa 5
The Dalles 5
Brooklyn 4
Curitiba 4
Guangzhou 4
Kingston 4
Lang Son 4
San José 4
Baghdad 3
Bengaluru 3
Council Bluffs 3
Denver 3
Greensburg 3
Guayaquil 3
Haiphong 3
Mexico City 3
Montreal 3
San Francisco 3
Tashkent 3
Uberlândia 3
Amsterdam 2
Atlanta 2
Baku 2
Belgrade 2
Belo Horizonte 2
Biên Hòa 2
Brasília 2
Buenos Aires 2
Bạc Liêu 2
Cairo 2
Campinas 2
Charlotte 2
Chennai 2
Copperas Cove 2
Dakar 2
Detroit 2
Dublin 2
Duque de Caxias 2
El Progreso 2
Fortaleza 2
Houston 2
Itajaí 2
Johannesburg 2
Lahore 2
Lima region 2
Mableton 2
Magé 2
Managua 2
Miami 2
Mohali 2
Nairobi 2
Nanjing 2
Naples 2
Newark 2
Ninh Bình 2
North Augusta 2
Nuremberg 2
Paulista 2
Port Saint Lucie 2
Porterville 2
Porto Alegre 2
Quảng Ngãi 2
Renton 2
Rock Hill 2
Saint Albans 2
Santiago 2
Sharjah 2
São José 2
São José dos Campos 2
Tampa 2
Thành Phố Uông Bí 2
Toronto 2
Tunis 2
Vancouver 2
Vientiane 2
'Asir Region 1
Afyonkarahisar 1
Totale 1.408
Salva come PNG Salva come JPEG
Nome #
Program verification via iterated specialization 79
Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation 77
Improving Reachability Analysis of Infinite State Systems by Specialization 61
Verifying Array Programs by Transforming Verification Conditions 57
Predicate pairing with abstraction for relational verification 54
Predicate Pairing for program verification 52
Semantics and Controllability of Time-Aware Business Processes 51
Generalization strategies for the verification of infinite state systems 49
A Rule-based Verification Strategy for Array Manipulating Programs 49
Semantics and Controllability of Time-Aware Business Processes 48
27th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2017 47
Horn Clause Transformation for Program Verification 47
Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification 47
Property-Based Test Case Generators for Free 45
Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs 44
Automated Verification of Relational Program Properties 43
Lemma Generation for Horn Clause Satisfiability: A Preliminary Study 42
Semantics-based generation of verification conditions via program specialization 41
Verifying Controllability of Time-Aware Business Processes 40
Solving Horn Clauses on Inductive Data Types Without Induction 40
Verifying relational program properties by transforming constrained Horn clauses 39
Verifying controllability of time-aware business processes 39
Removing unnecessary variables from Horn clause verification conditions 37
VeriMAP: A tool for verifying programs through transformations 37
Proving Correctness of Imperative Programs by Linearizing Constrained Horn Clauses 37
Verifying Programs via Iterated Specialization 36
Verification of time-aware business processes using constrained Horn clauses 36
Software Model Checking by Program Specialization 34
Verification of Imperative Programs through Transformation of Constraint Logic Programs 33
Efficient generation of test data structures using constraint logic programming and program transformation 32
Semantics-based generation of verification conditions by program specialization 32
Enhancing Predicate Pairing with Abstraction for Relational Verification 32
A Constraint-Based Transformation for Verifying Infinite State Systems 31
Program Verification using Constraint Handling Rules and Array Constraint Generalizations 31
Specialization with Constrained Generalization for Software Model Checking 31
Controlling Polyvariance for Specialization-Based Verification 30
Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation 30
Verifying Programs via Iterated Specialization 30
Generation of Test Data Structures Using Constraint Logic Programming 29
Proving Horn Clause Specifications of Imperative Programs 28
Program Verification via Iterated Specialization 27
A Rule-based Verification Strategy for Array Manipulating Programs 27
Verification of Imperative Programs by Transforming Constraint Logic Programs 27
Modeling Gene Regulatory Network Motifs using Statecharts 26
Rules and Strategies for Contextual Specialization of Constraint Logic Programs 26
Evaluation of complex security scenarios using defense trees and economic indexes 26
Improving Reachability Analysis of Infinite State Systems by Specialization 25
Verification of Programs by Combining Iterated Specialization with Interpolation 25
Using Real Relaxations During Program Specialization 24
Program Transformation for Development, Verification, and Synthesis of Programs 24
Branching Preserving Specialization for Software Model Checking 24
Generalization Strategies for the Verification of Infinite State Systems 23
A Statechart based representation for SBML descriptions 22
Program Verification using Constraint Handling Rules and Array Constraint Generalizations 22
Totale 2.025
Salva come PNG Salva come JPEG
Categoria #
all - tutte 6.894
article - articoli 2.922
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 9.816
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2023/20249 0 0 0 0 0 0 0 0 0 0 9 0
2024/2025859 4 4 52 29 311 57 15 29 26 14 170 148
2025/20261.100 38 124 85 143 202 71 208 52 68 61 25 23
2026/202757 57 0 0 0 0 0 0 0 0 0 0 0
Totale 2.025