Grid-based temporal logic inference. - Prashant Vaidyanathan; Rachael Ivison; Giuseppe Bombara; Nicholas A. DeLateur; Ron Weiss; Douglas Densmore; Calin Belta (CDC, 2017)

Metrics for Signal Temporal Logic Formulae. - Curtis Madsen; Prashant Vaidyanathan; Sadra Sadraddini; Cristian Ioan Vasile; Nicholas A. DeLateur; Ron Weiss; Douglas Densmore; Calin Belta (CDC, 2018)

Biomolecular stabilisation near the unstable equilibrium of a biological system. - Christian Cuba Samaniego; Nicholas A. DeLateur; Giulia Giordano; Elisa Franco (CDC, 2019)