Paul C. Bell

40 papers A* 2B 5C 4Journal 23Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Irreducibility of Semigroup Morphisms.
CoRR
Paul C. Bell, Eva Foster, Daniel Reidenbach
2024 J jnl
The membership problem for subsemigroups of GL2(Z) is NP-complete.
Inf. Comput.
Paul C. Bell, Mika Hirvensalo, Igor Potapov
2023 J jnl
Decision Questions for Probabilistic Automata on Small Alphabets.
Log. Methods Comput. Sci.
Paul C. Bell, Pavel Semukhin
2023 — conf
On the Identity and Group Problems for Complex Heisenberg Matrices.
RP
Paul C. Bell, Reino Niskanen, Igor Potapov, Pavel Semukhin
2023 J jnl
On the Identity and Group Problems for Complex Heisenberg Matrices.
CoRR
Paul C. Bell, Reino Niskanen, Igor Potapov, Pavel Semukhin
2022 J jnl
Polynomially ambiguous probabilistic automata on restricted languages.
J. Comput. Syst. Sci.
Paul C. Bell
2022 J jnl
Preface.
Fundam. Informaticae
Paul C. Bell, Igor Potapov, Sylvain Schmitz, Patrick Totzke
2022 J jnl
Towards Uniform Online Spherical Tessellations.
Discret. Comput. Geom.
Paul C. Bell, Igor Potapov
2021 B conf
Decision Questions for Probabilistic Automata on Small Alphabets.
MFCS
Paul C. Bell, Pavel Semukhin
2021 J jnl
Decision Questions for Probabilistic Automata on Small Alphabets.
CoRR
Paul C. Bell, Pavel Semukhin
2021 J jnl
On injectivity of quantum finite automata.
J. Comput. Syst. Sci.
Paul C. Bell, Mika Hirvensalo
2021 J jnl
On the mortality problem: From multiplicative matrix equations to linear recurrence sequences and beyond.
Inf. Comput.
Paul C. Bell, Igor Potapov, Pavel Semukhin
2021 — ed.
Reachability Problems - 15th International Conference, RP 2021, Liverpool, UK, October 25-27, 2021, Proceedings
RP
Paul C. Bell, Patrick Totzke, Igor Potapov
2020 B conf
Decidability of Cutpoint Isolation for Probabilistic Finite Automata on Letter-Bounded Inputs.
CONCUR
Paul C. Bell, Pavel Semukhin
2020 J jnl
Decidability of cutpoint isolation for letter-monotonic probabilistic finite automata.
CoRR
Paul C. Bell, Pavel Semukhin
2020 J jnl
Unique decipherability in formal languages.
Theor. Comput. Sci.
Paul C. Bell, Daniel Reidenbach, Jeffrey O. Shallit
2019 B conf
Acceptance Ambiguity for Quantum Automata.
MFCS
Paul C. Bell, Mika Hirvensalo
2019 J jnl
Acceptance Ambiguity for Quantum Automata.
CoRR
Paul C. Bell, Mika Hirvensalo
2019 J jnl
Decidability of the Mortality Problem: from multiplicative matrix equations to linear recurrence sequences and beyond.
CoRR
Paul C. Bell, Igor Potapov, Pavel Semukhin
2019 J jnl
Freeness properties of weighted and probabilistic automata over bounded languages.
Inf. Comput.
Paul C. Bell, Shang Chen, Lisa M. Jackson
2019 B conf
On the Mortality Problem: From Multiplicative Matrix Equations to Linear Recurrence Sequences and Beyond.
MFCS
Paul C. Bell, Igor Potapov, Pavel Semukhin
2019 A* conf
Polynomially Ambiguous Probabilistic Automata on Restricted Languages.
ICALP
Paul C. Bell
2019 J jnl
Polynomially Ambiguous Probabilistic Automata on Restricted Languages.
CoRR
Paul C. Bell
2019 C conf
Towards Uniform Online Spherical Tessellations.
CiE
Paul C. Bell, Igor Potapov
2018 J jnl
Towards Uniform Online Spherical Tessellations.
CoRR
Paul C. Bell, Igor Potapov
2017 — conf
A Comparison of Distance Metrics in Semi-supervised Hierarchical Clustering Methods.
ICIC (3)
Abeer Aljohani, Daphne Teck Ching Lai, Paul C. Bell, Eran A. Edirisinghe
2017 A* conf
The Identity Problem for Matrix Semigroups in SL
SODA
Paul C. Bell, Mika Hirvensalo, Igor Potapov
2016 J jnl
On the decidability and complexity of problems for restricted hierarchical hybrid systems.
Theor. Comput. Sci.
Paul C. Bell, Shang Chen, Lisa M. Jackson
2016 C conf
Scalar Ambiguity and Freeness in Matrix Semigroups over Bounded Languages.
LATA
Paul C. Bell, Shang Chen, Lisa M. Jackson
2015 C conf
Factorization in Formal Languages.
DLT
Paul C. Bell, Daniel Reidenbach, Jeffrey O. Shallit
2015 J jnl
Multiprocessor speed scaling for jobs with arbitrary sizes and deadlines.
J. Comb. Optim.
Paul C. Bell, Prudence W. H. Wong
2014 — conf
Reachability and Mortality Problems for Restricted Hierarchical Piecewise Constant Derivatives.
RP
Paul C. Bell, Shang Chen, Lisa M. Jackson
2013 J jnl
Decision Problems for Probabilistic Finite Automata on Bounded Languages.
Fundam. Informaticae
Paul C. Bell, Vesa Halava, Mika Hirvensalo
2013 — conf
Reachability Problems for Hierarchical Piecewise Constant Derivative Systems.
RP
Paul C. Bell, Shang Chen
2012 B conf
Mortality for 2×2 Matrices Is NP-Hard.
MFCS
Paul C. Bell, Mika Hirvensalo, Igor Potapov
2012 J jnl
On the Computational Complexity of Matrix Semigroup Problems.
Fundam. Informaticae
Paul C. Bell, Igor Potapov
2011 C conf
Multiprocessor Speed Scaling for Jobs with Arbitrary Sizes and Deadlines.
TAMC
Paul C. Bell, Prudence W. H. Wong
2010 J jnl
On the Undecidability of the Identity Correspondence Problem and its Applications for Word and Matrix Semigroups.
Int. J. Found. Comput. Sci.
Paul C. Bell, Igor Potapov
2010 J jnl
The continuous Skolem-Pisot problem.
Theor. Comput. Sci.
Paul C. Bell, Jean-Charles Delvenne, Raphaël M. Jungers, Vincent D. Blondel
2007 — —
Computational problems in matrix semigroups.
Paul C. Bell