default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnca Muscholl
Person information
- affiliation: University of Bordeaux 1, LABRI, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c76]Romain Delpy, Anca Muscholl, Grégoire Sutre:
An Automata-Based Approach for Synchronizable Mailbox Communication. CONCUR 2024: 22:1-22:19- [c75]Emmanuel Filiot
, Ismaël Jecker, Christof Löding, Anca Muscholl, Gabriele Puppis, Sarah Winter:
Finite-valued Streaming String Transducers. LICS 2024: 33:1-33:14 - [i29]Emmanuel Filiot, Ismaël Jecker, Gabriele Puppis, Christof Löding, Anca Muscholl, Sarah Winter:
Finite-valued Streaming String Transducers. CoRR abs/2405.08171 (2024) - [i28]Romain Delpy, Anca Muscholl, Grégoire Sutre:
An automata-based approach for synchronizable mailbox communication. CoRR abs/2407.06968 (2024) - 2023
- [j42]Anca Muscholl:
Report on ICALP 2022 - 49th EATCS International Colloquium on Automata, Languages and Programming. Bull. EATCS 139 (2023) - [j41]Anca Muscholl:
ICALP 2024 - Call for Papers. Bull. EATCS 141 (2023) - [j40]Anca Muscholl:
Report on ICALP 2023. Bull. EATCS 141 (2023) - [c74]Corto Mascle, Anca Muscholl, Igor Walukiewicz:
Model-Checking Parametric Lock-Sharing Systems Against Regular Constraints. CONCUR 2023: 24:1-24:17 - [i27]Corto Mascle, Anca Muscholl, Igor Walukiewicz:
Model-checking parametric lock-sharing systems against regular constraints. CoRR abs/2307.04925 (2023) - [i26]Rajeev Alur, Mikolaj Bojanczyk, Emmanuel Filiot, Anca Muscholl, Sarah Winter:
Regular Transformations (Dagstuhl Seminar 23202). Dagstuhl Reports 13(5): 96-113 (2023) - 2022
- [j39]Anca Muscholl:
Report on ICALP 2021. Bull. EATCS 137 (2022) - [j38]W. Alejandro Apaza-Perez, Christophe Combastel, Igor Walukiewicz, Anca Muscholl, Ali Zolghadri:
Abstraction-based control synthesis using partial information. Eur. J. Control 63: 214-222 (2022) - [c73]Hugo Gimbert, Corto Mascle, Anca Muscholl, Igor Walukiewicz:
Distributed Controller Synthesis for Deadlock Avoidance. ICALP 2022: 125:1-125:20 - [c72]Anca Muscholl, Igor Walukiewicz:
Active learning for sound negotiations✱. LICS 2022: 21:1-21:12 - [e8]Bartek Klin, Slawomir Lasota, Anca Muscholl:
33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland. LIPIcs 243, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-246-4 [contents] - [i25]Hugo Gimbert, Corto Mascle, Anca Muscholl, Igor Walukiewicz:
Distributed controller synthesis for deadlock avoidance. CoRR abs/2204.12409 (2022) - 2021
- [j37]Agnishom Chattopadhyay, Filip Mazowiecki, Anca Muscholl, Cristian Riveros:
Pumping lemmas for weighted automata. Log. Methods Comput. Sci. 17(3) (2021) - [c71]Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Gabriele Puppis:
One-way Resynchronizability of Word Transducers. FoSSaCS 2021: 124-143 - [p2]Dietrich Kuske, Anca Muscholl:
Communicating automata. Handbook of Automata Theory (II.) 2021: 1147-1188 - [i24]Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Gabriele Puppis:
One-way resynchronizability of word transducers. CoRR abs/2101.08011 (2021) - [i23]Anca Muscholl, Igor Walukiewicz:
Active Learning for Sound Negotiations. CoRR abs/2110.02783 (2021) - 2020
- [j36]Anca Muscholl:
The Presburger Award 2020 - Laudatio for Dmitriy Zhuk. Bull. EATCS 131 (2020) - [j35]Artur Czumaj, Anca Muscholl:
Report on ICALP 2020. Bull. EATCS 132 (2020) - [j34]Olivier Gauwin, Anca Muscholl, Michael Raskin:
Minimization of visibly pushdown automata is NP-complete. Log. Methods Comput. Sci. 16(1) (2020) - [e7]Maribel Fernández, Anca Muscholl:
28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January 13-16, 2020, Barcelona, Spain. LIPIcs 152, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-132-0 [contents] - [i22]Agnishom Chattopadhyay, Filip Mazowiecki, Anca Muscholl, Cristian Riveros:
Pumping lemmas for weighted automata. CoRR abs/2001.06272 (2020)
2010 – 2019
- 2019
- [j33]Thore Husfeldt, Meena Mahajan, Anca Muscholl:
The Presburger Award for Young Scientists 2020 - Call for Nominations. Bull. EATCS 129 (2019) - [c70]Anca Muscholl, Gabriele Puppis:
Equivalence of Finite-Valued Streaming String Transducers Is Decidable. ICALP 2019: 122:1-122:15 - [c69]Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Vincent Penelle, Gabriele Puppis:
On Synthesis of Resynchronizers for Transducers. MFCS 2019: 69:1-69:14 - [c68]Anca Muscholl, Gabriele Puppis:
The Many Facets of String Transducers (Invited Talk). STACS 2019: 2:1-2:21 - [i21]Anca Muscholl, Gabriele Puppis:
Equivalence of finite-valued streaming string transducers is decidable. CoRR abs/1902.06973 (2019) - [i20]Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Vincent Penelle, Gabriele Puppis:
On Synthesis of Resynchronizers for Transducers. CoRR abs/1906.08688 (2019) - [i19]Olivier Gauwin, Anca Muscholl, Michael A. Raskin:
Minimization of visibly pushdown automata is NP-complete. CoRR abs/1907.09563 (2019) - 2018
- [j32]Javier Esparza, Denis Kuperberg, Anca Muscholl, Igor Walukiewicz:
Soundness in negotiations. Log. Methods Comput. Sci. 14(1) (2018) - [j31]Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis:
One-way definability of two-way word transducers. Log. Methods Comput. Sci. 14(4) (2018) - [c67]Sougata Bose, Anca Muscholl, Vincent Penelle, Gabriele Puppis:
Origin-Equivalence of Two-Way Word Transducers Is in PSPACE. FSTTCS 2018: 22:1-22:18 - [c66]Emmanuel Filiot, Olivier Gauwin, Nathan Lhote, Anca Muscholl:
On Canonical Models for Rational Functions over Infinite Words. FSTTCS 2018: 30:1-30:17 - [i18]Sougata Bose, Anca Muscholl, Vincent Penelle, Gabriele Puppis:
Origin-equivalence of two-way word transducers is in PSPACE. CoRR abs/1807.08053 (2018) - [i17]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): 60-79 (2018) - 2017
- [c65]Marie Fortin, Anca Muscholl, Igor Walukiewicz:
Model-Checking Linear-Time Properties of Parametrized Asynchronous Shared-Memory Pushdown Systems. CAV (2) 2017: 155-175 - [c64]Anca Muscholl:
A Tour of Recent Results on Word Transducers. FCT 2017: 29-33 - [c63]Anca Muscholl:
Automated Synthesis: a Distributed Viewpoint. FSTTCS 2017: 3:1-3:5 - [c62]Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis:
Untwisting two-way transducers in elementary time. LICS 2017: 1-12 - [c61]Javier Esparza, Anca Muscholl, Igor Walukiewicz:
Static analysis of deterministic negotiations. LICS 2017: 1-12 - [c60]Paul Gallot, Anca Muscholl, Gabriele Puppis, Sylvain Salvati:
On the Decomposition of Finite-Valued Streaming String Transducers. STACS 2017: 34:1-34:14 - [c59]Anca Muscholl, Helmut Seidl, Igor Walukiewicz:
Reachability for Dynamic Parametric Processes. VMCAI 2017: 424-441 - [e6]Ioannis Chatzigiannakis, Piotr Indyk, Fabian Kuhn, Anca Muscholl:
44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland. LIPIcs 80, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017, ISBN 978-3-95977-041-5 [contents] - [i16]Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis:
Untwisting two-way transducers in elementary time. CoRR abs/1701.02502 (2017) - [i15]Javier Esparza, Denis Kuperberg, Anca Muscholl, Igor Walukiewicz:
Soundness in negotiations. CoRR abs/1703.05137 (2017) - [i14]Javier Esparza, Anca Muscholl, Igor Walukiewicz:
Static Analysis of Deterministic Negotiations. CoRR abs/1704.04190 (2017) - [i13]Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis:
One-way definability of two-way word transducers. CoRR abs/1706.01668 (2017) - 2016
- [j30]Piotr Indyk, Anca Muscholl, Fabian Kuhn:
ICALP 2017 - Call for Papers. Bull. EATCS 120 (2016) - [j29]Anca Muscholl, Martin Dietzfelbinger:
Preface of STACS 2013 Special Issue. Theory Comput. Syst. 58(4): 503-505 (2016) - [j28]Amaldev Manuel, Anca Muscholl, Gabriele Puppis:
Walking on Data Words. Theory Comput. Syst. 59(2): 180-208 (2016) - [j27]Anca Muscholl, Sven Schewe:
Controlling loosely cooperating processes. Theor. Comput. Sci. 611: 136-141 (2016) - [c58]Javier Esparza, Denis Kuperberg, Anca Muscholl, Igor Walukiewicz:
Soundness in Negotiations. CONCUR 2016: 12:1-12:13 - [c57]Anca Muscholl:
Automated Synthesis: Going Distributed. CSL 2016: 3:1-3:2 - [c56]Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis:
Minimizing Resources of Sweeping and Streaming String Transducers. ICALP 2016: 114:1-114:14 - [e5]Piotr Faliszewski, Anca Muscholl, Rolf Niedermeier:
41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016, August 22-26, 2016 - Kraków, Poland. LIPIcs 58, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2016, ISBN 978-3-95977-016-3 [contents] - [i12]Marie Fortin, Anca Muscholl, Igor Walukiewicz:
On parametrized verification of asynchronous, shared-memory pushdown systems. CoRR abs/1606.08707 (2016) - [i11]Anca Muscholl, Helmut Seidl, Igor Walukiewicz:
Reachability for dynamic parametric processes. CoRR abs/1609.05385 (2016) - 2015
- [c55]Anca Muscholl:
On Distributed Monitoring and Synthesis. CiE 2015: 54-62 - [c54]Salvatore La Torre, Anca Muscholl, Igor Walukiewicz:
Safety of Parametrized Asynchronous Shared-Memory Systems is Almost Always Decidable. CONCUR 2015: 72-84 - [c53]Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis:
One-way Definability of Sweeping Transducer. FSTTCS 2015: 178-191 - [c52]Anca Muscholl:
Automated Synthesis of Distributed Controllers. ICALP (2) 2015: 11-27 - [c51]Volker Diekert, Anca Muscholl, Igor Walukiewicz:
A Note on Monitors and Büchi Automata. ICTAC 2015: 39-57 - [i10]Anca Muscholl:
Automated Synthesis of Distributed Controllers. CoRR abs/1506.02369 (2015) - [i9]Volker Diekert, Anca Muscholl, Igor Walukiewicz:
A Note on Monitors and Büchi automata. CoRR abs/1507.01020 (2015) - 2014
- [c50]Anca Muscholl, Igor Walukiewicz:
Distributed Synthesis for Acyclic Architectures. FSTTCS 2014: 639-651 - [e4]Anca Muscholl:
Foundations of Software Science and Computation Structures - 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. Lecture Notes in Computer Science 8412, Springer 2014, ISBN 978-3-642-54829-1 [contents] - [i8]Anca Muscholl, Igor Walukiewicz:
Distributed synthesis for acyclic architectures. CoRR abs/1402.3314 (2014) - 2013
- [j26]Anca Muscholl:
Call for Nominations For EATCS - Fellows 2014. Bull. EATCS 111 (2013) - [j25]Siddharth Krishna, Anca Muscholl:
A quadratic construction for Zielonka automata with acyclic communication structure. Theor. Comput. Sci. 503: 109-114 (2013) - [c49]Amaldev Manuel, Anca Muscholl, Gabriele Puppis:
Walking on Data Words. CSR 2013: 64-75 - [c48]Blaise Genest, Hugo Gimbert, Anca Muscholl, Igor Walukiewicz:
Asynchronous Games over Tree Architectures. ICALP (2) 2013: 275-286 - [c47]Serge Abiteboul, Pierre Bourhis, Anca Muscholl, Zhilin Wu:
Recursive queries on trees and data trees. ICDT 2013: 93-104 - [c46]Anca Muscholl, Sven Schewe:
Unlimited Decidability of Distributed Synthesis with Limited Missing Knowledge. MFCS 2013: 691-703 - 2012
- [j24]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) - [c45]Volker Diekert, Anca Muscholl:
On Distributed Monitoring of Asynchronous Systems. WoLLIC 2012: 70-84 - [i7]Blaise Genest, Hugo Gimbert, Anca Muscholl, Igor Walukiewicz:
Asynchronous Games over Tree Architectures. CoRR abs/1204.0077 (2012) - [i6]Jakub Michaliszyn, Anca Muscholl, Slawek Staworko, Piotr Wieczorek, Zhilin Wu:
On Injective Embeddings of Tree Patterns. CoRR abs/1204.4948 (2012) - [i5]Volker Diekert, Anca Muscholl:
On distributed monitoring of asynchronous systems. CoRR abs/1208.2125 (2012) - 2011
- [j23]Mikolaj Bojanczyk, Claire David, Anca Muscholl, Thomas Schwentick, Luc Segoufin:
Two-variable logic on data words. ACM Trans. Comput. Log. 12(4): 27:1-27:26 (2011) - [r1]Volker Diekert, Anca Muscholl:
Trace Theory. Encyclopedia of Parallel Computing 2011: 2071-2079 - 2010
- [c44]Anca Muscholl:
Taming Distributed Asynchronous Systems. CONCUR 2010: 40-47 - [c43]Alexander Heußner, Jérôme Leroux, Anca Muscholl, Grégoire Sutre:
Reachability Analysis of Communicating Pushdown Systems. FoSSaCS 2010: 267-281 - [c42]Blaise Genest, Anca Muscholl, Zhilin Wu:
Verifying Recursive Active Documents with Positive Data Tree Rewriting. FSTTCS 2010: 469-480 - [c41]Blaise Genest, Hugo Gimbert, Anca Muscholl, Igor Walukiewicz:
Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata. ICALP (2) 2010: 52-63 - [c40]Anca Muscholl:
Analysis of Communicating Automata. LATA 2010: 50-57 - [e3]Jan van Leeuwen, Anca Muscholl, David Peleg, Jaroslav Pokorný, Bernhard Rumpe:
SOFSEM 2010: Theory and Practice of Computer Science, 36th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 23-29, 2010. Proceedings. Lecture Notes in Computer Science 5901, Springer 2010, ISBN 978-3-642-11265-2 [contents] - [i4]Blaise Genest, Anca Muscholl, Zhilin Wu:
Verifying Recursive Active Documents with Positive Data Tree Rewriting. CoRR abs/1003.1010 (2010)
2000 – 2009
- 2009
- [j22]Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentick, Luc Segoufin:
Two-variable logic on data trees and XML reasoning. J. ACM 56(3): 13:1-13:48 (2009) - 2008
- [j21]Anca Muscholl, Igor Walukiewicz:
A Lower Bound on Web Services Composition. Log. Methods Comput. Sci. 4(2) (2008) - [j20]Blaise Genest, Anca Muscholl:
Pattern Matching and Membership for Hierarchical Message Sequence Charts. Theory Comput. Syst. 42(4): 536-567 (2008) - [c39]Blaise Genest, Anca Muscholl, Olivier Serre, Marc Zeitoun:
Tree Pattern Rewriting Systems. ATVA 2008: 332-346 - [c38]Helmut Seidl, Thomas Schwentick, Anca Muscholl:
Counting in trees. Logic and Automata 2008: 575-612 - [e2]Anca Muscholl, Ramaswamy Ramanujam, Michaël Rusinowitch, Thomas Schwentick, Victor Vianu:
Beyond the Finite: New Challenges in Verification and Semistructured Data, 20.04. - 25.04.2008. Dagstuhl Seminar Proceedings 08171, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - [i3]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 - [i2]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 - [i1]Anca Muscholl, Igor Walukiewicz:
A lower bound on web services composition. CoRR abs/0804.3105 (2008) - 2007
- [j19]Blaise Genest, Dietrich Kuske, Anca Muscholl:
On Communicating Automata with Bounded Channels. Fundam. Informaticae 80(1-3): 147-167 (2007) - [j18]Ahmed Bouajjani, Anca Muscholl, Tayssir Touili:
Permutation rewriting and algorithmic verification. Inf. Comput. 205(2): 199-224 (2007) - [c37]Anca Muscholl, Igor Walukiewicz:
A Lower Bound on Web Services Composition. FoSSaCS 2007: 274-286 - 2006
- [j17]Blaise Genest, Dietrich Kuske, Anca Muscholl:
A Kleene theorem and model checking algorithms for existentially bounded communicating automata. Inf. Comput. 204(6): 920-956 (2006) - [j16]Volker Diekert, Anca Muscholl:
Solvability of Equations in Graph Groups Is Decidable. Int. J. Algebra Comput. 16(6): 1047-1070 (2006) - [j15]Anca Muscholl, Mathias Samuelides, Luc Segoufin:
Complementing deterministic tree-walking automata. Inf. Process. Lett. 99(1): 33-39 (2006) - [j14]Blaise Genest, Anca Muscholl, Helmut Seidl, Marc Zeitoun:
Infinite-state high-level MSCs: Model-checking and realizability. J. Comput. Syst. Sci. 72(4): 617-647 (2006) - [j13]Anca Muscholl, Thomas Schwentick, Luc Segoufin:
Active Context-Free Games. Theory Comput. Syst. 39(1): 237-276 (2006) - [c36]Blaise Genest, Anca Muscholl:
Constructing Exponential-Size Deterministic Zielonka Automata. ICALP (2) 2006: 565-576 - [c35]Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentick, Luc Segoufin, Claire David:
Two-Variable Logic on Words with Data. LICS 2006: 7-16 - [c34]Mikolaj Bojanczyk, Claire David, Anca Muscholl, Thomas Schwentick, Luc Segoufin:
Two-variable logic on data trees and XML reasoning. PODS 2006: 10-19 - 2005
- [j12]Anca Muscholl, Igor Walukiewicz:
An NP-complete fragment of LTL. Int. J. Found. Comput. Sci. 16(4): 743-753 (2005) - [c33]Blaise Genest, Anca Muscholl:
Message Sequence Charts: A Survey. ACSD 2005: 2-4 - [c32]Blaise Genest, Dietrich Kuske, Anca Muscholl, Doron A. Peled:
Snapshot Verification. TACAS 2005: 510-525 - 2004
- [j11]Markus Lohrey, Anca Muscholl:
Bounded MSC communication. Inf. Comput. 189(2): 160-181 (2004) - [j10]Emmanuel Godard, Yves Métivier, Anca Muscholl:
Characterizations of Classes of Graphs Recognizable by Local Computations. Theory Comput. Syst. 37(2): 249-293 (2004) - [c31]Blaise Genest, Anca Muscholl, Dietrich Kuske:
A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms. Developments in Language Theory 2004: 30-48 - [c30]Anca Muscholl, Igor Walukiewicz:
An NP-Complete Fragment of LTL. Developments in Language Theory 2004: 334-344 - [c29]Blaise Genest, Marius Minea, Anca Muscholl, Doron A. Peled:
Specifying and Verifying Partial Order Properties Using Template MSCs. FoSSaCS 2004: 195-210 - [c28]Helmut Seidl, Thomas Schwentick, Anca Muscholl, Peter Habermehl:
Counting in Trees for Free. ICALP 2004: 1136-1149 - [c27]Anca Muscholl, Thomas Schwentick, Luc Segoufin:
Active Context-Free Games. STACS 2004: 452-464 - 2003
- [j9]Elsa L. Gunter, Anca Muscholl, Doron A. Peled:
Compositional message sequence charts. Int. J. Softw. Tools Technol. Transf. 5(1): 78-89 (2003) - [c26]Blaise Genest, Anca Muscholl, Doron A. Peled:
Message Sequence Charts. Lectures on Concurrency and Petri Nets 2003: 537-558 - [c25]