A Formal Verification Methodology for DDD Mode Pacemaker Control Programs. - Sana Shuja; Sudarshan K. Srinivasan; Shaista Jabeen; Dharmakeerthi Nawarathna (J. Electr. Comput. Eng., 2015)

A Miniaturized MicroRNA Sensor Identifies Targets Associated with Weight Loss in a Diet and Exercise Intervention among Healthy Overweight Individuals. - Vidura Jayasooriya; Nathaniel Johnson; Adam Bradley; Christopher Kotarsky; Lizzy Jepng'etich; Daniel Friesner; Sherri Stastny; Kyle J. Hackney; Dharmakeerthi Nawarathna (Sensors, 2022)