Anca Muscholl

Publication Activity (10 Years)

Years Active: 1993-2023
Publications (10 Years): 58

Top Venues

CoRR

Bull. EATCS

FSTTCS

Log. Methods Comput. Sci.

University of Stuttgart, Germany (PHD)

Education History

University of Stuttgart, Germany

PHD

Publications

Anca Muscholl
Report on ICALP 2023. Bull. EATCS 141 (2023)
Corto Mascle, Anca Muscholl, Igor Walukiewicz
Model-Checking Parametric Lock-Sharing Systems Against Regular Constraints. CONCUR (2023)
Anca Muscholl
ICALP 2024 - Call for Papers. Bull. EATCS 141 (2023)
Anca Muscholl
Report on ICALP 2022 - 49th EATCS International Colloquium on Automata, Languages and Programming. Bull. EATCS 139 (2023)
Corto Mascle, Anca Muscholl, Igor Walukiewicz
Model-checking parametric lock-sharing systems against regular constraints. CoRR (2023)
Hugo Gimbert, Corto Mascle, Anca Muscholl, Igor Walukiewicz
Distributed Controller Synthesis for Deadlock Avoidance. ICALP (2022)
W. Alejandro Apaza-Perez, Christophe Combastel, Igor Walukiewicz, Anca Muscholl, Ali Zolghadri
Abstraction-based control synthesis using partial information. Eur. J. Control 63 (2022)
Anca Muscholl
Report on ICALP 2021. Bull. EATCS 137 (2022)
Anca Muscholl, Igor Walukiewicz
Active learning for sound negotiations✱. LICS (2022)
Hugo Gimbert, Corto Mascle, Anca Muscholl, Igor Walukiewicz
Distributed controller synthesis for deadlock avoidance. CoRR (2022)
Anca Muscholl, Igor Walukiewicz
Active Learning for Sound Negotiations. CoRR (2021)
Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Gabriele Puppis
One-way resynchronizability of word transducers. CoRR (2021)
Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Gabriele Puppis
One-way Resynchronizability of Word Transducers. FoSSaCS (2021)
Agnishom Chattopadhyay, Filip Mazowiecki, Anca Muscholl, Cristian Riveros
Pumping lemmas for weighted automata. Log. Methods Comput. Sci. 17 (3) (2021)
Anca Muscholl
The Presburger Award 2020 - Laudatio for Dmitriy Zhuk. Bull. EATCS 131 (2020)
Olivier Gauwin, Anca Muscholl, Michael Raskin
Minimization of visibly pushdown automata is NP-complete. Log. Methods Comput. Sci. 16 (1) (2020)
Agnishom Chattopadhyay, Filip Mazowiecki, Anca Muscholl, Cristian Riveros
Pumping lemmas for weighted automata. CoRR (2020)
Artur Czumaj, Anca Muscholl
Report on ICALP 2020. Bull. EATCS 132 (2020)
Anca Muscholl, Gabriele Puppis
The Many Facets of String Transducers (Invited Talk). STACS (2019)
Anca Muscholl, Gabriele Puppis
Equivalence of finite-valued streaming string transducers is decidable. CoRR (2019)
Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Vincent Penelle, Gabriele Puppis
On Synthesis of Resynchronizers for Transducers. CoRR (2019)
Anca Muscholl, Gabriele Puppis
Equivalence of Finite-Valued Streaming String Transducers Is Decidable. ICALP (2019)
Olivier Gauwin, Anca Muscholl, Michael A. Raskin
Minimization of visibly pushdown automata is NP-complete. CoRR (2019)
Thore Husfeldt, Meena Mahajan, Anca Muscholl
The Presburger Award for Young Scientists 2020 - Call for Nominations. Bull. EATCS 129 (2019)
Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Vincent Penelle, Gabriele Puppis
On Synthesis of Resynchronizers for Transducers. MFCS (2019)
Javier Esparza, Denis Kuperberg, Anca Muscholl, Igor Walukiewicz
Soundness in negotiations. Log. Methods Comput. Sci. 14 (1) (2018)
Sougata Bose, Anca Muscholl, Vincent Penelle, Gabriele Puppis
Origin-equivalence of two-way word transducers is in PSPACE. CoRR (2018)
Sougata Bose, Anca Muscholl, Vincent Penelle, Gabriele Puppis
Origin-Equivalence of Two-Way Word Transducers Is in PSPACE. FSTTCS (2018)
Emmanuel Filiot, Olivier Gauwin, Nathan Lhote, Anca Muscholl
On Canonical Models for Rational Functions over Infinite Words. FSTTCS (2018)
Javier Esparza, Pierre Fraigniaud, Anca Muscholl, Sergio Rajsbaum
Formal Methods and Fault-Tolerant Distributed Comp.: Forging an Alliance (Dagstuhl Seminar 18211). Dagstuhl Reports 8 (5) (2018)
Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis
One-way definability of two-way word transducers. Log. Methods Comput. Sci. 14 (4) (2018)
Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis
One-way definability of two-way word transducers. CoRR (2017)
Anca Muscholl, Helmut Seidl, Igor Walukiewicz
Reachability for Dynamic Parametric Processes. VMCAI (2017)
Paul Gallot, Anca Muscholl, Gabriele Puppis, Sylvain Salvati
On the Decomposition of Finite-Valued Streaming String Transducers. STACS (2017)
Anca Muscholl
A Tour of Recent Results on Word Transducers. FCT (2017)
Anca Muscholl
Automated Synthesis: a Distributed Viewpoint. FSTTCS (2017)
Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis
Untwisting two-way transducers in elementary time. CoRR (2017)
Javier Esparza, Anca Muscholl, Igor Walukiewicz
Static Analysis of Deterministic Negotiations. CoRR (2017)
Javier Esparza, Anca Muscholl, Igor Walukiewicz
Static analysis of deterministic negotiations. LICS (2017)
Marie Fortin, Anca Muscholl, Igor Walukiewicz
Model-Checking Linear-Time Properties of Parametrized Asynchronous Shared-Memory Pushdown Systems. CAV (2) (2017)
Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis
Untwisting two-way transducers in elementary time. LICS (2017)
Javier Esparza, Denis Kuperberg, Anca Muscholl, Igor Walukiewicz
Soundness in negotiations. CoRR (2017)
Anca Muscholl
Automated Synthesis: Going Distributed. CSL (2016)
Anca Muscholl, Helmut Seidl, Igor Walukiewicz
Reachability for dynamic parametric processes. CoRR (2016)
Anca Muscholl, Sven Schewe
Controlling loosely cooperating processes. Theor. Comput. Sci. 611 (2016)
Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis
Minimizing Resources of Sweeping and Streaming String Transducers. ICALP (2016)
Piotr Indyk, Anca Muscholl, Fabian Kuhn
ICALP 2017 - Call for Papers. Bull. EATCS 120 (2016)
Amaldev Manuel, Anca Muscholl, Gabriele Puppis
Walking on Data Words. Theory Comput. Syst. 59 (2) (2016)
Anca Muscholl, Martin Dietzfelbinger
Preface of STACS 2013 Special Issue. Theory Comput. Syst. 58 (4) (2016)
Marie Fortin, Anca Muscholl, Igor Walukiewicz
On parametrized verification of asynchronous, shared-memory pushdown systems. CoRR (2016)
Javier Esparza, Denis Kuperberg, Anca Muscholl, Igor Walukiewicz
Soundness in Negotiations. CONCUR (2016)
Volker Diekert, Anca Muscholl, Igor Walukiewicz
A Note on Monitors and Büchi Automata. ICTAC (2015)
Anca Muscholl
Automated Synthesis of Distributed Controllers. ICALP (2) (2015)
Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis
One-way Definability of Sweeping Transducer. FSTTCS (2015)
Salvatore La Torre, Anca Muscholl, Igor Walukiewicz
Safety of Parametrized Asynchronous Shared-Memory Systems is Almost Always Decidable. CONCUR (2015)
Anca Muscholl
Automated Synthesis of Distributed Controllers. CoRR (2015)
Anca Muscholl
On Distributed Monitoring and Synthesis. CiE (2015)
Volker Diekert, Anca Muscholl, Igor Walukiewicz
A Note on Monitors and Büchi automata. CoRR (2015)
Anca Muscholl, Igor Walukiewicz
Distributed synthesis for acyclic architectures. CoRR (2014)
Anca Muscholl, Igor Walukiewicz
Distributed Synthesis for Acyclic Architectures. FSTTCS (2014)
Serge Abiteboul, Pierre Bourhis, Anca Muscholl, Zhilin Wu
Recursive queries on trees and data trees. ICDT (2013)
Amaldev Manuel, Anca Muscholl, Gabriele Puppis
Walking on Data Words. CSR (2013)
Anca Muscholl
Call for Nominations For EATCS - Fellows 2014. Bull. EATCS 111 (2013)
Blaise Genest, Hugo Gimbert, Anca Muscholl, Igor Walukiewicz
Asynchronous Games over Tree Architectures. ICALP (2) (2013)
Siddharth Krishna, Anca Muscholl
A quadratic construction for Zielonka automata with acyclic communication structure. Theor. Comput. Sci. 503 (2013)
Anca Muscholl, Sven Schewe
Unlimited Decidability of Distributed Synthesis with Limited Missing Knowledge. MFCS (2013)
Blaise Genest, Hugo Gimbert, Anca Muscholl, Igor Walukiewicz
Asynchronous Games over Tree Architectures CoRR (2012)
Alexander Heußner, Jérôme Leroux, Anca Muscholl, Grégoire Sutre
Reachability Analysis of Communicating Pushdown Systems Log. Methods Comput. Sci. 8 (3) (2012)
Volker Diekert, Anca Muscholl
On Distributed Monitoring of Asynchronous Systems. WoLLIC (2012)
Volker Diekert, Anca Muscholl
On distributed monitoring of asynchronous systems CoRR (2012)
Jakub Michaliszyn, Anca Muscholl, Slawek Staworko, Piotr Wieczorek, Zhilin Wu
On Injective Embeddings of Tree Patterns CoRR (2012)
Mikolaj Bojanczyk, Claire David, Anca Muscholl, Thomas Schwentick, Luc Segoufin
Two-variable logic on data words. ACM Trans. Comput. Log. 12 (4) (2011)
Blaise Genest, Anca Muscholl, Zhilin Wu
Verifying Recursive Active Documents with Positive Data Tree Rewriting. FSTTCS (2010)
Alexander Heußner, Jérôme Leroux, Anca Muscholl, Grégoire Sutre
Reachability Analysis of Communicating Pushdown Systems. FoSSaCS (2010)
Anca Muscholl
Analysis of Communicating Automata. LATA (2010)
Blaise Genest, Hugo Gimbert, Anca Muscholl, Igor Walukiewicz
Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata. ICALP (2) (2010)
Blaise Genest, Anca Muscholl, Zhilin Wu
Verifying Recursive Active Documents with Positive Data Tree Rewriting CoRR (2010)
Anca Muscholl
Taming Distributed Asynchronous Systems. CONCUR (2010)
Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentick, Luc Segoufin
Two-variable logic on data trees and XML reasoning. J. ACM 56 (3) (2009)
Anca Muscholl, Igor Walukiewicz
A Lower Bound on Web Services Composition. Log. Methods Comput. Sci. 4 (2) (2008)
Blaise Genest, Anca Muscholl
Pattern Matching and Membership for Hierarchical Message Sequence Charts. Theory Comput. Syst. 42 (4) (2008)
Anca Muscholl, Ramaswamy Ramanujam, Michaël Rusinowitch, Thomas Schwentick, Victor Vianu
08171 Summary - Beyond the Finite: New Challenges in Verification and Semistructured Data. Beyond the Finite: New Challenges in Verification and Semistructured Data (2008)
Anca Muscholl, Ramaswamy Ramanujam, Michaël Rusinowitch, Thomas Schwentick, Victor Vianu
08171 Abstracts Collection - Beyond the Finite: New Challenges in Verification and Semistructured Data. Beyond the Finite: New Challenges in Verification and Semistructured Data (2008)
Helmut Seidl, Thomas Schwentick, Anca Muscholl
Counting in trees. Logic and Automata (2008)
Anca Muscholl, Igor Walukiewicz
A lower bound on web services composition CoRR (2008)
Blaise Genest, Anca Muscholl, Olivier Serre, Marc Zeitoun
Tree Pattern Rewriting Systems. ATVA (2008)
Ahmed Bouajjani, Anca Muscholl, Tayssir Touili
Permutation rewriting and algorithmic verification. Inf. Comput. 205 (2) (2007)
Anca Muscholl, Igor Walukiewicz
A Lower Bound on Web Services Composition. FoSSaCS (2007)
Blaise Genest, Dietrich Kuske, Anca Muscholl
On Communicating Automata with Bounded Channels. Fundam. Informaticae 80 (1-3) (2007)
Volker Diekert, Anca Muscholl
Solvability of Equations in Graph Groups Is Decidable. Int. J. Algebra Comput. 16 (6) (2006)
Blaise Genest, Anca Muscholl, Helmut Seidl, Marc Zeitoun
Infinite-state high-level MSCs: Model-checking and realizability. J. Comput. Syst. Sci. 72 (4) (2006)
Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentick, Luc Segoufin, Claire David
Two-Variable Logic on Words with Data. LICS (2006)
Anca Muscholl, Mathias Samuelides, Luc Segoufin
Complementing deterministic tree-walking automata. Inf. Process. Lett. 99 (1) (2006)
Mikolaj Bojanczyk, Claire David, Anca Muscholl, Thomas Schwentick, Luc Segoufin
Two-variable logic on data trees and XML reasoning. PODS (2006)
Anca Muscholl, Thomas Schwentick, Luc Segoufin
Active Context-Free Games. Theory Comput. Syst. 39 (1) (2006)
Blaise Genest, Dietrich Kuske, Anca Muscholl
A Kleene theorem and model checking algorithms for existentially bounded communicating automata. Inf. Comput. 204 (6) (2006)
Blaise Genest, Anca Muscholl
Constructing Exponential-Size Deterministic Zielonka Automata. ICALP (2) (2006)
Blaise Genest, Anca Muscholl
Message Sequence Charts: A Survey. ACSD (2005)
Blaise Genest, Dietrich Kuske, Anca Muscholl, Doron A. Peled
Snapshot Verification. TACAS (2005)
Anca Muscholl, Igor Walukiewicz
An NP-complete fragment of LTL. Int. J. Found. Comput. Sci. 16 (4) (2005)

Anca Muscholl.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Anca Muscholl