M. Roux < M. Rusinowitch < M. Rusinowtich

Facettes : Author.f AffPays.f

List of bibliographic references

Number of relevant bibliographic references: 62.
[0-20] [0 - 20][0 - 50][20-40]

Ident.	Authors (with country if any)	Title
006407 (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. Heám [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. Vigan [Suisse] ; L. Vigneron [France]	The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications
006588 (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
00A567 (2000)	P. Narendran [États-Unis] ; M. Rusinowitch [France]	The theory of total unary RPO is decidable
00A586 (2000)	G. Kucherov [France] ; M. Rusinowitch [France]	Patterns in words versus patterns in trees : A brief survey and new results
00A594 (2000)	M. Rusinowitch [France] ; S. Stratulat [France] ; F. Klay [France]	Mechanical verification of an ideal incremental ABR conformance algorithm
00B156 (1999)	P. Narendran [États-Unis] ; M. Rusinowitch [France] ; R. Verma [États-Unis]	RPO constraint solving is in NP
00BB63 (1998)	N. Berregeb [France] ; A. Bouhoula [France] ; M. Rusinowitch [France]	Observational proofs with critical contexts
00C520 (1997)	G. Kucherov [France] ; M. Rusinowitch [France]	Matching a set of strings with variable length don’t cares
00C965 (1996)	N. Berregeb [France] ; A. Bouhoula [France] ; M. Rusinowitch [France]	SPIKE-AC : A system for proofs by induction in associative-commutative theories
00CA87 (1995)	A. Bouhoula ; M. Rusinowitch	SPIKE User Manual
00CC29 (1995)	A. Bouhoula ; M. Rusinowitch	Implicit Induction in Conditional Theories
00CC37 (1995)	E. Kounalis ; M. Rusinowitch	Reasoning with Conditional Axioms
00CC39 (1995)	E. Monfroy ; M. Rusinowitch ; R. Schott	Implementing Non-Linear Constraints with Cooperative Solvers
00CC64 (1995)	G. Kucherov ; M. Rusinowitch	Complexity of testing ground reducibility for linear word rewriting systems with variables
00CD16 (1995)	G. Kucherov ; M. Rusinowitch	Undecidability of Ground Reducibility for Word Rewriting Systems with Variables
00CD39 (1995)	A. Bouhoula ; E. Kounalis ; M. Rusinowitch	Automated Mathematical Induction
00D069 (1995)	G. Kucherov [France] ; M. Rusinowitch	Undecidability of ground reducibility for word rewriting systems with variables
00D330 (1994)	E. A. Cichon ; M. Rusinowitch ; S. Selhab	Cut Elimination in Sequent Calculus and Rewriting
00D341 (1994)	G. Kucherov ; M. Rusinowitch	The Complexity of Testing Ground Reducibility for Linear Word Rewriting Systems with Variables
00D410 (1994)	G. Kucherov ; M. Rusinowitch	On Ground-Reducibility Problem for Word Rewriting Systems with Variables
00D426 (1994)	J.-L. Rémy ; M. Rusinowitch	Special Issue on Conditional Term Rewriting Systems

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Merge

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Merge/Author.i -k "M. Rusinowitch" 

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

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Merge
   |type=    indexItem
   |index=    Author.i
   |clé=    M. Rusinowitch
}}

---

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