Anca Muscholl
Identifiers
- name variant Anca Muscholl 0.60 · backfill
Papers (12)
- An automata-based approach for synchronizable mailbox communication cs.LO · 2024 · author #2
- On Synthesis of Resynchronizers for Transducers cs.FL · 2019 · author #3
- Equivalence of finite-valued streaming string transducers is decidable cs.FL · 2019 · author #1
- Origin-equivalence of two-way word transducers is in PSPACE cs.FL · 2018 · author #2
- Static Analysis of Deterministic Negotiations cs.LO · 2017 · author #2
- Untwisting two-way transducers in elementary time cs.FL · 2017 · author #3
- Reachability for dynamic parametric processes cs.LO · 2016 · author #1
- On parametrized verification of asynchronous, shared-memory pushdown systems cs.FL · 2016 · author #2
- A Note on Monitors and B\"uchi automata cs.FL · 2015 · author #2
- On distributed monitoring of asynchronous systems cs.FL · 2012 · author #2
- On Injective Embeddings of Tree Patterns cs.DB · 2012 · author #2
- 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