Santuari, Alessandro
 Distribuzione geografica
Continente #
NA - Nord America 39
AS - Asia 18
EU - Europa 12
AF - Africa 2
SA - Sud America 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 74
Nazione #
US - Stati Uniti d'America 37
SG - Singapore 9
IT - Italia 6
CN - Cina 4
RU - Federazione Russa 3
BR - Brasile 2
KR - Corea 2
BH - Bahrain 1
CA - Canada 1
FR - Francia 1
ID - Indonesia 1
LT - Lituania 1
LV - Lettonia 1
MA - Marocco 1
MX - Messico 1
SC - Seychelles 1
VN - Vietnam 1
Totale 73
Città #
Ashburn 7
San Jose 5
Singapore 5
Dallas 4
Columbus 3
Des Moines 2
New York 2
Phoenix 2
Santa Clara 2
Seoul 2
Akron 1
Boardman 1
Dalian 1
Hamad Town 1
Hanoi 1
Hefei 1
Jakarta 1
Lauterbourg 1
Marrakesh 1
Osasco 1
Ottawa 1
Querétaro 1
Redondo Beach 1
Riga 1
Riverside 1
Rome 1
San Marzano sul Sarno 1
Settala 1
Surubim 1
Taylor 1
Teramo 1
The Dalles 1
Vilnius 1
Totale 57
Nome #
To Ackermann-ize or not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF U T) 74
Totale 74
Categoria #
all - tutte 363
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 363


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2023/20245 0 0 0 0 2 2 1 0 0 0 0 0
2024/202517 0 1 0 5 0 3 0 1 0 4 2 1
2025/202636 1 1 9 3 4 2 8 1 2 1 3 1
2026/202716 0 2 4 10 0 0 0 0 0 0 0 0
Totale 74