Network Instrumentation for End-to-End Measurements. - Bengi Karacali; Balaji Rao (Integrated Network Management, 2007)

Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification. - Balaji Rao; William Eiers; Carlo Lipizzi (CoRR, 2025)