Concepedia

Jean-Marc Champarnaud

JC

19

Publications

490

Citations

13

H-Index

1989

Active since

Affiliations

Université de Rouen Normandie(Current)

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

Jean-Marc Champarnaud is an author at Université de Rouen Normandie specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningComputational ComplexityFormal VerificationLinguisticsTheory Of ComputingDiscrete MathematicsCombinatorial Optimization

Publications per year

1989–2014

19

Publications

19

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

NFA reduction algorithms by means of regular inequalities

Jean-Marc Champarnaud, Fabien Coulon · Theoretical Computer Science · 2004 · 44 citations

Mathematical Programming, Computational Complexity Theory, Engineering +5

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

AUTOMATE, a computing package for automata and finite semigroups

Jean-Marc Champarnaud, G. Hansel · Journal of Symbolic Computation · 1991 · 40 citations

Computing Package, Engineering, Logical Automaton +7

Random generation of DFAs

Jean-Marc Champarnaud, Thomas Paranthoën · Theoretical Computer Science · 2004 · 34 citations

Engineering, Entropy, Pseudo-random Sequence +5

Rows per page

1–5 of 19