Mark Jenkins

Orcid: 0000-0002-8964-6160

According to our database1, Mark Jenkins authored at least 4 papers between 2010 and 2017.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2017
The CRISP colorectal cancer risk prediction tool: an exploratory study using simulated consultations in Australian primary care.
BMC Medical Informatics Decis. Mak., 2017

2012
Synthesis and alternating automata over real time.
PhD thesis, 2012

2011
The Church Synthesis Problem with Metric.
Proceedings of the Computer Science Logic, 2011

2010
Alternating Timed Automata over Bounded Time.
Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010


  Loading...