Pierre Ganty (IMDEA Software Institute

Identifiers

No identifiers captured yet.

Papers (3)

1. Bounded-oscillation Pushdown Automata cs.FL · 2016 · author #1
2. Solving non-linear Horn clauses using a linear Horn clause solver cs.PL · 2016 · author #4
3. Decomposition by tree dimension in Horn clause verification cs.LO · 2015 · author #7

Mentions

No mention provenance yet.

Frequent Coauthors

• Spain) 3 shared papers
• John P. Gallagher (Roskilde University 2 shared papers
• Bishoksan Kafle (Roskilde University 1 shared papers
• Bishoksan Kafle (Roskilde University) 1 shared papers
• Damir Valput (IMDEA Software Institute 1 shared papers
• Denmark 1 shared papers
• Denmark) 1 shared papers
• IMDEA Software Institute 1 shared papers
• IMDEA Software Institute) 1 shared papers
• Madrid 1 shared papers