activity
20122024
most citedA General Framework for the Derivation of Regular Expressions

13 citations · 25 across the 19 of their papers we have counts for

collaborators

23 papers

cs.FL2024

Constrained Multi-Tildes: Derived Term and Position Automata

Samira Attou, Ludovic Mignot, Clément Miklarz +1

Multi-tildes are regular operators that were introduced to enhance the factorization power of regular expressions, allowing us to add the empty word in several factors of a catenat…

cs.CL2023

New Linear-time Algorithm for SubTree Kernel Computation based on Root-Weighted Tree Automata

Ludovic Mignot, Faissal Ouardi, Djelloul Ziadi

Tree kernels have been proposed to be used in many areas as the automatic learning of natural language applications. In this paper, we propose a new linear time algorithm based on…

cs.FL2023

Monadic Expressions and their Derivatives [extended version]

Samira Attou, Ludovic Mignot, Clément Miklarz +1

We propose another interpretation of well-known derivatives computations from regular expressions, due to Brzozowski, Antimirov or Lombardy and Sakarovitch, in order to abstract th…

cs.FL2022★ 1 cited

Monadic Expressions and their Derivatives

Samira Attou, Ludovic Mignot, Clément Miklarz +1

We propose another interpretation of well-known derivatives computations from regular expressions, due to Brzozowski, Antimirov or Lombardy and Sakarovitch, in order to abstract th…

cs.FL2021★ 1 cited

Bottom-Up Derivatives of Tree Expressions

Samira Attou, Ludovic Mignot, Djelloul Ziadi

In this paper, we extend the notion of (word) derivatives and partial derivatives due to (respectively) Brzozowski and Antimirov to tree derivatives using already known inductive f…

cs.FL2020★ 1 cited

A unified implementation of automata and expression structures, and of the associated algorithms using enriched categories

Ludovic Mignot

In this document, we propose a description, via a Haskell implementation, of a generalization of the notion of regular expression allowing us to group the definitions and the metho…