Le cluster Paliath Narendran - Siva Anantharaman

Terms

3	Paliath Narendran
3	Siva Anantharaman
8	Michael Rusinowitch
2	Florent Jacquemard
6	Laurent Vigneron

Associations

Freq.	Weight	Association
3	1.000	Paliath Narendran - Siva Anantharaman
3	0.612	Michael Rusinowitch - Siva Anantharaman
3	0.612	Michael Rusinowitch - Paliath Narendran
2	0.577	Florent Jacquemard - Laurent Vigneron
2	0.289	Laurent Vigneron - Michael Rusinowitch

Documents par ordre de pertinence

000335 (2006)	Florent Jacquemard [France] ; Michael Rusinowitch [France] ; Laurent Vigneron [France]	Tree automata with equality constraints modulo equational theories
000515 (2005)	Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]	Closure properties and decision problems of dag automata
000664 (2003)	Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]	Unification modulo ACUI plus homomorphisms/distributivity
000727 (2003)	Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]	ACID-unification is NEXPTIME-decidable
000768 (2002)	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
000A18 (2000)	Florent Jacquemard [France] ; Michaël Rusinowitch [France] ; Laurent Vigneron [France]	Compiling and verifying security protocols
000168 (2010)	Yannick Chevalier [France] ; Michael Rusinowitch [France]	Symbolic protocol analysis in the union of disjoint intruder theories: Combining decision procedures
000280 (2008)	Yannick Chevalier [France] ; Michael Rusinowitch [France]	Hierarchical combination of intruder theories
000304 (2007)	MOHAMED SALAH BOUASSIDA [France] ; Najah Chridi [France] ; Isabelle Chrisment [France] ; Olivier Festor [France] ; Laurent Vigneron [France]	Automated Verification of a Key Management Architecture for Hierarchical Group Protocols : Sécurité des réseaux et des systèmes d'information
000583 (2004)	Tarek Abbes [France] ; Adel Bouhoula [Tunisie] ; Michael Rusinowitch [France]	On the fly pattern matching for intrusion detection with Snort
000706 (2003)	Yannick Chevalier [France] ; Ralf Küsters [États-Unis] ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] ; Laurent Vigneron [France]	Extending the Dolev-Yao intruder for analyzing an unbounded number of sessions
000829 (2002)	Yannick Chevalier [France] ; Laurent Vigneron [France]	Automated unbounded verification of security protocols

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