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.

Prakash Saivasan
SearchCollections
Map detail
Prakash Saivasan7 visible / 7 total nodes / 6 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipPrakash SaivasanAPrakash SaivasanResearcherA Framework for Consistency AlgorithmsWA Framework for Consist...preprint / 2020Liveness in Broadcast NetworksWLiveness in Broadcast N...preprint / 2020Fine-Grained Complexity of Safety VerificationWFine-Grained Complexity...preprint / 2020Nested Words for Order-2 Pushdown SystemsWNested Words for Order-...preprint / 2016Model checking Branching-Time Properties of Multi-Pushdown Systems is HardWModel checking Branchin...preprint / 2012Complexity of regular abstractions of one-counter languagesWComplexity of regular a...preprint / 2016
Person6 links

Prakash Saivasan

Researcher

PaperA Framework for Consistency AlgorithmsAuthorship / preprint / 2020PaperLiveness in Broadcast NetworksAuthorship / preprint / 2020PaperFine-Grained Complexity of Safety VerificationAuthorship / preprint / 2020PaperNested Words for Order-2 Pushdown SystemsAuthorship / preprint / 2016PaperModel checking Branching-Time Properties of Multi-Pushdown Systems is HardAuthorship / preprint / 2012PaperComplexity of regular abstractions of one-counter languagesAuthorship / preprint / 2016

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)