Author of the publication

Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings.

, , , and . Int. Conf. on Membrane Computing, volume 6501 of Lecture Notes in Computer Science, page 103-118. Springer, (2010)

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

Application of a Semi-automatic Algorithm for Identification of Molecular Components in SBML Models., , and . WIVACE, volume 130 of EPTCS, page 43-52. (2013)Privacy in Real-Time Systems., , and . MTCS, volume 52 of Electronic Notes in Theoretical Computer Science, page 295-305. Elsevier, (2001)Modular Verification of Interactive Systems with an Application to Biology., , and . CS2Bio, volume 268 of Electronic Notes in Theoretical Computer Science, page 61-75. Elsevier, (2010)Process Communication Environment., and . NAPAW, page 27-40. Springer, (1992)The Calculus of Looping Sequences., , , , and . SFM, volume 5016 of Lecture Notes in Computer Science, page 387-423. Springer, (2008)Modelling a Solution for a Control Problem in Distributed Systems by Restrictions., , and . Formale Modelle für Informationssysteme, volume 21 of Informatik-Fachberichte, page 199-201. Springer, (1979)An Intermediate Language for the Simulation of Biological Systems., , , and . FBTC@CONCUR, volume 194 of Electronic Notes in Theoretical Computer Science, page 19-34. Elsevier, (2007)Formal Models of Timing Attacks on Web Privacy., , , , , , and . TOSCA, volume 62 of Electronic Notes in Theoretical Computer Science, page 229-243. Elsevier, (2001)Compositional Synthesis of Generalized Mealy Machines., and . Fundam. Informaticae, 60 (1-4): 367-382 (2004)A Truly Concurrent Semantics for Timed Default Concurrent Constraint Programming., and . ECOOP Workshops, volume 1743 of Lecture Notes in Computer Science, page 256-258. Springer, (1999)