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

Space and Time over the Web., and . WWW (Posters), (2003)Verification of critical systems described in real-time TiMo., and . Int. J. Softw. Tools Technol. Transf., 19 (4): 395-408 (2017)Rewriting Systems Over Indexed Multisets., and . Comput. J., 57 (1): 165-179 (2014)Describing IEEE 802.11 Wireless Mechanisms by Using the pi-Calculus and Performance Evaluation Process Algebra., and . FORTE Workshops, volume 3236 of Lecture Notes in Computer Science, page 233-247. Springer, (2004)Self-organizing Distribution of Agents over Hosts., and . ISCIS, volume 3733 of Lecture Notes in Computer Science, page 462-471. Springer, (2005)A S2P ÈP2P\Sigma_2^P \Pi_2^P Lower Bound Using Mobile Membranes., and . DCFS, volume 6808 of Lecture Notes in Computer Science, page 275-288. Springer, (2011)On the Computational Power of Enhanced Mobile Membranes., and . CiE, volume 5028 of Lecture Notes in Computer Science, page 326-335. Springer, (2008)Encodings and Arithmetic Operations in Membrane Computing., , and . TAMC, volume 3959 of Lecture Notes in Computer Science, page 621-630. Springer, (2006)Continuation Semantics for Concurrency with Multiple Channels Communication., and . ICFEM, volume 9407 of Lecture Notes in Computer Science, page 400-416. Springer, (2015)Model-based Testing and Analysis of Coordinated Components., and . ECEASST, (2009)