Author of the publication

Specification of Adleman's Restricted Model Using an Automated Reasoning System: Verification of Lipton's Experiment.

, , and . UMC, volume 2509 of Lecture Notes in Computer Science, page 126-136. Springer, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Spike Trains in Spiking Neural P Systems., , and . Int. J. Found. Comput. Sci., 17 (4): 975-1002 (2006)Computing Morphisms by Spiking Neural P Systems., , and . Int. J. Found. Comput. Sci., 18 (6): 1371-1382 (2007)Spiking Neural P Systems: an Early Survey., , and . Int. J. Found. Comput. Sci., 18 (3): 435-455 (2007)Generation of Diophantine Sets by Computing P Systems with External Output., and . UMC, volume 2509 of Lecture Notes in Computer Science, page 176-190. Springer, (2002)P and dP Automata: A Survey., and . Rainbow of Computer Science, volume 6570 of Lecture Notes in Computer Science, page 102-115. Springer, (2011)A MzScheme Implementation of Transition P Systems., , and . WMC-CdeA, volume 2597 of Lecture Notes in Computer Science, page 58-73. Springer, (2002)The Efficiency of Tissue P Systems with Cell Separation Relies on the Environment., , , , and . Int. Conf. on Membrane Computing, volume 7762 of Lecture Notes in Computer Science, page 243-256. Springer, (2012)DCBA: Simulating Population Dynamics P Systems with Proportional Object Distribution., , , , , , , , , and . Int. Conf. on Membrane Computing, volume 7762 of Lecture Notes in Computer Science, page 257-276. Springer, (2012)Design of Specific P Systems Simulators on GPUs., , , , , and . Int. Conf. on Membrane Computing, volume 11399 of Lecture Notes in Computer Science, page 202-207. Springer, (2018)Membrane Dissolution and Division in P., , , and . UC, volume 5715 of Lecture Notes in Computer Science, page 262-276. Springer, (2009)