1 | -- | 2 | Nadia Busi, Claudio Zandron. Preface |
3 | -- | 10 | Gheorghe Paun. Membrane Computing and Brane Calculi (Some Personal Notes) |
11 | -- | 23 | Bogdan Aman, Gabriel Ciobanu. Translating Mobile Ambients into P Systems |
25 | -- | 36 | Robert Brijder, Matteo Cavaliere, Agustin Riscos-Núñez, Grzegorz Rozenberg, Dragos Sburlan. Membrane Systems with Marked Membranes |
37 | -- | 53 | Matteo Cavaliere, Sean Sedwards. Membrane Systems with Peripheral Proteins: Transport and Evolution |
55 | -- | 67 | Federica Ciocchetta, Corrado Priami. Biological Transactions for Quantitative Models |
69 | -- | 79 | Giorgio Delzanno, Roberto Montagna. On Reachability and Spatial Reachability in Fragments of BioAmbients |
81 | -- | 93 | Daniel Díaz-Pernil, Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Agustin Riscos-Núñez. A Linear-time Tissue P System Based Solution for the 3-coloring Problem |
95 | -- | 104 | Giuditta Franco, Maurice Margenstern. Computing by Floating Strings |
105 | -- | 115 | Rudolf Freund, Marion Oswald. Tissue P Systems and (Mem)Brane Systems with Mate and Drip Operations Working on Strings |
117 | -- | 137 | Julian Gutiérrez, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia. Timed Concurrent Constraint Programming for Analysing Biological Systems |
139 | -- | 154 | Cosimo Laneve, Fabien Tarissan. A Simple Calculus for Proteins and Cells |
155 | -- | 170 | Corrado Priami, Alessandro Romanel. The Decidability of the Structural Congruence for Beta-binders |
171 | -- | 186 | Cristian Versari. Encoding Catalytic P Systems in pi@ |
187 | -- | 196 | Antonio Vitale, Giancarlo Mauri. Communication via Mobile Vesicles in Brane Calculi |
197 | -- | 208 | Verena Wolf. Modelling of Biochemical Reactions by Stochastic Automata Networks |
209 | -- | 222 | Xian Xu, Xiaoju Dong, Yuxi Fu. A Model in kappa for DNA Addition |