CUTERI, ANDREA
 Distribuzione geografica
Continente #
NA - Nord America 119
EU - Europa 60
AS - Asia 42
SA - Sud America 19
Continente sconosciuto - Info sul continente non disponibili 7
AF - Africa 2
Totale 249
Nazione #
US - Stati Uniti d'America 112
IT - Italia 51
SG - Singapore 15
BR - Brasile 10
CN - Cina 8
CA - Canada 5
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
AT - Austria 1
AZ - Azerbaigian 1
BD - Bangladesh 1
CL - Cile 1
EC - Ecuador 1
FR - Francia 1
GB - Regno Unito 1
IL - Israele 1
IN - India 1
JP - Giappone 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 242
Città #
Council Bluffs 30
San Jose 12
Ashburn 10
Milan 8
Naples 7
Chicago 5
Singapore 5
Staranzano 5
Hong Kong 4
North Bergen 4
Beijing 3
Catania 3
New York 3
Phoenix 3
Rome 3
Alimos 2
Baghdad 2
Buffalo 2
Dallas 2
Hanoi 2
Hefei 2
Philadelphia 2
Turin 2
Albuquerque 1
Araucária 1
Arlington 1
Asheboro 1
Atlanta 1
Baku 1
Bellmore 1
Berazategui 1
Bologna 1
Brescia 1
Busto Arsizio 1
Cagliari 1
Caracas 1
Carson City 1
Casca 1
Cincinnati 1
Cingoli 1
Concepción 1
Cuiabá 1
Da Nang 1
Dartmouth 1
Dieppe 1
Erie 1
Exu 1
Farmington Hills 1
Fayetteville 1
Formosa 1
Go Vap 1
Groblersdal 1
Helsinki 1
Hyattsville 1
Inglewood 1
Itagi 1
Kitchener 1
Lake Worth 1
Lauterbourg 1
Longmont 1
Lumberton 1
Lấp Vò 1
Machagai 1
Maierato 1
Managua 1
Manchester 1
Maringá 1
Modugno 1
Montevideo 1
Motherwell 1
Myrtle Beach 1
Nampa 1
North Hills 1
Padua 1
Palermo 1
Panipat 1
Porto Feliz 1
Portoviejo 1
Rabat 1
Ras al-Khaimah 1
Rio de Janeiro 1
Riverside 1
Riyadh 1
Salzburg 1
San Cristóbal 1
San Felice A Cancello 1
Santa Clara 1
Santiago 1
Schio 1
Scordia 1
Seattle 1
Seoul 1
Serra 1
Shawinigan 1
Sunnyvale 1
São Paulo 1
Tel Aviv 1
Tokyo 1
Tultitlán de Mariano Escobedo 1
Viking 1
Totale 198
Nome #
Automata-based LTL_f Satisfiability Checking via ASP 98
2-ASP(Q) Solving Based on CEGAR 33
Toward Executing Datalog on Big Data Platforms 33
Toward Executing Datalog on Big Data Platforms - Extended Abstract 30
Enhancing Compilation-based ASP Solving with Postponed Atom Discovery 28
Lazy Atom Discovery in Compilation-Based ASP Solving 27
Totale 249
Categoria #
all - tutte 886
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 886


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/2027145 14 18 29 77 7 0 0 0 0 0 0 0
Totale 249