BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

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

Marius Bozga
SearchCollections
Map detail
Marius Bozga7 visible / 7 total nodes / 6 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipMarius BozgaAMarius BozgaResearcherDecision 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 / 2022Correct by Design Coordination of Autonomous Driving SystemsWCorrect by Design Coord...preprint / 2022The Complexity of Reachability Problems for Flat Counter Machines with Periodic LoopsWThe Complexity of Reach...preprint / 2016Reasoning about Reconfigurations of Distributed SystemsWReasoning about Reconfi...preprint / 2022Deciding Conditional TerminationWDeciding Conditional Te...preprint / 2014
Person6 links

Marius Bozga

Researcher

PaperDecision Problems in a Logic for Reasoning about Reconfigurable Distributed SystemsAuthorship / preprint / 2022PaperOn an Invariance Problem for Parameterized Concurrent SystemsAuthorship / preprint / 2022PaperCorrect by Design Coordination of Autonomous Driving SystemsAuthorship / preprint / 2022PaperThe Complexity of Reachability Problems for Flat Counter Machines with Periodic LoopsAuthorship / preprint / 2016PaperReasoning about Reconfigurations of Distributed SystemsAuthorship / preprint / 2022PaperDeciding Conditional TerminationAuthorship / preprint / 2014

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)