Mark Jenkins
|
Room Room 426, Wolfson Building, Parks Road, Oxford OX1 3QD |
Selected Publications
| The Church Synthesis Problem with Metric Mark Jenkins‚ Joël Ouaknine‚ Alexander Rabinovich and James Worrell In Computer Science Logic (CSL'11) − 25th International Workshop/20th Annual Conference of the EACSL. Vol. 12 of Leibniz International Proceedings in Informatics (LIPIcs). Pages 307–321. Dagstuhl‚ Germany. 2011. Schloss Dagstuhl–Leibniz−Zentrum fuer Informatik. |
| Alternating Timed Automata over Bounded Time Mark Jenkins‚ Joël Ouaknine‚ Alexander Rabinovich and James Worrell In 25th Annual IEEE Symposium on Logic in Computer Science (LICS)‚ 2010. Pages 60–69. Los Alamitos‚ CA‚ USA. 2010. IEEE Computer Society. |
Info
|
Themes |
|
|
Activities |
|
|
Supervisor |
|
