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.

Grégoire Sutre
SearchCollections
Map detail
Grégoire Sutre7 visible / 7 total nodes / 6 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipGrégoire SutreAGrégoire SutreResearcherReachability in Two-Dimensional Vector Addition Systems with States: One Test is for FreeWReachability in Two-Dim...preprint / 2020On the Coverability Problem for Pushdown Vector Addition Systems in One DimensionWOn the Coverability Pro...preprint / 2015On Boundedness Problems for Pushdown Vector Addition SystemsWOn Boundedness Problems...preprint / 2015Occam's Razor Applied to the Petri Net Coverability ProblemWOccam's Razor Applied t...preprint / 2016Reachability of Communicating Timed ProcessesWReachability of Communi...preprint / 2012Reachability Analysis of Communicating Pushdown SystemsWReachability Analysis o...preprint / 2012
Person6 links

Grégoire Sutre

Researcher

PaperReachability in Two-Dimensional Vector Addition Systems with States: One Test is for FreeAuthorship / preprint / 2020PaperOn the Coverability Problem for Pushdown Vector Addition Systems in One DimensionAuthorship / preprint / 2015PaperOn Boundedness Problems for Pushdown Vector Addition SystemsAuthorship / preprint / 2015PaperOccam's Razor Applied to the Petri Net Coverability ProblemAuthorship / preprint / 2016PaperReachability of Communicating Timed ProcessesAuthorship / preprint / 2012PaperReachability Analysis of Communicating Pushdown SystemsAuthorship / preprint / 2012

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)