CUTERI, ANDREA
 Distribuzione geografica
Continente #
AS - Asia 40
NA - Nord America 32
SA - Sud America 19
EU - Europa 14
AF - Africa 2
Totale 107
Nazione #
US - Stati Uniti d'America 29
SG - Singapore 15
BR - Brasile 10
CN - Cina 8
IT - Italia 7
VN - Vietnam 5
AR - Argentina 4
HK - Hong Kong 4
FI - Finlandia 2
GR - Grecia 2
IQ - Iraq 2
VE - Venezuela 2
AE - Emirati Arabi Uniti 1
AZ - Azerbaigian 1
BD - Bangladesh 1
CA - Canada 1
CL - Cile 1
EC - Ecuador 1
FR - Francia 1
IL - Israele 1
KR - Corea 1
LT - Lituania 1
MA - Marocco 1
MX - Messico 1
NI - Nicaragua 1
RU - Federazione Russa 1
SA - Arabia Saudita 1
UY - Uruguay 1
ZA - Sudafrica 1
Totale 107
Città #
Council Bluffs 14
San Jose 6
Singapore 5
Hong Kong 4
Beijing 3
Alimos 2
Baghdad 2
Hanoi 2
Hefei 2
Albuquerque 1
Araucária 1
Ashburn 1
Baku 1
Berazategui 1
Buffalo 1
Caracas 1
Casca 1
Cincinnati 1
Concepción 1
Cuiabá 1
Da Nang 1
Dallas 1
Exu 1
Formosa 1
Go Vap 1
Groblersdal 1
Helsinki 1
Inglewood 1
Itagi 1
Kitchener 1
Lauterbourg 1
Lấp Vò 1
Machagai 1
Managua 1
Maringá 1
Milan 1
Modugno 1
Montevideo 1
Naples 1
New York 1
Porto Feliz 1
Portoviejo 1
Rabat 1
Ras al-Khaimah 1
Rio de Janeiro 1
Riyadh 1
Rome 1
San Cristóbal 1
Santiago 1
Seoul 1
Serra 1
São Paulo 1
Tel Aviv 1
Tultitlán de Mariano Escobedo 1
Washington 1
Totale 86
Nome #
Automata-based LTL_f Satisfiability Checking via ASP 87
Enhancing Compilation-based ASP Solving with Postponed Atom Discovery 6
2-ASP(Q) Solving Based on CEGAR 6
Toward Executing Datalog on Big Data Platforms - Extended Abstract 6
Toward Executing Datalog on Big Data Platforms 5
Lazy Atom Discovery in Compilation-Based ASP Solving 4
Totale 114
Categoria #
all - tutte 502
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 502


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2024/202524 0 0 0 0 0 0 12 3 0 1 3 5
2025/202680 5 4 5 9 14 6 6 2 3 4 11 11
2026/202710 10 0 0 0 0 0 0 0 0 0 0 0
Totale 114