All Stories

  1. Does Input Order Matter? A General Method for Finding Out

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

    Lorenzo Clemente

  2. Cost Automata, Safe Schemes, and Downward Closures

    Article • Fundamenta Informaticae, April 2023, IOS Press

    Lorenzo Clemente

  3. 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