Pavel G. Emelyanov
According to our database1, Pavel G. Emelyanov authored at least 12 papers between 1996 and 2018.
Legend:Book In proceedings Article PhD thesis Other
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
Instant OS Updates via Userspace Checkpoint-and-Restart.
Proceedings of the 2016 USENIX Annual Technical Conference, 2016
AND-Decomposition of Boolean Polynomials with Prescribed Shared Variables.
Proceedings of the Algorithms and Discrete Applied Mathematics, 2016
Algorithmic issues of AND-decomposition of boolean formulas.
Programming and Computer Software, 2015
On Tractability of Disjoint AND-Decomposition of Boolean Formulas.
Proceedings of the Perspectives of System Informatics, 2014
Visualization Facilities in Program Reengineering.
Programming and Computer Software, 2001
On the maximal length of a snake in hypercubes of small dimension.
Discrete Mathematics, 2000
Semantic Analyzer of Modula-Programs.
Proceedings of the Static Analysis, 4th International Symposium, 1997
Analysis of the Equality Relations for the Program Terms.
Proceedings of the Static Analysis, Third International Symposium, 1996