Skip to Main content
Number of documents


CV Sophie Pinchinat

This is attempt of a CV synthesis from HAL information.

Nathanaël Fijalkow   

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⟩