Formal Validation and Verification Framework for Model-Based and Adaptive Control Systems. - Sergio B. Guarro; Ümit Özgüner; Tunc Aldemir; Matt Knudson; Arda Kurt; Michael K. Yau; Mohammad Hejase; Steve Kwon (NFM, 2016)

Bilevel integer programming on a Boolean network for discovering critical genetic alterations in cancer development and therapy. - Kyungduk Moon; Kangbok Lee; Sunil Chopra; Steve Kwon (Eur. J. Oper. Res., 2022)