Hugo Paquet : Publications

Click here to download all publications in a single bibtex file

@inproceedings{DBLP:conf/esop/CastellanP19,
  title = "Probabilistic Programming Inference via Intensional Semantics",
  author = "Simon Castellan and Hugo Paquet",
  year = "2019",
  booktitle = "Programming Languages and Systems - 28th European Symposium on Programming, {ESOP} 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings",
  pages = "322--349",
  url = "https://doi.org/10.1007/978-3-030-17184-1\_12",
  doi = "10.1007/978-3-030-17184-1\_12",
}

@article{DBLP:journals/entcs/PaquetW18,
  title = "Continuous Probability Distributions in Concurrent Games",
  author = "Hugo Paquet and Glynn Winskel",
  year = "2018",
  journal = "Electr. Notes Theor. Comput. Sci.",
  pages = "321--344",
  url = "https://doi.org/10.1016/j.entcs.2018.11.016",
  volume = "341",
  doi = "10.1016/j.entcs.2018.11.016",
}

@inproceedings{DBLP:conf/csl/ClairambaultP18,
  title = "Fully Abstract Models of the Probabilistic lambda-calculus",
  author = "Pierre Clairambault and Hugo Paquet",
  year = "2018",
  booktitle = "27th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2018, September 4-7, 2018, Birmingham, {UK}",
  pages = "16:1--16:17",
  url = "https://doi.org/10.4230/LIPIcs.CSL.2018.16",
  doi = "10.4230/LIPIcs.CSL.2018.16",
}

@inproceedings{DBLP:conf/lics/CastellanCPW18,
  title = "The concurrent game semantics of Probabilistic {PCF}",
  author = "Simon Castellan and Pierre Clairambault and Hugo Paquet and Glynn Winskel",
  year = "2018",
  booktitle = "Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2018, Oxford, UK, July 09-12, 2018",
  pages = "215--224",
  url = "https://doi.org/10.1145/3209108.3209187",
  doi = "10.1145/3209108.3209187",
}

@inproceedings{DBLP:conf/atal/LomuscioP15,
  title = "Verification of Multi-Agent Systems via SDD-based Model Checking",
  author = "Alessio Lomuscio and Hugo Paquet",
  year = "2015",
  booktitle = "Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, {AAMAS} 2015, Istanbul, Turkey, May 4-8, 2015",
  pages = "1713--1714",
  url = "http://dl.acm.org/citation.cfm?id=2773399",
}