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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/20196 0 0 0 0 0 0 0 0 0 0 6 0
2019/2020113 2 1 20 2 21 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/2024147 9 15 7 4 3 11 40 3 37 18 0 0
Totale 1.567