Computing a Partial Mapping by a P System: Design and Verification.
( , Ed.).__First Brainstorming Week on Membrane Computing . __ 247-260.

(2003).
Formal verification of a transition P system generating the set 2^n+n^2+n:n>=1.
( , Ed.).__First Brainstorming Week on Membrane Computing. __ 261-269.

(2003). - Books (11)
- Edited Books (28)
- Contributions to Book Chapters (42)
- Journal Papers (405)
- Papers in Collective Volumes (0)
- Technical Reports (3)
- Conference Contributions (285)
- Conference Proceedings (37)