BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Dmitry Chistikov
SearchCollections
Map detail
Dmitry Chistikov13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipDmitry ChistikovADmitry ChistikovResearcherPresburger arithmetic with threshold counting quantifiers is easyWPresburger arithmetic w...preprint / 2021Subcubic Certificates for CFL ReachabilityWSubcubic Certificates f...preprint / 2021Convergence of Opinion Diffusion is PSPACE-completeWConvergence of Opinion ...preprint / 2020Globe-hoppingWGlobe-hoppingpreprint / 2020Bisimilarity Distances for Approximate Differential PrivacyWBisimilarity Distances ...preprint / 2018Unary Pushdown Automata and Straight-Line ProgramsWUnary Pushdown Automata...preprint / 2014Approximate Counting in SMT and Value Estimation for Probabilistic ProgramsWApproximate Counting in...preprint / 2015On Restricted Nonnegative Matrix FactorizationWOn Restricted Nonnegati...preprint / 2016Fractional coverings, greedy coverings, and rectifier networksWFractional coverings, g...preprint / 2016Context-Free Commutative Grammars with Integer Counters and ResetsWContext-Free Commutativ...preprint / 2016Hitting Families of Schedules for Asynchronous ProgramsWHitting Families of Sch...preprint / 2016Rational subsets of Baumslag-Solitar groupsWRational subsets of Bau...preprint / 2020
Person12 links

Dmitry Chistikov

Researcher

PaperPresburger arithmetic with threshold counting quantifiers is easyAuthorship / preprint / 2021PaperSubcubic Certificates for CFL ReachabilityAuthorship / preprint / 2021PaperConvergence of Opinion Diffusion is PSPACE-completeAuthorship / preprint / 2020PaperGlobe-hoppingAuthorship / preprint / 2020PaperBisimilarity Distances for Approximate Differential PrivacyAuthorship / preprint / 2018PaperUnary Pushdown Automata and Straight-Line ProgramsAuthorship / preprint / 2014PaperApproximate Counting in SMT and Value Estimation for Probabilistic ProgramsAuthorship / preprint / 2015PaperOn Restricted Nonnegative Matrix FactorizationAuthorship / preprint / 2016

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)