Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Narendran, Paliath - Department of Computer Science, State University of New York at Albany
An E-uni cation algorithm for analyzing protocols that use
Intruders with Caps Siva Anantharaman 1 , Paliath Narendran 2 , Michael Rusinowitch 3
RPO constraint solving is in NP Paliath Narendran 1? , Michael Rusinowitch 2 , and Rakesh Verma 3??
On Extended Regular Expressions Benjamin Carle and Paliath Narendran
A Unification Algorithm for the Group DiffieHellman Protocol Catherine Meadows \Lambda Paliath Narendran y
J. Symbolic Computation Unification of Concept Terms in Description Logics
Unification and Matching Modulo LeafPermutative Equational Presentations
Unification and Matching in Process Algebras Qing Guo, Paliath Narendran, and Sandeep K. Shukla ?
The theory of total unary rpo is decidable Paliath Narendran 1 and Michael Rusinowitch 2
A Unification Algorithm for Analysis of Protocols with Blinded Signatures
Deciding the Confluence of Ordered Term Rewrite Systems \Lambda H. Comon P. Narendran R. Nieuwenhuis M. Rusinowitch
Solving linear equations over polynomial semirings Paliath Narendran \Lambda
Unification and Matching modulo Nilpotence Qing Guo 1 , Paliath Narendran 1? , and D.A. Wolfram 2
