Skip to Main content
Number of documents

2

CV Sophie Pinchinat


This is attempt of a CV synthesis from HAL information.


Catalin Dima   

Journal articles1 document

  • Catalin Dima, Bastien Maubert, Sophie Pinchinat. The Expressive Power of Epistemic \textdollar\(μ\)\textdollar-Calculus. CoRR, 2014, abs/1407.5166. ⟨hal-01699938⟩

Conference papers1 document

  • Catalin Dima, Bastien Maubert, Sophie Pinchinat. Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus. Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I, 2015, Unknown, Unknown Region. pp.179--191, ⟨10.1007/978-3-662-48057-1_14⟩. ⟨hal-01699931⟩