GEATTI, Luca
 Distribuzione geografica
Continente #
NA - Nord America 450
EU - Europa 251
AS - Asia 70
AF - Africa 4
SA - Sud America 2
Continente sconosciuto - Info sul continente non disponibili 1
OC - Oceania 1
Totale 779
Nazione #
US - Stati Uniti d'America 438
IT - Italia 107
DE - Germania 32
CN - Cina 24
SG - Singapore 20
IE - Irlanda 18
CZ - Repubblica Ceca 14
SE - Svezia 13
CA - Canada 12
GB - Regno Unito 12
FI - Finlandia 10
NL - Olanda 10
RO - Romania 9
UA - Ucraina 9
IN - India 8
VN - Vietnam 7
AT - Austria 4
GR - Grecia 4
TG - Togo 4
TR - Turchia 4
ES - Italia 3
HK - Hong Kong 3
BR - Brasile 2
FR - Francia 2
IR - Iran 2
AU - Australia 1
BD - Bangladesh 1
BE - Belgio 1
DK - Danimarca 1
EU - Europa 1
JP - Giappone 1
PT - Portogallo 1
SI - Slovenia 1
Totale 779
Città #
Chandler 106
Fairfield 35
Udine 25
Ashburn 24
Woodbridge 23
Boardman 21
Singapore 19
Seattle 18
Munich 15
Wilmington 15
Brno 14
Dublin 14
Princeton 12
Cambridge 9
Dong Ket 7
Dearborn 6
Hangzhou 6
Helsinki 6
Houston 6
Timisoara 6
Amsterdam 5
Andover 5
Guangzhou 5
Jacksonville 5
Rome 5
Toronto 5
Ann Arbor 4
Cagliari 4
Hove 4
Karlsruhe 4
Lomé 4
Los Angeles 4
Ogden 4
Preganziol 4
Saarbrücken 4
Venice 4
Verona 4
Ahmedabad 3
Almere Stad 3
Beijing 3
Conegliano 3
Contigliano 3
Des Moines 3
Izmir 3
Madrid 3
Milan 3
Trento 3
Trieste 3
Acerra 2
Albuquerque 2
Ashton-under-Lyne 2
Athens 2
Borås 2
Chennai 2
Codroipo 2
Coventry 2
Ferraz de Vasconcelos 2
Horia 2
Huskvarna 2
Isernia 2
Klagenfurt 2
Lappeenranta 2
Leawood 2
Marousi 2
Merano 2
Norwalk 2
Nuremberg 2
Redmond 2
Rende 2
Rockville 2
San Jose 2
Shenzhen 2
Treviso 2
Tufino 2
Vicenza 2
West Jordan 2
Aachen 1
Bolzano 1
Boulder 1
Brussels 1
Bucharest 1
Dhaka 1
Fayetteville 1
Fort Belvoir 1
Graz 1
Hong Kong 1
Hyderabad 1
Jiaxing 1
Kocaeli 1
Kongens Lyngby 1
Lisbon 1
Ljubljana 1
Montréal 1
Mumbai 1
Nanjing 1
Pescia 1
Phoenix 1
Pieve 1
Rennes 1
Rodgau 1
Totale 574
Nome #
Temporal Logic Specifications: Expressiveness, Satisfiability and Realizability 137
A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL 127
One-pass and tree-shaped tableau systems for TPTL and TPTLb+past 105
Decidable Fragments of LTLf Modulo Theories 49
An abstract distributed middleware for transactions over heterogeneous stores 42
Reactive Synthesis from Extended Bounded Response LTL Specifications 38
Safe decomposition of startup requirements: verification and synthesis 37
Expressiveness of Extended Bounded Response LTL 37
One-pass and tree-shaped tableau systems for TPTL and TPTLb+Past 35
BLACK: A fast, flexible and reliable LTL satisfiability checker 31
Past matters: Supporting LTL+past in the BLACK satisfiability Checker 30
Extended bounded response LTL: a new safety fragment for efficient reactive synthesis 27
Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis 27
GR(1) is equivalent to R(1) 14
Controller Synthesis for Timeline-based Games 13
Foundations of Reactive Synthesis for Declarative Process Specifications 13
Foundations of Collaborative DECLARE 12
A Landscape of First-Order Linear Temporal Logics in Infinite-State Verification and Temporal Ontologies 12
LTL over Finite Words Can Be Exponentially More Succinct Than Pure-Past LTL, and vice versa 11
Qualitative past Timeline-Based Games 10
Torwards Infinite-State Verification and Planning with Linear Temporal Logic Modulo Theories 10
A Singly Exponential Transformation of LTL[X, F] into Pure Past LTL 10
A FIRST-ORDER LOGIC CHARACTERIZATION OF SAFETY AND CO-SAFETY LANGUAGES 9
Towards Machine Learning Enhanced LTL Monitoring 8
Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis 8
SAT Meets Tableaux for Linear Temporal Logic Satisfiability 7
A Linear-size Cascade Decomposition for Wheeler Automata 7
Complexity of Safety and coSafety Fragments of Linear Temporal Logic 7
Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems 3
Totale 876
Categoria #
all - tutte 4.453
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.453


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020109 2 1 2 21 10 15 18 10 10 6 7 7
2020/202187 1 9 0 31 3 6 2 7 3 6 9 10
2021/2022129 4 6 3 15 7 0 10 4 1 8 32 39
2022/2023225 26 25 7 33 24 46 2 13 30 5 6 8
2023/2024282 12 14 17 5 39 14 18 18 16 37 21 71
2024/202526 26 0 0 0 0 0 0 0 0 0 0 0
Totale 876