Benedetti, Marco
 Distribuzione geografica
Continente #
NA - Nord America 278
EU - Europa 222
AS - Asia 92
SA - Sud America 32
Continente sconosciuto - Info sul continente non disponibili 4
AF - Africa 3
Totale 631
Nazione #
US - Stati Uniti d'America 271
RU - Federazione Russa 79
SE - Svezia 41
SG - Singapore 34
DE - Germania 31
UA - Ucraina 28
BR - Brasile 27
HK - Hong Kong 21
FI - Finlandia 17
CN - Cina 12
VN - Vietnam 9
GB - Regno Unito 6
IE - Irlanda 6
NL - Olanda 6
IN - India 5
CA - Canada 4
CO - Colombia 4
EU - Europa 4
IT - Italia 4
TR - Turchia 4
AE - Emirati Arabi Uniti 2
CZ - Repubblica Ceca 2
MA - Marocco 2
MX - Messico 2
PH - Filippine 2
BO - Bolivia 1
FR - Francia 1
IQ - Iraq 1
NP - Nepal 1
OM - Oman 1
PL - Polonia 1
TT - Trinidad e Tobago 1
ZA - Sudafrica 1
Totale 631
Città #
Jacksonville 64
Chandler 58
Moscow 23
Hong Kong 21
Singapore 20
Ashburn 15
Wilmington 13
Boardman 11
The Dalles 10
Dearborn 9
Dong Ket 9
Hefei 9
Kronberg 9
Helsinki 8
Dublin 6
Medellín 4
Ankara 3
Houston 3
Toronto 3
Beijing 2
Brno 2
Council Bluffs 2
Dubai 2
Islington 2
Los Angeles 2
Miami 2
Phoenix 2
Pune 2
Rome 2
Seattle 2
São Paulo 2
Woodbridge 2
Alvorada 1
Amritsar 1
Aracaju 1
Arujá 1
Baependi 1
Baghdad 1
Boston 1
Brooklyn 1
Cachoeira do Sul 1
Cardoso Moreira 1
Cattolica 1
Chaguanas 1
Chennai 1
Cochabamba 1
Coyoacán 1
Curitiba 1
Dallas 1
Des Moines 1
Divinópolis 1
Estância Velha 1
Fresnillo 1
Fronteira dos Vales 1
Guarapari 1
Gunzenhausen 1
Irkutsk 1
Jales 1
Johannesburg 1
João Pessoa 1
Kathmandu 1
Kilis 1
Londrina 1
Marilag 1
Marrakesh 1
Monmouth Junction 1
Muscat 1
New York 1
Newham 1
Norwalk 1
Ottawa 1
Pancas 1
Perth Amboy 1
Plano 1
Polistena 1
Porto Alegre 1
Redwood City 1
Ribeirão das Neves 1
Rio de Janeiro 1
Saint Petersburg 1
Santa Vitória do Palmar 1
Santana do Livramento 1
Senador Canedo 1
Senador Firmino 1
Simão Dias 1
São Bernardo do Campo 1
Tangier 1
Tapes 1
Warsaw 1
Totale 381
Nome #
Robotics and Disabilities 94
Incremental Compilation-to-SAT Procedures 79
Quantifier Trees for QBFs 71
sKizzo: A Suite to Evaluate and Certify QBFs 68
Evaluating QBFs via Symbolic Skolemization 66
Extracting Certificates from Quantified Boolean Formulas 66
Bounded Model Checking for past LTL 66
SAT-Based Cooperative Planning: A Proposal 64
Hybrid Evaluation Procedures for QBF 58
Totale 632
Categoria #
all - tutte 4.130
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 4.130


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20207 0 0 0 0 0 0 0 0 0 0 0 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/2025210 4 2 8 6 2 2 3 18 89 30 31 15
Totale 632