0 | -- | 0 | Thomas Ferrère, Oded Maler, Dejan Nickovic, Amir Pnueli. From Real-time Logic to Timed Automata |
0 | -- | 0 | Paul Beame, Vincent Liew. Toward Verifying Nonlinear Integer Arithmetic |
0 | -- | 0 | Pierre Fraigniaud, Amos Korman, Yoav Rodeh. Parallel Bayesian Search with No Coordination |
0 | -- | 0 | Daniel M. Kane, Shachar Lovett, Shay Moran. Near-optimal Linear Decision Trees for k-SUM and Related Problems |
0 | -- | 0 | Heng Guo 0001, Mark Jerrum, Jingcheng Liu 0001. Uniform Sampling Through the Lovász Local Lemma |
0 | -- | 0 | Joël Ouaknine, Amaury Pouly, João Sousa Pinto, James Worrell 0001. On the Decidability of Membership in Matrix-exponential Semigroups |
0 | -- | 0 | Xavier Goaoc, Pavel Paták, Zuzana Patáková, Martin Tancer, Uli Wagner 0001. Shellability is NP-complete |
0 | -- | 0 | Éva Tardos. Invited Articles Foreword |
0 | -- | 0 | Nathanael L. Ackerman, Cameron E. Freer, Daniel M. Roy 0001. On the Computability of Conditional Probability |