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

GENTILINI, Raffaella
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.100
EU - Europa 916
AS - Asia 826
SA - Sud America 151
AF - Africa 25
OC - Oceania 2
Totale 3.020
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.072
SG - Singapore 410
IT - Italia 176
IE - Irlanda 160
UA - Ucraina 140
RU - Federazione Russa 129
VN - Vietnam 124
BR - Brasile 118
CN - Cina 87
HK - Hong Kong 84
SE - Svezia 71
DE - Germania 52
FR - Francia 47
FI - Finlandia 38
GB - Regno Unito 34
KR - Corea 26
IN - India 20
BE - Belgio 15
TR - Turchia 14
PL - Polonia 13
BD - Bangladesh 12
AR - Argentina 11
CA - Canada 11
AT - Austria 10
CH - Svizzera 10
MX - Messico 9
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
TN - Tunisia 4
UZ - Uzbekistan 4
AZ - Azerbaigian 3
CL - Cile 3
CO - Colombia 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
CR - Costa Rica 2
KE - Kenya 2
KW - Kuwait 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
NI - Nicaragua 1
NP - Nepal 1
NZ - Nuova Zelanda 1
PS - Palestinian Territory 1
RS - Serbia 1
SN - Senegal 1
SY - Repubblica araba siriana 1
UY - Uruguay 1
Totale 3.020
Salva come PNG Salva come JPEG
Città #
Singapore 303
Dublin 160
Chandler 134
Perugia 95
Hong Kong 82
Jacksonville 78
Ashburn 68
Boardman 67
Dong Ket 67
San Mateo 67
Ann Arbor 66
Moscow 48
San Jose 46
Santa Clara 42
Altamura 38
Medford 37
Princeton 37
Lauterbourg 31
Wilmington 30
Lawrence 29
Seoul 26
Ho Chi Minh City 24
Los Angeles 20
New York 19
Munich 18
Beijing 16
Saint Petersburg 16
Andover 15
The Dalles 15
Des Moines 13
São Paulo 13
Piscataway 12
Hanoi 11
Brussels 10
Woodbridge 9
Houston 7
Milan 7
Brasília 6
Council Bluffs 6
Norwalk 6
San Paolo di Civitate 6
Vienna 6
Warsaw 6
Belo Horizonte 5
Chennai 5
Lahore 5
Poplar 5
San Francisco 5
Tokyo 5
Atlanta 4
Brooklyn 4
Dallas 4
Falls Church 4
Haiphong 4
Izmir 4
Orem 4
Rio de Janeiro 4
Turku 4
Ankara 3
Baghdad 3
Boston 3
Da Nang 3
Denver 3
Jesi 3
Johannesburg 3
Kraków 3
London 3
Manchester 3
Mumbai 3
Porto Alegre 3
Shanghai 3
Stockholm 3
Toronto 3
Amsterdam 2
Antwerp 2
Augusta 2
Austell 2
Austin 2
Baku 2
Campinas 2
Caruaru 2
Casablanca 2
Charlotte 2
Chicago 2
Ciudad del Este 2
Dhaka 2
Edinburgh 2
Eindhoven 2
Florence 2
Frankfurt am Main 2
Gembloux 2
Guangzhou 2
Guarujá 2
Hangzhou 2
Helena 2
Helsinki 2
Honolulu 2
Hải Dương 2
Istanbul 2
Itabira 2
Totale 1.977
Salva come PNG Salva come JPEG
Nome #
Automated Abstraction-Refinement of Hybrid Automata for Monotonic CTL Model Checking 158
Faster Pseudopolynomial Algorithms for Mean-Payoff Games 131
Accelerating Energy Games Solvers on Modern Architectures 131
Algorithms for reducing structures in verification 113
Toward integration of formalisms for system biology: The gene regulatory network case. 106
The Complexity of Rational Synthesis 106
Finite-Valued Weighted Automata 102
A Uniform Approach to Three-Valued Semantics for µ-Calculus on Abstractions of Hybrid Automata 100
Computing strongly connected components in a linear number of symbolic steps 99
Faster algorithms for mean-payoff games 95
Biconnectivity on Symbolically Represented Graphs: A Linear Solution. 94
Energy and Mean-Payoff Games with Imperfect Information. 92
From Bisimulation to Simulation: Coarsest Partition Problems 91
Approximated Reachability on Hybrid Automata: Falsification meets Certification 88
Online firefighting on grids 87
Combining Interval Arithmetic and Three-Valued Temporal Logics for the Verification of Analog Systems. 86
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. 77
A note on the approximation of mean-payoff games. 76
Simulation as Coarsest Partition Problem 74
The Adversarial Stackelberg Value in Quantitative Games 72
A note on the approximation of mean-payoff games 71
Property Driven Three-Valued Model Checking on Hybrid Automata 67
Quantitative Languages Defined by Functional Automata 64
Rational Synthesis under Imperfect Information 64
Reachability Problems on Extended O-Minimal Hybrid Automata 61
Quantitative languages defined by functional automata 59
Symbolic Graphs: Linear Solutions to Connectivity Related Problems 59
Simulation Reduction as Constraint 58
Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking 57
Three-valued automated reasoning on analog properties. 54
Rank and simulation: the well-founded case 53
Rank-Based Symbolic Bisimulation (and Model Checking) 52
Functional Weighted Automata 51
Scalable Energy Games Solvers on GPUs 49
Passive Learning of Regular Data Languages in Polynomial Time and Data 46
Rank-based simulation on acyclic graphs. 44
SAT Encodings for Solving Games with Energy Objectives 36
Register Automata with Permutations 8
Totale 3.094
Salva come PNG Salva come JPEG
Categoria #
all - tutte 13.361
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 13.361
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021112 0 0 0 0 0 0 0 0 0 12 25 75
2021/2022316 5 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.008 80 65 55 169 162 94 161 54 96 72 0 0
Totale 3.094