Arthur Milchior

Publication Activity (10 Years)

Years Active: 2012-2018
Publications (10 Years): 7

Top Topics

Relational Algebra

Transitive Closure

Propositional Logic

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Arthur Milchior
Spectra and satisfiability for logics with successor and a unary function. Math. Log. Q. 64 (4-5) (2018)
Thomas Brihaye, Gilles Geeraerts, Hsi-Ming Ho, Arthur Milchior, Benjamin Monmege
Efficient Algorithms and Tools for MITL Model-Checking and Synthesis. ICECCS (2018)
Arthur Milchior
(Quasi-)linear time algorithm to compute LexDFS, LexUP and LexDown orderings. CoRR (2017)
Arthur Milchior
A Quasi-Linear Time Algorithm Deciding Whether Weak Büchi Automata Reading Vectors of Reals Recognize Saturated Languages. CoRR (2017)
Arthur Milchior
Büchi Automata Recognizing Sets of Reals Definable in First-Order Logic with Addition and Order. TAMC (2017)
Arthur Milchior
Undecidability of satisfiability of expansions of FO[<] over words with a FO[+]-definable set. Comput. 6 (4) (2017)
Arthur Milchior
Büchi automata recognizing sets of reals definable in first-order logic with addition and order. CoRR (2016)
Arthur Milchior
A Note on Higher Order and Variable Order Logic over Finite Models. CoRR (2014)
Arthur Milchior
Review of logical foundation of proof complexity by Stephen Cook and Phuong Nguyen. SIGACT News 44 (2) (2013)
Sébastien Briais, Stéphane Caron, Jean-Michel Cioranesco, Jean-Luc Danger, Sylvain Guilley, Jacques-Henri Jourdan, Arthur Milchior, David Naccache, Thibault Porteboeuf
3D Hardware Canaries. CHES (2012)
Sébastien Briais, Stéphane Caron, Jean-Michel Cioranesco, Jean-Luc Danger, Sylvain Guilley, Jacques-Henri Jourdan, Arthur Milchior, David Naccache, Thibault Porteboeuf
3D Hardware Canaries. IACR Cryptol. ePrint Arch. 2012 (2012)