Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Journal=International Journal of Foundations of Computer Science AND Volume=22
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
On strong reversibility in P systems and related problems
Oscar H. Ibarra
International Journal of Foundations of Computer Science
22
(1), 2011, pp. 7-14
On string languages generated by spiking neural P systems with anti-spikes
Kamala Krithivasan
,
Venkata Padmavati Metta
,
Deepak Garg
International Journal of Foundations of Computer Science
22
(1), 2011, pp. 15-27
Computation of Ramsey numbers by P systems with active membranes
Linqiang Pan
,
Daniel Díaz-Pernil
,
Mario J. Pérez-Jiménez
International Journal of Foundations of Computer Science
22
(1), 2011, pp. 29-38
P systems with proteins on membranes: A survey
Andrei Păun
,
Mihaela Păun
,
Alfonso Rodríguez-Patón
,
Manuela Sidoroff
International Journal of Foundations of Computer Science
22
(1), 2011, pp. 39-53
On a partial affirmative answer for a Păun's conjecture
Ignacio Pérez-Hurtado
,
Mario J. Pérez-Jiménez
,
Agustín Riscos-Núñez
,
Miguel A. Gutiérrez-Naranjo
,
Miquel Rius-Font
International Journal of Foundations of Computer Science
22
(1), 2011, pp. 55-64
P systems with active membranes working in polynomial space
Antonio E. Porreca
,
Alberto Leporati
,
Giancarlo Mauri
,
Claudio Zandron
International Journal of Foundations of Computer Science
22
(1), 2011, pp. 65-73
On the power of families of recognizer spiking neural P systems
Petr Sosík
,
Alfonso Rodríguez-Patón
,
Ludȇk Cienciala
International Journal of Foundations of Computer Science
22
(1), 2011, pp. 75-88
Modeling diffusion in a signal transduction pathway: The use of virtual volumes in P systems
Daniela Besozzi
,
Paolo Cazzaniga
,
Stefania Cocolo
,
Giancarlo Mauri
,
Dario Pescini
International Journal of Foundations of Computer Science
22
(1), 2011, pp. 89-96
Log-gain stoichiometric stepwise regression for MP systems
Vincenzo Manca
,
Luca Marchetti
International Journal of Foundations of Computer Science
22
(1), 2011, pp. 97-106
A simulation algorithm for multienvironment probabilistic P systems: A formal verification
M.A. Martínez-Del-Amor
,
I. Pérez-Hurtado
,
M.J. Pérez-Jiménez
,
A. Riscos-Núñez
,
F. Sancho-Caparrini
International Journal of Foundations of Computer Science
22
(1), 2011, pp. 107-118
An overview on operational semantics in membrane computing
Roberto Barbuti
,
Andrea Maggiolo-Schettini
,
Paolo Milazzo
,
Simone Tini
International Journal of Foundations of Computer Science
22
(1), 2011, pp. 119-131
Formal verification of P systems using Spin
Florentin Ipate
,
Raluca Lefticaru
,
Cristina Tudose
International Journal of Foundations of Computer Science
22
(1), 2011, pp. 133-142
Small universal TVDH and test tube systems
Artiom Alhazov
,
Marian Kogler
,
Maurice Margenstern
,
Yurii Rogozhin
,
Sergey Verlan
International Journal of Foundations of Computer Science
22
(1), 2011, pp. 143-154
Filter position in networks of substitution processors does not matter
Fernando Arroyo Montoro
,
Juan Castellanos
,
Victor Mitrana
,
Eugenio Santos
,
Jose M. Sempere
International Journal of Foundations of Computer Science
22
(1), 2011, pp. 155-165
Functions defined by reaction systems
Andrzej Ehrenfeucht
,
Michael Main
,
Grzegorz Rozenberg
International Journal of Foundations of Computer Science
22
(1), 2011, pp. 167-178
P systems and topology: Some suggestions for research
Pierluigi Frisco
,
Hendrik Jan Hoogeboom
International Journal of Foundations of Computer Science
22
(1), 2011, pp. 179-190
An observer-based de-quantisation of Deutsch's algorithm
Cristian S. Calude
,
Matteo Cavaliere
,
Radu Mardare
International Journal of Foundations of Computer Science
22
(1), 2011, pp. 191-201
PC grammar systems with clusters of components
Erzsébet Csuhaj-Varjú
,
Marion Oswald
,
György Vaszil
International Journal of Foundations of Computer Science
22
(1), 2011, pp. 203-212
Orthogonal shuffle on trajectories
Mark Daley
,
Lila Kari
,
Shinnosuke Seki
,
Petr Sosìk
International Journal of Foundations of Computer Science
22
(1), 2011, pp. 213-222
On the number of active symbols in Lindenmayer systems
Jürgen Dassow
,
György Vaszil
International Journal of Foundations of Computer Science
22
(1), 2011, pp. 223-235
Positioned agents in eco-grammar systems
Miroslav Langer
,
Alica Kelemenová
International Journal of Foundations of Computer Science
22
(1), 2011, pp. 237-246
Morphic characterizations of language families in terms of insertion systems and star languages
Fumiya Okubo
,
Takashi Yokomori
International Journal of Foundations of Computer Science
22
(1), 2011, pp. 247-260
Power sums associated with certain recursive procedures on words
Arto Salomaa
International Journal of Foundations of Computer Science
22
(1), 2011, pp. 261-272
Erratum to "Parikh matrix mapping and languages"
Radu-Florian Atanasiu
International Journal of Foundations of Computer Science
22
(1), 2011, pp. 273-273
A quadratic upper bound on the size of a synchronizing word in one-cluster automata
Marie-Pierre Béal
,
Mikhail V. Berlinkov
,
Dominique Perrin
International Journal of Foundations of Computer Science
22
(2), 2011, pp. 277-288
Seiten 1
2
3
4
5
>