A new assertion property language for analog/mixed-signal circuits. - Dhanashree Kulkarni; Andrew N. Fisher; Chris J. Myers (FDL, 2013)

LEMA: A tool for the formal verification of digitally-intensive analog/mixed-signal circuits. - Andrew N. Fisher; Satish Batchu; Kevin R. Jones; Dhanashree Kulkarni; Scott Little; David Walter; Chris J. Myers (MWSCAS, 2014)

Actor Critic Based Reinforcement Learning for Joint Resource Allocation and Throughput Maximization in 5G RAN Slicing. - Dhanashree Kulkarni; Mithra Venkatesan; Anju V. Kulkarni (Wirel. Pers. Commun., 2024)