Pierre Pomeret-Coquot

Orcid: 0000-0003-2243-5913

According to our database¹, Pierre Pomeret-Coquot authored at least 3 papers between 2022 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2023

Décision individuelle et stratégique sous incertitude : une approche algébrique et formelle. (Individual and strategic decision under uncertainty : an algebraic and formal approach).

[BibT_eX]

[DOI]

Pierre Pomeret-Coquot

PhD thesis, 2023

Bel-Games: A Formal Theory of Games of Incomplete Information Based on Belief Functions in the Coq Proof Assistant.

[BibT_eX]

[DOI]

Pierre Pomeret-Coquot

Hélène Fargier

Érik Martin-Dorel

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

2022

Games of incomplete information: A framework based on belief functions.

[BibT_eX]

[DOI]

Pierre Pomeret-Coquot

Hélène Fargier

Érik Martin-Dorel

Int. J. Approx. Reason., 2022

Pierre Pomeret-Coquot

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...