Montanari, Angelo
 Distribuzione geografica
Continente #
EU - Europa 70
NA - Nord America 59
AS - Asia 43
SA - Sud America 15
AF - Africa 1
Totale 188
Nazione #
US - Stati Uniti d'America 58
RU - Federazione Russa 33
SG - Singapore 20
CN - Cina 15
BR - Brasile 14
DE - Germania 10
FI - Finlandia 6
HK - Hong Kong 6
IT - Italia 5
BE - Belgio 4
GB - Regno Unito 3
NL - Olanda 3
CA - Canada 1
CH - Svizzera 1
EC - Ecuador 1
EE - Estonia 1
IE - Irlanda 1
IN - India 1
LT - Lituania 1
MA - Marocco 1
RO - Romania 1
SE - Svezia 1
TW - Taiwan 1
Totale 188
Città #
Chandler 12
Moscow 9
The Dalles 7
Boardman 6
Hong Kong 6
Singapore 6
Brussels 4
Guangzhou 4
Hefei 3
Helsinki 3
Kronberg 3
Rome 3
Turku 3
Ann Arbor 2
Brooklyn 2
Falkenstein 2
Munich 2
New York 2
North Bergen 2
Redwood City 2
Shenzhen 2
Angra dos Reis 1
Belo Horizonte 1
Belém 1
Berlin 1
Bolzano 1
Cabreúva 1
Cachoeiro de Itapemirim 1
Campinas 1
Dublin 1
Governador Valadares 1
Hangzhou 1
Itabuna 1
Jinhua 1
Juiz de Fora 1
Los Angeles 1
Ma'anshan 1
Miami 1
Montreal 1
Nanjing 1
Nuremberg 1
Paraíso 1
Pará de Minas 1
Phoenix 1
Pune 1
Quito 1
Rabat 1
Rovereto 1
Samara 1
San Jose 1
Sanclerlândia 1
Suzano 1
São Paulo 1
Taipei 1
Timisoara 1
Watford 1
Wilmington 1
Zurich 1
Totale 122
Nome #
BLACK: A Fast, Flexible and Reliable LTL Satisfiability Checker 89
A first-order logic characterization of safety and co-safety languages 55
GR(1) is equivalent to R(1) 51
Totale 195
Categoria #
all - tutte 1.144
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.144


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/2025102 2 0 4 3 3 4 1 3 35 15 24 8
Totale 195