Interests
Logics
Databases
Formal languages
Data transformation
Highlighted publications (more)
Conference paper with D. Della Monica, A. Montanari and P. Sala
The Logic of Prefixes and Suffixes is Elementary under Homogeneity

Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

IEEE Computer Society
PdfBibtexSlidesAbstract
Journal paper with A. Grez, F. Mazowiecki, M. Pilipczuk and C. Riveros
Dynamic Data Structures for Timed Automata Acceptance

Algorithmica

volume 84(11), pages 3223–3245, Springer
PdfBibtexAbstract
Conference paper with A. Muscholl
Equivalence of finite-valued streaming string transducers is decidable

Proceedings of the 46th International Colloquium on Automata, Languages, and Programming (ICALP)

Leibniz International Proceedings in Informatics (LIPIcs), volume 132, pages 121:1-121:14, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
PdfBibtexSlidesAbstract
Journal paper with O. Carton and T. Colcombet
An algebraic approach to MSO-definability on countable linear orderings

Journal of Symbolic Logic

volume 83(3), pages 1147-1189, Association for Symbolic Logic
PdfBibtexAbstract

Short bio (show)
Doctoral courses (show)
(Under)graduate courses (show)
Invited talks (show)
Organized events (show)
Scientific committees (show)
Recent research projects (show)