Michaël Rusinowitch

Statistics

Publications

Citations

1.5K

H-Index

Active since

1987

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Laboratoire Lorrain de Recherche en Informatique et ses Applications

Centre Inria de l'Université de Lorraine

Université de Lorraine

Institut de Recherche en Informatique de Toulouse

Michaël Rusinowitch is an author at Institut national de recherche en sciences et technologies du numérique specializing in computer science, computing, and mathematics.

Publications per year

1987–2016

Publications

Protocol insecurity with a finite number of sessions and composed keys is NP-complete

Michaël Rusinowitch, Mathieu Turuani · Theoretical Computer Science · 2003 · 144 citations

Computing, Computer Science, Computer Security +15

A rewriting approach to satisfiability procedures

Alessandro Armando, Silvio Ranise, Michaël Rusinowitch · Information and Computation · 2003 · 125 citations

Computing, Computer Science, Algorithms +5

Proving refutational completeness of theorem-proving strategies

Jieh Hsiang, Michaël Rusinowitch · Journal of the ACM · 1991 · 121 citations · Full text

Computing, Mathematics, Computational Linguistics +6

Deduction with symbolic constraints

Claude Kirchner, Claude Kirchner, Michaël Rusinowitch · OpenGrey (Institut de l'Information Scientifique et Technique) · 1990 · 112 citations · Full text

Computing, Computer Science, Mathematics +16

On termination of the direct sum of term-rewriting systems

Michaël Rusinowitch · Information Processing Letters · 1987 · 84 citations · Full text

Computing, Computer Science, Algorithms +8

1–5 of 47