Michael Rusinowitch

Possui doutorado em Matemática pela Universite de Nancy I(1985).

Informações coletadas do Lattes em 10/11/2022

Acadêmico

Formação acadêmica

Doutorado em Matemática

1980 - 1985

Université de Nancy I
Título: Démonstration automatique - Techniques de réécriture
Orientador: Gérard Huet
Bolsista do(a): Ministere de La Recherche, MRE, França.

Produções bibliográficas

RUSINOWITCH, Michael ; TURUANI, Mathieu . Protocol insecurity with finite number of sessions and composed keys is NP-complete. Theoretical Computer Science , 2003.
ARMANDO, Alessandro ; RANISE, Silvio ; RUSINOWITCH, Michael . A rewriting approach to satisfiability procedures. Information And Computation , 2003.
RUSINOWITCH, Michael ; STRATULAT, Sorin ; KLAY, F . Mechanical verification of an ideal ABR conformance algorithm. Journal Of Automated Reasoning , 2003.
RUSINOWITCH, Michael ; COMON, Hubert ; NARENDRAN, P ; NIEUWENHUIS, Roberto . Deciding the confluence of ordered rewriting. Acm Transactions On Computational Logic , 2003.
RUSINOWITCH, Michael ; BOUHOULA, A . Observational proofs by rewriting. Theoretical Computer Science , v. 275, n.1-2, p. 675-698, 2002.
ARMANDO, Alessandro ; RUSINOWITCH, Michael ; STRATULAT, Sorin . Incorporating decsion procedures in implicit induction. Journal of Symbolic Computation , v. 34, n.1, 2001.
RUSINOWITCH, Michael ; VERMA, R ; LUGIEZ, D . Algorithms and reduction for rewriting problems. Fundamenta Informaticae , 2001.
RUSINOWITCH, Michael ; KUCHEROV, G . Matching a set of strings with variable length don't cares. Theoretical Computer Science , v. 178, n.1-2, p. 129-154, 1997.
RUSINOWITCH, Michael ; NARENDRAN, P . Any ground associative-commutative theory has a finite canonical system. Journal Of Automated Reasoning , v. 17, p. 131-143, 1996.
RUSINOWITCH, Michael ; BOUHOULA, A ; KOUNALIS, e . Automated mathematical induction. Journal Of Logic And Computation , 1995.
RUSINOWITCH, Michael ; KUCHEROV, G . Undecidability of ground reducibility for word rewriting systems with variables. Information Processing Letters , 1995.

Outras produções

RUSINOWITCH, Michael ; BOUALLAGUI, Mehdi ; CHEVALIER, Yannick ; JACQUEMARD, Florent ; TURUANI, Mathieu ; VIGNERON, Laurent . CASRUL. 2002.

Histórico profissional

Endereço profissional

Laboratoire Lorrain de Recherche En Informatique Et Ses Applications. , 615, rue du Jardin Botanique, 54602 - Villers-les-Nancy Cedex, - França, URL da Homepage: