A first lab in filter design: Power line hum suppression in an ECG signal. - Hsin-I Cindy Liu; Jonathan Kotker; Babak Ayazifar (ISCAS, 2010)

Timing analysis of interrupt-driven programs under context bounds. - Jonathan Kotker; Dorsa Sadigh; Sanjit A. Seshia (FMCAD, 2011)

GameTime: A Toolkit for Timing Analysis of Software. - Sanjit A. Seshia; Jonathan Kotker (TACAS, 2011)