Ahmed Bouajjani (LIAFA)

Identifiers

• name variant Ahmed Bouajjani (LIAFA) 0.60 · backfill

Papers (2)

1. Symbolic Reachability Analysis of Higher-Order Context-Free Processes cs.LO · 2007 · author #1
2. A Logic of Reachable Patterns in Linked Data-Structures cs.LO · 2007 · author #5

Mentions

• 0705.3888 #1 · backfill · confidence 0.70 Ahmed Bouajjani (LIAFA)
• 0705.3610 #5 · backfill · confidence 0.70 Ahmed Bouajjani (LIAFA)

Frequent Coauthors

• Antoine Meyer (LIAFA) 2 shared papers
• Alexander Rabinovich 1 shared papers
• Greta Yorsh 1 shared papers
• Mooly Sagiv 1 shared papers