GENTILINI, Raffaella
 Distribuzione geografica
Continente #
NA - Nord America 774
EU - Europa 686
AS - Asia 265
SA - Sud America 1
Totale 1.726
Nazione #
US - Stati Uniti d'America 772
IT - Italia 161
IE - Irlanda 159
UA - Ucraina 138
SG - Singapore 116
SE - Svezia 68
HK - Hong Kong 67
VN - Vietnam 67
FI - Finlandia 34
RU - Federazione Russa 34
DE - Germania 25
GB - Regno Unito 18
BE - Belgio 14
CH - Svizzera 9
FR - Francia 8
CN - Cina 7
PL - Polonia 6
TR - Turchia 5
AT - Austria 4
GR - Grecia 3
MX - Messico 2
UZ - Uzbekistan 2
BG - Bulgaria 1
CZ - Repubblica Ceca 1
ES - Italia 1
GF - Guiana Francese 1
KR - Corea 1
NL - Olanda 1
RO - Romania 1
Totale 1.726
Città #
Dublin 159
Chandler 134
Singapore 93
Perugia 86
Jacksonville 78
Boardman 67
Dong Ket 67
San Mateo 67
Ann Arbor 66
Hong Kong 66
Altamura 38
Santa Clara 38
Medford 37
Princeton 37
Wilmington 30
Lawrence 29
Saint Petersburg 16
Andover 15
Des Moines 12
Brussels 10
Woodbridge 9
Ashburn 8
Norwalk 6
San Paolo di Civitate 6
Los Angeles 5
Falls Church 4
Izmir 4
Jesi 3
Kraków 3
Milan 3
Shanghai 3
Antwerp 2
Austell 2
Beijing 2
Dallas 2
Edinburgh 2
Gembloux 2
Helsinki 2
Lausanne 2
Marsciano 2
Moscow 2
New York 2
Philadelphia 2
Spoleto 2
West Jordan 2
Weßling 2
Azcapotzalco 1
Brno 1
Camparada 1
Den Haag 1
Florence 1
Foligno 1
Genova 1
Kayseri 1
Matoury 1
Nanning 1
Reston 1
San Diego 1
Sassari 1
Seoul 1
Sofia 1
Tappahannock 1
Verona 1
Vienna 1
Welling 1
Totale 1.248
Nome #
Automated Abstraction-Refinement of Hybrid Automata for Monotonic CTL Model Checking 117
Algorithms for reducing structures in verification 87
Toward integration of formalisms for system biology: The gene regulatory network case. 84
Faster Pseudopolynomial Algorithms for Mean-Payoff Games 79
Accelerating Energy Games Solvers on Modern Architectures 73
The Complexity of Rational Synthesis 64
Computing strongly connected components in a linear number of symbolic steps 63
Biconnectivity on Symbolically Represented Graphs: A Linear Solution. 62
Simulation as Coarsest Partition Problem 56
Approximated Reachability on Hybrid Automata: Falsification meets Certification 55
A Uniform Approach to Three-Valued Semantics for µ-Calculus on Abstractions of Hybrid Automata 55
Faster algorithms for mean-payoff games 53
The Adversarial Stackelberg Value in Quantitative Games 53
Online firefighting on grids 52
A Uniform Approach to Three-Valued Semantics for mu-Calculus on Abstractions of Hybrid Automata. 47
Energy and Mean-Payoff Games with Imperfect Information. 47
A SAT encoding for solving games with energy objectives. 47
A note on the approximation of mean-payoff games. 45
From Bisimulation to Simulation: Coarsest Partition Problems 44
Property Driven Three-Valued Model Checking on Hybrid Automata 41
Finite-Valued Weighted Automata 40
Combining Interval Arithmetic and Three-Valued Temporal Logics for the Verification of Analog Systems. 39
Reachability Problems on Extended O-Minimal Hybrid Automata 39
Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking 37
A note on the approximation of mean-payoff games 37
Rational Synthesis under Imperfect Information 37
Hybrid Automata in Systems Biology 36
Simulation Reduction as Constraint 34
Three-valued automated reasoning on analog properties. 33
Quantitative languages defined by functional automata 33
Rank and simulation: the well-founded case 33
Rank-Based Symbolic Bisimulation (and Model Checking) 32
Quantitative Languages Defined by Functional Automata 31
Functional Weighted Automata 30
Symbolic Graphs: Linear Solutions to Connectivity Related Problems 24
Rank-based simulation on acyclic graphs. 22
SAT Encodings for Solving Games with Energy Objectives 21
Scalable Energy Games Solvers on GPUs 13
Passive Learning of Regular Data Languages in Polynomial Time and Data 2
Totale 1.797
Categoria #
all - tutte 7.892
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 7.892


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202067 0 0 0 0 0 1 24 2 21 5 3 11
2020/2021329 2 22 6 21 93 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/2025177 1 50 0 9 93 24 0 0 0 0 0 0
Totale 1.797