Personal information

Activities

Works (10)

Two-Way Parikh Automata with a Visibly Pushdown Stack

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2019 | Book
EID:

2-s2.0-85064934995

Part of ISBN:

16113349 03029743

Contributors: Dartois, L.; Filiot, E.; Talbot, J.-M.
Source: Self-asserted source
Luc Dartois via Scopus - Elsevier

Aperiodic String Transducers

International Journal of Foundations of Computer Science
2018 | Journal article
EID:

2-s2.0-85051989868

Part of ISBN:

01290541

Contributors: Dartois, L.; Jecker, I.; Reynier, P.-A.
Source: Self-asserted source
Luc Dartois via Scopus - Elsevier

Logics for word transductions with synthesis

Proceedings - Symposium on Logic in Computer Science
2018 | Conference paper
EID:

2-s2.0-85051144164

Part of ISBN:

10436871

Contributors: Dartois, L.; Filiot, E.; Lhote, N.
Source: Self-asserted source
Luc Dartois via Scopus - Elsevier

On reversible transducers

Leibniz International Proceedings in Informatics, LIPIcs
2017 | Conference paper
EID:

2-s2.0-85027264460

Part of ISBN:

18688969

Contributors: Dartois, L.; Fournier, P.; Jecker, I.; Lhote, N.
Source: Self-asserted source
Luc Dartois via Scopus - Elsevier

Aperiodic string transducers

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2016 | Book
EID:

2-s2.0-84979210554

Part of ISBN:

16113349 03029743

Contributors: Dartois, L.; Jecker, I.; Reynier, P.-A.
Source: Self-asserted source
Luc Dartois via Scopus - Elsevier

Two-Way Visibly Pushdown Automata and Transducers

Proceedings - Symposium on Logic in Computer Science
2016 | Conference paper
EID:

2-s2.0-84994578209

Part of ISBN:

10436871

Contributors: Dartois, L.; Filiot, E.; Reynier, P.-A.; Talbot, J.-M.
Source: Self-asserted source
Luc Dartois via Scopus - Elsevier

Alternation hierarchies of first order logic with regular predicates

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2015 | Book
EID:

2-s2.0-84943603878

Part of ISBN:

16113349 03029743

Contributors: Dartois, L.; Paperman, C.
Source: Self-asserted source
Luc Dartois via Scopus - Elsevier

Aperiodic two-way transducers and FO-transductions

Leibniz International Proceedings in Informatics, LIPIcs
2015 | Conference paper
EID:

2-s2.0-84959288191

Part of ISBN:

18688969

Contributors: Carton, O.; Dartois, L.
Source: Self-asserted source
Luc Dartois via Scopus - Elsevier

Two-variable first order logic with modular predicates over words

Leibniz International Proceedings in Informatics, LIPIcs
2013 | Conference paper
EID:

2-s2.0-84892590324

Part of ISBN:

18688969

Contributors: Dartois, L.; Paperman, C.
Source: Self-asserted source
Luc Dartois via Scopus - Elsevier

Rankers over infinite words

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2010 | Book
EID:

2-s2.0-78049289929

Part of ISBN:

03029743 16113349

Contributors: Dartois, L.; Kufleitner, M.; Lauser, A.
Source: Self-asserted source
Luc Dartois via Scopus - Elsevier