Sign in
Lucas Bueri
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 5
Top Topics
Concurrent Systems
View Invariant Action Recognition
Geographically Distributed
Invariant Properties
Top Venues
CoRR
CONCUR
IJCAR
</>
Publications
</>
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)