Laureline Pinault

Publication Activity (10 Years)

Years Active: 2019-2021
Publications (10 Years): 7

Top Topics

Quantifier Elimination

Finite Automaton

Semantic Representation

Top Venues

Proc. ACM Program. Lang.

Fundam. Informaticae

ACM Trans. Comput. Log.

Publications

Denis Kuperberg, Laureline Pinault, Damien Pous
Coinductive Algorithms for Büchi Automata. Fundam. Informaticae 180 (4) (2021)
Denis Kuperberg, Laureline Pinault, Damien Pous
Cyclic proofs, system t, and the power of contraction. Proc. ACM Program. Lang. 5 (POPL) (2021)
Raphaël Berthon, Nathanaël Fijalkow, Emmanuel Filiot, Shibashis Guha, Bastien Maubert, Aniello Murano, Laureline Pinault, Sophie Pinchinat, Sasha Rubin, Olivier Serre
Alternating Tree Automata with Qualitative Semantics. ACM Trans. Comput. Log. 22 (1) (2021)
Raphaël Berthon, Nathanaël Fijalkow, Emmanuel Filiot, Shibashis Guha, Bastien Maubert, Aniello Murano, Laureline Pinault, Sophie Pinchinat, Sasha Rubin, Olivier Serre
Alternating Tree Automata with Qualitative Semantics. CoRR (2020)
Denis Kuperberg, Laureline Pinault, Damien Pous
Coinductive Algorithms for Büchi Automata. DLT (2019)
Denis Kuperberg, Laureline Pinault, Damien Pous
Cyclic Proofs and Jumping Automata. FSTTCS (2019)
Raphaël Berthon, Emmanuel Filiot, Shibashis Guha, Bastien Maubert, Aniello Murano, Laureline Pinault, Jean-François Raskin, Sasha Rubin
Monadic Second-Order Logic with Path-Measure Quantifier is Undecidable. CoRR (2019)