Montanari, Angelo
 Distribuzione geografica
Continente #
NA - Nord America 44
EU - Europa 26
AS - Asia 18
Totale 88
Nazione #
US - Stati Uniti d'America 44
CN - Cina 9
DE - Germania 8
HK - Hong Kong 6
IT - Italia 5
BE - Belgio 4
GB - Regno Unito 2
RU - Federazione Russa 2
CH - Svizzera 1
FI - Finlandia 1
IE - Irlanda 1
IN - India 1
RO - Romania 1
SE - Svezia 1
SG - Singapore 1
TW - Taiwan 1
Totale 88
Città #
Chandler 12
Boardman 6
Hong Kong 6
Brussels 4
Guangzhou 4
Kronberg 3
Rome 3
Ann Arbor 2
Brooklyn 2
Falkenstein 2
New York 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 67
Nome #
BLACK: A Fast, Flexible and Reliable LTL Satisfiability Checker 60
GR(1) is equivalent to R(1) 20
A first-order logic characterization of safety and co-safety languages 15
Totale 95
Categoria #
all - tutte 689
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 689


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/20252 2 0 0 0 0 0 0 0 0 0 0 0
Totale 95