Paul Gastin

Identifiers

• name variant Paul Gastin 0.60 · backfill

Papers (13)

1. TEMPORA: Efficient Verification of Metric Temporal Properties with Past in Pointwise Semantics cs.FL · 2025 · author #3
2. Logics for Reversible Regular Languages and Semigroups with Involution cs.FL · 2019 · author #1
3. Fast algorithms for handling diagonal constraints in timed automata cs.FL · 2019 · author #1
4. Timed Systems through the Lens of Logic cs.LO · 2019 · author #2
5. Unambiguous Forest Factorization cs.FL · 2018 · author #1
6. Reachability in timed automata with diagonal constraints cs.LO · 2018 · author #1
7. It Is Easy to Be Wise After the Event: Communicating Finite-State Machines Capture First-Order Logic with "Happened Before" cs.LO · 2018 · author #3
8. Gossiping in Message-Passing Systems cs.FL · 2018 · author #3
9. Regular Transducer Expressions for Regular Transformations cs.FL · 2018 · author #2
10. Communicating Finite-State Machines and Two-Variable Logic cs.LO · 2017 · author #3
11. Towards an Efficient Tree Automata based technique for Timed Systems cs.FL · 2017 · author #2
12. Nested Words for Order-2 Pushdown Systems cs.FL · 2016 · author #2
13. An Automata-Theoretic Approach to the Verification of Distributed Algorithms cs.LO · 2015 · author #3

Mentions

• 2510.14699 #3 · arxiv_oai · confidence 0.70 Paul Gastin

Frequent Coauthors

• Benedikt Bollig 4 shared papers
• Marie Fortin 3 shared papers
• S. Akshay 3 shared papers
• Shankara Narayanan Krishna 3 shared papers
• B Srivathsan 2 shared papers
• C. Aiswarya 2 shared papers
• R. Govind 2 shared papers
• Sayan Mukherjee 2 shared papers
• Amaldev Manuel 1 shared papers
• B. Srivathsan 1 shared papers
• Ilias Sarkar 1 shared papers
• Krishna Shankara Narayanan 1 shared papers
• Prakash Saivasan 1 shared papers
• Prerak Contractor 1 shared papers
• Vincent Juge 1 shared papers
• Vrunda Dave 1 shared papers