GEATTI, Luca
 Distribuzione geografica
Continente #
NA - Nord America 533
EU - Europa 331
AS - Asia 203
AF - Africa 8
OC - Oceania 3
SA - Sud America 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 1.081
Nazione #
US - Stati Uniti d'America 521
IT - Italia 155
SG - Singapore 132
CN - Cina 34
DE - Germania 34
GB - Regno Unito 18
IE - Irlanda 18
FI - Finlandia 17
NL - Olanda 17
CZ - Repubblica Ceca 15
SE - Svezia 13
CA - Canada 12
RO - Romania 9
UA - Ucraina 9
FR - Francia 8
IN - India 8
VN - Vietnam 7
KR - Corea 6
AT - Austria 5
ES - Italia 4
GR - Grecia 4
HK - Hong Kong 4
KE - Kenya 4
TG - Togo 4
TR - Turchia 4
AU - Australia 3
TW - Taiwan 3
BR - Brasile 2
IR - Iran 2
JP - Giappone 2
BD - Bangladesh 1
BE - Belgio 1
DK - Danimarca 1
EU - Europa 1
PT - Portogallo 1
RU - Federazione Russa 1
SI - Slovenia 1
Totale 1.081
Città #
Singapore 117
Chandler 106
Boardman 52
Fairfield 35
Ashburn 28
Udine 28
Columbus 26
Woodbridge 23
Seattle 18
Munich 15
Wilmington 15
Brno 14
Dublin 14
Princeton 12
Treviso 12
Cambridge 9
Milan 9
Lappeenranta 8
Amsterdam 7
Dong Ket 7
Guangzhou 7
Dearborn 6
Hangzhou 6
Helsinki 6
Houston 6
Timisoara 6
Verona 6
Andover 5
Baton Rouge 5
Jacksonville 5
Rome 5
Toronto 5
Utrecht 5
Venice 5
Ann Arbor 4
Cagliari 4
Florence 4
Hove 4
Karlsruhe 4
Lomé 4
Los Angeles 4
Madrid 4
Ogden 4
Pasian di Prato 4
Preganziol 4
Saarbrücken 4
Trento 4
Ahmedabad 3
Almere Stad 3
Beijing 3
Conegliano 3
Contigliano 3
Des Moines 3
Fayetteville 3
Izmir 3
Santa Clara 3
Southwark 3
Trieste 3
Acerra 2
Albuquerque 2
Ashton-under-Lyne 2
Athens 2
Borås 2
Busan 2
Chennai 2
Codroipo 2
Colnbrook 2
Coventry 2
Ferraz de Vasconcelos 2
Gradisca d'Isonzo 2
Hong Kong 2
Horia 2
Huskvarna 2
Isernia 2
Klagenfurt 2
Le Havre 2
Leawood 2
Marousi 2
Merano 2
New Taipei City 2
Norwalk 2
Nuremberg 2
Oakland 2
Redmond 2
Rende 2
Rockville 2
San Jose 2
Shenzhen 2
Tufino 2
Vicenza 2
Vienna 2
West Jordan 2
Xiamen 2
Aachen 1
Adelaide 1
Benešov 1
Bolzano 1
Boulder 1
Brussels 1
Bucharest 1
Totale 795
Nome #
Temporal Logic Specifications: Expressiveness, Satisfiability and Realizability 157
A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL 138
One-pass and tree-shaped tableau systems for TPTL and TPTLb+past 110
Decidable Fragments of LTLf Modulo Theories 62
An abstract distributed middleware for transactions over heterogeneous stores 47
Reactive Synthesis from Extended Bounded Response LTL Specifications 44
Expressiveness of Extended Bounded Response LTL 43
BLACK: A fast, flexible and reliable LTL satisfiability checker 42
One-pass and tree-shaped tableau systems for TPTL and TPTLb+Past 41
Synthesis of Timeline-Based Planning Strategies Avoiding Determinization 41
Safe decomposition of startup requirements: verification and synthesis 40
Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis 36
Past matters: Supporting LTL+past in the BLACK satisfiability Checker 35
Extended bounded response LTL: a new safety fragment for efficient reactive synthesis 33
Learning What to Monitor: Using Machine Learning to Improve past STL Monitoring 28
Towards Machine Learning Enhanced LTL Monitoring 26
A Landscape of First-Order Linear Temporal Logics in Infinite-State Verification and Temporal Ontologies 23
Controller Synthesis for Timeline-based Games 21
GR(1) is equivalent to R(1) 20
Qualitative past Timeline-Based Games 18
LTL over Finite Words Can Be Exponentially More Succinct Than Pure-Past LTL, and vice versa 18
Foundations of Reactive Synthesis for Declarative Process Specifications 18
A Linear-size Cascade Decomposition for Wheeler Automata 18
Foundations of Collaborative DECLARE 17
A Singly Exponential Transformation of LTL[X, F] into Pure Past LTL 16
Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis 16
A FIRST-ORDER LOGIC CHARACTERIZATION OF SAFETY AND CO-SAFETY LANGUAGES 15
Cascade products and Wheeler automata 15
Complexity of Safety and coSafety Fragments of Linear Temporal Logic 13
Torwards Infinite-State Verification and Planning with Linear Temporal Logic Modulo Theories 12
CONTROLLER SYNTHESIS FOR TIMELINE-BASED GAMES∗ 11
SAT Meets Tableaux for Linear Temporal Logic Satisfiability 9
Linear Temporal Logic Modulo Theories over Finite Traces 7
SMT-Based Symbolic Model-Checking for Operator Precedence Languages 7
Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems 6
Totale 1.203
Categoria #
all - tutte 6.104
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 6.104


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202083 0 0 0 0 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/2025353 49 65 108 108 23 0 0 0 0 0 0 0
Totale 1.203