-
Forms of Determinism for Automata
International audience -
Insularity, Political Status and Small Insular Spaces
International audience -
Determinacy and confluence in concurrent and synchronous process calculi
In this thesis, we study the notions of determinism and confluence in the context of concurrent and sycnrhnous systems. The latter are variants of the pi-calculus and... -
How Useful are Dag Automata?
25 pages -
Closure properties and decision problems of dag automata
Tree automata are widely used in various contexts. They are closed under boolean operations and their emptiness problem decidable in polynomial time. Dag automata are... -
Determinism and probability in the development of the cell theory
International audience -
Nouveaux terminaux et nouveaux usages de l'internet mobile en Algérie
6 pages document court -
Running Tree Automata on Trees and/or Dags
Rapport de recherche LIFO (article en soumission) -
Deterministic recognizability of picture languages with Wang automata
special issue dedicated to the second edition of the conference AutoMathA: from Mathematics to Applications -
The WorldFIP Fieldbus
Contribution à un ouvrage.
