| 2026 | CONCUR | On Parameterized Verification over Tree Topologies. | Romain Delpy, Anca Muscholl, Grgoire Sutre |
| 2026 | FOSSACS | From Trees to Tree-Like: Distribution and Synthesis for Asynchronous Automata. | Mathieu Lehaut, Anca Muscholl, Nir Piterman |
| 2025 | CONCUR | On the Send-Synchronizability Problem for Mailbox Communication. | Romain Delpy, Anca Muscholl, Grgoire Sutre |
| 2025 | MFCS | On Synthesis of Distributed Monitors (Invited Talk). | Anca Muscholl |
| 2024 | CONCUR | An Automata-Based Approach for Synchronizable Mailbox Communication. | Romain Delpy, Anca Muscholl, Grgoire Sutre |
| 2024 | LICS | Finite-valued Streaming String Transducers. | Emmanuel Filiot, Ismal Jecker, Christof Lding, Anca Muscholl, Gabriele Puppis, Sarah Winter |
| 2023 | CONCUR | Model-Checking Parametric Lock-Sharing Systems Against Regular Constraints. | Corto Mascle, Anca Muscholl, Igor Walukiewicz |
| 2022 | ICALP | Distributed Controller Synthesis for Deadlock Avoidance. | Hugo Gimbert, Corto Mascle, Anca Muscholl, Igor Walukiewicz |
| 2022 | LICS | Active learning for sound negotiations✱. | Anca Muscholl, Igor Walukiewicz |
| 2021 | FOSSACS | One-way Resynchronizability of Word Transducers. | Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Gabriele Puppis |
| 2019 | ICALP | Equivalence of Finite-Valued Streaming String Transducers Is Decidable. | Anca Muscholl, Gabriele Puppis |
| 2019 | MFCS | On Synthesis of Resynchronizers for Transducers. | Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Vincent Penelle, Gabriele Puppis |
| 2019 | STACS | The Many Facets of String Transducers (Invited Talk). | Anca Muscholl, Gabriele Puppis |
| 2017 | CAV | Model-Checking Linear-Time Properties of Parametrized Asynchronous Shared-Memory Pushdown Systems. | Marie Fortin, Anca Muscholl, Igor Walukiewicz |
| 2017 | FCT | A Tour of Recent Results on Word Transducers. | Anca Muscholl |
| 2017 | LICS | Untwisting two-way transducers in elementary time. | Flix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis |
| 2017 | LICS | Static analysis of deterministic negotiations. | Javier Esparza, Anca Muscholl, Igor Walukiewicz |
| 2017 | STACS | On the Decomposition of Finite-Valued Streaming String Transducers. | Paul Gallot, Anca Muscholl, Gabriele Puppis, Sylvain Salvati |
| 2017 | VMCAI | Reachability for Dynamic Parametric Processes. | Anca Muscholl, Helmut Seidl, Igor Walukiewicz |
| 2016 | CONCUR | Soundness in Negotiations. | Javier Esparza, Denis Kuperberg, Anca Muscholl, Igor Walukiewicz |
| 2016 | CSL | Automated Synthesis: Going Distributed. | Anca Muscholl |
| 2016 | ICALP | Minimizing Resources of Sweeping and Streaming String Transducers. | Flix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis |
| 2015 | CiE | On Distributed Monitoring and Synthesis. | Anca Muscholl |
| 2015 | CONCUR | Safety of Parametrized Asynchronous Shared-Memory Systems is Almost Always Decidable. | Salvatore La Torre, Anca Muscholl, Igor Walukiewicz |
| 2015 | ICALP | Automated Synthesis of Distributed Controllers. | Anca Muscholl |
| 2015 | ICTAC | A Note on Monitors and Bchi Automata. | Volker Diekert, Anca Muscholl, Igor Walukiewicz |
| 2013 | CSR | Walking on Data Words. | Amaldev Manuel, Anca Muscholl, Gabriele Puppis |
| 2013 | ICALP | Asynchronous Games over Tree Architectures. | Blaise Genest, Hugo Gimbert, Anca Muscholl, Igor Walukiewicz |
| 2013 | ICDT | Recursive queries on trees and data trees. | Serge Abiteboul, Pierre Bourhis, Anca Muscholl, Zhilin Wu |
| 2013 | MFCS | Unlimited Decidability of Distributed Synthesis with Limited Missing Knowledge. | Anca Muscholl, Sven Schewe |
| 2012 | WoLLIC | On Distributed Monitoring of Asynchronous Systems. | Volker Diekert, Anca Muscholl |
| 2010 | CONCUR | Taming Distributed Asynchronous Systems. | Anca Muscholl |
| 2010 | FOSSACS | Reachability Analysis of Communicating Pushdown Systems. | Alexander Heuner, Jrme Leroux, Anca Muscholl, Grgoire Sutre |
| 2010 | ICALP | Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata. | Blaise Genest, Hugo Gimbert, Anca Muscholl, Igor Walukiewicz |
| 2010 | LATA | Analysis of Communicating Automata. | Anca Muscholl |
| 2008 | ATVA | Tree Pattern Rewriting Systems. | Blaise Genest, Anca Muscholl, Olivier Serre, Marc Zeitoun |
| 2007 | FOSSACS | A Lower Bound on Web Services Composition. | Anca Muscholl, Igor Walukiewicz |
| 2006 | ICALP | Constructing Exponential-Size Deterministic Zielonka Automata. | Blaise Genest, Anca Muscholl |
| 2006 | LICS | Two-Variable Logic on Words with Data. | Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentick, Luc Segoufin, Claire David |
| 2006 | PODS | Two-variable logic on data trees and XML reasoning. | Mikolaj Bojanczyk, Claire David, Anca Muscholl, Thomas Schwentick, Luc Segoufin |
| 2005 | TACAS | Snapshot Verification. | Blaise Genest, Dietrich Kuske, Anca Muscholl, Doron A. Peled |
| 2004 | DLT | A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms. | Blaise Genest, Anca Muscholl, Dietrich Kuske |
| 2004 | DLT | An NP-Complete Fragment of LTL. | Anca Muscholl, Igor Walukiewicz |
| 2004 | FOSSACS | Specifying and Verifying Partial Order Properties Using Template MSCs. | Blaise Genest, Marius Minea, Anca Muscholl, Doron A. Peled |
| 2004 | ICALP | Counting in Trees for Free. | Helmut Seidl, Thomas Schwentick, Anca Muscholl, Peter Habermehl |
| 2004 | STACS | Active Context-Free Games. | Anca Muscholl, Thomas Schwentick, Luc Segoufin |
| 2003 | CONCUR | High-Level Message Sequence Charts and Projections. | Blaise Genest, Loc Hlout, Anca Muscholl |
| 2003 | CONCUR | Synthesis of Distributed Algorithms Using Asynchronous Automata. | Alin Stefanescu, Javier Esparza, Anca Muscholl |
| 2003 | PODS | Numerical document queries. | Helmut Seidl, Thomas Schwentick, Anca Muscholl |
| 2002 | FOSSACS | Bounded MSC Communication. | Markus Lohrey, Anca Muscholl |
| 2002 | ICALP | Infinite-State High-Level MSCs: Model-Checking and Realizability. | Blaise Genest, Anca Muscholl, Helmut Seidl, Marc Zeitoun |
| 2002 | LATIN | Pattern Matching and Membership for Hierarchical Message Sequence Charts. | Blaise Genest, Anca Muscholl |
| 2001 | ICALP | Solvability of Equations in Free Partially Commutative Groups Is Decidable. | Volker Diekert, Anca Muscholl |
| 2001 | ICALP | From Finite State Communication Protocols to High-Level Message Sequence Charts. | Anca Muscholl, Doron A. Peled |
| 2001 | LICS | Permutation Rewriting and Algorithmic Verification. | Ahmed Bouajjani, Anca Muscholl, Tayssir Touili |
| 2001 | TACAS | Compositional Message Sequence Charts. | Elsa L. Gunter, Anca Muscholl, Doron A. Peled |
| 1999 | FOSSACS | Matching Specifications for Message Sequence Charts. | Anca Muscholl |
| 1999 | MFCS | Message Sequence Graphs and Decision Problems on Mazurkiewicz Traces. | Anca Muscholl, Doron A. Peled |
| 1998 | FOSSACS | Deciding Properties for Message Sequence Charts. | Anca Muscholl, Doron A. Peled, Zhendong Su |
| 1998 | MFCS | Computing epsilon-Free NFA from Regular Expressions in O(n log²(n)) Time. | Christian Hagenah, Anca Muscholl |
| 1997 | ICALP | Solving Trace Equations Using Lexicographical Normal Forms. | Volker Diekert, Yuri V. Matiyasevich, Anca Muscholl |
| 1997 | SIROCCO | About the local detection of termination of local computations in graphs. | Yves Mtivier, Anca Muscholl, Pierre-Andr Wacrenier |
| 1996 | MFCS | Code Problems on Traces. | Volker Diekert, Anca Muscholl |
| 1995 | STACS | On Codings of Traces. | Volker Diekert, Anca Muscholl, Klaus Reinhardt |
| 1994 | ICALP | On the Complementation of Bchi Asynchronous Cellular Automata. | Anca Muscholl |
| 1993 | ICALP | Logical Definability on Infinite Traces. | Werner Ebinger, Anca Muscholl |
| 1993 | STACS | Deterministic Asynchronous Automata for Infinite Traces. | Volker Diekert, Anca Muscholl |