Benedetti, Marco
 Distribuzione geografica
Continente #
NA - Nord America 248
EU - Europa 137
AS - Asia 52
Continente sconosciuto - Info sul continente non disponibili 4
SA - Sud America 4
Totale 445
Nazione #
US - Stati Uniti d'America 246
SE - Svezia 41
DE - Germania 31
UA - Ucraina 28
HK - Hong Kong 21
FI - Finlandia 17
SG - Singapore 9
VN - Vietnam 9
GB - Regno Unito 6
IE - Irlanda 6
CO - Colombia 4
EU - Europa 4
CN - Cina 3
IN - India 3
IT - Italia 3
TR - Turchia 3
AE - Emirati Arabi Uniti 2
CA - Canada 2
CZ - Repubblica Ceca 2
PH - Filippine 2
RU - Federazione Russa 2
FR - Francia 1
Totale 445
Città #
Jacksonville 64
Chandler 58
Hong Kong 21
Ashburn 14
Wilmington 13
Boardman 11
Dearborn 9
Dong Ket 9
Kronberg 9
Helsinki 8
Dublin 6
Singapore 6
Medellín 4
Ankara 3
Houston 3
Beijing 2
Brno 2
Dubai 2
Islington 2
Los Angeles 2
Phoenix 2
Pune 2
Rome 2
Seattle 2
Toronto 2
Woodbridge 2
Brooklyn 1
Cattolica 1
Des Moines 1
Gunzenhausen 1
Marilag 1
Miami 1
Monmouth Junction 1
New York 1
Newham 1
Norwalk 1
Redwood City 1
Saint Petersburg 1
Totale 272
Nome #
Robotics and Disabilities 71
Incremental Compilation-to-SAT Procedures 61
Quantifier Trees for QBFs 54
sKizzo: A Suite to Evaluate and Certify QBFs 45
Evaluating QBFs via Symbolic Skolemization 44
Extracting Certificates from Quantified Boolean Formulas 44
SAT-Based Cooperative Planning: A Proposal 44
Bounded Model Checking for past LTL 43
Hybrid Evaluation Procedures for QBF 40
Totale 446
Categoria #
all - tutte 3.320
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 3.320


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202044 0 0 0 0 0 4 11 0 11 2 9 7
2020/202189 9 0 9 7 14 1 10 0 0 16 7 16
2021/202217 1 0 0 6 0 0 0 4 4 0 2 0
2022/2023118 0 0 1 26 10 24 0 10 29 11 6 1
2023/202466 2 4 11 5 4 7 4 10 0 18 0 1
2024/202524 4 2 8 6 2 2 0 0 0 0 0 0
Totale 446