Anca Muscholl

166 papers A* 19A 8B 33C 6Misc 1Journal 72Unranked 20
YearRankTypeTitle / Venue / Authors
2026 B conf
From Trees to Tree-Like: Distribution and Synthesis for Asynchronous Automata.
FoSSaCS
Mathieu Lehaut, Anca Muscholl, Nir Piterman
2026 J jnl
From Trees to Tree-Like: Distribution and Synthesis for Asynchronous Automata.
CoRR
Mathieu Lehaut, Anca Muscholl, Nir Piterman
2025 J jnl
Distributed controller synthesis for deadlock avoidance.
Log. Methods Comput. Sci.
Hugo Gimbert, Corto Mascle, Anca Muscholl, Igor Walukiewicz
2025 J jnl
Finite-valued Streaming String Transducers.
TheoretiCS
Emmanuel Filiot, Ismaël Jecker, Gabriele Puppis, Christof Löding, Anca Muscholl, Sarah Winter
2025 B conf
On Synthesis of Distributed Monitors (Invited Talk).
MFCS
Anca Muscholl
2025 B conf
On the Send-Synchronizability Problem for Mailbox Communication.
CONCUR
Romain Delpy, Anca Muscholl, Grégoire Sutre
2024 B conf
An Automata-Based Approach for Synchronizable Mailbox Communication.
CONCUR
Romain Delpy, Anca Muscholl, Grégoire Sutre
2024 J jnl
An automata-based approach for synchronizable mailbox communication.
CoRR
Romain Delpy, Anca Muscholl, Grégoire Sutre
2024 A* conf
Finite-valued Streaming String Transducers.
LICS
Emmanuel Filiot, Ismaël Jecker, Christof Löding, Anca Muscholl, Gabriele Puppis, Sarah Winter
2024 J jnl
Finite-valued Streaming String Transducers.
CoRR
Emmanuel Filiot, Ismaël Jecker, Gabriele Puppis, Christof Löding, Anca Muscholl, Sarah Winter
2023 J jnl
ICALP 2024 - Call for Papers.
Bull. EATCS
Anca Muscholl
2023 B conf
Model-Checking Parametric Lock-Sharing Systems Against Regular Constraints.
CONCUR
Corto Mascle, Anca Muscholl, Igor Walukiewicz
2023 J jnl
Model-checking parametric lock-sharing systems against regular constraints.
CoRR
Corto Mascle, Anca Muscholl, Igor Walukiewicz
2023 J jnl
Regular Transformations (Dagstuhl Seminar 23202).
Dagstuhl Reports
Rajeev Alur, Mikolaj Bojanczyk, Emmanuel Filiot, Anca Muscholl, Sarah Winter
2023 J jnl
Report on ICALP 2022 - 49th EATCS International Colloquium on Automata, Languages and Programming.
Bull. EATCS
Anca Muscholl
2023 J jnl
Report on ICALP 2023.
Bull. EATCS
Anca Muscholl
2022 B ed.
33rd International Conference on Concurrency Theory, CONCUR 2022, Warsaw, Poland, September 12-16, 2022
CONCUR
Bartek Klin, Slawomir Lasota, Anca Muscholl
2022 J jnl
Abstraction-based control synthesis using partial information.
Eur. J. Control
W. Alejandro Apaza-Perez, Christophe Combastel, Igor Walukiewicz, Anca Muscholl, Ali Zolghadri
2022 A* conf
Active learning for sound negotiations✱.
LICS
Anca Muscholl, Igor Walukiewicz
2022 A* conf
Distributed Controller Synthesis for Deadlock Avoidance.
ICALP
Hugo Gimbert, Corto Mascle, Anca Muscholl, Igor Walukiewicz
2022 J jnl
Distributed controller synthesis for deadlock avoidance.
CoRR
Hugo Gimbert, Corto Mascle, Anca Muscholl, Igor Walukiewicz
2022 J jnl
Report on ICALP 2021.
Bull. EATCS
Anca Muscholl
2021 J jnl
Active Learning for Sound Negotiations.
CoRR
Anca Muscholl, Igor Walukiewicz
2021 — ch.
Communicating automata.
Handbook of Automata Theory (II.)
Dietrich Kuske, Anca Muscholl
2021 B conf
One-way Resynchronizability of Word Transducers.
FoSSaCS
Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Gabriele Puppis
2021 J jnl
One-way resynchronizability of word transducers.
CoRR
Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Gabriele Puppis
2021 J jnl
Pumping lemmas for weighted automata.
Log. Methods Comput. Sci.
Agnishom Chattopadhyay, Filip Mazowiecki, Anca Muscholl, Cristian Riveros
2020 B ed.
28th EACSL Annual Conference on Computer Science Logic, CSL 2020, Barcelona, Spain, January 13-16, 2020
CSL
Maribel Fernández, Anca Muscholl
2020 J jnl
Minimization of visibly pushdown automata is NP-complete.
Log. Methods Comput. Sci.
Olivier Gauwin, Anca Muscholl, Michael Raskin
2020 J jnl
Pumping lemmas for weighted automata.
CoRR
Agnishom Chattopadhyay, Filip Mazowiecki, Anca Muscholl, Cristian Riveros
2020 J jnl
Report on ICALP 2020.
Bull. EATCS
Artur Czumaj, Anca Muscholl
2020 J jnl
The Presburger Award 2020 - Laudatio for Dmitriy Zhuk.
Bull. EATCS
Anca Muscholl
2019 A* conf
Equivalence of Finite-Valued Streaming String Transducers Is Decidable.
ICALP
Anca Muscholl, Gabriele Puppis
2019 J jnl
Equivalence of finite-valued streaming string transducers is decidable.
CoRR
Anca Muscholl, Gabriele Puppis
2019 J jnl
Minimization of visibly pushdown automata is NP-complete.
CoRR
Olivier Gauwin, Anca Muscholl, Michael A. Raskin
2019 B conf
On Synthesis of Resynchronizers for Transducers.
MFCS
Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Vincent Penelle, Gabriele Puppis
2019 J jnl
On Synthesis of Resynchronizers for Transducers.
CoRR
Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Vincent Penelle, Gabriele Puppis
2019 A conf
The Many Facets of String Transducers (Invited Talk).
STACS
Anca Muscholl, Gabriele Puppis
2019 J jnl
The Presburger Award for Young Scientists 2020 - Call for Nominations.
Bull. EATCS
Thore Husfeldt, Meena Mahajan, Anca Muscholl
2018 J jnl
Formal Methods and Fault-Tolerant Distributed Comp.: Forging an Alliance (Dagstuhl Seminar 18211).
Dagstuhl Reports
Javier Esparza, Pierre Fraigniaud, Anca Muscholl, Sergio Rajsbaum
2018 — conf
On Canonical Models for Rational Functions over Infinite Words.
FSTTCS
Emmanuel Filiot, Olivier Gauwin, Nathan Lhote, Anca Muscholl
2018 J jnl
One-way definability of two-way word transducers.
Log. Methods Comput. Sci.
Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis
2018 — conf
Origin-Equivalence of Two-Way Word Transducers Is in PSPACE.
FSTTCS
Sougata Bose, Anca Muscholl, Vincent Penelle, Gabriele Puppis
2018 J jnl
Origin-equivalence of two-way word transducers is in PSPACE.
CoRR
Sougata Bose, Anca Muscholl, Vincent Penelle, Gabriele Puppis
2018 J jnl
Soundness in negotiations.
Log. Methods Comput. Sci.
Javier Esparza, Denis Kuperberg, Anca Muscholl, Igor Walukiewicz
2017 A* ed.
44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, Warsaw, Poland, July 10-14, 2017
ICALP
Ioannis Chatzigiannakis, Piotr Indyk, Fabian Kuhn, Anca Muscholl
2017 B conf
A Tour of Recent Results on Word Transducers.
FCT
Anca Muscholl
2017 — conf
Automated Synthesis: a Distributed Viewpoint.
FSTTCS
Anca Muscholl
2017 — conf
Model-Checking Linear-Time Properties of Parametrized Asynchronous Shared-Memory Pushdown Systems.
CAV (2)
Marie Fortin, Anca Muscholl, Igor Walukiewicz
2017 A conf
On the Decomposition of Finite-Valued Streaming String Transducers.
STACS
Paul Gallot, Anca Muscholl, Gabriele Puppis, Sylvain Salvati
2017 J jnl
One-way definability of two-way word transducers.
CoRR
Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis
2017 B conf
Reachability for Dynamic Parametric Processes.
VMCAI
Anca Muscholl, Helmut Seidl, Igor Walukiewicz
2017 J jnl
Soundness in negotiations.
CoRR
Javier Esparza, Denis Kuperberg, Anca Muscholl, Igor Walukiewicz
2017 J jnl
Static Analysis of Deterministic Negotiations.
CoRR
Javier Esparza, Anca Muscholl, Igor Walukiewicz
2017 A* conf
Static analysis of deterministic negotiations.
LICS
Javier Esparza, Anca Muscholl, Igor Walukiewicz
2017 A* conf
Untwisting two-way transducers in elementary time.
LICS
Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis
2017 J jnl
Untwisting two-way transducers in elementary time.
CoRR
Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis
2016 B ed.
41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016, Kraków, Poland, August 22-26, 2016
MFCS
Piotr Faliszewski, Anca Muscholl, Rolf Niedermeier
2016 B conf
Automated Synthesis: Going Distributed.
CSL
Anca Muscholl
2016 J jnl
Controlling loosely cooperating processes.
Theor. Comput. Sci.
Anca Muscholl, Sven Schewe
2016 J jnl
ICALP 2017 - Call for Papers.
Bull. EATCS
Piotr Indyk, Anca Muscholl, Fabian Kuhn
2016 A* conf
Minimizing Resources of Sweeping and Streaming String Transducers.
ICALP
Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis
2016 J jnl
On parametrized verification of asynchronous, shared-memory pushdown systems.
CoRR
Marie Fortin, Anca Muscholl, Igor Walukiewicz
2016 J jnl
Preface of STACS 2013 Special Issue.
Theory Comput. Syst.
Anca Muscholl, Martin Dietzfelbinger
2016 J jnl
Reachability for dynamic parametric processes.
CoRR
Anca Muscholl, Helmut Seidl, Igor Walukiewicz
2016 B conf
Soundness in Negotiations.
CONCUR
Javier Esparza, Denis Kuperberg, Anca Muscholl, Igor Walukiewicz
2016 J jnl
Walking on Data Words.
Theory Comput. Syst.
Amaldev Manuel, Anca Muscholl, Gabriele Puppis
2015 C conf
A Note on Monitors and Büchi Automata.
ICTAC
Volker Diekert, Anca Muscholl, Igor Walukiewicz
2015 J jnl
A Note on Monitors and Büchi automata.
CoRR
Volker Diekert, Anca Muscholl, Igor Walukiewicz
2015 — conf
Automated Synthesis of Distributed Controllers.
ICALP (2)
Anca Muscholl
2015 J jnl
Automated Synthesis of Distributed Controllers.
CoRR
Anca Muscholl
2015 C conf
On Distributed Monitoring and Synthesis.
CiE
Anca Muscholl
2015 — conf
One-way Definability of Sweeping Transducer.
FSTTCS
Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis
2015 B conf
Safety of Parametrized Asynchronous Shared-Memory Systems is Almost Always Decidable.
CONCUR
Salvatore La Torre, Anca Muscholl, Igor Walukiewicz
2014 — conf
Distributed Synthesis for Acyclic Architectures.
FSTTCS
Anca Muscholl, Igor Walukiewicz
2014 J jnl
Distributed synthesis for acyclic architectures.
CoRR
Anca Muscholl, Igor Walukiewicz
2014 B ed.
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
FoSSaCS
Anca Muscholl
2013 J jnl
A quadratic construction for Zielonka automata with acyclic communication structure.
Theor. Comput. Sci.
Siddharth Krishna, Anca Muscholl
2013 — conf
Asynchronous Games over Tree Architectures.
ICALP (2)
Blaise Genest, Hugo Gimbert, Anca Muscholl, Igor Walukiewicz
2013 J jnl
Call for Nominations For EATCS - Fellows 2014.
Bull. EATCS
Anca Muscholl
2013 A conf
Recursive queries on trees and data trees.
ICDT
Serge Abiteboul, Pierre Bourhis, Anca Muscholl, Zhilin Wu
2013 B conf
Unlimited Decidability of Distributed Synthesis with Limited Missing Knowledge.
MFCS
Anca Muscholl, Sven Schewe
2013 Misc conf
Walking on Data Words.
CSR
Amaldev Manuel, Anca Muscholl, Gabriele Puppis
2012 J jnl
Asynchronous Games over Tree Architectures
CoRR
Blaise Genest, Hugo Gimbert, Anca Muscholl, Igor Walukiewicz
2012 C conf
On Distributed Monitoring of Asynchronous Systems.
WoLLIC
Volker Diekert, Anca Muscholl
2012 J jnl
On Injective Embeddings of Tree Patterns
CoRR
Jakub Michaliszyn, Anca Muscholl, Slawek Staworko, Piotr Wieczorek, Zhilin Wu
2012 J jnl
On distributed monitoring of asynchronous systems
CoRR
Volker Diekert, Anca Muscholl
2012 J jnl
Reachability Analysis of Communicating Pushdown Systems
Log. Methods Comput. Sci.
Alexander Heußner, Jérôme Leroux, Anca Muscholl, Grégoire Sutre
2011 — ch.
Trace Theory.
Encyclopedia of Parallel Computing
Volker Diekert, Anca Muscholl
2011 J jnl
Two-variable logic on data words.
ACM Trans. Comput. Log.
Mikolaj Bojanczyk, Claire David, Anca Muscholl, Thomas Schwentick, Luc Segoufin
2010 C conf
Analysis of Communicating Automata.
LATA
Anca Muscholl
2010 — conf
Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata.
ICALP (2)
Blaise Genest, Hugo Gimbert, Anca Muscholl, Igor Walukiewicz
2010 B conf
Reachability Analysis of Communicating Pushdown Systems.
FoSSaCS
Alexander Heußner, Jérôme Leroux, Anca Muscholl, Grégoire Sutre
2010 B ed.
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
SOFSEM
Jan van Leeuwen, Anca Muscholl, David Peleg, Jaroslav Pokorný, Bernhard Rumpe
2010 B conf
Taming Distributed Asynchronous Systems.
CONCUR
Anca Muscholl
2010 J jnl
Verifying Recursive Active Documents with Positive Data Tree Rewriting
CoRR
Blaise Genest, Anca Muscholl, Zhilin Wu
2010 — conf
Verifying Recursive Active Documents with Positive Data Tree Rewriting.
FSTTCS
Blaise Genest, Anca Muscholl, Zhilin Wu
2009 J jnl
Two-variable logic on data trees and XML reasoning.
J. ACM
Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentick, Luc Segoufin
2008 — conf
08171 Abstracts Collection - Beyond the Finite: New Challenges in Verification and Semistructured Data.
Beyond the Finite: New Challenges in Verification and Semistructured Data
Anca Muscholl, Ramaswamy Ramanujam, Michaël Rusinowitch, Thomas Schwentick, Victor Vianu
2008 — conf
08171 Summary - Beyond the Finite: New Challenges in Verification and Semistructured Data.
Beyond the Finite: New Challenges in Verification and Semistructured Data
Anca Muscholl, Ramaswamy Ramanujam, Michaël Rusinowitch, Thomas Schwentick, Victor Vianu
2008 J jnl
A Lower Bound on Web Services Composition.
Log. Methods Comput. Sci.
Anca Muscholl, Igor Walukiewicz
2008 J jnl
A lower bound on web services composition
CoRR
Anca Muscholl, Igor Walukiewicz
2008 — ed.
Beyond the Finite: New Challenges in Verification and Semistructured Data, 20.04. - 25.04.2008
Beyond the Finite: New Challenges in Verification and Semistructured Data
Anca Muscholl, Ramaswamy Ramanujam, Michaël Rusinowitch, Thomas Schwentick, Victor Vianu
2008 — conf
Counting in trees.
Logic and Automata
Helmut Seidl, Thomas Schwentick, Anca Muscholl
2008 J jnl
Pattern Matching and Membership for Hierarchical Message Sequence Charts.
Theory Comput. Syst.
Blaise Genest, Anca Muscholl
2008 B conf
Tree Pattern Rewriting Systems.
ATVA
Blaise Genest, Anca Muscholl, Olivier Serre, Marc Zeitoun
2007 B conf
A Lower Bound on Web Services Composition.
FoSSaCS
Anca Muscholl, Igor Walukiewicz
2007 J jnl
On Communicating Automata with Bounded Channels.
Fundam. Informaticae
Blaise Genest, Dietrich Kuske, Anca Muscholl
2007 J jnl
Permutation rewriting and algorithmic verification.
Inf. Comput.
Ahmed Bouajjani, Anca Muscholl, Tayssir Touili
2006 J jnl
A Kleene theorem and model checking algorithms for existentially bounded communicating automata.
Inf. Comput.
Blaise Genest, Dietrich Kuske, Anca Muscholl
2006 J jnl
Active Context-Free Games.
Theory Comput. Syst.
Anca Muscholl, Thomas Schwentick, Luc Segoufin
2006 J jnl
Complementing deterministic tree-walking automata.
Inf. Process. Lett.
Anca Muscholl, Mathias Samuelides, Luc Segoufin
2006 — conf
Constructing Exponential-Size Deterministic Zielonka Automata.
ICALP (2)
Blaise Genest, Anca Muscholl
2006 J jnl
Infinite-state high-level MSCs: Model-checking and realizability.
J. Comput. Syst. Sci.
Blaise Genest, Anca Muscholl, Helmut Seidl, Marc Zeitoun
2006 J jnl
Solvability of Equations in Graph Groups Is Decidable.
Int. J. Algebra Comput.
Volker Diekert, Anca Muscholl
2006 A* conf
Two-Variable Logic on Words with Data.
LICS
Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentick, Luc Segoufin, Claire David
2006 A* conf
Two-variable logic on data trees and XML reasoning.
PODS
Mikolaj Bojanczyk, Claire David, Anca Muscholl, Thomas Schwentick, Luc Segoufin
2005 J jnl
An NP-complete fragment of LTL.
Int. J. Found. Comput. Sci.
Anca Muscholl, Igor Walukiewicz
2005 — conf
Message Sequence Charts: A Survey.
ACSD
Blaise Genest, Anca Muscholl
2005 A conf
Snapshot Verification.
TACAS
Blaise Genest, Dietrich Kuske, Anca Muscholl, Doron A. Peled
2004 C conf
A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms.
Developments in Language Theory
Blaise Genest, Anca Muscholl, Dietrich Kuske
2004 A conf
Active Context-Free Games.
STACS
Anca Muscholl, Thomas Schwentick, Luc Segoufin
2004 C conf
An NP-Complete Fragment of LTL.
Developments in Language Theory
Anca Muscholl, Igor Walukiewicz
2004 J jnl
Bounded MSC communication.
Inf. Comput.
Markus Lohrey, Anca Muscholl
2004 J jnl
Characterizations of Classes of Graphs Recognizable by Local Computations.
Theory Comput. Syst.
Emmanuel Godard, Yves Métivier, Anca Muscholl
2004 A* conf
Counting in Trees for Free.
ICALP
Helmut Seidl, Thomas Schwentick, Anca Muscholl, Peter Habermehl
2004 B conf
Specifying and Verifying Partial Order Properties Using Template MSCs.
FoSSaCS
Blaise Genest, Marius Minea, Anca Muscholl, Doron A. Peled
2003 J jnl
Compositional message sequence charts.
Int. J. Softw. Tools Technol. Transf.
Elsa L. Gunter, Anca Muscholl, Doron A. Peled
2003 — conf
Deciding Properties of Message Sequence Charts.
Scenarios: Models, Transformations and Tools
Anca Muscholl, Doron A. Peled
2003 B conf
High-Level Message Sequence Charts and Projections.
CONCUR
Blaise Genest, Loïc Hélouët, Anca Muscholl
2003 — conf
Message Sequence Charts.
Lectures on Concurrency and Petri Nets
Blaise Genest, Anca Muscholl, Doron A. Peled
2003 A* conf
Numerical document queries.
PODS
Helmut Seidl, Thomas Schwentick, Anca Muscholl
2003 B conf
Synthesis of Distributed Algorithms Using Asynchronous Automata.
CONCUR
Alin Stefanescu, Javier Esparza, Anca Muscholl
2002 B conf
Bounded MSC Communication.
FoSSaCS
Markus Lohrey, Anca Muscholl
2002 A* conf
Infinite-State High-Level MSCs: Model-Checking and Realizability.
ICALP
Blaise Genest, Anca Muscholl, Helmut Seidl, Marc Zeitoun
2002 B conf
Pattern Matching and Membership for Hierarchical Message Sequence Charts.
LATIN
Blaise Genest, Anca Muscholl
2002 — conf
Preface.
VISS@ETAPS
Benoît Caillaud, Anca Muscholl
2002 — ed.
Validation and Implementation of Scenario-based Specifications, VISS 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 6-14, 2002
VISS@ETAPS
Benoît Caillaud, Anca Muscholl
2001 A conf
Compositional Message Sequence Charts.
TACAS
Elsa L. Gunter, Anca Muscholl, Doron A. Peled
2001 A* conf
From Finite State Communication Protocols to High-Level Message Sequence Charts.
ICALP
Anca Muscholl, Doron A. Peled
2001 A* conf
Permutation Rewriting and Algorithmic Verification.
LICS
Ahmed Bouajjani, Anca Muscholl, Tayssir Touili
2001 A* conf
Solvability of Equations in Free Partially Commutative Groups Is Decidable.
ICALP
Volker Diekert, Anca Muscholl
2000 — conf
Analyzing Message Sequence Charts.
SAM
Anca Muscholl, Doron A. Peled
2000 J jnl
Computing epsilon-free NFA from regular expressions in O(n log
RAIRO Theor. Informatics Appl.
Christian Hagenah, Anca Muscholl
1999 — book
Decision and complexity issues on concurrent systems.
Anca Muscholl
1999 B conf
Matching Specifications for Message Sequence Charts.
FoSSaCS
Anca Muscholl
1999 B conf
Message Sequence Graphs and Decision Problems on Mazurkiewicz Traces.
MFCS
Anca Muscholl, Doron A. Peled
1999 J jnl
Solving Word Equations modulo Partial Commutations.
Theor. Comput. Sci.
Volker Diekert, Yuri V. Matiyasevich, Anca Muscholl
1998 B conf
Computing epsilon-Free NFA from Regular Expressions in O(n log²(n)) Time.
MFCS
Christian Hagenah, Anca Muscholl
1998 B conf
Deciding Properties for Message Sequence Charts.
FoSSaCS
Anca Muscholl, Doron A. Peled, Zhendong Su
1998 — conf
The Power of Local Computations in Graphs with Initial Knowledge.
TAGT
Emmanuel Godard, Yves Métivier, Anca Muscholl
1997 B conf
About the local detection of termination of local computations in graphs.
SIROCCO
Yves Métivier, Anca Muscholl, Pierre-André Wacrenier
1997 A* conf
Solving Trace Equations Using Lexicographical Normal Forms.
ICALP
Volker Diekert, Yuri V. Matiyasevich, Anca Muscholl
1997 J jnl
The Code Problem for Traces - Improving the Boundaries.
Theor. Comput. Sci.
Hendrik Jan Hoogeboom, Anca Muscholl
1996 J jnl
A Note on Métivier's Construction of Asynchronous Automata for Triangulated Graphs.
Fundam. Informaticae
Volker Diekert, Anca Muscholl
1996 J jnl
A Note on the Commutative Closure of Star-Free Languages.
Inf. Process. Lett.
Anca Muscholl, Holger Petersen
1996 B conf
Code Problems on Traces.
MFCS
Volker Diekert, Anca Muscholl
1996 J jnl
Logical Definability on Infinite Traces.
Theor. Comput. Sci.
Werner Ebinger, Anca Muscholl
1996 J jnl
On the Complementation of Asynchronous Cellular Büchi Automata.
Theor. Comput. Sci.
Anca Muscholl
1995 — ch.
Construction of Asynchronous Automata.
The Book of Traces
Volker Diekert, Anca Muscholl
1995 A conf
On Codings of Traces.
STACS
Volker Diekert, Anca Muscholl, Klaus Reinhardt
1994 J jnl
Deterministic Asynchronous Automata for Infinite Traces.
Acta Informatica
Volker Diekert, Anca Muscholl
1994 A* conf
On the Complementation of Büchi Asynchronous Cellular Automata.
ICALP
Anca Muscholl
1994 — —
Über die Erkennbarkeit unendlicher Spuren.
Anca Muscholl
1993 A conf
Deterministic Asynchronous Automata for Infinite Traces.
STACS
Volker Diekert, Anca Muscholl
1993 A* conf
Logical Definability on Infinite Traces.
ICALP
Werner Ebinger, Anca Muscholl