Geatti, Luca
 Distribuzione geografica
Continente #
EU - Europa 242
NA - Nord America 183
AS - Asia 86
SA - Sud America 24
AF - Africa 1
Totale 536
Nazione #
US - Stati Uniti d'America 179
RU - Federazione Russa 119
SG - Singapore 35
DE - Germania 29
BR - Brasile 24
CN - Cina 22
IT - Italia 21
HK - Hong Kong 20
FI - Finlandia 16
IE - Irlanda 15
NL - Olanda 11
BE - Belgio 7
GB - Regno Unito 6
SE - Svezia 5
CA - Canada 4
RO - Romania 3
EE - Estonia 2
FR - Francia 2
IN - India 2
UA - Ucraina 2
VN - Vietnam 2
BD - Bangladesh 1
CH - Svizzera 1
EG - Egitto 1
ES - Italia 1
IL - Israele 1
IR - Iran 1
LT - Lituania 1
NO - Norvegia 1
PK - Pakistan 1
TW - Taiwan 1
Totale 536
Città #
Chandler 43
Boardman 29
Moscow 27
Singapore 23
Hong Kong 20
The Dalles 19
Helsinki 16
Dublin 15
Kronberg 10
Brussels 7
Rome 7
Wilmington 6
Beijing 5
Guangzhou 5
Trento 5
Falkenstein 4
New York 4
Ann Arbor 3
Brooklyn 3
Caerano di San Marco 3
Munich 3
Timisoara 3
Assago 2
Belo Horizonte 2
Brasília 2
Dong Ket 2
Jacksonville 2
North Bergen 2
Norwalk 2
Nuremberg 2
Ottawa 2
Pune 2
Redwood City 2
Shenzhen 2
Amsterdam 1
Angra dos Reis 1
Ashburn 1
Berlin 1
Betim 1
Bolzano 1
Cabreúva 1
Campinas 1
Campo Grande 1
Central de Minas 1
Comodoro Municipality 1
Fortaleza 1
Governador Lindenberg 1
Governador Valadares 1
Hangzhou 1
Hanover 1
Hove 1
Inglewood 1
Ipuã 1
Itapecerica da Serra 1
Jingmen 1
Jinhua 1
Juiz de Fora 1
Lahore 1
London 1
Ma'anshan 1
Madrid 1
Miami 1
Montréal 1
Nanjing 1
Nova Iguaçu 1
Oslo 1
Paraíso 1
Pará de Minas 1
Paulo Afonso 1
Phoenix 1
Rajshahi 1
Rio Verde 1
Rovereto 1
San Jose 1
Secaucus 1
Shanghai 1
Suez 1
Suyicun 1
Suzano 1
São Luís 1
Taipei 1
Toronto 1
Watford 1
Zanjan 1
Zhengzhou 1
Zurich 1
Totale 336
Nome #
BLACK: A Fast, Flexible and Reliable LTL Satisfiability Checker 83
Safe Decomposition of Startup Requirements: Verification and Synthesis 73
A first-order logic characterisation of safety and co-safety languages 62
Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis 57
Extended bounded response LTL: a new safety fragment for efficient reactive synthesis 54
Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker 52
Expressiveness of Extended Bounded Response LTL 49
Reactive Synthesis from Extended Bounded Response LTL Specifications 47
GR(1) is equivalent to R(1) 46
A first-order logic characterization of safety and co-safety languages 39
Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis 3
Totale 565
Categoria #
all - tutte 4.312
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 4.312


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/2025255 7 2 13 10 9 11 8 18 127 35 15 0
Totale 565