1.Asymmetric Distances for Approximate Differential Privacy

作　　者：Dmitry Chistikov ;Andrzej S. Murawski ;David Purser

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;140:1-17.doi:10.4230/LIPIcs.CONCUR.2019.10

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：238891918

文章详细全文下载

2.Fractional Coverings, Greedy Coverings, and Rectifier Networks

作　　者：Dmitry Chistikov ;Szabolcs Iv{\'a}n ;Anna Lubiw 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;66:23:1-23:14.doi:10.4230/LIPIcs.STACS.2017.23

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：191698352

文章详细全文下载

3.On the Complexity of Quantified Integer Programming

作　　者：Dmitry Chistikov ;Christoph Haase

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;80:94:1-94:13.doi:10.4230/LIPIcs.ICALP.2017.94

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：198372048

文章详细全文下载

4.The Big-O Problem for Labelled Markov Chains and Weighted Automata

作　　者：Dmitry Chistikov ;Stefan Kiefer ;Andrzej S. Murawski 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:41:1-41:19.doi:10.4230/LIPIcs.CONCUR.2020.41

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：255822900

文章详细全文下载

5.Rational Subsets of Baumslag-Solitar Groups

作　　者：Micha{"e}l Cadilhac ;Dmitry Chistikov ;Georg Zetzsche

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;168:116:1-116:16.doi:10.4230/LIPIcs.ICALP.2020.116

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：255823151

文章详细全文下载

6.On the Power of Ordering in Linear Arithmetic Theories

作　　者：Dmitry Chistikov ;Christoph Haase

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;168:119:1-119:15.doi:10.4230/LIPIcs.ICALP.2020.119

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：255823154

文章详细全文下载

7.O-Minimal Invariants for Linear Loops

作　　者：Shaull Almagor ;Dmitry Chistikov ;Jo{\"e}l Ouaknine 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;107:114:1-114:14.doi:10.4230/LIPIcs.ICALP.2018.114

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：220014905

文章详细

8.Notes on Counting with Finite Machines

作　　者：Dmitry Chistikov

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2014 ;29:339-350.doi:10.4230/LIPIcs.FSTTCS.2014.339

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186846617

文章详细全文下载

9.On Restricted Nonnegative Matrix Factorization

作　　者：Dmitry Chistikov ;Stefan Kiefer ;Ines Marusic 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;55:103:1-103:14.doi:10.4230/LIPIcs.ICALP.2016.103

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186847700

文章详细全文下载

10.The Taming of the Semi-Linear Set

作　　者：Dmitry Chistikov ;Christoph Haase

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;55:128:1-128:13.doi:10.4230/LIPIcs.ICALP.2016.128

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186847725

文章详细全文下载

	有本地全文	9篇
	有全文链接	2篇

	2022	1篇
	2020	3篇
	2019	1篇
	2018	1篇
	2017	2篇

	James Worrell	2篇
	Anna Lubiw	1篇
	Georg Zetzsche	1篇
	Ines Marusic	1篇
	Jeffrey Shallit	1篇
	Jo{\"e}l Ouaknine	1篇
	Mahsa Shirmohammadi	1篇
	Micha{"e}l Cadilhac	1篇
	Shaull Almagor	1篇
	Szabolcs Iv{\'a}n	1篇

	LIPIcs : Leibniz International Proceedings in Informatics	10篇
	Logical Methods in Computer Science	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Dmitry Chistikov")))) )) ) )"

	Dmitry Chistikov	11篇
	Andrzej S. Murawski	3篇
	Christoph Haase	3篇
	David Purser	3篇
	Stefan Kiefer	3篇