| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jakub Michaliszyn, Anca Muscholl, Slawek Staworko, Piotr Wieczorek, Zhilin Wu |
On Injective Embeddings of Tree Patterns  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Blaise Genest, Hugo Gimbert, Anca Muscholl, Igor Walukiewicz |
Asynchronous Games over Tree Architectures |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Mikolaj Bojanczyk, Claire David, Anca Muscholl, Thomas Schwentick, Luc Segoufin |
Two-variable logic on data words. |
ACM Trans. Comput. Log. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Volker Diekert, Anca Muscholl |
Trace Theory. |
Encyclopedia of Parallel Computing |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Blaise Genest, Anca Muscholl, Zhilin Wu |
Verifying Recursive Active Documents with Positive Data Tree Rewriting |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Anca Muscholl |
Taming Distributed Asynchronous Systems. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Anca Muscholl |
Analysis of Communicating Automata. |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Blaise Genest, Hugo Gimbert, Anca Muscholl, Igor Walukiewicz |
Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan van Leeuwen, Anca Muscholl, David Peleg, Jaroslav Pokorný, Bernhard Rumpe (eds.) |
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 |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Heußner, Jérôme Leroux, Anca Muscholl, Grégoire Sutre |
Reachability Analysis of Communicating Pushdown Systems. |
FOSSACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Blaise Genest, Anca Muscholl, Zhilin Wu |
Verifying Recursive Active Documents with Positive Data Tree Rewriting. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentick, Luc Segoufin |
Two-variable logic on data trees and XML reasoning. |
J. ACM |
2009 |
DBLP DOI BibTeX RDF |
XML, consistency, Integrity constraints, DTDs, implications |
| 1 | Anca Muscholl, Igor Walukiewicz |
A Lower Bound on Web Services Composition. |
Logical Methods in Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Anca Muscholl, Igor Walukiewicz |
A lower bound on web services composition |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Blaise Genest, Anca Muscholl |
Pattern Matching and Membership for Hierarchical Message Sequence Charts. |
Theory Comput. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Complexity, MSC, Hierarchical specifications |
| 1 | Blaise Genest, Anca Muscholl, Olivier Serre, Marc Zeitoun |
Tree Pattern Rewriting Systems. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Seidl, Thomas Schwentick, Anca Muscholl |
Counting in trees. |
Logic and Automata |
2008 |
DBLP BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Anca Muscholl, Tayssir Touili |
Permutation rewriting and algorithmic verification. |
Inf. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Blaise Genest, Dietrich Kuske, Anca Muscholl |
On Communicating Automata with Bounded Channels. |
Fundam. Inform. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Anca Muscholl, Igor Walukiewicz |
A Lower Bound on Web Services Composition. |
FoSSaCS |
2007 |
DBLP DOI BibTeX RDF |
Automata simulation, complexity, web services composition |
| 1 | Anca Muscholl, Mathias Samuelides, Luc Segoufin |
Complementing deterministic tree-walking automata. |
Inf. Process. Lett. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Volker Diekert, Anca Muscholl |
Solvability of Equations in Graph Groups Is Decidable. |
IJAC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Blaise Genest, Dietrich Kuske, Anca Muscholl |
A Kleene theorem and model checking algorithms for existentially bounded communicating automata. |
Inf. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Anca Muscholl, Thomas Schwentick, Luc Segoufin |
Active Context-Free Games. |
Theory Comput. Syst. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Blaise Genest, Anca Muscholl, Helmut Seidl, Marc Zeitoun |
Infinite-state high-level MSCs: Model-checking and realizability. |
J. Comput. Syst. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Blaise Genest, Anca Muscholl |
Constructing Exponential-Size Deterministic Zielonka Automata. |
ICALP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentick, Luc Segoufin, Claire David |
Two-Variable Logic on Words with Data. |
LICS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikolaj Bojanczyk, Claire David, Anca Muscholl, Thomas Schwentick, Luc Segoufin |
Two-variable logic on data trees and XML reasoning. |
PODS |
2006 |
DBLP DOI BibTeX RDF |
data trees, first-order logic, decidability |
| 1 | Anca Muscholl, Igor Walukiewicz |
An NP-complete fragment of LTL. |
Int. J. Found. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Blaise Genest, Dietrich Kuske, Anca Muscholl, Doron Peled |
Snapshot Verification. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Blaise Genest, Anca Muscholl |
Message Sequence Charts: A Survey. |
ACSD |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Lohrey, Anca Muscholl |
Bounded MSC communication. |
Inf. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Godard, Yves Métivier, Anca Muscholl |
Characterizations of Classes of Graphs Recognizable by Local Computations. |
Theory Comput. Syst. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Seidl, Thomas Schwentick, Anca Muscholl, Peter Habermehl |
Counting in Trees for Free. |
ICALP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Anca Muscholl, Thomas Schwentick, Luc Segoufin |
Active Context-Free Games. |
STACS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Anca Muscholl, Igor Walukiewicz |
An NP-Complete Fragment of LTL. |
Developments in Language Theory |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Blaise Genest, Anca Muscholl, Dietrich Kuske |
A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms. |
Developments in Language Theory |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Blaise Genest, Marius Minea, Anca Muscholl, Doron Peled |
Specifying and Verifying Partial Order Properties Using Template MSCs. |
FoSSaCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Elsa L. Gunter, Anca Muscholl, Doron Peled |
Compositional message sequence charts. |
STTT |
2003 |
DBLP DOI BibTeX RDF |
Finite-state communication protocols, Message sequence charts, Partial-order methods |
| 1 | Blaise Genest, Loïc Hélouët, Anca Muscholl |
High-Level Message Sequence Charts and Projections. |
CONCUR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Alin Stefanescu, Javier Esparza, Anca Muscholl |
Synthesis of Distributed Algorithms Using Asynchronous Automata. |
CONCUR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Anca Muscholl, Doron Peled |
Deciding Properties of Message Sequence Charts. |
Scenarios: Models, Transformations and Tools |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Seidl, Thomas Schwentick, Anca Muscholl |
Numerical document queries. |
PODS |
2003 |
DBLP DOI BibTeX RDF |
querying XML documents, XML, automata, monadic second order logic, Presburger arithmetic |
| 1 | Blaise Genest, Anca Muscholl, Doron Peled |
Message Sequence Charts. |
Lectures on Concurrency and Petri Nets |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Benoît Caillaud, Anca Muscholl |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Blaise Genest, Anca Muscholl, Helmut Seidl, Marc Zeitoun |
Infinite-State High-Level MSCs: Model-Checking and Realizability. |
ICALP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Blaise Genest, Anca Muscholl |
Pattern Matching and Membership for Hierarchical Message Sequence Charts. |
LATIN |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Lohrey, Anca Muscholl |
Bounded MSC Communication. |
FoSSaCS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Elsa L. Gunter, Anca Muscholl, Doron Peled |
Compositional Message Sequence Charts. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Volker Diekert, Anca Muscholl |
Solvability of Equations in Free Partially Commutative Groups Is Decidable. |
ICALP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Anca Muscholl, Doron Peled |
From Finite State Communication Protocols to High-Level Message Sequence Charts. |
ICALP |
2001 |
DBLP DOI BibTeX RDF |
HMSC, bounded automata, partial order specification, specification, Message sequence charts |
| 1 | Ahmed Bouajjani, Anca Muscholl, Tayssir Touili |
Permutation Rewriting and Algorithmic Verification. |
LICS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Hagenah, Anca Muscholl |
Computing epsilon-free NFA from regular expressions in O(n log2(n)) time. |
ITA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Anca Muscholl, Doron Peled |
Analyzing Message Sequence Charts. |
SAM |
2000 |
DBLP BibTeX RDF |
|
| 1 | Volker Diekert, Yuri Matiyasevich, Anca Muscholl |
Solving Word Equations modulo Partial Commutations. |
Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Anca Muscholl |
Decision and complexity issues on concurrent systems. |
|
1999 |
RDF |
|
| 1 | Anca Muscholl, Doron Peled |
Message Sequence Graphs and Decision Problems on Mazurkiewicz Traces. |
MFCS |
1999 |
DBLP DOI BibTeX RDF |
Message sequence graphs, Mazurkiewicz semi-traces, universality problem, automata theory |
| 1 | Anca Muscholl |
Matching Specifications for Message Sequence Charts. |
FoSSaCS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Hagenah, Anca Muscholl |
Computing epsilon-Free NFA from Regular Expressions in O(n log²(n)) Time. |
MFCS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Godard, Yves Métivier, Anca Muscholl |
The Power of Local Computations in Graphs with Initial Knowledge. |
TAGT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Anca Muscholl, Doron Peled, Zhendong Su |
Deciding Properties for Message Sequence Charts. |
FoSSaCS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Hendrik Jan Hoogeboom, Anca Muscholl |
The Code Problem for Traces - Improving the Boundaries. |
Theor. Comput. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Volker Diekert, Yuri Matiyasevich, Anca Muscholl |
Solving Trace Equations Using Lexicographical Normal Forms. |
ICALP |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Yves Métivier, Anca Muscholl, Pierre-André Wacrenier |
About the local detection of termination of local computations in graphs. |
SIROCCO |
1997 |
DBLP BibTeX RDF |
|
| 1 | Anca Muscholl, Holger Petersen |
A Note on the Commutative Closure of Star-Free Languages. |
Inf. Process. Lett. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Anca Muscholl |
On the Complementation of Asynchronous Cellular Büchi Automata. |
Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Werner Ebinger, Anca Muscholl |
Logical Definability on Infinite Traces. |
Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Volker Diekert, Anca Muscholl |
A Note on Métivier's Construction of Asynchronous Automata for Triangulated Graphs. |
Fundam. Inform. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Volker Diekert, Anca Muscholl |
Code Problems on Traces. |
MFCS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Volker Diekert, Anca Muscholl, Klaus Reinhardt |
On Codings of Traces. |
STACS |
1995 |
DBLP DOI BibTeX RDF |
Topics Formal languages, concurrency |
| 1 | Volker Diekert, Anca Muscholl |
Deterministic Asynchronous Automata for Infinite Traces. |
Acta Inf. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Anca Muscholl |
Über die Erkennbarkeit unendlicher Spuren. |
|
1994 |
RDF |
|
| 1 | Anca Muscholl |
On the Complementation of Büchi Asynchronous Cellular Automata. |
ICALP |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Werner Ebinger, Anca Muscholl |
Logical Definability on Infinite Traces. |
ICALP |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Volker Diekert, Anca Muscholl |
Deterministic Asynchronous Automata for Infinite Traces. |
STACS |
1993 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")