PUBLICATIONS

Publications.

Research papers in algorithms, complexity theory and theoretical computer science.

2026

STACS 2026

On the Complexity of Language Membership for Probabilistic Words

Antoine Amarilli · Mikaël Monet · Paul Raphael · Sylvain Salvati

43rd International Symposium on Theoretical Aspects of Computer Science (STACS 2026).

Abstract

We study the membership problem for context-free languages on probabilistic words, where each position specifies a probability distribution over letters independently. We investigate the complexity of computing the probability that a sampled word belongs to a given language, establishing tractability results for unambiguous and related classes of context-free languages, as well as hardness results beyond these classes.

WORK IN PROGRESS

2026

Manuscript in preparation

Static Analysis of Frontier-Guarded Existential Rules

Paul Raphael · Michaël Thomazo · Aldo Ricioppo · Andreas Pieris

Work on chase termination and UCQ-rewritability for frontier-guarded existential rules.