pith. sign in

Jan Obdr\v{z}\'alek

Identifiers

  • name variant Jan Obdr\v{z}\'alek 0.60 · backfill

Papers (11)

  1. Explaining Digital Pathology Models via Clustering Activations cs.CV · 2025 · author #2
  2. A New Perspective on FO Model Checking of Dense Graph Classes cs.LO · 2018 · author #4
  3. FO Model Checking on Posets of Bounded Width cs.LO · 2015 · author #4
  4. Tree-depth and Vertex-minors cs.DM · 2014 · author #3
  5. Expanding the expressive power of Monadic Second-Order logic on restricted graph classes cs.DS · 2013 · author #2
  6. Kernelization Using Structural Parameters on Sparse Graph Classes cs.DS · 2013 · author #3
  7. STANSE: Bug-finding Framework for C Programs cs.SE · 2012 · author #1
  8. Lower Bounds on the Complexity of MSO1 Model-Checking cs.LO · 2011 · author #4
  9. Better algorithms for satisfiability problems for formulas of bounded rank-width cs.DM · 2010 · author #3
  10. Are there any good digraph width measures? cs.DM · 2010 · author #5
  11. Qualitative Reachability in Stochastic BPA Games cs.GT · 2010 · author #4

Mentions

  • 1403.7024 #3 · backfill · confidence 0.70 Jan Obdr\v{z}\'alek
  • 2511.14558 #2 · arxiv_oai · confidence 0.70 Jan Obdr\v{z}\'alek
  • 1306.5571 #2 · backfill · confidence 0.70 Jan Obdr\v{z}\'alek
  • 1302.6863 #3 · backfill · confidence 0.70 Jan Obdr\v{z}\'alek
  • 1202.0788 #1 · backfill · confidence 0.70 Jan Obdr\v{z}\'alek
  • 1109.5804 #4 · backfill · confidence 0.70 Jan Obdr\v{z}\'alek
  • 1006.5621 #3 · backfill · confidence 0.70 Jan Obdr\v{z}\'alek
  • 1004.1485 #5 · backfill · confidence 0.70 Jan Obdr\v{z}\'alek
  • 1003.0118 #4 · backfill · confidence 0.70 Jan Obdr\v{z}\'alek

Frequent Coauthors