Dmitry Chistikov

Available identifiers

zbMath Open chistikov.dmitry-vMaRDI QIDQ1683926

List of research outcomes

Publication	Date of Publication	Type
Quantifier elimination for counting extensions of Presburger arithmetic	2024-01-23	Paper
Bisimilarity distances for approximate differential privacy	2023-07-28	Paper
https://portal.mardi4nfdi.de/entity/Q5875371	2023-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q5094125	2022-08-02	Paper
https://portal.mardi4nfdi.de/entity/Q5089308	2022-07-18	Paper
O-Minimal Invariants for Discrete-Time Dynamical Systems	2022-02-24	Paper
Globe-hopping	2021-10-29	Paper
O-Minimal Invariants for Discrete-Time Dynamical Systems	2021-07-28	Paper
Re-pairing brackets	2021-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q5111426	2020-05-27	Paper
Approximate Counting in SMT and Value Estimation for Probabilistic Programs	2019-09-17	Paper
Hitting Families of Schedules for Asynchronous Programs	2019-05-03	Paper
Shortest Paths in One-Counter Systems	2019-03-18	Paper
On Rationality of Nonnegative Matrix Factorization	2018-07-16	Paper
Context-free commutative grammars with integer counters and resets	2018-06-05	Paper
The complexity of regular abstractions of one-counter languages	2018-04-23	Paper
Fractional coverings, greedy coverings, and rectifier networks	2018-04-19	Paper
https://portal.mardi4nfdi.de/entity/Q4598244	2017-12-19	Paper
https://portal.mardi4nfdi.de/entity/Q4598270	2017-12-19	Paper
Approximate counting in SMT and value estimation for probabilistic programs	2017-12-01	Paper
Nonnegative Matrix Factorization Requires Irrationality	2017-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q2978526	2017-04-25	Paper
Synchronizing Automata over Nested Words	2016-06-10	Paper
Shortest Paths in One-Counter Systems	2016-06-10	Paper
Certificates of Non-Membership for Classes of Read-Once Functions	2014-12-22	Paper
Unary Pushdown Automata and Straight-Line Programs	2014-07-01	Paper
Using relevance queries for identification of read-once functions	2013-11-04	Paper
A Uniformization Theorem for Nested Word to Word Transductions	2013-08-07	Paper
Learning read once functions using subcube parity queries	2012-12-12	Paper
Read-once functions with hard-to-test projections	2012-11-20	Paper
Testing read-once functions over the elementary basis	2012-11-20	Paper
Iterated Boolean functions in the elementary basis	2012-11-20	Paper
Checking Tests for Read-Once Functions over Arbitrary Bases	2012-09-10	Paper
Testing Monotone Read-Once Functions	2012-01-13	Paper
https://portal.mardi4nfdi.de/entity/Q3013165	2011-07-18	Paper
On the relationship between diagnostic and checking tests of the read-once functions	2011-06-03	Paper
Some test length bounds for nonrepeating functions in the \(\{ \& , \vee \}\) basis	2011-01-10	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Dmitry Chistikov