Nick Hu : Publications

Click here to download all publications in a single bibtex file

@inproceedings{DBLP:journals/corr/abs-2112-14051,
  title = "Traced Monoidal Categories as Algebraic Structures in Prof",
  author = "Nick Hu and Jamie Vicary",
  year = "2021",
  booktitle = "Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, {MFPS} 2021, Hybrid: Salzburg, Austria and Online, 30th August - 2nd September, 2021",
  editor = "Ana Sokolova",
  pages = "84--97",
  series = "{EPTCS}",
  url = "https://doi.org/10.4204/EPTCS.351.6",
  volume = "351",
  doi = "10.4204/EPTCS.351.6",
}

@inproceedings{DBLP:conf/lics/KomoridaKHKH19,
  title = "Codensity Games for Bisimilarity",
  author = "Yuichi Komorida and Shin{-}ya Katsumata and Nick Hu and Bartek Klin and Ichiro Hasuo",
  year = "2019",
  booktitle = "34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2019, Vancouver, BC, Canada, June 24-27, 2019",
  crossref = "DBLP:conf/lics/2019",
  isbn = "978-1-7281-3608-0",
  pages = "1--13",
  publisher = "{IEEE}",
  url = "https://ieeexplore.ieee.org/xpl/conhome/8765678/proceeding",
  doi = "10.1109/LICS.2019.8785691",
}

@mastersthesis{13596,
  title = "External traced monoidal categories",
  author = "Nick Hu",
  year = "2019",
  school = "University of Oxford",
}