Mark Jenkins

Alternating Timed Automata over Bounded Time

Joël Ouaknine, James Worrell, Alexander Moshe Rabinovich, 2010, 2010 25th Annual IEEE Symposium on Logic in Computer Science.

Synthesis and alternating automata over real time

Mark Jenkins, Mark Jenkins, 2012 .

iPad Music: In the Studio and on Stage

Mark Jenkins, 2012 .

The CRISP colorectal cancer risk prediction tool: an exploratory study using simulated consultations in Australian primary care

Jon Emery, James G. Dowty, Adrian Bickerstaffe, 2017, BMC Medical Informatics and Decision Making.

20 – Sound Synthesis

Mark Jenkins, 1998 .

PATL performance framework

Richard West, Ken Pasternak, Mark Jenkins, 2016 .

Note on the reference system

Richard West, Ken Pasternak, Mark Jenkins, 2009 .

The Church Synthesis Problem with Metric

Joël Ouaknine, James Worrell, Alexander Moshe Rabinovich, 2011, CSL.