Concepedia

Pierre Ganty

PG

Statistics

Publications

11

Citations

349

H-Index

11

Active since

2007

Affiliations

IMDEA Software Institute(Current)

Madrid Institute for Advanced Studies

Technical University of Munich

Max Planck Institute for Software Systems

Centre National de la Recherche Scientifique

Pierre Ganty is an author at IMDEA Software Institute specializing in computing, computer science, and theory of computation.

Publications per year

2007–2016

11

Publications

11

Algorithmic verification of asynchronous programs

Pierre Ganty, Rupak Majumdar · ACM Transactions on Programming Languages and Systems · 2012 · 86 citations · Full text

Computing, Computer Science, Computer Systems +17

Parikhʼs theorem: A simple and direct automaton construction

Javier Esparza, Pierre Ganty, Stefan Kiefer et al. · Information Processing Letters · 2011 · 52 citations · Full text

Computing, Computer Science, Mathematics +6

Verification of population protocols

Javier Esparza, Pierre Ganty, Jérôme Leroux et al. · Acta Informatica · 2016 · 51 citations · Full text

Computing, Computer Science, Formal Methods +5

Approximating Petri Net Reachability Along Context-free Traces

Mohamed Faouzi Atig, Pierre Ganty · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2011 · 27 citations · Full text

Computing, Computer Science, Algorithms +15

Complexity of pattern-based verification for multithreaded programs

Javier Esparza, Pierre Ganty · ACM SIGPLAN Notices · 2011 · 24 citations

Computing, Computer Science, Algorithms +12

1–5 of 11