Christelle Braun
According to our database1,
Christelle Braun
authored at least 4 papers
between 2009 and 2016.
Collaborative distances:
Collaborative distances:
Timeline
2009
2010
2011
2012
2013
2014
2015
2016
0
1
2
3
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2016
2010
2009
A quantitative doxastic logic for probabilistic processes and applications to information-hiding.
J. Appl. Non Class. Logics, 2009
Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, 2009