Alec Henderson

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 10

Top Topics

Systems Require

Formal Verification

Np Complete Problems

Top Venues

J. Membr. Comput.

Int. Conf. on Membrane Computing

Enjoying Natural Computing

Publications

Nicoló Civiero, Alec Henderson, Thomas Hinze, Radu Nicolescu, Claudio Zandron
Implementing perceptrons by means of water-based computing. J. Membr. Comput. 6 (1) (2024)
Michael J. Dinneen, Alec Henderson, Radu Nicolescu
Sublinear P system solutions to NP-complete problems. Theor. Comput. Sci. 958 (2023)
Alec Henderson, Radu Nicolescu, Michael J. Dinneen, T. N. Chan, Hendrik Happe, Thomas Hinze
Programmable and parallel water computing. J. Membr. Comput. 5 (1) (2023)
Radu Nicolescu, Michael J. Dinneen, James Cooper, Alec Henderson, Yezhou Liu
Logarithmic SAT Solution with Membrane Computing. Axioms 11 (1) (2022)
Alec Henderson, Radu Nicolescu, Michael J. Dinneen, T. N. Chan, Hendrik Happe, Thomas Hinze
Turing completeness of water computing. J. Membr. Comput. 3 (3) (2021)
Yezhou Liu, Radu Nicolescu, Jing Sun, Alec Henderson
A Sublinear Sudoku Solution in cP Systems and its Formal Verification. Comput. Sci. J. Moldova 29 (1) (2021)
Thomas Hinze, Hendrik Happe, Alec Henderson, Radu Nicolescu
Membrane computing with water. J. Membr. Comput. 2 (2) (2020)
Alec Henderson, Radu Nicolescu, Michael J. Dinneen
Solving a PSPACE-complete problem with cP systems. J. Membr. Comput. 2 (4) (2020)
Alec Henderson, Radu Nicolescu
Actor-Like cP Systems. Int. Conf. on Membrane Computing (2018)
Radu Nicolescu, Alec Henderson
An Introduction to cP Systems. Enjoying Natural Computing (2018)