Geatti, Luca
 Distribuzione geografica
Continente #
NA - Nord America 109
EU - Europa 99
AS - Asia 41
Totale 249
Nazione #
US - Stati Uniti d'America 108
DE - Germania 22
HK - Hong Kong 18
IT - Italia 18
CN - Cina 15
IE - Irlanda 15
FI - Finlandia 11
RU - Federazione Russa 10
BE - Belgio 7
SE - Svezia 4
GB - Regno Unito 3
RO - Romania 3
FR - Francia 2
IN - India 2
UA - Ucraina 2
VN - Vietnam 2
CA - Canada 1
CH - Svizzera 1
ES - Italia 1
IL - Israele 1
IR - Iran 1
SG - Singapore 1
TW - Taiwan 1
Totale 249
Città #
Chandler 43
Hong Kong 18
Dublin 15
Helsinki 11
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
Boardman 2
Dong Ket 2
Falkenstein 2
Jacksonville 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
Jinhua 1
Madrid 1
Montréal 1
Nanjing 1
Phoenix 1
Rovereto 1
Secaucus 1
Shanghai 1
Singapore 1
Taipei 1
Watford 1
Zanjan 1
Zurich 1
Totale 184
Nome #
BLACK: A Fast, Flexible and Reliable LTL Satisfiability Checker 58
Safe Decomposition of Startup Requirements: Verification and Synthesis 42
Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis 30
Extended bounded response LTL: a new safety fragment for efficient reactive synthesis 27
Reactive Synthesis from Extended Bounded Response LTL Specifications 25
A first-order logic characterisation of safety and co-safety languages 24
Expressiveness of Extended Bounded Response LTL 22
Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker 21
GR(1) is equivalent to R(1) 16
A first-order logic characterization of safety and co-safety languages 10
Totale 275
Categoria #
all - tutte 2.519
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 2.519


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/202485 6 2 8 9 6 13 4 10 6 21 0 0
Totale 275