Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical 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
a service of 
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.
last updated on 2024-04-22 20:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
