We stand with Ukraine  

Lucas Bueri

Orcid: 0000-0002-8589-6955

According to our database1, Lucas Bueri authored at least 5 papers between 2022 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2024
Logics for Reasoning about the Correctness of Reconfigurable Distributed Systems. (Logiques pour raisonner sur la correction de systèmes distribués reconfigurables).
[BibTeX]
[DOI]
Lucas Bueri
PhD thesis, 2024

Effective MSO-Definability for Tree-width Bounded Models of an Inductive Separation Logic of Relations.
[BibTeX]
[DOI]
Lucas Bueri
,
Radu Iosif
,
Florian Zuleger
CoRR, 2024

2023
The Treewidth Boundedness Problem for an Inductive Separation Logic of Relations.
[BibTeX]
[DOI]
Marius Bozga
,
Lucas Bueri
,
Radu Iosif
,
Florian Zuleger
CoRR, 2023

2022
On an Invariance Problem for Parameterized Concurrent Systems.
[BibTeX]
[DOI]
Marius Bozga
,
Lucas Bueri
,
Radu Iosif
Proceedings of the 33rd International Conference on Concurrency Theory, 2022

Decision Problems in a Logic for Reasoning About Reconfigurable Distributed Systems.
[BibTeX]
[DOI]
Marius Bozga
,
Lucas Bueri
,
Radu Iosif
Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022


  Loading...