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

GENTILINI, Raffaella
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.011
EU - Europa 832
AS - Asia 637
SA - Sud America 117
AF - Africa 12
OC - Oceania 1
Totale 2.610
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 988
SG - Singapore 304
IT - Italia 176
IE - Irlanda 159
UA - Ucraina 140
VN - Vietnam 112
BR - Brasile 99
RU - Federazione Russa 89
HK - Hong Kong 79
SE - Svezia 71
CN - Cina 69
DE - Germania 52
FI - Finlandia 38
GB - Regno Unito 30
KR - Corea 26
BE - Belgio 15
PL - Polonia 13
FR - Francia 11
AT - Austria 10
CA - Canada 10
CH - Svizzera 10
IN - India 10
MX - Messico 8
TR - Turchia 8
AR - Argentina 6
NL - Olanda 5
BD - Bangladesh 4
EC - Ecuador 4
ES - Italia 4
JP - Giappone 4
VE - Venezuela 4
ZA - Sudafrica 4
GR - Grecia 3
ID - Indonesia 3
LT - Lituania 3
PK - Pakistan 3
UZ - Uzbekistan 3
AZ - Azerbaigian 2
IQ - Iraq 2
KW - Kuwait 2
MA - Marocco 2
TN - Tunisia 2
AE - Emirati Arabi Uniti 1
BB - Barbados 1
BG - Bulgaria 1
CG - Congo 1
CL - Cile 1
CO - Colombia 1
CR - Costa Rica 1
CZ - Repubblica Ceca 1
EG - Egitto 1
GF - Guiana Francese 1
IL - Israele 1
IR - Iran 1
JM - Giamaica 1
KE - Kenya 1
KG - Kirghizistan 1
MU - Mauritius 1
MY - Malesia 1
NI - Nicaragua 1
NZ - Nuova Zelanda 1
PY - Paraguay 1
RO - Romania 1
SA - Arabia Saudita 1
TT - Trinidad e Tobago 1
Totale 2.610
Salva come PNG Salva come JPEG
Città #
Singapore 206
Dublin 159
Chandler 134
Perugia 95
Hong Kong 78
Jacksonville 78
Boardman 67
Dong Ket 67
San Mateo 67
Ann Arbor 66
Ashburn 52
Santa Clara 41
Altamura 38
Medford 37
Princeton 37
Wilmington 30
Lawrence 29
Moscow 28
Seoul 26
Ho Chi Minh City 22
Los Angeles 18
Munich 18
New York 18
Saint Petersburg 16
Andover 15
Beijing 14
Des Moines 13
São Paulo 13
Piscataway 12
Brussels 10
Hanoi 9
Woodbridge 9
Houston 7
Milan 7
Norwalk 6
San Paolo di Civitate 6
The Dalles 6
Vienna 6
Warsaw 6
Brasília 5
Chennai 5
Poplar 5
San Francisco 5
Atlanta 4
Belo Horizonte 4
Brooklyn 4
Dallas 4
Falls Church 4
Izmir 4
Turku 4
Boston 3
Council Bluffs 3
Denver 3
Jesi 3
Johannesburg 3
Kraków 3
Porto Alegre 3
Rio de Janeiro 3
Shanghai 3
Stockholm 3
Tokyo 3
Amsterdam 2
Ankara 2
Antwerp 2
Augusta 2
Austell 2
Austin 2
Baku 2
Campinas 2
Caruaru 2
Charlotte 2
Chicago 2
Da Nang 2
Edinburgh 2
Eindhoven 2
Florence 2
Frankfurt am Main 2
Gembloux 2
Guangzhou 2
Guarujá 2
Haiphong 2
Hangzhou 2
Helena 2
Helsinki 2
Honolulu 2
Hải Dương 2
Itabira 2
Lausanne 2
London 2
Manaus 2
Manchester 2
Marsciano 2
Mexico City 2
Milwaukee 2
Montreal 2
Ninh Bình 2
Philadelphia 2
Querétaro 2
Ribeirão Preto 2
Saarbrücken 2
Totale 1.725
Salva come PNG Salva come JPEG
Nome #
Automated Abstraction-Refinement of Hybrid Automata for Monotonic CTL Model Checking 151
Faster Pseudopolynomial Algorithms for Mean-Payoff Games 118
Accelerating Energy Games Solvers on Modern Architectures 115
Algorithms for reducing structures in verification 108
Toward integration of formalisms for system biology: The gene regulatory network case. 100
Computing strongly connected components in a linear number of symbolic steps 93
The Complexity of Rational Synthesis 90
A Uniform Approach to Three-Valued Semantics for µ-Calculus on Abstractions of Hybrid Automata 88
From Bisimulation to Simulation: Coarsest Partition Problems 84
Faster algorithms for mean-payoff games 83
Biconnectivity on Symbolically Represented Graphs: A Linear Solution. 82
Energy and Mean-Payoff Games with Imperfect Information. 78
Finite-Valued Weighted Automata 77
Online firefighting on grids 77
Combining Interval Arithmetic and Three-Valued Temporal Logics for the Verification of Analog Systems. 75
Approximated Reachability on Hybrid Automata: Falsification meets Certification 74
A Uniform Approach to Three-Valued Semantics for mu-Calculus on Abstractions of Hybrid Automata. 72
A SAT encoding for solving games with energy objectives. 72
Hybrid Automata in Systems Biology 68
Simulation as Coarsest Partition Problem 68
The Adversarial Stackelberg Value in Quantitative Games 68
A note on the approximation of mean-payoff games. 67
A note on the approximation of mean-payoff games 64
Property Driven Three-Valued Model Checking on Hybrid Automata 57
Reachability Problems on Extended O-Minimal Hybrid Automata 50
Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking 50
Quantitative Languages Defined by Functional Automata 49
Rational Synthesis under Imperfect Information 49
Quantitative languages defined by functional automata 48
Rank and simulation: the well-founded case 47
Simulation Reduction as Constraint 46
Three-valued automated reasoning on analog properties. 46
Functional Weighted Automata 44
Symbolic Graphs: Linear Solutions to Connectivity Related Problems 43
Rank-Based Symbolic Bisimulation (and Model Checking) 42
Passive Learning of Regular Data Languages in Polynomial Time and Data 39
Scalable Energy Games Solvers on GPUs 36
Rank-based simulation on acyclic graphs. 35
SAT Encodings for Solving Games with Energy Objectives 30
Totale 2.683
Salva come PNG Salva come JPEG
Categoria #
all - tutte 12.401
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 12.401
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021185 0 0 0 0 0 12 22 4 35 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/2026597 80 65 55 169 162 66 0 0 0 0 0 0
Totale 2.683