pith. sign in

S{\l}awomir Lasota

Identifiers

  • name variant S{\l}awomir Lasota 0.60 · backfill

Papers (12)

  1. Equivariant ideals of polynomials cs.LO · 2024 · author #2
  2. New Pumping Technique for 2-dimensional VASS cs.FL · 2019 · author #2
  3. Binary reachability of timed pushdown automata via quantifier elimination and cyclic order atoms cs.FL · 2018 · author #2
  4. Linear Equations with Ordered Data cs.LO · 2018 · author #2
  5. Regular Separability of Well Structured Transition Systems cs.FL · 2017 · author #2
  6. Regular Separability of Parikh Automata cs.FL · 2016 · author #3
  7. Separability of Reachability Sets of Vector Addition Systems cs.FL · 2016 · author #3
  8. Reachability analysis of first-order definable pushdown systems cs.FL · 2015 · author #2
  9. Timed pushdown automata revisited cs.FL · 2015 · author #2
  10. Equivariant algorithms for constraint satisfaction problems over coset templates cs.LO · 2014 · author #1
  11. Minimization of semilinear automata cs.LO · 2012 · author #2
  12. Modelling the efficacy of hyperthermia treatment q-bio.SC · 2012 · author #3

Mentions

  • 1210.4980 #2 · backfill · confidence 0.70 S{\l}awomir Lasota
  • 1209.3924 #3 · backfill · confidence 0.70 S{\l}awomir Lasota
  • 2402.17604 #2 · arxiv_oai · confidence 0.70 S{\l}awomir Lasota

Frequent Coauthors