BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × USA
1 × United Kingdom
Collaborated with:
H.Kugler A.Roberts A.Pnueli
Talks about:
synthesi (1) synthes (1) control (1) theori (1) requir (1) biolog (1) lsc (1)

Person: Cory Plock

DBLP DBLP: Plock:Cory

Contributed to:

CAV 20112011
FASE 20092009

Wrote 2 papers:

CAV-2011-KuglerPR #biology
Synthesizing Biological Theories (HK, CP, AR), pp. 579–584.
FASE-2009-KuglerPP #requirements #synthesis
Controller Synthesis from LSC Requirements (HK, CP, AP), pp. 79–93.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.