University of Oxford Logo University of OxfordDepartment of Computer Science - Home
Linked in
Linked in
Follow us on twitter
Twitter
On Facebook
Facebook
Instagram
Instagram

Nicolas Basset : Publications

By dateBy titleBy typeBibtex

Click here to download all publications in a single bibtex file

@inproceedings{combi,
  title = "Counting and generating permutations using timed languages",
  author = "Basset, Nicolas",
  year = "2014",
  booktitle = "LATIN",
  pages = "502-513",
  publisher = "Springer",
}
@techreport{RR-14-10,
  title = "Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives",
  author = "Nicolas Basset and Marta Kwiatkowska and Ufuk Topcu and Clemens Wiltsche",
  year = "2014",
  institution = "DCS",
  number = "RR-14-10",
  pages = "30",
}
@techreport{RR-14-05,
  title = "Compositional Controller Synthesis for Stochastic Games",
  author = "Nicolas Basset and Marta Kwiatkowska and Clemens Wiltsche",
  year = "2014",
  institution = "DCS",
  number = "RR-14-05",
  pages = "26",
}
@inproceedings{maxent,
  title = "A Maximal Entropy Stochastic Process for a Timed Automaton",
  author = "Nicolas Basset",
  year = "2013",
  booktitle = "ICALP (2)",
  pages = "61-73",
  publisher = "Springer",
  series = "LNCS 7966",
}
@inproceedings{spectralgap,
  title = "Spectral Gap in Timed Automata",
  author = "Eugene Asarin and Nicolas Basset and Aldric Degorre",
  year = "2013",
  booktitle = "FORMATS",
  editor = "V\'{\i}ctor A. Braberman and Laurent Fribourg",
  isbn = "978-3-642-40228-9",
  pages = "16-30",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "8053",
}
@inproceedings{generating,
  title = "Generating Functions of Timed Languages",
  author = "Eugene Asarin and Nicolas Basset and Aldric Degorre and Dominique Perrin",
  year = "2012",
  booktitle = "MFCS",
  pages = "124-135",
  publisher = "Springer",
  series = "LNCS 7464",
}
@inproceedings{timedcode,
  title = "Toward a Timed Theory of Channel Coding",
  author = "Eugene Asarin and Nicolas Basset and Marie-Pierre B{\'e}al and Aldric Degorre and Dominique Perrin",
  year = "2012",
  booktitle = "FORMATS",
  pages = "27-42",
  publisher = "Springer",
  series = "LNCS 7595",
}
@inproceedings{thinthick,
  title = "Thin and Thick Timed Regular Languages",
  author = "Nicolas Basset and Eugene Asarin",
  year = "2011",
  booktitle = "FORMATS",
  pages = "113-128",
  publisher = "Springer",
  series = "LNCS 6919",
}