pith. sign in

Lorenzo Clemente

Identifiers

  • name variant Lorenzo Clemente 0.60 · backfill

Papers (19)

  1. Commutative algebras of series cs.FL · 2026 · author #1
  2. Timed Basic Parallel Processes cs.FL · 2019 · author #1
  3. Binary reachability of timed pushdown automata via quantifier elimination and cyclic order atoms cs.FL · 2018 · author #1
  4. Decidability of Timed Communicating Automata cs.FL · 2018 · author #1
  5. Regular Separability of Parikh Automata cs.FL · 2016 · author #1
  6. Separability of Reachability Sets of Vector Addition Systems cs.FL · 2016 · author #1
  7. The Diagonal Problem for Higher-Order Recursion Schemes is Decidable cs.FL · 2016 · author #1
  8. Non-Zero Sum Games for Reactive Synthesis cs.LO · 2015 · author #2
  9. Ordered Tree-Pushdown Systems cs.FL · 2015 · author #1
  10. Multidimensional beyond worst-case and almost-sure problems for mean-payoff objectives cs.GT · 2015 · author #1
  11. Reachability analysis of first-order definable pushdown systems cs.FL · 2015 · author #1
  12. Timed pushdown automata revisited cs.FL · 2015 · author #1
  13. Stochastic Parity Games on Lossy Channel Systems cs.LO · 2014 · author #2
  14. Unified Analysis of Collapsible and Ordered Pushdown Automata via Term Rewriting cs.FL · 2014 · author #1
  15. Proceedings 15th International Workshop on Verification of Infinite-State Systems cs.FL · 2014 · author #2
  16. Stochastic Parity Games on Lossy Channel Systems cs.GT · 2013 · author #2
  17. Advanced Automata Minimization cs.FL · 2012 · author #1
  18. Reachability of Communicating Timed Processes cs.LO · 2012 · author #1
  19. B\"uchi Automata can have Smaller Quotients cs.FL · 2011 · author #1

Mentions

  • 1510.03278 #1 · backfill · confidence 0.70 Lorenzo Clemente
  • 1504.08211 #1 · arxiv_oai · confidence 0.70 Lorenzo Clemente
  • 1504.08211 #1 · backfill · confidence 0.70 Lorenzo Clemente
  • 1504.02651 #1 · backfill · confidence 0.70 Lorenzo Clemente
  • 1503.02422 #1 · backfill · confidence 0.70 Lorenzo Clemente
  • 1410.4448 #2 · backfill · confidence 0.70 Lorenzo Clemente
  • 1410.4065 #1 · backfill · confidence 0.70 Lorenzo Clemente
  • 1402.6610 #2 · backfill · confidence 0.70 Lorenzo Clemente
  • 1305.5228 #2 · backfill · confidence 0.70 Lorenzo Clemente
  • 1210.6624 #1 · backfill · confidence 0.70 Lorenzo Clemente
  • 1209.0571 #1 · backfill · confidence 0.70 Lorenzo Clemente
  • 1102.3285 #1 · backfill · confidence 0.70 Lorenzo Clemente

Frequent Coauthors