Montanari, Angelo
 Distribuzione geografica
Continente #
NA - Nord America 48
EU - Europa 27
AS - Asia 22
Totale 97
Nazione #
US - Stati Uniti d'America 48
CN - Cina 9
DE - Germania 8
HK - Hong Kong 6
IT - Italia 5
SG - Singapore 5
BE - Belgio 4
GB - Regno Unito 3
RU - Federazione Russa 2
CH - Svizzera 1
FI - Finlandia 1
IE - Irlanda 1
IN - India 1
RO - Romania 1
SE - Svezia 1
TW - Taiwan 1
Totale 97
Città #
Chandler 12
Boardman 6
Hong Kong 6
Brussels 4
Guangzhou 4
Singapore 4
Kronberg 3
Rome 3
Ann Arbor 2
Brooklyn 2
Falkenstein 2
New York 2
North Bergen 2
Redwood City 2
Shenzhen 2
Berlin 1
Bolzano 1
Dublin 1
Hangzhou 1
Helsinki 1
Jinhua 1
Miami 1
Nanjing 1
Nuremberg 1
Phoenix 1
Pune 1
Rovereto 1
Taipei 1
Timisoara 1
Watford 1
Wilmington 1
Zurich 1
Totale 73
Nome #
BLACK: A Fast, Flexible and Reliable LTL Satisfiability Checker 62
GR(1) is equivalent to R(1) 24
A first-order logic characterization of safety and co-safety languages 18
Totale 104
Categoria #
all - tutte 788
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 788


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/202511 2 0 4 3 2 0 0 0 0 0 0 0
Totale 104