Montanari, Angelo
 Distribuzione geografica
Continente #
EU - Europa 183
NA - Nord America 126
AS - Asia 103
SA - Sud America 28
AF - Africa 3
Totale 443
Nazione #
RU - Federazione Russa 125
US - Stati Uniti d'America 124
SG - Singapore 45
CN - Cina 28
BR - Brasile 24
DE - Germania 15
VN - Vietnam 13
FI - Finlandia 8
HK - Hong Kong 6
IT - Italia 5
SE - Svezia 5
BE - Belgio 4
FR - Francia 4
GB - Regno Unito 4
IN - India 4
NL - Olanda 4
CA - Canada 2
ES - Italia 2
AE - Emirati Arabi Uniti 1
AR - Argentina 1
AT - Austria 1
BD - Bangladesh 1
CH - Svizzera 1
CL - Cile 1
EC - Ecuador 1
EE - Estonia 1
ID - Indonesia 1
IE - Irlanda 1
IL - Israele 1
JP - Giappone 1
KZ - Kazakistan 1
LT - Lituania 1
MA - Marocco 1
NG - Nigeria 1
PL - Polonia 1
RO - Romania 1
SR - Suriname 1
TW - Taiwan 1
ZA - Sudafrica 1
Totale 443
Città #
San Jose 18
Chandler 12
Dallas 12
Singapore 12
Ashburn 11
The Dalles 11
Moscow 9
Beijing 7
Boardman 6
Hong Kong 6
Munich 5
Turku 5
Brooklyn 4
Brussels 4
Guangzhou 4
New York 4
Hefei 3
Helsinki 3
Kronberg 3
Los Angeles 3
Rome 3
Stockholm 3
Ann Arbor 2
Falkenstein 2
Ho Chi Minh City 2
Lauterbourg 2
North Bergen 2
Redwood City 2
Shenzhen 2
Amsterdam 1
Angra dos Reis 1
Astana 1
Belo Horizonte 1
Belém 1
Berlin 1
Bolzano 1
Bình Dương Province 1
Cabreúva 1
Cachoeiro de Itapemirim 1
Campinas 1
Cannes 1
Changsha 1
Chennai 1
City of London 1
Clamart 1
Cockeysville 1
Da Nang 1
Denver 1
Des Moines 1
Dublin 1
Franca 1
Governador Valadares 1
Hangzhou 1
Hanoi 1
Houston 1
Huế 1
Ilhéus 1
Itabuna 1
Jacundá 1
Jinhua 1
Johannesburg 1
Juiz de Fora 1
Lagos 1
Lombard 1
Ma'anshan 1
Macedônia 1
Manaus 1
Miami 1
Montreal 1
Morón 1
Nanjing 1
Nova Iguaçu 1
Nuremberg 1
Paramaribo 1
Paraíso 1
Pará de Minas 1
Patrocínio 1
Phoenix 1
Pune 1
Quito 1
Quận Ba 1
Rabat 1
Rancagua 1
Recife 1
Rovereto 1
Saginaw 1
Samara 1
Sanclerlândia 1
Santa Clara 1
Seattle 1
Sorocaba 1
Surabaya 1
Suzano 1
São Paulo 1
Taipei 1
Tam Kỳ 1
Thrissur 1
Thái Bình 1
Timisoara 1
Tokyo 1
Totale 233
Nome #
A first-order logic characterization of safety and co-safety languages 165
BLACK: A Fast, Flexible and Reliable LTL Satisfiability Checker 164
GR(1) is equivalent to R(1) 121
Totale 450
Categoria #
all - tutte 1.667
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.667


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202223 0 0 0 0 14 0 2 1 0 1 2 3
2022/202335 3 2 1 6 0 3 2 4 6 1 5 2
2023/202435 0 1 5 5 2 2 1 3 0 7 0 9
2024/2025117 2 0 4 3 3 4 1 3 35 15 24 23
2025/2026240 9 12 24 22 14 5 32 96 14 12 0 0
Totale 450