Arthur Milchior

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