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.