/
User Settings
J

Jean-Claude Raoult

Claim or correct this author profile

Claim this profile or suggest corrections to the name, affiliation, bio, photo, or paper titles. Approved changes appear as verified CitedEvidence overlays.

18

Papers

212

Citations

8

h-index

7

i10-index

Jean-Claude Raoult is an academic researcher. The author has contributed to research in topics: Logic, programming, and type systems & semigroups and automata theory & Formal Methods in Verification. The author has an h-index of 8, co-authored 16 publications.

Research Topics

Logic, programming, and type systemssemigroups and automata theoryFormal Methods in VerificationAlgorithms and Data CompressionNatural Language Processing Techniques

Research topics

topics

Chat about Author

Papers

Chat

Click to start Chat