| On forward closure and the finite variant property C Bouchard, KA Gero, C Lynch, P Narendran Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013 …, 2013 | 49 | 2013 |
| Some notes on basic syntactic mutation K Gero, C Bouchard, P Narendran EPiC Series in Computing 24, 17-27, 2014 | 5 | 2014 |
| CS1 with a Side of AI: Teaching Software Verification for Secure Code in the Era of Generative AI AS Fernandez, KA Cornell Proceedings of the 55th ACM Technical Symposium on Computer Science …, 2024 | 4 | 2024 |
| Notes on lynch-morawska systems DS Hono II, N Galatage, KA Gero, P Narendran, A Subburathinam arXiv preprint arXiv:1604.06139, 2016 | 4 | 2016 |
| Unification problems modulo a theory of Until S Brahmakshatriya, S Danturi, KA Gero, P Narendran 27th International Workshop on Unification, UNIF, 22-29, 2013 | 3 | 2013 |
| Some notes on basic syntactic mutation C Bouchard, KA Gero, P Narendran Proceedings 26th International Workshop on Unification, 9-14, 2012 | 3 | 2012 |
| Playing chess with a human-scale mobile manipulator M Ferguson, K Gero, J Salles, J Weis Proceedings of the AAAI Conference on Artificial Intelligence 25 (1), 1872-1873, 2011 | 3 | 2011 |
| Asymmetric Unification and Disunification V Ravishankar, KA Cornell, P Narendran 31st International Workshop on Unification (UNIF 2017), 2017 | 2 | 2017 |
| Asymmetric Unification and Disunification V Ravishankar, KA Cornell, P Narendran Description Logic, Theory Combination, and All That: Essays Dedicated to …, 2019 | 1 | 2019 |
| On Problems Dual to Unification: The String-Rewriting Case Z Akçam, KA Cornell, DS Hono II, P Narendran, A Pulver arXiv preprint arXiv:2103.00386, 2021 | | 2021 |
| Asymmetric Unification and Disunification for the theory of Abelian groups with a homomorphism (AGh) V Ravishankar, P Narendran, KA Cornell 33rd International Workshop on Unification Dortmund, June 24, 2019, 2019 | | 2019 |
| Distinguishability in Protocol Analysis: Formally Analyzing Guessing Attacks S Anantharaman, KA Gero, P Narendran, M Rusinowitch 12th Annual Symposium on Information Assurance, 2017 | | 2017 |
| Notes on Lynch-Morawska Systems DSH II, N Galatage, KA Gero, P Narendran, A Subburathinam Informal Proceedings of the 30th International Workshop on Unification (UNIF …, 2016 | | 2016 |
| Deciding static inclusion for Δ-strong and ω▿-strong intruder theories: Applications to cryptographic protocol analysis KA Gero State University of New York at Albany, 2015 | | 2015 |
| Unification modulo a Theory of Pairing and Encryption S Erbatur, KA Gero, AM Marshall, C Meadows, P Narendran Informal Proceedings, 37, 0 | | |
Christopher LynchClarkson University在 clarkson.edu 的电子邮件经过验证
