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

GENTILINI, Raffaella
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.121
EU - Europa 921
AS - Asia 834
SA - Sud America 152
AF - Africa 25
OC - Oceania 2
Totale 3.055
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.090
SG - Singapore 410
IT - Italia 180
IE - Irlanda 160
UA - Ucraina 140
RU - Federazione Russa 129
VN - Vietnam 124
BR - Brasile 118
CN - Cina 89
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 17
BE - Belgio 15
TR - Turchia 14
CA - Canada 13
PL - Polonia 13
AR - Argentina 11
AT - Austria 10
CH - Svizzera 10
MX - Messico 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
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
PT - Portogallo 1
RS - Serbia 1
SN - Senegal 1
SY - Repubblica araba siriana 1
UY - Uruguay 1
Totale 3.055
Salva come PNG Salva come JPEG
Città #
Singapore 303
Dublin 160
Chandler 134
Perugia 95
Hong Kong 83
Jacksonville 78
Ashburn 68
Boardman 67
Dong Ket 67
San Mateo 67
Ann Arbor 66
San Jose 52
Moscow 48
Santa Clara 43
Altamura 38
Medford 37
Princeton 37
Lauterbourg 31
Wilmington 30
Lawrence 29
Seoul 26
Ho Chi Minh City 24
Los Angeles 21
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
Milan 8
Houston 7
Brasília 6
Council Bluffs 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
Dallas 4
Falls Church 4
Haiphong 4
Izmir 4
Orem 4
Rio de Janeiro 4
Turku 4
Ankara 3
Baghdad 3
Boston 3
Chicago 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
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
Helsinki 2
Honolulu 2
Hải Dương 2
Istanbul 2
Totale 1.990
Salva come PNG Salva come JPEG
Nome #
Automated Abstraction-Refinement of Hybrid Automata for Monotonic CTL Model Checking 158
Accelerating Energy Games Solvers on Modern Architectures 132
Faster Pseudopolynomial Algorithms for Mean-Payoff Games 131
Algorithms for reducing structures in verification 114
Toward integration of formalisms for system biology: The gene regulatory network case. 106
The Complexity of Rational Synthesis 106
Finite-Valued Weighted Automata 104
Computing strongly connected components in a linear number of symbolic steps 100
A Uniform Approach to Three-Valued Semantics for µ-Calculus on Abstractions of Hybrid Automata 100
Faster algorithms for mean-payoff games 96
Biconnectivity on Symbolically Represented Graphs: A Linear Solution. 95
Energy and Mean-Payoff Games with Imperfect Information. 95
From Bisimulation to Simulation: Coarsest Partition Problems 91
Approximated Reachability on Hybrid Automata: Falsification meets Certification 89
Online firefighting on grids 88
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. 79
A note on the approximation of mean-payoff games. 77
Simulation as Coarsest Partition Problem 74
A note on the approximation of mean-payoff games 72
The Adversarial Stackelberg Value in Quantitative Games 72
Property Driven Three-Valued Model Checking on Hybrid Automata 67
Rational Synthesis under Imperfect Information 66
Quantitative Languages Defined by Functional Automata 65
Quantitative languages defined by functional automata 62
Reachability Problems on Extended O-Minimal Hybrid Automata 61
Symbolic Graphs: Linear Solutions to Connectivity Related Problems 59
Simulation Reduction as Constraint 58
Passive Learning of Regular Data Languages in Polynomial Time and Data 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 52
Scalable Energy Games Solvers on GPUs 49
Rank-based simulation on acyclic graphs. 44
SAT Encodings for Solving Games with Energy Objectives 36
Register Automata with Permutations 8
Totale 3.129
Salva come PNG Salva come JPEG
Categoria #
all - tutte 14.217
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.217
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202175 0 0 0 0 0 0 0 0 0 0 0 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.043 80 65 55 169 162 94 161 54 96 74 25 8
Totale 3.129