Hugo Paquet : Publications
-
[0]
Probabilistic Programming Inference via Intensional Semantics
Simon Castellan and Hugo Paquet
In 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. 2019.
Details about Probabilistic Programming Inference via Intensional Semantics | BibTeX data for Probabilistic Programming Inference via Intensional Semantics | DOI (10.1007/978-3-030-17184-1\_12) | Link to Probabilistic Programming Inference via Intensional Semantics
-
[0]
Continuous Probability Distributions in Concurrent Games
Hugo Paquet and Glynn Winskel
In Electr. Notes Theor. Comput. Sci.. Vol. 341. Pages 321–344. 2018.
Details about Continuous Probability Distributions in Concurrent Games | BibTeX data for Continuous Probability Distributions in Concurrent Games | DOI (10.1016/j.entcs.2018.11.016) | Link to Continuous Probability Distributions in Concurrent Games
-
[0]
The concurrent game semantics of Probabilistic PCF
Simon Castellan‚ Pierre Clairambault‚ Hugo Paquet and Glynn Winskel
In Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science‚ LICS 2018‚ Oxford‚ UK‚ July 09−12‚ 2018. Pages 215–224. 2018.
Details about The concurrent game semantics of Probabilistic PCF | BibTeX data for The concurrent game semantics of Probabilistic PCF | DOI (10.1145/3209108.3209187) | Link to The concurrent game semantics of Probabilistic PCF
-
[0]
Fully Abstract Models of the Probabilistic lambda−calculus
Pierre Clairambault and Hugo Paquet
In 27th EACSL Annual Conference on Computer Science Logic‚ CSL 2018‚ September 4−7‚ 2018‚ Birmingham‚ UK. Pages 16:1–16:17. 2018.
Details about Fully Abstract Models of the Probabilistic lambda−calculus | BibTeX data for Fully Abstract Models of the Probabilistic lambda−calculus | DOI (10.4230/LIPIcs.CSL.2018.16) | Link to Fully Abstract Models of the Probabilistic lambda−calculus
-
[0]
Verification of Multi−Agent Systems via SDD−based Model Checking
Alessio Lomuscio and Hugo Paquet
In Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems‚ AAMAS 2015‚ Istanbul‚ Turkey‚ May 4−8‚ 2015. Pages 1713–1714. 2015.
Details about Verification of Multi−Agent Systems via SDD−based Model Checking | BibTeX data for Verification of Multi−Agent Systems via SDD−based Model Checking | Link to Verification of Multi−Agent Systems via SDD−based Model Checking