Gabriel Ciobanu

Contents

• Daniel A. Beard, Hong Qian, James B. Bassingthwaighte.

Stoichiometric foundation of large-scale biochemical system analysis

• Paulo R. A. Campos, Christoph Adami, Claus O. Wilke.

Modelling stochastic clonal interference

• Gabriel Ciobanu.

Software verification of biomolecular systems

• Oleg V. Demin, Galina V. Lebedeva, Alex G. Kolupaev, E. A. Zobova, T. Yu. Plyusnina, A. I. Lavrova, A. Dubinsky, E. A. Goryacheva, Frank Tobin, Igor I. Goryanin.

Kinetic modelling as a modern technology to explore and modify living cells

• Andrzej Ehrenfeucht, Tero Harju, Ion Petre, David M. Prescott, Grzegorz Rozenberg.

Modelling gene assembly in ciliates

• Masami Hagiya.

Towards molecular programming -- a personal report on DNA8 and Molecular Computing

• Sungchul Ji.

Molecular information theory: solving the mysteries of DNA

• Na'aman Kam, David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli, E. Jane Albert Hubbard, Michael J. Stern.

Formal modelling of C. elegans. development: a scenario-based approach

• Carlos Martin-Vide, Gheorghe Paun.

P Systems with symport/antiport rules: a survey

• Santo Motta, Vladimir Brusic.

Mathematical modelling of the immune system

• Aviv Regev, Ehud Shapiro.

The pi-calculus as an abstraction for biomolecular systems

• Barbel M. R. Stadler, Peter F. Stadler.

The topology of evolutionary biology

• Yi Zhou, Bud Mishra.

Models of genome evolution