


default search action
Theoretical Computer Science, Volume 623
Volume 623, April 2016
- Lila Kari:

Editorial. 1
- Felipe García-Ramos

:
Limit behaviour of μ-equicontinuous cellular automata. 2-14 - Robert J. Colvin:

Modelling and analysing neural networks using a hybrid process algebra. 15-64 - Petr Sosík

, Miroslav Langer
:
Small (purely) catalytic P systems simulating register machines. 65-74 - Lvzhou Li, Daowen Qiu:

Lower bounds on the size of semi-quantum finite automata. 75-82 - Linqiang Pan

, Gheorghe Paun, Bosheng Song:
Flat maximal parallelism in P systems with promoters. 83-91 - Bogdan Aman

, Gabriel Ciobanu
:
Modelling and verification of weighted spiking neural systems. 92-102 - Sepinoud Azimi

, Cristian Gratie, Sergiu Ivanov, Luca Manzoni
, Ion Petre
, Antonio E. Porreca
:
Complexity of model checking for reaction systems. 103-113 - Roberto Barbuti, Roberta Gori, Francesca Levi, Paolo Milazzo

:
Investigating dynamic causalities in reaction systems. 114-145 - Xu Chen

, Mario J. Pérez-Jiménez
, Luis Valencia-Cabrera
, Beizhan Wang, Xiangxiang Zeng
:
Computing with viruses. 146-159 - Michael Hellwig

, Hans-Georg Beyer
:
Mutation strength control via meta evolution strategies on the ellipsoid model. 160-179 - Tingfang Wu, Zhiqiang Zhang

, Gheorghe Paun, Linqiang Pan
:
Cell-like spiking neural P systems. 180-189

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














