Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 10.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000451 | 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 | P. Narendran [États-Unis] ; M. Rusinowitch [France] | The theory of total unary RPO is decidable |
| 000980 | G. Kucherov [France] ; M. Rusinowitch [France] | Patterns in words versus patterns in trees : A brief survey and new results |
| 000988 | M. Rusinowitch [France] ; S. Stratulat [France] ; F. Klay [France] | Mechanical verification of an ideal incremental ABR conformance algorithm |
| 000A68 | P. Narendran [États-Unis] ; M. Rusinowitch [France] ; R. Verma [États-Unis] | RPO constraint solving is in NP |
| 000B41 | N. Berregeb [France] ; A. Bouhoula [France] ; M. Rusinowitch [France] | Observational proofs with critical contexts |
| 000C23 | G. Kucherov [France] ; M. Rusinowitch [France] | Matching a set of strings with variable length don’t cares |
| 000C78 | N. Berregeb [France] ; A. Bouhoula [France] ; M. Rusinowitch [France] | SPIKE-AC : A system for proofs by induction in associative-commutative theories |
| 000D20 | G. Kucherov [France] ; M. Rusinowitch | Undecidability of ground reducibility for word rewriting systems with variables |
| 000D62 | M. Rusinowitch [France] | Theorem-proving with resolution and superposition |
| This area was generated with Dilib version V0.6.33. |  |