default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta Informaticae, Volume 134
Volume 134, Numbers 1-2, 2014
- Marian Gheorghe
, Gheorghe Paun, Agustin Riscos-Núñez, Grzegorz Rozenberg:
Enjoying to Work. v-vi - Adrià Alcalà, Mercè Llabrés, Francesc Rosselló, Pau Rullan:
Tree-Child Cluster Networks. 1-15 - Artiom Alhazov, Rudolf Freund, Sergiu Ivanov:
Length P Systems. 17-37 - Péter Battyányi, György Vaszil:
Describing Membrane Computations with a Chemical Calculus. 39-50 - Ludek Cienciala, Lucie Ciencialová, Erzsébet Csuhaj-Varjú:
P Colonies Processing Strings. 51-65 - Gabriel Ciobanu, Dragos Sburlan:
Monitoring Changes in Dynamic Multiset Systems. 67-82 - Daniel Díaz-Pernil, Francisco Peña-Cantillana, Artiom Alhazov, Rudolf Freund, Miguel Angel Gutiérrez-Naranjo:
Antimatter as a Frontier of Tractability in Membrane Computing. 83-96 - Savas Konur, Marian Gheorghe, Ciprian Dragomir, Florentin Ipate, Natalio Krasnogor:
Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example. 97-110 - Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron:
Constant-Space P Systems with Active Membranes. 111-128 - Niall Murphy, Damien Woods:
Uniformity is Weaker than Semi-Uniformity for Some Membrane Systems. 129-152 - David Orellana-Martín, Carmen Graciani Díaz, Luis-Felipe Macías-Ramos, Miguel Ángel Martínez-del-Amor, Agustin Riscos-Núñez, Álvaro Romero Jiménez, Luis Valencia-Cabrera:
Sevilla Carpets Revisited: Enriching the Membrane Computing Toolbox. 153-166 - Andrei Paun, Petr Sosík:
Three Universal Homogeneous Spiking Neural P Systems Using Max Spike. 167-182 - Zihan Xu, Matteo Cavaliere, Pei An, Sarma B. K. Vrudhula, Yu Cao:
The Stochastic Loss of Spikes in Spiking Neural P Systems: Design and Implementation of Reliable Arithmetic Circuits. 183-200 - Xingyi Zhang, Xiangxiang Zeng, Linqiang Pan:
Weighted Spiking Neural P Systems with Rules on Synapses. 201-218
Volume 134, Numbers 3-4, 2014
- Pierpaolo Degano, Juhani Karhumäki, Paolo Massazza:
From Models to Languages. i - Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino:
Circular Causality in Event Structures. 219-259 - Stefano Bistarelli, Francesco Santini:
A Secure Non-monotonic Soft Concurrent Constraint Language. 261-285 - Roberto Bruni, Ugo Montanari, Gordon D. Plotkin, Daniele Terreni:
On Hierarchical Graphs: Reconciling Bigraphs, Gs-monoidal Theories and Gs-graphs. 287-317 - Giusi Castiglione, Marinella Sciortino:
Epichristoffel Words and Minimization of Moore Automata. 319-333 - Carlo Comin:
Algebraic Characterization of the Class of Languages Recognized by Measure Only Quantum Automata. 335-353 - Letterio Galletta:
An Abstract Interpretation Framework for Type and Effect Systems. 355-393 - Furio Honsell, Marina Lenisa, Daniel Pellarini:
Categories of Coalgebraic Games with Selective Sum. 395-414
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-11-21 20:19 CET 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:
