Anca Muscholl (LaBRI)

Identifiers

• name variant Anca Muscholl (LaBRI) 0.60 · backfill

Papers (4)

1. Automated Synthesis of Distributed Controllers cs.FL · 2015 · author #1
2. Distributed synthesis for acyclic architectures cs.LO · 2014 · author #1
3. Asynchronous Games over Tree Architectures cs.FL · 2012 · author #3
4. Verifying Recursive Active Documents with Positive Data Tree Rewriting cs.DB · 2010 · author #2

Mentions

• 1506.02369 #1 · arxiv_oai · confidence 0.70 Anca Muscholl (LaBRI)
• 1402.3314 #1 · arxiv_oai · confidence 0.70 Anca Muscholl (LaBRI)
• 1204.0077 #3 · arxiv_oai · confidence 0.70 Anca Muscholl (LaBRI)
• 1506.02369 #1 · backfill · confidence 0.70 Anca Muscholl (LaBRI)
• 1402.3314 #1 · backfill · confidence 0.70 Anca Muscholl (LaBRI)
• 1204.0077 #3 · backfill · confidence 0.70 Anca Muscholl (LaBRI)
• 1003.1010 #2 · backfill · confidence 0.70 Anca Muscholl (LaBRI)

Frequent Coauthors

• Blaise Genest (INRIA - Irisa) 2 shared papers
• Igor Walukiewicz (LaBRI) 2 shared papers
• Hugo Gimbert (LaBRI) 1 shared papers
• Zhilin Wu (LaBRI) 1 shared papers