- 2
- 1
Sophie Pinchinat
3
Documents
Présentation
This is attempt of a CV synthesis from HAL information.
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Alternating Tree Automata with Qualitative SemanticsACM Transactions on Computational Logic, 2020, 22 (1), ⟨10.1145/3431860⟩
Article dans une revue
hal-02533936v1
|
|
Emptiness Of Alternating Tree Automata Using Games With Imperfect Information33rd 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⟩
Communication dans un congrès
hal-01260682v2
|
|
Emptiness Of Alternating Parity Tree Automata Using Games With Imperfect Information[Research Report] PI-1992, 2012, pp.6
Rapport
hal-00700334v1
|