From Requirements to Specifications. - Cory Plock; Benjamin Goldberg 001; Lenore D. Zuck (ECBS, 2005)

Synthesizing reactive systems from LSC requirements using the play-engine. - Hillel Kugler; Cory Plock; Amir Pnueli (OOPSLA Companion, 2007)

Synthesizing Executable Programs from Requirements. - Cory Plock (2008)

Controller Synthesis from LSC Requirements. - Hillel Kugler; Cory Plock; Amir Pnueli (FASE, 2009)

Synthesizing Biological Theories. - Hillel Kugler; Cory Plock; Andy Roberts (CAV, 2011)