Pavel G. Emelyanov
According to our database^{1},
Pavel G. Emelyanov
authored at least 12 papers
between 1996 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepage:

at orcid.org
On csauthors.net:
Bibliography
2018
Mobile Applications as Tools of Alternative Communication, Diagnostics and Language Development for Children with Language Disorders.
Proceedings of the Social Informatics, 2018
On Two Kinds of Dataset Decomposition.
Proceedings of the Computational Science  ICCS 2018, 2018
On a Polytime Factorization Algorithm for Multilinear Polynomials over \mathbb F_2.
Proceedings of the Computer Algebra in Scientific Computing  20th International Workshop, 2018
2016
Instant OS Updates via Userspace CheckpointandRestart.
Proceedings of the 2016 USENIX Annual Technical Conference, 2016
ANDDecomposition of Boolean Polynomials with Prescribed Shared Variables.
Proceedings of the Algorithms and Discrete Applied Mathematics, 2016
2015
Algorithmic issues of ANDdecomposition of boolean formulas.
Programming and Computer Software, 2015
2014
Containers.
;login:, 2014
On Tractability of Disjoint ANDDecomposition of Boolean Formulas.
Proceedings of the Perspectives of System Informatics, 2014
2001
Visualization Facilities in Program Reengineering.
Programming and Computer Software, 2001
2000
On the maximal length of a snake in hypercubes of small dimension.
Discrete Mathematics, 2000
1997
Semantic Analyzer of ModulaPrograms.
Proceedings of the Static Analysis, 4th International Symposium, 1997
1996
Analysis of the Equality Relations for the Program Terms.
Proceedings of the Static Analysis, Third International Symposium, 1996