Auteurs
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (PascalFrancis)

Index « Auteurs » - entrée « M. 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.
M. Rosselle < M. Rusinowitch < M. Rusinowtich  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 10.
Ident.Authors (with country if any)Title
000451 (2005) A. Armando [Italie] ; D. Basin [Suisse] ; Y. Boichut [France] ; Y. Chevalier [France] ; L. Compagna [Italie] ; J. Cuellar [Allemagne] ; P. Hankes Drielsma [Suisse] ; P. C. Heam [France] ; O. Kouchnarenko [France] ; J. Mantovani [Italie] ; S. Mödersheim [Suisse] ; D. Von Oheimb [Allemagne] ; M. Rusinowitch [France] ; J. Santiago [France] ; M. Turuani [France] ; L. Vigano [Suisse] ; L. Vigneron [France]The AVISPA tool for the automated validation of internet security protocols and applications
000961 (2000) P. Narendran [États-Unis] ; M. Rusinowitch [France]The theory of total unary RPO is decidable
000980 (2000) G. Kucherov [France] ; M. Rusinowitch [France]Patterns in words versus patterns in trees : A brief survey and new results
000988 (2000) M. Rusinowitch [France] ; S. Stratulat [France] ; F. Klay [France]Mechanical verification of an ideal incremental ABR conformance algorithm
000A68 (1999) P. Narendran [États-Unis] ; M. Rusinowitch [France] ; R. Verma [États-Unis]RPO constraint solving is in NP
000B41 (1998) N. Berregeb [France] ; A. Bouhoula [France] ; M. Rusinowitch [France]Observational proofs with critical contexts
000C23 (1997) G. Kucherov [France] ; M. Rusinowitch [France]Matching a set of strings with variable length don’t cares
000C78 (1996) N. Berregeb [France] ; A. Bouhoula [France] ; M. Rusinowitch [France]SPIKE-AC : A system for proofs by induction in associative-commutative theories
000D20 (1995) G. Kucherov [France] ; M. RusinowitchUndecidability of ground reducibility for word rewriting systems with variables
000D62 (1991) M. Rusinowitch [France]Theorem-proving with resolution and superposition

List of associated FC03.fr.i

Nombre de
documents		Descripteur
3Informatique théorique
3Système réécriture
2Concordance forme
2Langage formel
2Programmation logique
2Protocole transmission
1Algorithme
1Algorithme récursif
1Alphabet
1Analyse automatique
1Automate arbre
1Classe complexité
1Complexité automate
1Complexité calcul
1Complexité programme
1Décidabilité
1Déduction automatique
1Démonstration automatique
1Démonstration théorème
1Egalité
1Extensibilité
1Fonction récursive
1Formalisation
1Intelligence artificielle
1Logique ordre 1
1Multiplicateur
1Performance algorithme
1Preuve programme
1Problème combinatoire
1Programmation
1Protocole internet
1Robustesse
1Règle inférence
1Réductibilité
1Résolution problème
1Réécriture
1Spécification algébrique
1Structure donnée
1Superposition
1Système informatique
1Sécurité
1Term rewriting systems
1Théorie
1Théorie preuve
1Théorie programmation
1Transmission asynchrone
1Validation
1Vérification formelle
1Vérification programme

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/Author.i -k "M. Rusinowitch" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/Author.i  \
                -Sk "M. Rusinowitch" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Author.i
   |clé=    M. 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