Luc Dartois

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Efficient construction of reversible transducers from regular transducer expressions	2024-12-06	Paper
Logics for word transductions with synthesis Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-20	Paper
On reversible transducers	2020-05-27	Paper
Two-way Parikh automata with a visibly pushdown stack	2020-01-28	Paper
Aperiodic string transducers International Journal of Foundations of Computer Science	2018-09-20	Paper
Two-way visibly pushdown automata and transducers Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science	2018-04-23	Paper
Aperiodic two-way transducers and FO-transductions	2017-08-31	Paper
Two-variable first order logic with modular predicates over words	2017-01-30	Paper
Aperiodic string transducers Developments in Language Theory	2016-08-30	Paper
Alternation hierarchies of first order logic with regular predicates Fundamentals of Computation Theory	2015-09-29	Paper
Rankers over infinite words (extended abstract) Developments in Language Theory	2010-08-31	Paper

Research outcomes over time

This page was built for person: Luc Dartois