IRIS - Res&Arch Institutional Research Information System - Research & Archive

GENTILINI, Raffaella
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.162
EU - Europa 922
AS - Asia 837
SA - Sud America 152
Continente sconosciuto - Info sul continente non disponibili 74
AF - Africa 25
OC - Oceania 2
Totale 3.174
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.126
SG - Singapore 410
IT - Italia 181
IE - Irlanda 160
UA - Ucraina 140
RU - Federazione Russa 129
VN - Vietnam 124
BR - Brasile 118
CN - Cina 91
HK - Hong Kong 85
SE - Svezia 71
DE - Germania 52
FR - Francia 47
FI - Finlandia 38
GB - Regno Unito 34
KR - Corea 26
IN - India 20
BD - Bangladesh 18
BE - Belgio 15
CA - Canada 15
TR - Turchia 14
PL - Polonia 13
AR - Argentina 11
MX - Messico 11
AT - Austria 10
CH - Svizzera 10
PK - Pakistan 9
IQ - Iraq 6
JP - Giappone 6
VE - Venezuela 6
ZA - Sudafrica 6
EC - Ecuador 5
ES - Italia 5
MA - Marocco 5
NL - Olanda 5
CL - Cile 4
TN - Tunisia 4
UZ - Uzbekistan 4
AZ - Azerbaigian 3
CO - Colombia 3
CR - Costa Rica 3
GR - Grecia 3
ID - Indonesia 3
LT - Lituania 3
PH - Filippine 3
PY - Paraguay 3
SA - Arabia Saudita 3
TT - Trinidad e Tobago 3
CG - Congo 2
KE - Kenya 2
KW - Kuwait 2
NI - Nicaragua 2
RO - Romania 2
AE - Emirati Arabi Uniti 1
AU - Australia 1
BB - Barbados 1
BF - Burkina Faso 1
BG - Bulgaria 1
BT - Bhutan 1
CZ - Repubblica Ceca 1
EG - Egitto 1
ET - Etiopia 1
GF - Guiana Francese 1
IL - Israele 1
IR - Iran 1
JM - Giamaica 1
KG - Kirghizistan 1
LB - Libano 1
LY - Libia 1
MU - Mauritius 1
MY - Malesia 1
NP - Nepal 1
NZ - Nuova Zelanda 1
PS - Palestinian Territory 1
PT - Portogallo 1
RS - Serbia 1
SN - Senegal 1
SY - Repubblica araba siriana 1
UY - Uruguay 1
Totale 3.100
Salva come PNG Salva come JPEG
Città #
Singapore 303
Dublin 160
Chandler 134
Perugia 95
Hong Kong 83
Jacksonville 79
Ashburn 73
Boardman 67
Dong Ket 67
San Mateo 67
Ann Arbor 66
San Jose 52
Moscow 48
Santa Clara 46
Altamura 38
Medford 37
Princeton 37
Lauterbourg 31
Wilmington 30
Lawrence 29
Seoul 26
Ho Chi Minh City 24
Los Angeles 23
New York 20
Munich 18
Beijing 17
Saint Petersburg 16
Andover 15
The Dalles 15
Des Moines 13
São Paulo 13
Piscataway 12
Hanoi 11
Brussels 10
Milan 9
Woodbridge 9
Houston 7
Brasília 6
Council Bluffs 6
Dallas 6
Norwalk 6
San Francisco 6
San Paolo di Civitate 6
Vienna 6
Warsaw 6
Atlanta 5
Belo Horizonte 5
Chennai 5
Lahore 5
Poplar 5
Tokyo 5
Brooklyn 4
Chicago 4
Denver 4
Falls Church 4
Haiphong 4
Izmir 4
Montreal 4
Orem 4
Rio de Janeiro 4
Turku 4
Ankara 3
Baghdad 3
Boston 3
Da Nang 3
Jesi 3
Johannesburg 3
Kraków 3
London 3
Manchester 3
Mexico City 3
Mumbai 3
Porto Alegre 3
San José 3
Shanghai 3
Stockholm 3
Toronto 3
Amsterdam 2
Antwerp 2
Augusta 2
Austell 2
Austin 2
Baku 2
Buffalo 2
Campinas 2
Caruaru 2
Casablanca 2
Charlotte 2
Ciudad del Este 2
Concepción 2
Dhaka 2
Edinburgh 2
Eindhoven 2
Florence 2
Frankfurt am Main 2
Gembloux 2
Guangzhou 2
Guarujá 2
Hangzhou 2
Helena 2
Totale 2.012
Salva come PNG Salva come JPEG
Nome #
Automated Abstraction-Refinement of Hybrid Automata for Monotonic CTL Model Checking 160
Faster Pseudopolynomial Algorithms for Mean-Payoff Games 133
Accelerating Energy Games Solvers on Modern Architectures 133
Algorithms for reducing structures in verification 114
Toward integration of formalisms for system biology: The gene regulatory network case. 107
The Complexity of Rational Synthesis 106
Finite-Valued Weighted Automata 105
Computing strongly connected components in a linear number of symbolic steps 103
Energy and Mean-Payoff Games with Imperfect Information. 102
A Uniform Approach to Three-Valued Semantics for µ-Calculus on Abstractions of Hybrid Automata 102
Faster algorithms for mean-payoff games 97
Biconnectivity on Symbolically Represented Graphs: A Linear Solution. 96
From Bisimulation to Simulation: Coarsest Partition Problems 95
Approximated Reachability on Hybrid Automata: Falsification meets Certification 90
Combining Interval Arithmetic and Three-Valued Temporal Logics for the Verification of Analog Systems. 88
Online firefighting on grids 88
A Uniform Approach to Three-Valued Semantics for mu-Calculus on Abstractions of Hybrid Automata. 84
Hybrid Automata in Systems Biology 79
A SAT encoding for solving games with energy objectives. 79
A note on the approximation of mean-payoff games. 77
Simulation as Coarsest Partition Problem 74
The Adversarial Stackelberg Value in Quantitative Games 74
A note on the approximation of mean-payoff games 72
Property Driven Three-Valued Model Checking on Hybrid Automata 67
Quantitative Languages Defined by Functional Automata 67
Rational Synthesis under Imperfect Information 67
Reachability Problems on Extended O-Minimal Hybrid Automata 63
Quantitative languages defined by functional automata 62
Simulation Reduction as Constraint 59
Symbolic Graphs: Linear Solutions to Connectivity Related Problems 59
Passive Learning of Regular Data Languages in Polynomial Time and Data 59
Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking 57
Rank-Based Symbolic Bisimulation (and Model Checking) 54
Three-valued automated reasoning on analog properties. 54
Functional Weighted Automata 54
Rank and simulation: the well-founded case 54
Scalable Energy Games Solvers on GPUs 51
Rank-based simulation on acyclic graphs. 44
SAT Encodings for Solving Games with Energy Objectives 36
Register Automata with Permutations 9
Totale 3.174
Salva come PNG Salva come JPEG
Categoria #
all - tutte 14.970
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 14.970
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022311 0 48 4 16 16 5 4 78 18 7 63 52
2022/2023496 45 120 5 41 20 43 0 18 184 0 12 8
2023/2024200 9 15 7 4 3 11 40 3 37 18 14 39
2024/2025466 1 50 0 9 93 24 14 43 95 33 58 46
2025/20261.047 80 65 55 169 162 94 161 54 96 74 25 12
2026/202741 19 22 0 0 0 0 0 0 0 0 0 0
Totale 3.174