All Stories

  1. Orbit-finite linear programming

    Article • Journal of the ACM, November 2024, ACM (Association for Computing Machinery)

    Slawomir Lasota

  2. Equivariant ideals of polynomials

    Article • July 2024, ACM (Association for Computing Machinery)

    Slawomir Lasota

  3. Solvability of orbit-finite systems of linear equations

    Article • August 2022, ACM (Association for Computing Machinery)

    Slawomir Lasota

  4. The Reachability Problem for Petri Nets Is Not Elementary

    Article • Journal of the ACM, February 2021, ACM (Association for Computing Machinery)

    Slawomir Lasota

  5. Binary Reachability of Timed-register Pushdown Automata and Branching Vector Addition Systems

    Article • ACM Transactions on Computational Logic, July 2019, ACM (Association for Computing Machinery)

    Slawomir Lasota, Lorenzo Clemente