Michael Rusinowitch And NotProblème NP complet

List of bibliographic references

Number of relevant bibliographic references: 7.

Ident.	Authors (with country if any)	Title
000168	Yannick Chevalier [France] ; Michael Rusinowitch [France]	Symbolic protocol analysis in the union of disjoint intruder theories: Combining decision procedures
000280	Yannick Chevalier [France] ; Michael Rusinowitch [France]	Hierarchical combination of intruder theories
000335	Florent Jacquemard [France] ; Michael Rusinowitch [France] ; Laurent Vigneron [France]	Tree automata with equality constraints modulo equational theories
000583	Tarek Abbes [France] ; Adel Bouhoula [Tunisie] ; Michael Rusinowitch [France]	On the fly pattern matching for intrusion detection with Snort
000664	Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]	Unification modulo ACUI plus homomorphisms/distributivity
000727	Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]	ACID-unification is NEXPTIME-decidable
000768	Alessandro Armando [Italie] ; David Basin [Allemagne] ; Mehdi Bouallagui [France] ; Yannick Chevalier [Allemagne] ; Luca Compagna [Italie] ; Sebastian Mödersheim [France] ; Michael Rusinowitch [France] ; Mathieu Turuani [France] ; Luca Vigano [Allemagne] ; Laurent Vigneron [France]	The AVISS security protocol analysis tool

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