Skip to Main content
Number of documents


CV Sophie Pinchinat

This is attempt of a CV synthesis from HAL information.

Laureline Pinault    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⟩