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.

Arnaud Sangnier
SearchCollections
Map detail
Arnaud Sangnier12 visible / 12 total nodes / 11 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipArnaud SangnierAArnaud SangnierResearcherDeciding the existence of cut-off in parameterized rendez-vous networksWDeciding the existence ...preprint / 2020The Cost of Parameterized Reachability in Mobile Ad Hoc NetworksWThe Cost of Parameteriz...preprint / 2012Parameterized Verification of Safety Properties in Ad Hoc Network ProtocolsWParameterized Verificat...preprint / 2011How hard is it to verify flat affine counter systems with the finite monoid property ?WHow hard is it to verif...preprint / 2016Model checking memoryful linear-time logics over one-counter automataWModel checking memoryfu...preprint / 2010Solving Parity Games on Integer VectorsWSolving Parity Games on...preprint / 2013On the Complexity of Verifying Regular Properties on Flat Counter SystemsWOn the Complexity of Ve...preprint / 2013Taming Past LTL and Flat Counter SystemsWTaming Past LTL and Fla...preprint / 2013ATLsc with partial observationWATLsc with partial obse...preprint / 2015Qualitative Analysis of VASS-Induced MDPsWQualitative Analysis of...preprint / 2016Reachability in Networks of Register Protocols under Stochastic SchedulersWReachability in Network...preprint / 2016
Person11 links

Arnaud Sangnier

Researcher

PaperDeciding the existence of cut-off in parameterized rendez-vous networksAuthorship / preprint / 2020PaperThe Cost of Parameterized Reachability in Mobile Ad Hoc NetworksAuthorship / preprint / 2012PaperParameterized Verification of Safety Properties in Ad Hoc Network ProtocolsAuthorship / preprint / 2011PaperHow hard is it to verify flat affine counter systems with the finite monoid property ?Authorship / preprint / 2016PaperModel checking memoryful linear-time logics over one-counter automataAuthorship / preprint / 2010PaperSolving Parity Games on Integer VectorsAuthorship / preprint / 2013PaperOn the Complexity of Verifying Regular Properties on Flat Counter SystemsAuthorship / preprint / 2013PaperTaming Past LTL and Flat Counter SystemsAuthorship / preprint / 2013

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)