Paliath Narendran
Affiliations: | State University of New York, Albany, Albany, NY, United States |
Area:
Computer ScienceGoogle:
"Paliath Narendran"Children
Sign in to add traineeLida Wang | grad student | 2004 | SUNY Albany |
Benjamin Carle | grad student | 2010 | SUNY Albany |
Serdar Erbatur | grad student | 2012 | SUNY Albany |
BETA: Related publications
See more...
Publications
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
Marshall AM, Meadows C, Narendran P. (2015) On unification modulo one-sided distributivity: Algorithms, variants and asymmetry Logical Methods in Computer Science. 11 |
Erbatur S, Kapur D, Marshall AM, et al. (2015) Unification and matching in hierarchical combinations of syntactic theories Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9322: 291-306 |
Anantharaman S, Bouchard C, Narendran P, et al. (2014) Unification modulo a 2-sorted Equational theory for cipher-decipher block chaining Logical Methods in Computer Science. 10 |
Erbatur S, Kapur D, Marshall AM, et al. (2014) On asymmetric unification and the combination problem in disjoint theories Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8412: 274-288 |
Erbatur S, Kapur D, Marshall AM, et al. (2013) Hierarchical combination Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7898: 249-266 |
Erbatur S, Escobar S, Kapur D, et al. (2013) Asymmetric unification: A new unification paradigm for cryptographic protocol analysis Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7898: 231-248 |
Erbatur S, Escobar S, Kapur D, et al. (2012) Effective symbolic protocol analysis via equational irreducibility conditions Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7459: 73-90 |
Anantharaman S, Erbatur S, Lynch C, et al. (2012) Unification modulo synchronous distributivity Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7364: 14-29 |
Anantharaman S, Lin H, Lynch C, et al. (2010) Cap unification: Application to protocol security modulo homomorphic encryption Proceedings of the 5th International Symposium On Information, Computer and Communications Security, Asiaccs 2010. 192-203 |
Anantharaman S, Lin H, Lynch C, et al. (2009) Unification modulo homomorphic encryption Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5749: 100-116 |