No. Title Author Year
1 On the Power of Ordering in Linear Arithmetic Theories Chistikov, Dmitry et al. 2020
2 Rational Subsets of Baumslag-Solitar Groups Cadilhac, Michaƫl et al. 2020
3 The Big-O Problem for Labelled Markov Chains and Weighted Automata Chistikov, Dmitry et al. 2020
4 Asymmetric Distances for Approximate Differential Privacy Chistikov, Dmitry et al. 2019
5 O-Minimal Invariants for Linear Loops Almagor, Shaull et al. 2018
6 Fractional Coverings, Greedy Coverings, and Rectifier Networks Chistikov, Dmitry et al. 2017
7 On the Complexity of Quantified Integer Programming Chistikov, Dmitry et al. 2017
8 On Restricted Nonnegative Matrix Factorization Chistikov, Dmitry et al. 2016
9 The Taming of the Semi-Linear Set Chistikov, Dmitry et al. 2016
10 Notes on Counting with Finite Machines Chistikov, Dmitry 2014
Current Page :
Number of result pages: 1
Number of documents: 10


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI