CUTERI, ANDREA
 Distribuzione geografica
Continente #
NA - Nord America 53
AS - Asia 41
EU - Europa 24
SA - Sud America 19
Continente sconosciuto - Info sul continente non disponibili 7
AF - Africa 2
Totale 146
Nazione #
US - Stati Uniti d'America 49
IT - Italia 16
SG - Singapore 15
BR - Brasile 10
CN - Cina 8
VN - Vietnam 5
AR - Argentina 4
HK - Hong Kong 4
CA - Canada 2
FI - Finlandia 2
GR - Grecia 2
IQ - Iraq 2
VE - Venezuela 2
AE - Emirati Arabi Uniti 1
AT - Austria 1
AZ - Azerbaigian 1
BD - Bangladesh 1
CL - Cile 1
EC - Ecuador 1
FR - Francia 1
IL - Israele 1
IN - India 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 139
Città #
Council Bluffs 17
San Jose 6
Singapore 5
Staranzano 5
Hong Kong 4
Beijing 3
Phoenix 3
Alimos 2
Baghdad 2
Catania 2
Dallas 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
Exu 1
Farmington Hills 1
Fayetteville 1
Formosa 1
Go Vap 1
Groblersdal 1
Helsinki 1
Inglewood 1
Itagi 1
Kitchener 1
Lake Worth 1
Lauterbourg 1
Lấp Vò 1
Machagai 1
Maierato 1
Managua 1
Manchester 1
Maringá 1
Milan 1
Modugno 1
Montevideo 1
Naples 1
New York 1
North Hills 1
Panipat 1
Philadelphia 1
Porto Feliz 1
Portoviejo 1
Rabat 1
Ras al-Khaimah 1
Rio de Janeiro 1
Riyadh 1
Rome 1
Salzburg 1
San Cristóbal 1
Santiago 1
Seattle 1
Seoul 1
Serra 1
Shawinigan 1
São Paulo 1
Tel Aviv 1
Tultitlán de Mariano Escobedo 1
Washington 1
Webster 1
Totale 112
Nome #
Automata-based LTL_f Satisfiability Checking via ASP 90
Lazy Atom Discovery in Compilation-Based ASP Solving 13
Toward Executing Datalog on Big Data Platforms - Extended Abstract 12
Enhancing Compilation-based ASP Solving with Postponed Atom Discovery 11
2-ASP(Q) Solving Based on CEGAR 10
Toward Executing Datalog on Big Data Platforms 10
Totale 146
Categoria #
all - tutte 666
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 666


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/202742 14 18 10 0 0 0 0 0 0 0 0 0
Totale 146