Masina, Gabriele
 Distribuzione geografica
Continente #
AS - Asia 92
EU - Europa 82
NA - Nord America 77
SA - Sud America 31
AF - Africa 4
Totale 286
Nazione #
US - Stati Uniti d'America 71
SG - Singapore 34
BR - Brasile 28
IT - Italia 25
CN - Cina 22
RU - Federazione Russa 19
VN - Vietnam 16
GB - Regno Unito 15
HK - Hong Kong 7
DE - Germania 6
FI - Finlandia 6
NL - Olanda 5
CA - Canada 4
IN - India 4
ID - Indonesia 3
LV - Lettonia 3
IL - Israele 2
MX - Messico 2
ZA - Sudafrica 2
AO - Angola 1
AR - Argentina 1
AT - Austria 1
AZ - Azerbaigian 1
BD - Bangladesh 1
BG - Bulgaria 1
EC - Ecuador 1
JP - Giappone 1
LT - Lituania 1
TN - Tunisia 1
TR - Turchia 1
UY - Uruguay 1
Totale 286
Città #
Singapore 24
Trento 14
Edinburgh 12
Los Angeles 12
Ashburn 10
Moscow 8
Santa Clara 8
Rome 7
Beijing 6
Dallas 6
Hanoi 5
Hong Kong 5
Columbus 4
Ho Chi Minh City 4
São Paulo 4
Buffalo 3
Chicago 3
Gainesville 3
Guangzhou 3
Hefei 3
Magdeburg 3
Riga 3
Turku 3
Brooklyn 2
Dulles 2
Helsinki 2
Hyderabad 2
Hải Dương 2
Jakarta 2
Jena 2
Johannesburg 2
Milan 2
Nijmegen 2
Salt Lake City 2
Windsor 2
Americana 1
Amsterdam 1
Ankara 1
Araçatuba 1
Ascot 1
Augusto Corrêa 1
Baku 1
Bataguassu 1
Biên Hòa 1
Camapuã 1
Campo Bom 1
Campo Grande 1
Caxias do Sul 1
Cezarina 1
Changsha 1
Ealing 1
Elk Grove Village 1
Franco da Rocha 1
Fuzhou 1
Goianésia 1
Guarulhos 1
Guayaquil 1
Ha Long 1
Haiphong 1
Hempstead 1
Hermosillo 1
Indianapolis 1
Itajaí 1
Itumbiara 1
Jaraguá do Sul 1
Kozhikode 1
Kyoto 1
La Escondida 1
Lappeenranta 1
Lavis 1
Limeira 1
Londrina 1
Luanda 1
Mandirituba 1
Miami 1
Montevideo 1
Montreal 1
Mérida 1
New York 1
Ningbo 1
Ninh Bình 1
Orem 1
Ponorogo 1
Poplar 1
Queens 1
Redondo Beach 1
Ribeirão Preto 1
Ribeirão das Neves 1
Rousse 1
Rovereto 1
Santa Maria da Vitória 1
Tampa 1
Thái Nguyên 1
Toronto 1
Tunis 1
Vienna 1
Vilhena 1
Washington 1
Águas Lindas de Goiás 1
Totale 241
Nome #
Enhancing SMT-based Weighted Model Integration by structure awareness 95
On CNF Conversion for Disjoint SAT Enumeration 78
SMT-based Weighted Model Integration with Structure Awareness 74
Canonical Decision Diagrams Modulo Theories 31
On CNF Conversion for SAT and SMT Enumeration 13
Exploiting Partial-Assignment Enumeration in Optimization Modulo Theories 11
Totale 302
Categoria #
all - tutte 1.014
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 1.014


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2022/202310 0 0 0 0 0 0 1 7 2 0 0 0
2023/202413 0 1 1 0 0 0 1 5 0 3 2 0
2024/2025122 1 2 4 10 0 17 4 12 8 39 13 12
2025/2026157 19 21 30 41 43 3 0 0 0 0 0 0
Totale 302