CNR Institutional Research Information System

FIORAVANTI, FABIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 951
NA - Nord America 673
SA - Sud America 158
EU - Europa 126
AF - Africa 19
Totale 1.927
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 649
SG - Singapore 420
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
DE - Germania 10
CA - Canada 9
MX - Messico 8
TR - Turchia 7
BD - Bangladesh 6
FI - Finlandia 6
IL - Israele 6
CO - Colombia 5
EC - Ecuador 5
ES - Italia 5
IQ - Iraq 5
NL - Olanda 5
SA - Arabia Saudita 5
MA - Marocco 4
RU - Federazione Russa 4
UZ - Uzbekistan 4
AE - Emirati Arabi Uniti 3
CL - Cile 3
ID - Indonesia 3
PE - Perù 3
PK - Pakistan 3
TN - Tunisia 3
ZA - Sudafrica 3
AZ - Azerbaigian 2
EG - Egitto 2
HN - Honduras 2
IE - Irlanda 2
KE - Kenya 2
LA - Repubblica Popolare Democratica del Laos 2
LT - Lituania 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
CR - Costa Rica 1
CZ - Repubblica Ceca 1
DZ - Algeria 1
EE - Estonia 1
GT - Guatemala 1
GY - Guiana 1
HU - Ungheria 1
JM - Giamaica 1
KH - Cambogia 1
ML - Mali 1
MN - Mongolia 1
MR - Mauritania 1
NO - Norvegia 1
PT - Portogallo 1
PY - Paraguay 1
RO - Romania 1
SY - Repubblica araba siriana 1
TT - Trinidad e Tobago 1
UA - Ucraina 1
Totale 1.927
Salva come PNG Salva come JPEG
Città #
Santa Clara 371
Singapore 257
Hong Kong 94
Hefei 87
San Jose 56
Beijing 55
Los Angeles 53
Lauterbourg 45
Seoul 33
Ho Chi Minh City 23
Hanoi 22
Ashburn 19
Tokyo 18
Dallas 10
New York 10
Orem 9
São Paulo 9
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
Lang Son 4
Baghdad 3
Bengaluru 3
Buffalo 3
Council Bluffs 3
Denver 3
Haiphong 3
Mexico City 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
Chennai 2
Dakar 2
Detroit 2
Dublin 2
Duque de Caxias 2
El Progreso 2
Fortaleza 2
Guayaquil 2
Itajaí 2
Johannesburg 2
Lahore 2
Lima region 2
Magé 2
Mohali 2
Montreal 2
Nairobi 2
Nanjing 2
Naples 2
Newark 2
Ninh Bình 2
Nuremberg 2
Paulista 2
Porto Alegre 2
Quảng Ngãi 2
Santiago 2
Sharjah 2
São José 2
São José dos Campos 2
Thành Phố Uông Bí 2
Toronto 2
Tunis 2
Vientiane 2
'Asir Region 1
Afyonkarahisar 1
Albany 1
Ankara 1
Annapolis 1
Arapiraca 1
Araranguá 1
Arnstadt 1
Aryanah 1
Asunción 1
Atibaia 1
Auburn 1
Auriflama 1
Avaré 1
Balsas 1
Bamako 1
Barra Bonita 1
Barra de São Francisco 1
Barra do Piraí 1
Totale 1.358
Salva come PNG Salva come JPEG
Nome #
Program verification via iterated specialization 78
Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation 76
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 50
Generalization strategies for the verification of infinite state systems 49
A Rule-based Verification Strategy for Array Manipulating Programs 47
Predicate Pairing for program verification 47
Semantics and Controllability of Time-Aware Business Processes 47
Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification 47
Horn Clause Transformation for Program Verification 45
Semantics and Controllability of Time-Aware Business Processes 45
27th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2017 44
Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs 41
Property-Based Test Case Generators for Free 41
Automated Verification of Relational Program Properties 40
Lemma Generation for Horn Clause Satisfiability: A Preliminary Study 40
Verifying relational program properties by transforming constrained Horn clauses 39
Semantics-based generation of verification conditions via program specialization 39
Verifying Controllability of Time-Aware Business Processes 38
Solving Horn Clauses on Inductive Data Types Without Induction 37
Removing unnecessary variables from Horn clause verification conditions 36
Proving Correctness of Imperative Programs by Linearizing Constrained Horn Clauses 35
Verifying controllability of time-aware business processes 35
Verifying Programs via Iterated Specialization 34
VeriMAP: A tool for verifying programs through transformations 34
Verification of time-aware business processes using constrained Horn clauses 34
Software Model Checking by Program Specialization 32
A Constraint-Based Transformation for Verifying Infinite State Systems 31
Verification of Imperative Programs through Transformation of Constraint Logic Programs 31
Enhancing Predicate Pairing with Abstraction for Relational Verification 31
Controlling Polyvariance for Specialization-Based Verification 30
Efficient generation of test data structures using constraint logic programming and program transformation 30
Program Verification using Constraint Handling Rules and Array Constraint Generalizations 30
Specialization with Constrained Generalization for Software Model Checking 30
Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation 29
Semantics-based generation of verification conditions by program specialization 29
Verifying Programs via Iterated Specialization 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
Generation of Test Data Structures Using Constraint Logic Programming 27
Verification of Imperative Programs by Transforming Constraint Logic Programs 26
Modeling Gene Regulatory Network Motifs using Statecharts 25
Evaluation of complex security scenarios using defense trees and economic indexes 25
Using Real Relaxations During Program Specialization 24
Improving Reachability Analysis of Infinite State Systems by Specialization 24
Rules and Strategies for Contextual Specialization of Constraint Logic Programs 24
Program Transformation for Development, Verification, and Synthesis of Programs 24
Branching Preserving Specialization for Software Model Checking 24
Verification of Programs by Combining Iterated Specialization with Interpolation 23
A Statechart based representation for SBML descriptions 22
Generalization Strategies for the Verification of Infinite State Systems 22
Program Verification using Constraint Handling Rules and Array Constraint Generalizations 21
Totale 1.941
Salva come PNG Salva come JPEG
Categoria #
all - tutte 6.213
article - articoli 2.636
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 8.849
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.073 38 124 85 143 202 71 208 52 68 61 21 0
Totale 1.941