Liverpool Skyline

Department of Computer Science

Dr Paul Bell

Dr Paul Bell

Publications

Conference Publication (journal proceedings)

Aljohani A, Lai DTC, Bell PC, Edirisinghe EA. 2017. A comparison of distance metrics in semi-supervised hierarchical clustering methods Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10363 LNAI :719-731 >DOI

Bell PC, Hirvensalo M, Potapov I. 2017. The identity problem for matrix semigroups in SL2(Z) is NP-complete Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, :187-206

Bell PC, Chen S, Jackson L. 2016. Scalar Ambiguity and Freeness in Matrix Semigroups over Bounded Languages Dediu AH, Janousek J, MartinVide C, Truthe B. LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS, LATA 2016, 10th International Conference on Language and Automata Theory and Applications (LATA) 9618 :493-505 >DOI >Link

Bell PC, Reidenbach D, Shallit J. 2015. Factorization in Formal Languages Potapov I. DEVELOPMENTS IN LANGUAGE THEORY (DLT 2015), 19th International Conference on Developments in Language Theory (DLT) 9168 :97-107 >DOI >Link

Bell PC, Chen S, Jackson L. 2014. Reachability and mortality problems for restricted hierarchical piecewise constant derivatives Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8762 :32-44

Bell PC, Chen S. 2013. Reachability Problems for Hierarchical Piecewise Constant Derivative Systems Abdulla PA, Potapov I. REACHABILITY PROBLEMS, 7th International Workshop on Reachability Problems (RP) 8169 :46-58 >Link

Bell PC, Hirvensalo M, Potapov I. 2012. Mortality for 2 x 2 Matrices Is NP-Hard Rovan B, Sassone V, Widmayer P. MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2012, 37th International Symposium on Mathematical Foundations of Computer Science, (MFCS) 7464 :148-159 >Link

Bell PC, Wong PWH. 2011. Multiprocessor Speed Scaling for Jobs with Arbitrary Sizes and Deadlines Ogihara M, Tarui J. THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, TAMC 2011, 8th Annual Conference on Theory and Applications of Models of Computation (TAMC) 6648 :27-36 >Link

Bell PC, Halava V, Hirvensalo M. 2010. On the Joint Spectral Radius for Bounded Matrix Languages Kucera A, Potapov I. REACHABILITY PROBLEMS, 4th International Workshop on Reachability Problems 6227 :91-+ >Link

Bell PC, Potapov I. 2009. The Identity Correspondence Problem and Its Applications Dong Y, Du DZ, Ibarra O. ALGORITHMS AND COMPUTATION, PROCEEDINGS, 20th International Symposium on Algorithms and Computations (ISAAC 2009) 5878 :657-667 >Link

Bell P, Potapov I. 2008. Periodic and infinite traces in matrix semigroups Geffert V, Karhumaki J, Bertoni A, Preneel B, Navrat P, Bielikova M. SOFSEM 2008: THEORY AND PRACTICE OF COMPUTER SCIENCE, 34th Conference on Current Trends in Theory and Practice of Computer Science 4910 :148-+ >Link

Bell P, Potapov I. 2007. Reachability problems in quaternion matrix and rotation semigroups Kucera L, Kucera A. MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2007, PROCEEDINGS, 32nd International Symposium on Mathematical Foundations of Computer Science 4708 :346-+ >Link

Bell P, Potapov I. 2006. Lowering undecidability bounds for decision questions in matrices Ibarra OH, Dang Z. DEVELOPMENTS IN LANGUAGE THEORY, PROCEEDINGS, 10th International Conference on Developments in Language Theory 4036 :375-385 >Link

Bell P, Potapov I. 2005. On the membership of invertible diagonal matrices Felice CD, Restivo R. DEVELOPMENTS IN LANGUAGE THEORY, PROCEEDINGS, 9th International Conference on Developments in Language Theory 3572 :146-157 >Link

Journal Articles

Bell PC, Chen S, Jackson L. 2016. On the decidability and complexity of problems for restricted hierarchical hybrid systems THEORETICAL COMPUTER SCIENCE, 652 :47-63 >DOI >Link

Bell PC, Wong PWH. 2015. Multiprocessor speed scaling for jobs with arbitrary sizes and deadlines JOURNAL OF COMBINATORIAL OPTIMIZATION, 29 :739-749 >DOI >Link

Bell PC, Halava V, Hirvensalo M. 2013. Decision Problems for Probabilistic Finite Automata on Bounded Languages FUNDAMENTA INFORMATICAE, 123 :1-14 >DOI >Link

Bell PC, Potapov I. 2012. On the Computational Complexity of Matrix Semigroup Problems FUNDAMENTA INFORMATICAE, 116 :1-13 >DOI >Link

Bell PC, Delvenne J-C, Jungers RM, Blondel VD. 2010. The continuous Skolem-Pisot problem THEORETICAL COMPUTER SCIENCE, 411 :3625-3634 >DOI >Link

Bell PC, Potapov I. 2010. ON THE UNDECIDABILITY OF THE IDENTITY CORRESPONDENCE PROBLEM AND ITS APPLICATIONS FOR WORD AND MATRIX SEMIGROUPS INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 21 :963-978 >DOI >Link

Bell P, Halava V, Harju T, Karhumaki J, Potapov I. 2008. MATRIX EQUATIONS AND HILBERT'S TENTH PROBLEM INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, 18 :1231-1241 >Link

Bell P, Potapov I. 2008. Reachability problems in quaternion matrix and rotation semigroups INFORMATION AND COMPUTATION, 206 :1353-1361 >DOI >Link

Bell P, Potapov I. 2008. On undecidability bounds for matrix decision problems THEORETICAL COMPUTER SCIENCE, 391 :3-13 >DOI >Link

Bell P, Halava V, Harju T, KarhumÄki J, Potapov I. 2008. Matrix equations and Hilbert's tenth problem International Journal of Algebra and Computation, 18 :1231-1241 >DOI

Bell P, Potapov I. 2007. On the membership of invertible diagonal and scalar matrices THEORETICAL COMPUTER SCIENCE, 372 :37-45 >DOI >Link

Bell P. 2007. A note on the emptiness of semigroup intersections FUNDAMENTA INFORMATICAE, 79 :1-4 >Link

Bell PC, Chen S, Jackson LM. Freeness Properties of Weighted and Probabilistic Automata over Bounded Languages Martin-Vide C, Truthe B. Information and Computation,