Arthur Milchior

According to our database, Arthur Milchior authored at least 9 papers between 2012 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2018

Spectra and satisfiability for logics with successor and a unary function.

Arthur Milchior

Math. Log. Q., 2018

Efficient Algorithms and Tools for MITL Model-Checking and Synthesis.

Thomas Brihaye, Gilles Geeraerts, Hsi-Ming Ho, Arthur Milchior, Benjamin Monmege

Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018

2017

A Quasi-Linear Time Algorithm Deciding Whether Weak Büchi Automata Reading Vectors of Reals Recognize Saturated Languages.

Arthur Milchior

CoRR, 2017

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

Arthur Milchior

CoRR, 2017

Undecidability of satisfiability of expansions of FO[<] over words with a FO[+]-definable set.

Arthur Milchior

Comput., 2017

Büchi Automata Recognizing Sets of Reals Definable in First-Order Logic with Addition and Order.

Arthur Milchior

Proceedings of the Theory and Applications of Models of Computation, 2017

2014

A Note on Higher Order and Variable Order Logic over Finite Models.

Arthur Milchior

CoRR, 2014

2013

Review of logical foundation of proof complexity by Stephen Cook and Phuong Nguyen.

Arthur Milchior

SIGACT News, 2013

2012

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

IACR Cryptol. ePrint Arch., 2012