Auteurs
Corpus
Istex
Racine
Corpus
Checkpoint
Istex
Racine
Istex
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Corpus (Istex)

Index « Auteurs » - entrée « Michael Rusinowitch »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Michael R. Wilson < Michael Rusinowitch < Michael Salampasis  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 20.
Ident.Authors (with country if any)Title
000047 (2010) Siva Anantharaman ; Hai Lin ; Christopher Lynch ; Paliath Narendran ; Michael RusinowitchUnification Modulo Homomorphic Encryption
000131 (2001) Michael RusinowitchRewriting for Deduction and Verification
000346 (1999) Paliath Narendran ; Michael Rusinowitch ; Rakesh VermaRPO Constraint Solving Is in NP
000557 (2008) Florent Jacquemard ; Michael RusinowitchClosure of Hedge-Automata Languages by Hedge Rewriting
001445 (1987) Michael RusinowitchOn termination of the direct sum of term-rewriting systems
001468 (1985) Michael RusinowitchPath of subterms ordering and recursive decomposition ordering revisited
001587 (2007) Siva Anantharaman ; Paliath Narendran ; Michael RusinowitchIntruders with Caps
001720 (1988) Emmanuel Kounalis ; Michael RusinowitchOn word problems in Horn theories
001750 (1988) Emmanuel Kounalis ; Michael RusinowitchOn word problems in Horn theories
001900 (2006) Florent Jacquemard ; Michael Rusinowitch ; Laurent VigneronTree Automata with Equality Constraints Modulo Equational Theories
002214 (2004) Siva Anantharaman ; Paliath Narendran ; Michael RusinowitchUnification Modulo ACUI Plus Distributivity Axioms
002216 (1987) Jieh Hsiang ; Michael RusinowitchOn word problems in equational theories
002222 (2003) Siva Anantharaman ; Paliath Narendran ; Michael RusinowitchACID -Unification Is NEXPTIME-Decidable
002231 (2000) Paliath Narendran ; Michael RusinowitchThe Theory of Total Unary RPO Is Decidable
002504 (2002) Alessandro Armando ; David Basin ; Mehdi Bouallagui ; Yannick Chevalier ; Luca Compagna ; Sebastian Mödersheim ; Michael Rusinowitch ; Mathieu Turuani ; Luca Vigan ; Laurent VigneronThe AVISS Security Protocol Analysis Tool
002567 (2013) Florent Jacquemard ; Michael RusinowitchRewrite Closure and CF Hedge Automata
002691 (2003) Siva Anantharaman ; Paliath Narendran ; Michael RusinowitchUnification Modulo ACUI Plus Homomorphisms/Distributivity
002717 (1986) Jieh Hsiang ; Michael RusinowitchA new method for establishing refutational completeness in theorem proving
002990 (2015) Frédéric Dadeau ; Pierre-Cyrille Héam ; Rafik Kheddam ; Ghazi Maatoug ; Michael RusinowitchModel‐based mutation testing from security protocols in HLPSL
003957 (2004) Tarek Abbes ; Adel Bouhoula ; Michael RusinowitchOn the fly pattern matching for intrusion detection with Snort

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Corpus

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Corpus/Author.i -k "Michael Rusinowitch" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Corpus/Author.i  \
                -Sk "Michael Rusinowitch" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Corpus/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Corpus
   |type=    indexItem
   |index=    Author.i
   |clé=    Michael Rusinowitch
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022