Revised Papers from the 7th International Workshop on DNA-Based Computers: DNA Computing

DNA and membrane algorithms for SAT

Fundamenta Informaticae - Membrane computing

A Clause String DNA Algorithm for SAT

DNA 7 Revised Papers from the 7th International Workshop on DNA-Based Computers: DNA Computing

A Software Tool for Generating Non-crosshybridizing Libraries of DNA Oligonucleotides

DNA8 Revised Papers from the 8th International Workshop on DNA Based Computers: DNA Computing

DNA and Membrane Algorithms for SAT

Fundamenta Informaticae - Membrane Computing (WMC-CdeA2001)

Computing maximal Kleene closures that are embeddable in a given subword-closed language

Natural Computing: an international journal