CNR Institutional Research Information System

FIORAVANTI, FABIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 966
NA - Nord America 863
SA - Sud America 173
EU - Europa 144
AF - Africa 20
Continente sconosciuto - Info sul continente non disponibili 14
Totale 2.180
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 817
SG - Singapore 421
CN - Cina 230
BR - Brasile 128
HK - Hong Kong 97
VN - Vietnam 81
FR - Francia 52
KR - Corea 33
IT - Italia 26
JP - Giappone 25
CA - Canada 18
IN - India 18
GB - Regno Unito 14
AR - Argentina 13
BD - Bangladesh 11
DE - Germania 10
EC - Ecuador 10
CO - Colombia 9
MX - Messico 9
FI - Finlandia 7
JM - Giamaica 7
TR - Turchia 7
ES - Italia 6
IL - Israele 6
IQ - Iraq 5
NL - Olanda 5
SA - Arabia Saudita 5
CL - Cile 4
CR - Costa Rica 4
ID - Indonesia 4
MA - Marocco 4
RU - Federazione Russa 4
UZ - Uzbekistan 4
VE - Venezuela 4
ZA - Sudafrica 4
AE - Emirati Arabi Uniti 3
IE - Irlanda 3
PE - Perù 3
PK - Pakistan 3
TN - Tunisia 3
AZ - Azerbaigian 2
BB - Barbados 2
CZ - Repubblica Ceca 2
EG - Egitto 2
HN - Honduras 2
KE - Kenya 2
LA - Repubblica Popolare Democratica del Laos 2
LT - Lituania 2
MY - Malesia 2
NI - Nicaragua 2
OM - Oman 2
PL - Polonia 2
RS - Serbia 2
SE - Svezia 2
SN - Senegal 2
BG - Bulgaria 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
PH - Filippine 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.166
Salva come PNG Salva come JPEG
Città #
Santa Clara 374
Singapore 257
Hong Kong 95
Hefei 87
Los Angeles 56
San Jose 56
Beijing 55
Ashburn 52
Lauterbourg 45
Seoul 33
Hanoi 24
Ho Chi Minh City 23
Tokyo 18
Milan 13
New York 13
Dallas 10
Council Bluffs 9
Orem 9
São Paulo 9
Buffalo 7
Helsinki 6
Rio de Janeiro 6
Brooklyn 5
Des Moines 5
Frankfurt am Main 5
Guayaquil 5
Minamishinagawa 5
Newark 5
The Dalles 5
Curitiba 4
Denver 4
Guangzhou 4
Kingston 4
Lang Son 4
Montreal 4
San Francisco 4
San José 4
Baghdad 3
Baltimore 3
Bengaluru 3
Charlotte 3
Chicago 3
Greensburg 3
Haiphong 3
Mexico City 3
Quito 3
Rome 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
Bridgetown 2
Buenos Aires 2
Bạc Liêu 2
Cairo 2
Campinas 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
Lebanon 2
Lima region 2
Lithonia 2
Mableton 2
Madrid 2
Magé 2
Managua 2
Miami 2
Mohali 2
Nairobi 2
Nanjing 2
Naples 2
Ninh Bình 2
North Augusta 2
Nuremberg 2
Paulista 2
Philadelphia 2
Phoenix 2
Port Saint Lucie 2
Porterville 2
Porto Alegre 2
Prague 2
Quảng Ngãi 2
Regina 2
Renton 2
Rock Hill 2
Saint Albans 2
Totale 1.462
Salva come PNG Salva come JPEG
Nome #
Program verification via iterated specialization 83
Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation 78
A Rule-based Verification Strategy for Array Manipulating Programs 75
Improving Reachability Analysis of Infinite State Systems by Specialization 63
Verifying Array Programs by Transforming Verification Conditions 62
Predicate pairing with abstraction for relational verification 57
Predicate Pairing for program verification 57
Semantics and Controllability of Time-Aware Business Processes 56
Horn Clause Transformation for Program Verification 51
Generalization strategies for the verification of infinite state systems 50
Semantics and Controllability of Time-Aware Business Processes 50
27th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2017 49
Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification 49
Automated Verification of Relational Program Properties 46
Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs 46
Property-Based Test Case Generators for Free 46
Semantics-based generation of verification conditions via program specialization 45
Lemma Generation for Horn Clause Satisfiability: A Preliminary Study 44
Verifying Controllability of Time-Aware Business Processes 43
Verifying controllability of time-aware business processes 43
Verifying relational program properties by transforming constrained Horn clauses 42
Solving Horn Clauses on Inductive Data Types Without Induction 42
VeriMAP: A tool for verifying programs through transformations 41
Removing unnecessary variables from Horn clause verification conditions 40
Verification of time-aware business processes using constrained Horn clauses 40
Proving Correctness of Imperative Programs by Linearizing Constrained Horn Clauses 39
Verifying Programs via Iterated Specialization 37
Software Model Checking by Program Specialization 36
Semantics-based generation of verification conditions by program specialization 35
Enhancing Predicate Pairing with Abstraction for Relational Verification 35
Efficient generation of test data structures using constraint logic programming and program transformation 34
Specialization with Constrained Generalization for Software Model Checking 34
Verification of Imperative Programs through Transformation of Constraint Logic Programs 34
Generation of Test Data Structures Using Constraint Logic Programming 34
Program Verification using Constraint Handling Rules and Array Constraint Generalizations 33
Controlling Polyvariance for Specialization-Based Verification 32
A Constraint-Based Transformation for Verifying Infinite State Systems 32
Verifying Programs via Iterated Specialization 32
Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation 31
Program Verification via Iterated Specialization 30
Verification of Imperative Programs by Transforming Constraint Logic Programs 30
Proving Horn Clause Specifications of Imperative Programs 30
Modeling Gene Regulatory Network Motifs using Statecharts 28
A Rule-based Verification Strategy for Array Manipulating Programs 28
Evaluation of complex security scenarios using defense trees and economic indexes 28
Using Real Relaxations During Program Specialization 27
Improving Reachability Analysis of Infinite State Systems by Specialization 27
Rules and Strategies for Contextual Specialization of Constraint Logic Programs 27
Verification of Programs by Combining Iterated Specialization with Interpolation 26
Branching Preserving Specialization for Software Model Checking 26
Program Transformation for Development, Verification, and Synthesis of Programs 25
Generalization Strategies for the Verification of Infinite State Systems 25
A Statechart based representation for SBML descriptions 24
Program Verification using Constraint Handling Rules and Array Constraint Generalizations 23
Totale 2.180
Salva come PNG Salva come JPEG
Categoria #
all - tutte 7.499
article - articoli 3.186
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 10.685
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/2027212 87 44 81 0 0 0 0 0 0 0 0 0
Totale 2.180