( en | de | ru )

 

Disambiguation of "Geatti, Luca"

Author of the publication

copydeleteadd this publication to your clipboard
An Abstract Distributed Middleware for Transactions over Heterogeneous Stores.

, , and . ICTCS, volume 2504 of CEUR Workshop Proceedings, page 171-183. CEUR-WS.org, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Luca Rizzini

Luca Tranchini

Luca Tuninetti

Alfonz Luca

Marcello Lucà

 

Other publications of authors with the same name

Foundations of Collaborative sfDECLARE., , and . BPM (Forum), volume 490 of Lecture Notes in Business Information Processing, page 55-72. Springer, (2023)Foundations of Reactive Synthesis for Declarative Process Specifications., , and . AAAI, page 17416-17425. AAAI Press, (2024)SMT-Based Symbolic Model-Checking for Operator Precedence Languages., , , and . CAV (1), volume 14681 of Lecture Notes in Computer Science, page 387-408. Springer, (2024)Qualitative past Timeline-Based Games (Extended Abstract)., , , and . TIME, volume 278 of LIPIcs, page 22:1-22:3. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL., , and . TABLEAUX, volume 11714 of Lecture Notes in Computer Science, page 3-20. Springer, (2019)A Linear-size Cascade Decomposition for Wheeler Automata., , , and . ICTCS, volume 3587 of CEUR Workshop Proceedings, page 181-191. CEUR-WS.org, (2023)Safe Decomposition of Startup Requirements: Verification and Synthesis., , , , and . TACAS (1), volume 12078 of Lecture Notes in Computer Science, page 155-172. Springer, (2020)A Landscape of First-Order Linear Temporal Logics in Infinite-State Verification and Temporal Ontologies., , , and . OVERLAY@AI*IA, volume 3629 of CEUR Workshop Proceedings, page 85-92. CEUR-WS.org, (2023)Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems., , and . FoSSaCS (2), volume 14575 of Lecture Notes in Computer Science, page 95-115. Springer, (2024)A first-order logic characterisation of safety and co-safety languages., , , , and . FoSSaCS, volume 13242 of Lecture Notes in Computer Science, page 244-263. Springer, (2022)