Skip to Main content
Number of documents

3

CV Sophie Pinchinat


This is attempt of a CV synthesis from HAL information.


Olivier Serre   

Journal articles1 document

  • Raphaël Berthon, Nathanaël Fijalkow, Emmanuel Filiot, Shibashis Guha, Bastien Maubert, et al.. Alternating Tree Automata with Qualitative Semantics. ACM Transactions on Computational Logic, Association for Computing Machinery, 2020, 22 (1), pp.Article 7. ⟨10.1145/3431860⟩. ⟨hal-02533936⟩

Conference papers1 document

  • Nathanaël Fijalkow, Sophie Pinchinat, Olivier Serre. Emptiness Of Alternating Tree Automata Using Games With Imperfect Information. 33rd International Conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS 2013), 2013, Guwahati, India. pp.13, ⟨10.4230/LIPIcs.FSTTCS.2013.299⟩. ⟨hal-01260682v2⟩

Reports1 document

  • Sophie Pinchinat, Olivier Serre. Emptiness Of Alternating Parity Tree Automata Using Games With Imperfect Information. [Research Report] PI-1992, 2012, pp.6. ⟨hal-00700334⟩