Volume 404,
Numbers 1-2,
September 2008
Membrane Computing and Biologically Inspired Process Calculi
Foreword
Invited contributions
Regular papers
- Robert Brijder, Matteo Cavaliere, Agustin Riscos-Núñez, Grzegorz Rozenberg, Dragos Sburlan:
Membrane systems with proteins embedded in membranes.
26-39
Electronic Edition (link) BibTeX
- Matteo Cavaliere, Sean Sedwards:
Decision problems in membrane systems with peripheral proteins, transport and evolution.
40-51
Electronic Edition (link) BibTeX
- Erzsébet Csuhaj-Varjú, György Vaszil:
(Mem)brane automata.
52-60
Electronic Edition (link) BibTeX
- Pierre-Louis Curien, Vincent Danos, Jean Krivine, Min Zhang:
Computational self-assembly.
61-75
Electronic Edition (link) BibTeX
- Daniel Díaz-Pernil, Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Agustin Riscos-Núñez:
A uniform family of tissue P systems with cell division solving 3-COL in a linear time.
76-87
Electronic Edition (link) BibTeX
- Giuditta Franco, Maurice Margenstern:
A DNA computing inspired computational model.
88-96
Electronic Edition (link) BibTeX
- Nil Geisweiller, Jane Hillston, Marco Stenico:
Relating continuous and discrete PEPA models of signalling pathways.
97-111
Electronic Edition (link) BibTeX
- Jetty Kleijn, Maciej Koutny:
Processes of membrane systems with promoters and inhibitors.
112-126
Electronic Edition (link) BibTeX
- Cosimo Laneve, Fabien Tarissan:
A simple calculus for proteins and cells.
127-141
Electronic Edition (link) BibTeX
- Vincenzo Manca:
The metabolic algorithm for P systems: Principles and applications.
142-155
Electronic Edition (link) BibTeX
- Alessandro Romanel, Corrado Priami:
On the decidability and complexity of the structural congruence for beta-binders.
156-169
Electronic Edition (link) BibTeX
- Sergey Verlan, Francesco Bernardini, Marian Gheorghe, Maurice Margenstern:
Generalized communicating P systems.
170-184
Electronic Edition (link) BibTeX
Volume 404,
Number 3,
September 2008
International Symposium on Leveraging Applications of Formal Methods (ISoLA 2004)
Contributions
- Altaf Hussain, Michael Huth:
On model checking multiple hybrid views.
186-201
Electronic Edition (link) BibTeX
- Shoham Ben-David, Dana Fisman, Sitvanit Ruah:
Embedding finite automata within regular expressions.
202-218
Electronic Edition (link) BibTeX
- Shady Copty, Shai Fine, Shmuel Ur, Elad Yom-Tov, Avi Ziv:
A probabilistic alternative to regression suites.
219-234
Electronic Edition (link) BibTeX
- Muffy Calder, Alice Miller:
An automatic abstraction technique for verifying featured, parameterised systems.
235-255
Electronic Edition (link) BibTeX
- Franjo Ivancic, Zijiang Yang, Malay K. Ganai, Aarti Gupta, Pranav Ashar:
Efficient SAT-based bounded model checking for software verification.
256-274
Electronic Edition (link) BibTeX
- Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis:
Automatic generation of path conditions for concurrent timed systems.
275-292
Electronic Edition (link) BibTeX
- Jens Schönherr, Martin Freibothe, Bernd Straube, Jörg Bormann:
Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking.
293-307
Electronic Edition (link) BibTeX
Copyright © Sun May 17 00:25:16 2009
by Michael Ley (ley@uni-trier.de)
