Author of the publication

On the Reachability Problem in P Systems with Mobile Membranes.

, and . Workshop on Membrane Computing, volume 4860 of Lecture Notes in Computer Science, page 113-123. Springer, (2007)

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

Formalizing the Behavior of Biological Processes with Mobility., and . UC, volume 6079 of Lecture Notes in Computer Science, page 187. Springer, (2010)Typed Membrane Systems., and . Workshop on Membrane Computing, volume 5957 of Lecture Notes in Computer Science, page 169-181. Springer, (2009)Imprecise Probability for Multiparty Session Types in Process Algebra., and . CoRR, (2020)Foundations of Reversible Computation., , , , , , , , , and 5 other author(s). Selected Results of the COST Action IC1405, volume 12070 of Lecture Notes in Computer Science, Springer, (2020)Computational Power of Protein Interaction Networks., and . UCNC, volume 7956 of Lecture Notes in Computer Science, page 248-249. Springer, (2013)Solving the 4QBF Problem in Polynomial Time by Using the Biological-Inspired Mobility., , and . ICDCIT, volume 7753 of Lecture Notes in Computer Science, page 432-443. Springer, (2013)On the Reachability Problem in P Systems with Mobile Membranes., and . Workshop on Membrane Computing, volume 4860 of Lecture Notes in Computer Science, page 113-123. Springer, (2007)Real-Time Migration Properties of rTiMo Verified in Uppaal., and . SEFM, volume 8137 of Lecture Notes in Computer Science, page 31-45. Springer, (2013)Behavioural Types Inspired by Cellular Thresholds., and . SEFM Workshops, volume 8368 of Lecture Notes in Computer Science, page 29-43. Springer, (2013)Mobile Membranes with Objects on Surface as Colored Petri Nets., and . Int. Conf. on Membrane Computing, volume 7762 of Lecture Notes in Computer Science, page 128-144. Springer, (2012)