Alexander Heussner (LaBRI

Identifiers

• name variant Alexander Heussner (LaBRI 0.60 · backfill

Papers (1)

1. Reachability Analysis of Communicating Pushdown Systems cs.LO · 2012 · author #1

Mentions

• 1209.0359 #1 · backfill · confidence 0.70 Alexander Heussner (LaBRI

Frequent Coauthors

• Anca Muscholl (LaBRI 1 shared papers
• CNRS 1 shared papers
• France) 1 shared papers
• Gr\'egoire Sutre (LaBRI 1 shared papers
• J\'er\^ome Leroux (LaBRI 1 shared papers
• Universit\'e de Bordeaux 1 shared papers