​
Login / Signup
Lucas Bueri
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 6
Top Topics
Decision Problems
Concurrent Systems
Geographically Distributed
Modal Operators
Top Venues
CoRR
CONCUR
IJCAR
</>
Publications
</>
Lucas Bueri
,
Radu Iosif
,
Florian Zuleger
Effective MSO-Definability for Tree-width Bounded Models of an Inductive Separation Logic of Relations.
CoRR
(2024)
Marius Bozga
,
Lucas Bueri
,
Radu Iosif
,
Florian Zuleger
The Treewidth Boundedness Problem for an Inductive Separation Logic of Relations.
CoRR
(2023)
Marius Bozga
,
Lucas Bueri
,
Radu Iosif
On an Invariance Problem for Parameterized Concurrent Systems.
CONCUR
(2022)
Marius Bozga
,
Lucas Bueri
,
Radu Iosif
On an Invariance Problem for Parameterized Concurrent Systems.
CoRR
(2022)
Marius Bozga
,
Lucas Bueri
,
Radu Iosif
Decision Problems in a Logic for Reasoning About Reconfigurable Distributed Systems.
IJCAR
(2022)
Marius Bozga
,
Lucas Bueri
,
Radu Iosif
Decision Problems in a Logic for Reasoning about Reconfigurable Distributed Systems.
CoRR
(2022)