University of Paris Diderot (Paris 7))

Identifiers

• name variant University of Paris Diderot (Paris 7)) 0.60 · backfill

Papers (1)

1. Context-Bounded Analysis For Concurrent Programs With Dynamic Creation of Threads cs.LO · 2011 · author #3

Mentions

• 1111.1011 #3 · backfill · confidence 0.70 University of Paris Diderot (Paris 7))

Frequent Coauthors

• Ahmed Bouajjani (LIAFA 1 shared papers
• CNRS 1 shared papers
• Mohamed Faouzi Atig (LIAFA 1 shared papers
• Redmond) 1 shared papers
• Shaz Qadeer (Microsoft Research 1 shared papers