Pierre Carlier

Affiliations:

LSV, CNRS & ENS de Cachan, France

According to our database¹, Pierre Carlier authored at least 4 papers between 2016 and 2018.

Collaborative distances:

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

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2018

When are stochastic transition systems tameable?

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2018

2017

Verification of Stochastic Timed Automata. (Vérification des automates temporisés et stochastiques).

[BibT_eX]

[DOI]

Pierre Carlier

PhD thesis, 2017

2016

Analysing Decisive Stochastic Processes.

[BibT_eX]

[DOI]

Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming, 2016

Compositional Design of Stochastic Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Computer Science - Theory and Applications, 2016

Pierre Carlier

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...