Anca Muscholl

Identifiers

• name variant Anca Muscholl 0.60 · backfill

Papers (12)

1. An automata-based approach for synchronizable mailbox communication cs.LO · 2024 · author #2
2. On Synthesis of Resynchronizers for Transducers cs.FL · 2019 · author #3
3. Equivalence of finite-valued streaming string transducers is decidable cs.FL · 2019 · author #1
4. Origin-equivalence of two-way word transducers is in PSPACE cs.FL · 2018 · author #2
5. Static Analysis of Deterministic Negotiations cs.LO · 2017 · author #2
6. Untwisting two-way transducers in elementary time cs.FL · 2017 · author #3
7. Reachability for dynamic parametric processes cs.LO · 2016 · author #1
8. On parametrized verification of asynchronous, shared-memory pushdown systems cs.FL · 2016 · author #2
9. A Note on Monitors and B\"uchi automata cs.FL · 2015 · author #2
10. On distributed monitoring of asynchronous systems cs.FL · 2012 · author #2
11. On Injective Embeddings of Tree Patterns cs.DB · 2012 · author #2
12. A lower bound on web services composition cs.LO · 2008 · author #1

Mentions

• 1208.2125 #2 · backfill · confidence 0.70 Anca Muscholl
• 1204.4948 #2 · backfill · confidence 0.70 Anca Muscholl
• 2407.06968 #2 · arxiv_oai · confidence 0.70 Anca Muscholl
• 0804.3105 #1 · backfill · confidence 0.70 Anca Muscholl

Frequent Coauthors

• Igor Walukiewicz 5 shared papers
• Gabriele Puppis 4 shared papers
• Sougata Bose 2 shared papers
• Vincent Penelle 2 shared papers
• Volker Diekert 2 shared papers
• F\'elix Baschenis 1 shared papers
• Gr\'egoire Sutre 1 shared papers
• Helmut Seidl 1 shared papers
• Jakub Michaliszyn 1 shared papers
• Javier Esparza 1 shared papers
• Marie Fortin 1 shared papers
• Olivier Gauwin 1 shared papers
• Piotr Wieczorek 1 shared papers
• Romain Delpy 1 shared papers
• Shankara Narayanan Krishna 1 shared papers
• S{\l}awek Staworko 1 shared papers
• Zhilin Wu 1 shared papers