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.

Jérôme Leroux
SearchCollections
Map detail
Jérôme Leroux13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipJérôme LerouxAJérôme LerouxResearcherState Complexity of Protocols With LeadersWState Complexity of Pro...preprint / 2022Reachability 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 / 2015Demystifying Reachability in Vector Addition SystemsWDemystifying Reachabili...preprint / 2015Vector Addition System Reversible Reachability ProblemWVector Addition System ...preprint / 2013Least Significant Digit First Presburger AutomataWLeast Significant Digit...preprint / 2006Reachability Analysis of Communicating Pushdown SystemsWReachability Analysis o...preprint / 2012Occam's Razor Applied to the Petri Net Coverability ProblemWOccam's Razor Applied t...preprint / 2016Linear Combinations of Unordered Data VectorsWLinear Combinations of ...preprint / 2016Lower Bounds on the State Complexity of Population ProtocolsWLower Bounds on the Sta...preprint / 2022Accurate 3D comparison of complex topography with terrestrial laser scanner: application to the Rangitikei canyon (N-Z)WAccurate 3D comparison ...preprint / 2013
Person12 links

Jérôme Leroux

Researcher

PaperState Complexity of Protocols With LeadersAuthorship / preprint / 2022PaperReachability 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 / 2015PaperDemystifying Reachability in Vector Addition SystemsAuthorship / preprint / 2015PaperVector Addition System Reversible Reachability ProblemAuthorship / preprint / 2013PaperLeast Significant Digit First Presburger AutomataAuthorship / preprint / 2006PaperReachability 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)