Mark Jenkins : Publications

Click here to download all publications in a single bibtex file

@inproceedings{jenkins_et_al:LIPIcs:2011:3239,
  title = "{The Church Synthesis Problem with Metric}",
  author = "Mark Jenkins and Jo{\"e}l Ouaknine and Alexander Rabinovich and James Worrell",
  year = "2011",
  address = "Dagstuhl, Germany",
  annote = "Keywords: Church's Problem, monadic logic, games, uniformization",
  booktitle = "Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL",
  isbn = "978-3-939897-32-3",
  issn = "1868-8969",
  pages = "307--321",
  publisher = "Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik",
  series = "Leibniz International Proceedings in Informatics (LIPIcs)",
  url = "http://drops.dagstuhl.de/opus/volltexte/2011/3239",
  volume = "12",
  doi = "10.4230/LIPIcs.CSL.2011.307",
}

@inproceedings{JORW-10lics,
  title = "Alternating Timed Automata over Bounded Time",
  author = "Mark Jenkins and Jo{\"e}l Ouaknine and Alexander Rabinovich and James Worrell",
  year = "2010",
  address = "Los Alamitos, CA, USA",
  booktitle = "25th Annual IEEE Symposium on Logic in Computer Science (LICS), 2010",
  pages = "60--69",
  publisher = "IEEE Computer Society",
  doi = "10.1109/LICS.2010.45",
}