Journal: Electronic Notes in Theoretical Computer Science

Volume 171, Issue 2

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