Pai-Hsun Chen < Paliath Narendran < Panagiotis Kalnis

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 26.
[0-20] [0 - 20][0 - 26][20-25][20-40]

Ident.	Authors (with country if any)	Title
000A91 (2008-06)	Siva Anatharaman ; Hai Lin ; Chris Lynch ; Paliath Narendran ; Michael Rusinowitch	Active Intruders with Caps
001018 (2014-02)	Serdar Erbatur ; Deepak Kapur ; Andrew Marshall ; Catherine Meadows ; Paliath Narendran ; Christophe Ringeissen	Asymmetric Unification and the Combination Problem in Disjoint Theories
001392 (2010-04)	Siva Anantharaman ; Hai Lin ; Christopher Lynch ; Paliath Narendran ; Michael Rusinowitch	Cap Unification: Application to Protocol Security modulo Homomorphic Encryption
001B08 (2003)	Hubert Comon-Lundh ; Paliath Narendran ; Robert Nieuwenhuis ; Michaël Rusinowitch	Deciding the Confluence of Ordered Term Rewrite Systems
001B13 (1998)	Hubert Comon ; Paliath Narendran ; Robert Nieuwenhuis ; Michaël Rusinowitch	Decision problems in ordered rewriting
002775 (2013-06-27)	Serdar Erbatur ; Deepak Kapur ; Andrew Marshall ; Paliath Narendran ; Christophe Ringeissen	Hierarchical Combination of Unification Algorithms
002776 (2013-06-09)	Serdar Erbatur ; Deepak Kapur ; Andrew Marshall ; Paliath Narendran ; Christophe Ringeissen	Hierarchical Combination
002829 (2004)	Siva Anantharaman ; Paliath Narendran ; Michaël Rusinowitch	How Useful are Dag Automata?
002C75 (2007-06-26)	Siva Anantharaman ; Paliath Narendran ; Michael Rusinowitch	Intruders with Caps
002C76 (2007-05-02)	Siva Anantharaman ; Paliath Narendran ; Michaël Rusinowitch	Intruders with Caps
003666 (2014-04-05)	Serdar Erbatur ; Deepak Kapur ; Andrew Marshall ; Catherine Meadows ; Paliath Narendran ; Christophe Ringeissen	On Asymmetric Unification and the Combination Problem in Disjoint Theories
003F03 (1998)	Paliath Narendran ; Michaël Rusinowitch ; Rakesh Verma	RPO constraint solving is in NP
003F04 (1998)	Paliath Narendran ; Michaël Rusinowitch ; Rakesh Verma	RPO constraint solving is in NP
004214 (1999)	Paliath Narendran ; Michaël Rusinowitch	Rewriting Techniques & Applications
004847 (2012)	Siva Anantharaman ; Paliath Narendran ; Michael Rusinowitch	String rewriting and security analysis: an extension of a result of Book and Otto
004C96 (2000)	Paliath Narendran ; Michaël Rusinowitch	The theory of total unary RPO is decidable
005045 (2009-09-16)	Siva Anantharaman ; Hai Lin ; Christopher Lynch ; Paliath Narendran ; Michael Rusinowitch	Unification Modulo Homomorphic Encryption
005046 (2015-09-21)	Serdar Erbatur ; Deepak Kapur ; Andrew Marshall ; Paliath Narendran ; Christophe Ringeissen	Unification and Matching in Hierarchical Combinations of Syntactic Theories
005048 (2003)	Siva Anantharaman ; Paliath Narendran ; Michaël Rusinowitch	Unification modulo ACUI plus Homomorphisms/Distributivity
005049 (2011-09-01)	Siva Anantharaman ; Christopher Bouchard ; Paliath Narendran ; Michael Rusinowitch	Unification modulo Block Chaining
005050 (2012)	Siva Anantharaman ; Hai Lin ; Christopher Lynch ; Paliath Narendran ; Michael Rusinowitch	Unification modulo Homomorphic Encryption

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Corpus

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i -k "Paliath Narendran" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i  \
                -Sk "Paliath Narendran" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Corpus/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Corpus
   |type=    indexItem
   |index=    Author.i
   |clé=    Paliath Narendran
}}

---

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