Pierre Ganty

Identifiers

• name variant Pierre Ganty 0.60 · backfill

Papers (19)

1. A Myhill-Nerode Characterization and Active Learning for One-Clock Timed Automata cs.FL · 2026 · author #2
2. A Congruence-based Perspective on Automata Minimization Algorithms cs.FL · 2019 · author #1
3. Regular Expression Search on Compressed Text cs.FL · 2019 · author #1
4. The Parikh Property for Weighted Context-Free Grammars cs.FL · 2018 · author #1
5. Verification of Immediate Observation Population Protocols cs.LO · 2018 · author #2
6. Sound up-to techniques and Complete abstract domains cs.LO · 2018 · author #2
7. Tree dimension in verification of constrained Horn clauses cs.LO · 2018 · author #3
8. Parikh Image of Pushdown Automata cs.FL · 2017 · author #1
9. A Language-theoretic View on Network Protocols cs.FL · 2016 · author #1
10. Model Checking Parameterized Asynchronous Shared-Memory Systems cs.DC · 2015 · author #3
11. Interprocedural Reachability for Flat Integer Programs cs.FL · 2014 · author #1
12. Parameterized Verification of Asynchronous Shared-Memory Systems cs.LO · 2013 · author #2
13. Proving Termination Starting from the End cs.LO · 2013 · author #1
14. Underapproximation of Procedure Summaries for Integer Programs cs.PL · 2012 · author #1
15. A Perfect Model for Bounded Verification cs.FL · 2012 · author #2
16. Approximating Petri Net Reachability Along Context-free Traces cs.FL · 2011 · author #2
17. Algorithmic Verification of Asynchronous Programs cs.LO · 2010 · author #1
18. Parikh's Theorem: A simple and direct automaton construction cs.FL · 2010 · author #2
19. Bounded Underapproximations cs.LO · 2008 · author #1

Mentions

• 1505.06588 #3 · backfill · confidence 0.70 Pierre Ganty
• 1405.3069 #1 · backfill · confidence 0.70 Pierre Ganty
• 1304.1185 #2 · backfill · confidence 0.70 Pierre Ganty
• 1302.4539 #1 · backfill · confidence 0.70 Pierre Ganty
• 1210.4289 #1 · backfill · confidence 0.70 Pierre Ganty
• 1201.3194 #2 · backfill · confidence 0.70 Pierre Ganty
• 1105.1657 #2 · backfill · confidence 0.70 Pierre Ganty
• 1011.0551 #1 · backfill · confidence 0.70 Pierre Ganty
• 1006.3825 #2 · backfill · confidence 0.70 Pierre Ganty
• 0809.1236 #1 · backfill · confidence 0.70 Pierre Ganty

Frequent Coauthors

• Rupak Majumdar 6 shared papers
• Javier Esparza 5 shared papers
• Elena Guti\'errez 3 shared papers
• Pedro Valero 3 shared papers
• Radu Iosif 2 shared papers
• Antoine Durand-Gasselin 1 shared papers
• Benjamin Monmege 1 shared papers
• Bishoksan Kafle 1 shared papers
• Boris K\"opf 1 shared papers
• B. Srivathsan 1 shared papers
• Chana Weil-Kennedy 1 shared papers
• Dusko Pavlovic 1 shared papers
• Filip Konecny 1 shared papers
• Filippo Bonchi 1 shared papers
• John P. Gallagher 1 shared papers
• Kyveli Doveri 1 shared papers
• Michael Luttenberger 1 shared papers
• Mohamed Faouzi Atig 1 shared papers
• Roberto Giacobazzi 1 shared papers
• Samir Genaim 1 shared papers