Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Lucas Bueri
Map detail
Lucas Bueri3 visible / 3 total nodes / 2 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipLucas BueriALucas BueriResearcherDecision Problems in a Logic for Reasoning about Reconfigurable Distributed SystemsWDecision Problems in a ...preprint / 2022On an Invariance Problem for Parameterized Concurrent SystemsWOn an Invariance Proble...preprint / 2022
Person2 links

Lucas Bueri

Researcher