Alternating Timed Automata over Bounded Time. - Mark Jenkins; Joël Ouaknine; Alexander Rabinovich; James Worrell 001 (LICS, 2010)

The Church Synthesis Problem with Metric. - Mark Jenkins; Joël Ouaknine; Alexander Rabinovich; James Worrell 001 (CSL, 2011)

Synthesis and alternating automata over real time. - Mark Jenkins (2012)

The CRISP colorectal cancer risk prediction tool: an exploratory study using simulated consultations in Australian primary care. - Jennifer G. Walker; Adrian Bickerstaffe; Nadira Hewabandu; Sanjay Maddumarachchi; James G. Dowty; Mark Jenkins; Marie Pirotta; Fiona M. Walter; Jon Emery (BMC Medical Informatics Decis. Mak., 2017)