Stéphane Kaplan

Computer Science · Physical Sciences

11h-index598citations24works0.02yr avg
OpenAlex↗Google Scholar↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Logic, programming, and type systems(15), Logic, Reasoning, and Knowledge(12), Formal Methods in Verification(8), Semantic Web and Ontologies(5), semigroups and automata theory(3)

Publications24 total

Drag Rewriting
SPIRE - Sciences Po Institutional REpository·2023Open Access
Rewrite, rewrite, rewrite, rewrite, rewrite, …
Carolina Digital Repository (University of North Carolina at Chapel Hill)·2021Open Access
Positive/Negative conditional rewriting
Lecture notes in computer science·2005· 32 cited
Rewrite, rewrite, rewrite, rewrite, rewrite, …
Theoretical Computer Science·1991· 84 cited
Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings
1991· 3 cited
Proceedings of the 2nd International CTRS Workshop on Conditional and Typed Rewriting Systems
1990
Algebraic specification of concurrent systems
Theoretical Computer Science·1989· 5 cited
Abstract Rewriting with Concrete Operations
Rewriting Techniques and Applications·1989· 5 cited
Completion Algorithms for Conditional Rewriting Systems11This work was partially supported by the GRECO de Programmation of the CNRS.
Elsevier eBooks·1989· 24 cited
Abstract rewriting with concrete operators
Lecture notes in computer science·1989· 10 cited
Infinite normal forms
Lecture notes in computer science·1989· 19 cited
Conditional Term Rewriting Systems: 1st International Workshop Orsay, France, July 8-10, 1987. Proceedings
Medical Entomology and Zoology·1988· 11 cited
Algebraic and operational semantics of positive/negative conditional algebraic specifications
Lecture notes in computer science·1988
Asspegique
Lecture notes in computer science·1988
Positive/negative conditional rewriting
Lecture notes in computer science·1988· 15 cited
Rewriting with a nondeterministic choice operator
Theoretical Computer Science·1988· 14 cited
Simplifying conditional term rewriting systems : Unification, termination and confluence
Journal of Symbolic Computation·1987· 93 cited
ASSPEGIQUE
Lecture notes in computer science·1987
A compiler for conditional term rewriting systems
Lecture notes in computer science·1987· 56 citedOpen Access
Spécification algébrique de types de données à accès concurrent
1987· 2 cited
page 1 of 2Next →

Frequent Co-authors

Christine Choppy(4), Nachum Dershowitz(3), David A. Plaisted(3), Mitsuhiro Okada(2), Michel Bidoit(2), Francis Capy(2), Françoise Schlienger(2), Frédéric Voisin(2), Jean-Luc Rémy(1), Jean-Pierre Jouannaud(1), Marianne Choquer(1), Marie-Anne Choquer(1), Jean-Pierre Jouannaud(1), Fernando Orejas(1)