Cory Plock
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2007–2011
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | CAV | Synthesizing Biological Theories. | Hillel Kugler, Cory Plock, Andy Roberts |
| 2009 | FASE | Controller Synthesis from LSC Requirements. | Hillel Kugler, Cory Plock, Amir Pnueli |
| 2007 | OOPSLA | Synthesizing reactive systems from LSC requirements using the play-engine. | Hillel Kugler, Cory Plock, Amir Pnueli |