3D Hardware Canaries. - Sébastien Briais; Stéphane Caron; Jean-Michel Cioranesco; Jean-Luc Danger; Sylvain Guilley; Jacques-Henri Jourdan; Arthur Milchior; David Naccache; Thibault Porteboeuf (CHES, 2012)

Review of logical foundation of proof complexity by Stephen Cook and Phuong Nguyen. - Arthur Milchior (SIGACT News, 2013)

A Note on Higher Order and Variable Order Logic over Finite Models. - Arthur Milchior (CoRR, 2014)

Büchi Automata Recognizing Sets of Reals Definable in First-Order Logic with Addition and Order. - Arthur Milchior (TAMC, 2017)

Undecidability of satisfiability of expansions of FO[<] over words with a FO[+]-definable set. - Arthur Milchior (Comput., 2017)

(Quasi-)linear time algorithm to compute LexDFS, LexUP and LexDown orderings. - Arthur Milchior (CoRR, 2017)

A Quasi-Linear Time Algorithm Deciding Whether Weak Büchi Automata Reading Vectors of Reals Recognize Saturated Languages. - Arthur Milchior (CoRR, 2017)

Efficient Algorithms and Tools for MITL Model-Checking and Synthesis. - Thomas Brihaye; Gilles Geeraerts; Hsi-Ming Ho; Arthur Milchior; Benjamin Monmege (ICECCS, 2018)

Spectra and satisfiability for logics with successor and a unary function. - Arthur Milchior (Math. Log. Q., 2018)