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.

Jan Obdržálek
SearchCollections
Map detail
Jan Obdržálek10 visible / 10 total nodes / 9 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipJan ObdržálekAJan ObdržálekResearcherSTANSE: Bug-finding Framework for C ProgramsWSTANSE: Bug-finding Fra...preprint / 2012Expanding the expressive power of Monadic Second-Order logic on restricted graph classesWExpanding the expressiv...preprint / 2013Better algorithms for satisfiability problems for formulas of bounded rank-widthWBetter algorithms for s...preprint / 2010Tree-depth and Vertex-minorsWTree-depth and Vertex-m...preprint / 2014Kernelization Using Structural Parameters on Sparse Graph ClassesWKernelization Using Str...preprint / 2015Qualitative Reachability in Stochastic BPA GamesWQualitative Reachabilit...preprint / 2010Lower Bounds on the Complexity of MSO1 Model-CheckingWLower Bounds on the Com...preprint / 2012FO Model Checking on Posets of Bounded WidthWFO Model Checking on Po...preprint / 2015Are there any good digraph width measures?WAre there any good digr...preprint / 2010
Person9 links

Jan Obdržálek

Researcher

PaperSTANSE: Bug-finding Framework for C ProgramsAuthorship / preprint / 2012PaperExpanding the expressive power of Monadic Second-Order logic on restricted graph classesAuthorship / preprint / 2013PaperBetter algorithms for satisfiability problems for formulas of bounded rank-widthAuthorship / preprint / 2010PaperTree-depth and Vertex-minorsAuthorship / preprint / 2014PaperKernelization Using Structural Parameters on Sparse Graph ClassesAuthorship / preprint / 2015PaperQualitative Reachability in Stochastic BPA GamesAuthorship / preprint / 2010PaperLower Bounds on the Complexity of MSO1 Model-CheckingAuthorship / preprint / 2012PaperFO Model Checking on Posets of Bounded WidthAuthorship / preprint / 2015

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)