Geatti, Luca
 Distribuzione geografica
Continente #
NA - Nord America 156
EU - Europa 105
AS - Asia 63
Totale 324
Nazione #
US - Stati Uniti d'America 154
DE - Germania 23
HK - Hong Kong 20
CN - Cina 18
IT - Italia 18
SG - Singapore 18
IE - Irlanda 15
FI - Finlandia 12
RU - Federazione Russa 10
BE - Belgio 7
GB - Regno Unito 5
SE - Svezia 5
RO - Romania 3
CA - Canada 2
FR - Francia 2
IN - India 2
UA - Ucraina 2
VN - Vietnam 2
CH - Svizzera 1
ES - Italia 1
IL - Israele 1
IR - Iran 1
NO - Norvegia 1
TW - Taiwan 1
Totale 324
Città #
Chandler 43
Boardman 29
Hong Kong 20
Singapore 16
Dublin 15
Helsinki 12
Kronberg 10
Brussels 7
Rome 6
Wilmington 6
Beijing 5
Trento 5
Guangzhou 4
New York 4
Ann Arbor 3
Brooklyn 3
Caerano di San Marco 3
Timisoara 3
Dong Ket 2
Falkenstein 2
Jacksonville 2
North Bergen 2
Norwalk 2
Nuremberg 2
Pune 2
Redwood City 2
Shenzhen 2
Ashburn 1
Berlin 1
Bolzano 1
Hangzhou 1
Hanover 1
Hove 1
Inglewood 1
Jingmen 1
Jinhua 1
Madrid 1
Miami 1
Montréal 1
Munich 1
Nanjing 1
Oslo 1
Phoenix 1
Rovereto 1
Secaucus 1
Shanghai 1
Suyicun 1
Taipei 1
Toronto 1
Watford 1
Zanjan 1
Zhengzhou 1
Zurich 1
Totale 238
Nome #
BLACK: A Fast, Flexible and Reliable LTL Satisfiability Checker 62
Safe Decomposition of Startup Requirements: Verification and Synthesis 51
Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis 39
A first-order logic characterisation of safety and co-safety languages 35
Extended bounded response LTL: a new safety fragment for efficient reactive synthesis 33
Reactive Synthesis from Extended Bounded Response LTL Specifications 30
Expressiveness of Extended Bounded Response LTL 30
Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker 28
GR(1) is equivalent to R(1) 24
A first-order logic characterization of safety and co-safety languages 18
Totale 350
Categoria #
all - tutte 3.346
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 3.346


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202112 0 0 0 0 0 0 8 0 0 2 0 2
2021/202264 2 0 0 3 21 2 3 11 3 3 5 11
2022/2023114 9 18 1 20 2 6 11 5 21 8 6 7
2023/2024120 6 2 8 9 6 13 4 10 6 21 1 34
2024/202540 7 2 13 10 8 0 0 0 0 0 0 0
Totale 350