#### Filter Results:

- Full text PDF available (74)

#### Publication Year

1993

2017

- This year (6)
- Last 5 years (29)
- Last 10 years (45)

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Anca Muscholl, Igor Walukiewicz
- FoSSaCS
- 2007

A web service is modeled here as a finite state machine. A composition problem for web services is to decide if a given web service can be constructed from a given set of web services; where the construction is understood as a simulation of the specification by a fully asynchronous product of the given services. We show an EXPTIME-lower bound for this… (More)

- Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentick, Luc Segoufin
- J. ACM
- 2006

Motivated by reasoning tasks for XML languages, the satisfiability problem of logics on <i>data trees</i> is investigated. The nodes of a data tree have a <i>label</i> from a finite set and a <i>data value</i> from a possibly infinite set. It is shown that satisfiability for two-variable first-order logic is decidable if the tree structure can be accessed… (More)

- Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentick, Luc Segoufin, Claire David
- 21st Annual IEEE Symposium on Logic in Computer…
- 2006

In a data word each position carries a label from a finite alphabet and a data value from some infinite domain. These models have been already considered in the realm of semistructured data, timed automata and extended temporal logics. It is shown that satisfiability for the two-variable first-order logic FO<sup>2</sup>(~,<,+1) is decidable over finite… (More)

- Anca Muscholl, Doron A. Peled
- MFCS
- 1999

Message sequence charts (MSC) are a graphical speciica-tion language widely used for designing communication protocols. Our starting point are two decision problems concerning the correctness and the consistency of a design based by MSC graphs. Both problems are shown to be undecidable, in general. Using a natural connectivity assumption from Mazurkiewicz… (More)

- Mikolaj Bojanczyk, Claire David, Anca Muscholl, Thomas Schwentick, Luc Segoufin
- ACM Trans. Comput. Log.
- 2011

In a <i>data word</i> each position carries a label from a finite alphabet and a data value from some infinite domain. This model has been already considered in the realm of semistructured data, timed automata, and extended temporal logics.
This article shows that satisfiability for the two-variable fragment FO<sup>2</sup>(∼,<,+1) of first-order… (More)

- Werner Ebinger, Anca Muscholl
- Theor. Comput. Sci.
- 1993

- Volker Diekert, Anca Muscholl, Klaus Reinhardt
- STACS
- 1995

The paper solves the main open problem of [BFG94]. We show that given two dependence alphabets (Σ, D) and (Σ , D), it is de-cidable whether there exists a strong coding h : M (Σ, D) −→ M (Σ , D) between the associated trace monoids. In fact, we show that the problem is NP-complete. (A coding is an injective homomorphism, it is strong if independent letters… (More)

- Helmut Seidl, Thomas Schwentick, Anca Muscholl
- PODS
- 2003

A query against a database behind a site like Napster may search, e.g., for all users who have downloaded more jazz titles than pop music titles. In order to express such queries, we extend classical monadic second-order logic by <i>Presburger predicates</i> which pose numerical restrictions on the children (content) of an element node and provide a precise… (More)

- Blaise Genest, Anca Muscholl, Helmut Seidl, Marc Zeitoun
- J. Comput. Syst. Sci.
- 2002

We consider three natural classes of infinite-state HMSCs: globally-cooperative, locally-cooperative and local-choice HMSCs. We show first that model-checking for globally-cooperative and locally-cooperative HMSCs is of the same complexity as for the class of finite state HMSCs. Surprisingly, model-checking local-choice HMSCs turns out to be exponentially… (More)

- Ahmed Bouajjani, Anca Muscholl, Tayssir Touili
- LICS
- 2001

We propose a natural subclass of regular languages (Alphabetic Pattern Constraints, APC) which is effectively closed under permutation rewriting, i.e., under iterative application of rules of the form ab ! ba. It is well-known that regular languages do not have this closure property, in general. Our result can be applied for example to regular model… (More)