Concepedia

Djelloul Ziadi

DZ

13

Publications

389

Citations

12

H-Index

1996

Active since

Affiliations

Université de Rouen Normandie(Current)

Laboratoire d'Informatique, du Traitement de l'Information et des Systèmes

University of Laghouat

Normandie Université

Djelloul Ziadi is an author at Université de Rouen Normandie specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningLinguisticsComputational ComplexityMathematical FoundationsComputational LinguisticsLanguageGraph Theory

Publications per year

1996–2018

13

Publications

13

Characterization of Glushkov automata

Pascal Caron, Djelloul Ziadi · Theoretical Computer Science · 2000 · 97 citations

Automaton Operation, Tree Automaton, Automaton Network +1

Canonical derivatives, partial derivatives and finite automaton constructions

Jean-Marc Champarnaud, Djelloul Ziadi · Theoretical Computer Science · 2002 · 88 citations

Automaton Operation, Generalized Function, Automatic Differentiation +1

From Mirkin's Prebases to Antimirov's Word Partial Derivatives

Jean-Marc Champarnaud, Djelloul Ziadi · Fundamenta Informaticae · 2001 · 41 citations

Intuitionistic Logic, Combinatorics On Word, Word Partial Derivatives +11

FROM C-CONTINUATIONS TO NEW QUADRATIC ALGORITHMS FOR AUTOMATON SYNTHESIS

Jean-Marc Champarnaud, Djelloul Ziadi · International Journal of Algebra and Computation · 2001 · 30 citations

Mathematical Programming, Theory Of Computing, Computational Complexity Theory +14

NORMALIZED EXPRESSIONS AND FINITE AUTOMATA

Jean-Marc Champarnaud, Faïssal Ouardi, Djelloul Ziadi · International Journal of Algebra and Computation · 2007 · 18 citations

Logical Automaton, Engineering, Automated Reasoning +10

Rows per page

1–5 of 13