Detecting palindromes, patterns and borders in regular languages, Inf. Comput, vol.207, issue.11, pp.1096-1118, 2009. ,

Graph Modification Problems (Dagstuhl Seminar 14071, 2014. ,

The Complexity of Theorem-Proving Procedures, Proceedings of the Third Annual ACM Symposium on Theory of Computing, pp.151-158, 1971. ,

The String Edit Distance Matching Problem With Moves, ACM Transactions on Algorithms (TALG), vol.3, issue.1, pp.1-2, 2007. ,

Unary integer linear programming with structural restrictions, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, pp.1284-1290, 2018. ,

The Convenience of Tilings, Lecture Notes in Pure and Applied Mathematics, pp.331-363, 1997. ,

The complexity landscape of decompositional parameters for ILP, Artif. Intell, vol.257, pp.61-71, 2018. ,

A survey of graph edit distance, Pattern Analysis and Applications, vol.13, issue.1, pp.113-129, 2010. ,

Deciding Regular Intersection Emptiness of Complete Problems for PSPACE and the Polynomial Hierarchy, International Conference on Language and Automata Theory and Applications, pp.156-168, 2018. ,

Interval linear programming: A survey, Linear Programming -New Frontiers in Theory and Applications, pp.85-120, 2012. ,

Set automata, Combinatorics, Complexity and Logic; Proceedings of the DMTCS'96, 1996. ,

Image Segmentation with A Bounding Box Prior, ICCV, pp.277-284, 2009. ,

Two-View Motion Segmentation from Linear Programming Relaxation, Computer Vision and Pattern Recognition, pp.1-8, 2007. ,

An Overview of Kernelization Algorithms for Graph Modification Problems, Tsinghua Science and Technology, vol.19, issue.4, pp.346-357, 2014. ,

Regular realizability problems and regular languages, 2015. ,

Regular realizability problems and models of a generalized nondeterminism, 2011. ,

Orbits of linear maps and regular languages, Computer Science -Theory and Applications -6th International Computer Science Symposium in Russia, pp.305-316, 2011. ,

On models of a nondeterministic computation, Computer Science -Theory and Applications, Fourth International Computer Science Symposium in Russia, pp.334-345, 2009. ,

On regular realizability problems, Probl. Inf. Transm, vol.47, issue.4, pp.342-352, 2011. ,

On expressive power of regular realizability problems, Probl. Inf. Transm, vol.49, issue.3, pp.276-291, 2013. ,

On regular realizability problems for context-free languages, Probl. Inf. Transm, vol.51, issue.4, pp.349-360, 2015. ,

, Computational Complexity, 1986.

Decidability of the Regular Intersection Emptiness Problem, 2018. ,