Alec Henderson

According to our database, Alec Henderson authored at least 7 papers between 2018 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2022

Logarithmic SAT Solution with Membrane Computing.

Radu Nicolescu, Michael J. Dinneen, James Cooper, Alec Henderson, Yezhou Liu

Axioms, 2022

2021

Turing completeness of water computing.

Alec Henderson, Radu Nicolescu, Michael J. Dinneen, T. N. Chan, Hendrik Happe, Thomas Hinze

J. Membr. Comput., 2021

A Sublinear Sudoku Solution in cP Systems and its Formal Verification.

Yezhou Liu, Radu Nicolescu, Jing Sun, Alec Henderson

Comput. Sci. J. Moldova, 2021

2020

Membrane computing with water.

Thomas Hinze, Hendrik Happe, Alec Henderson, Radu Nicolescu

J. Membr. Comput., 2020

Solving a PSPACE-complete problem with cP systems.

Alec Henderson, Radu Nicolescu, Michael J. Dinneen

J. Membr. Comput., 2020

2018

Actor-Like cP Systems.

Alec Henderson, Radu Nicolescu

Proceedings of the Membrane Computing, 2018

An Introduction to cP Systems.

Radu Nicolescu, Alec Henderson

Proceedings of the Enjoying Natural Computing, 2018