Mutation testing of memory-related operators. - Jay Nanavati; Fan Wu 009; Mark Harman; Yue Jia 001; Jens Krinke (ICST Workshops, 2015)

Bringing LTL Model Checking to Biologists. - Zara Ahmed; David Benqué; Sergey Berezin; Anna Caroline E. Dahl; Jasmin Fisher; Benjamin A. Hall; Samin Ishtiaq; Jay Nanavati; Nir Piterman; Maik Riechert; Nikita Skoblov (VMCAI, 2017)

Memory mutation testing. - Fan Wu 009; Jay Nanavati; Mark Harman; Yue Jia 001; Jens Krinke (Inf. Softw. Technol., 2017)

Autofocus Layer for Semantic Segmentation. - Yao Qin 001; Konstantinos Kamnitsas; Siddharth Ancha; Jay Nanavati; Garrison W. Cottrell; Antonio Criminisi; Aditya V. Nori (MICCAI (3), 2018)

Towards Ontology-Enhanced Representation Learning for Large Language Models. - Francesco Ronzano; Jay Nanavati (CoRR, 2024)

OntologyRAG: Better and Faster Biomedical Code Mapping with Retrieval-Augmented Generation (RAG) Leveraging Ontology Knowledge Graphs and Large Language Models. - Hui Feng; Yuntzu Yin; Emiliano Reynares; Jay Nanavati (CoRR, 2025)

Agentic AI for Scientific Discovery: A Survey of Progress, Challenges, and Future Directions. - Mourad Gridach; Jay Nanavati; Khaldoun Zine El Abidine; Lenon Mendes; Christina Mack (CoRR, 2025)