| 2008 |
|---|
| 86 | EE | Mónica Cardona,
M. Angels Colomer,
Mario J. Pérez-Jiménez,
Delfí Sanuy,
Antoni Margalida:
Modeling Ecosystems Using P Systems: The Bearded Vulture, a Case Study.
Workshop on Membrane Computing 2008: 137-156 |
| 85 | EE | Daniel Díaz-Pernil,
Ignacio Pérez-Hurtado,
Mario J. Pérez-Jiménez,
Agustin Riscos-Núñez:
A P-Lingua Programming Environment for Membrane Computing.
Workshop on Membrane Computing 2008: 187-203 |
| 84 | EE | Miguel A. Gutiérrez-Naranjo,
Mario J. Pérez-Jiménez:
Hebbian Learning from Spiking Neural P Systems View.
Workshop on Membrane Computing 2008: 217-230 |
| 83 | EE | Francisco José Romero-Campero,
Mario J. Pérez-Jiménez:
A Model of the Quorum Sensing System in Vibrio fischeri Using P Systems.
Artificial Life 14(1): 95-109 (2008) |
| 82 | EE | Erzsébet Csuhaj-Varjú,
Antonio di Nola,
Gheorghe Paun,
Mario J. Pérez-Jiménez,
György Vaszil:
Editing Configurations of P Systems.
Fundam. Inform. 82(1-2): 29-46 (2008) |
| 81 | EE | Claudio Zandron,
Alberto Leporati,
Claudio Ferretti,
Giancarlo Mauri,
Mario J. Pérez-Jiménez:
On the Computational Efficiency of Polarizationless Recognizer P Systems with Strong Division and Dissolution.
Fundam. Inform. 87(1): 79-91 (2008) |
| 80 | EE | Gheorghe Paun,
Mario J. Pérez-Jiménez,
Takashi Yokomori:
Representations and Characterizations of Languages in Chomsky Hierarchy by Means of Insertion-Deletion Systems.
Int. J. Found. Comput. Sci. 19(4): 859-871 (2008) |
| 79 | EE | Haiming Chen,
Mihai Ionescu,
Tseren-Onolt Ishdorj,
Andrei Paun,
Gheorghe Paun,
Mario J. Pérez-Jiménez:
Spiking neural P systems with extended rules: universality and languages.
Natural Computing 7(2): 147-166 (2008) |
| 78 | EE | Miguel A. Gutiérrez-Naranjo,
Mario J. Pérez-Jiménez,
Daniel Ramírez-Martínez:
A software tool for verification of Spiking Neural P Systems.
Natural Computing 7(4): 485-497 (2008) |
| 77 | EE | Daniel Díaz-Pernil,
Miguel A. Gutiérrez-Naranjo,
Mario J. Pérez-Jiménez,
Agustin Riscos-Núñez:
A uniform family of tissue P systems with cell division solving 3-COL in a linear time.
Theor. Comput. Sci. 404(1-2): 76-87 (2008) |
| 2007 |
|---|
| 76 | EE | Daniel Díaz-Pernil,
Miguel A. Gutiérrez-Naranjo,
Mario J. Pérez-Jiménez,
Agustin Riscos-Núñez:
Solving Subset Sum in Linear Time by Using Tissue P Systems with Cell Division.
IWINAC (1) 2007: 170-179 |
| 75 | EE | Giancarlo Mauri,
Mario J. Pérez-Jiménez,
Claudio Zandron:
On a Paun's Conjecture in Membrane Systems.
IWINAC (1) 2007: 180-192 |
| 74 | EE | Artiom Alhazov,
Mario J. Pérez-Jiménez:
Uniform Solution of.
MCU 2007: 122-133 |
| 73 | EE | Rudolf Freund,
Gheorghe Paun,
Mario J. Pérez-Jiménez:
Polarizationless P Systems with Active Membranes Working in the Minimally Parallel Mode.
UC 2007: 62-76 |
| 72 | EE | Rodica Ceterchi,
Mario J. Pérez-Jiménez,
Alexandru Ioan Tomescu:
Simulating the Bitonic Sort Using P Systems.
Workshop on Membrane Computing 2007: 172-192 |
| 71 | EE | Daniel Díaz-Pernil,
Miguel A. Gutiérrez-Naranjo,
Mario J. Pérez-Jiménez,
Agustin Riscos-Núñez:
A Logarithmic Bound for Solving Subset Sum with P Systems.
Workshop on Membrane Computing 2007: 257-270 |
| 70 | EE | Daniel Díaz-Pernil,
Miguel A. Gutiérrez-Naranjo,
Mario J. Pérez-Jiménez,
Agustin Riscos-Núñez:
A Linear-time Tissue P System Based Solution for the 3-coloring Problem.
Electr. Notes Theor. Comput. Sci. 171(2): 81-93 (2007) |
| 69 | | Haiming Chen,
Rudolf Freund,
Mihai Ionescu,
Gheorghe Paun,
Mario J. Pérez-Jiménez:
On String Languages Generated by Spiking Neural P Systems.
Fundam. Inform. 75(1-4): 141-162 (2007) |
| 68 | EE | Gheorghe Paun,
Mario J. Pérez-Jiménez,
Arto Salomaa:
Spiking Neural P Systems: an Early Survey.
Int. J. Found. Comput. Sci. 18(3): 435-455 (2007) |
| 67 | EE | Gheorghe Paun,
Mario J. Pérez-Jiménez,
Grzegorz Rozenberg:
Computing Morphisms by Spiking Neural P Systems.
Int. J. Found. Comput. Sci. 18(6): 1371-1382 (2007) |
| 66 | | Miguel A. Gutiérrez-Naranjo,
Mario J. Pérez-Jiménez,
Agustin Riscos-Núñez:
Multi-dimensional Descriptional Complexity of P Systems.
Journal of Automata, Languages and Combinatorics 12(1-2): 167-179 (2007) |
| 65 | EE | Miguel A. Gutiérrez-Naranjo,
Mario J. Pérez-Jiménez,
Francisco José Romero-Campero:
A uniform solution to SAT using membrane creation.
Theor. Comput. Sci. 371(1-2): 54-61 (2007) |
| 64 | EE | Gheorghe Paun,
Mario J. Pérez-Jiménez:
Fourth Brainstorming Week on Membrane Computing.
Theor. Comput. Sci. 372(2-3): 123-124 (2007) |
| 63 | EE | Miguel A. Gutiérrez-Naranjo,
Mario J. Pérez-Jiménez,
Agustin Riscos-Núñez:
On the degree of parallelism in membrane systems.
Theor. Comput. Sci. 372(2-3): 183-195 (2007) |
| 62 | EE | Gabriel Ciobanu,
Linqiang Pan,
Gheorghe Paun,
Mario J. Pérez-Jiménez:
P systems with minimal parallelism.
Theor. Comput. Sci. 378(1): 117-130 (2007) |
| 2006 |
|---|
| 61 | | Gabriel Ciobanu,
Mario J. Pérez-Jiménez,
Gheorghe Paun:
Applications of Membrane Computing
Springer 2006 |
| 60 | EE | Mihai Ionescu,
Andrei Paun,
Gheorghe Paun,
Mario J. Pérez-Jiménez:
Computing with Spiking Neural P Systems: Traces and Small Universal Systems.
DNA 2006: 1-16 |
| 59 | EE | Mónica Cardona,
M. Angels Colomer,
Mario J. Pérez-Jiménez,
Alba Zaragoza:
Handling Markov Chains with Membrane Computing.
UC 2006: 72-85 |
| 58 | EE | Andrei Paun,
Mario J. Pérez-Jiménez,
Francisco José Romero-Campero:
Modeling Signal Transduction Using P Systems.
Workshop on Membrane Computing 2006: 100-122 |
| 57 | EE | Mónica Cardona,
M. Angels Colomer,
Mario J. Pérez-Jiménez,
Alba Zaragoza:
Classifying States of a Finite Markov Chain with Membrane Computing.
Workshop on Membrane Computing 2006: 266-278 |
| 56 | EE | Francisco José Romero-Campero,
Marian Gheorghe,
Luca Bianco,
Dario Pescini,
Mario J. Pérez-Jiménez,
Rodica Ceterchi:
Towards Probabilistic Model Checking on P Systems Using PRISM.
Workshop on Membrane Computing 2006: 477-495 |
| 55 | EE | Francesco Bernardini,
Francisco José Romero-Campero,
Marian Gheorghe,
Mario J. Pérez-Jiménez:
A Modeling Approach Based on P Systems with Bounded Parallelism.
Workshop on Membrane Computing 2006: 49-65 |
| 54 | EE | Álvaro Romero Jiménez,
Miguel A. Gutiérrez-Naranjo,
Mario J. Pérez-Jiménez:
Graphical Modeling of Higher Plants Using P Systems.
Workshop on Membrane Computing 2006: 496-506 |
| 53 | EE | Mario J. Pérez-Jiménez,
Álvaro Romero Jiménez,
Fernando Sancho-Caparrini:
Computationally Hard Problems Addressed Through P Systems.
Applications of Membrane Computing 2006: 315-346 |
| 52 | EE | Miguel A. Gutiérrez-Naranjo,
Mario J. Pérez-Jiménez,
Agustin Riscos-Núñez:
Available Membrane Computing Software.
Applications of Membrane Computing 2006: 411-436 |
| 51 | EE | Gabriel Ciobanu,
Gheorghe Paun,
Mario J. Pérez-Jiménez:
On the Branching Complexity of P Systems.
Fundam. Inform. 73(1-2): 27-36 (2006) |
| 50 | EE | Miguel A. Gutiérrez-Naranjo,
Mario J. Pérez-Jiménez,
Agustin Riscos-Núñez,
Francisco José Romero-Campero:
Computational efficiency of dissolution rules in membrane systems.
Int. J. Comput. Math. 83(7): 593-611 (2006) |
| 49 | EE | Gheorghe Paun,
Mario J. Pérez-Jiménez:
Preface.
Int. J. Found. Comput. Sci. 17(1): 1-2 (2006) |
| 48 | EE | Rodica Ceterchi,
Mario J. Pérez-Jiménez:
On simulating a class of parallel architectures.
Int. J. Found. Comput. Sci. 17(1): 91-110 (2006) |
| 47 | EE | Gheorghe Paun,
Mario J. Pérez-Jiménez,
Grzegorz Rozenberg:
Spike Trains in Spiking Neural P Systems.
Int. J. Found. Comput. Sci. 17(4): 975-1002 (2006) |
| 46 | | Mario J. Pérez-Jiménez,
Álvaro Romero Jiménez,
Fernando Sancho-Caparrini:
A Polynomial Complexity Class in P Systems Using Membrane Division.
Journal of Automata, Languages and Combinatorics 11(4): 423-434 (2006) |
| 45 | EE | Mario J. Pérez-Jiménez,
Francisco José Romero-Campero:
P Systems, a New Computational Modelling Tool for Systems Biology.
T. Comp. Sys. Biology: 176-197 (2006) |
| 2005 |
|---|
| 44 | | Giancarlo Mauri,
Gheorghe Paun,
Mario J. Pérez-Jiménez,
Grzegorz Rozenberg,
Arto Salomaa:
Membrane Computing, 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers
Springer 2005 |
| 43 | | Cristian Calude,
Michael J. Dinneen,
Gheorghe Paun,
Mario J. Pérez-Jiménez,
Grzegorz Rozenberg:
Unconventional Computation, 4th International Conference, UC 2005, Sevilla, Spain, October 3-7, 2005, Proceedings
Springer 2005 |
| 42 | EE | Miguel A. Gutiérrez-Naranjo,
Mario J. Pérez-Jiménez,
Francisco José Romero-Campero:
A Linear Solution of Subset Sum Problem by Using Membrane Creation.
IWINAC (1) 2005: 258-267 |
| 41 | EE | Mario J. Pérez-Jiménez,
Francisco José Romero-Campero:
A Study of the Robustness of the EGFR Signalling Cascade Using Continuous Membrane Systems.
IWINAC (1) 2005: 268-278 |
| 40 | EE | Francesco Bernardini,
Francisco José Romero-Campero,
Marian Gheorghe,
Mario J. Pérez-Jiménez,
Maurice Margenstern,
Sergey Verlan,
Natalio Krasnogor:
On P Systems with Bounded Parallelism.
SYNASC 2005: 399-406 |
| 39 | EE | Miguel A. Gutiérrez-Naranjo,
Mario J. Pérez-Jiménez,
Agustin Riscos-Núñez,
Francisco José Romero-Campero:
Characterizing Tractability with Membrane Creation.
SYNASC 2005: 448-457 |
| 38 | EE | Miguel A. Gutiérrez-Naranjo,
Mario J. Pérez-Jiménez,
Agustin Riscos-Núñez,
Francisco José Romero-Campero:
P Systems with Active Membranes, Without Polarizations and Without Dissolution: A Characterization of P.
UC 2005: 105-116 |
| 37 | EE | Francesco Bernardini,
Marian Gheorghe,
Natalio Krasnogor,
Ravie C. Muniyandi,
Mario J. Pérez-Jiménez,
Francisco José Romero-Campero:
On P Systems as a Modelling Tool for Biological Systems.
Workshop on Membrane Computing 2005: 114-133 |
| 36 | EE | Miguel A. Gutiérrez-Naranjo,
Mario J. Pérez-Jiménez,
Agustin Riscos-Núñez,
Francisco José Romero-Campero:
On the Power of Dissolution in P Systems with Active Membranes.
Workshop on Membrane Computing 2005: 224-240 |
| 35 | EE | Miguel A. Gutiérrez-Naranjo,
Mario J. Pérez-Jiménez,
Francisco José Romero-Campero:
A Linear Solution for QSAT with Membrane Creation.
Workshop on Membrane Computing 2005: 241-252 |
| 34 | EE | Miguel A. Gutiérrez-Naranjo,
Mario J. Pérez-Jiménez,
Agustin Riscos-Núñez:
Towards a Programming Language in Cellular Computing.
Electr. Notes Theor. Comput. Sci. 123: 93-110 (2005) |
| 33 | EE | Gheorghe Paun,
Mario J. Pérez-Jiménez,
Juan Pazos,
Alfonso Rodríguez-Patón:
Symport/Antiport P Systems with Three Objects Are Universal.
Fundam. Inform. 64(1-4): 353-367 (2005) |
| 32 | EE | Mario J. Pérez-Jiménez,
Agustin Riscos-Núñez:
Solving the Subset-Sum Problem by P Systems with Active Membranes.
New Generation Comput. 23(4): (2005) |
| 31 | EE | Gheorghe Paun,
Mario J. Pérez-Jiménez:
"Second Brainstorming week on Membrane Computing" in Sevilla 2004.
Soft Comput. 9(9): 629-630 (2005) |
| 30 | EE | Miguel A. Gutiérrez-Naranjo,
Mario J. Pérez-Jiménez,
Agustin Riscos-Núñez:
A fast P system for finding a balanced 2-partition.
Soft Comput. 9(9): 673-678 (2005) |
| 29 | EE | Rudolf Freund,
Gheorghe Paun,
Mario J. Pérez-Jiménez:
Tissue P systems with channel states.
Theor. Comput. Sci. 330(1): 101-116 (2005) |
| 2004 |
|---|
| 28 | EE | Mario J. Pérez-Jiménez,
Álvaro Romero Jiménez,
Fernando Sancho-Caparrini:
The P Versus NP Problem Through Cellular Computing with Membranes.
Aspects of Molecular Computing 2004: 338-352 |
| 27 | EE | Carmen Graciani Díaz,
Mario J. Pérez-Jiménez:
Using Automated Reasoning Systems on Molecular Computing.
DNA 2004: 128-137 |
| 26 | EE | Maurice Margenstern,
Victor Mitrana,
Mario J. Pérez-Jiménez:
Accepting Hybrid Networks of Evolutionary Processors.
DNA 2004: 235-246 |
| 25 | EE | Mario J. Pérez-Jiménez,
Francisco José Romero-Campero:
Attacking the Common Algorithmic Problem by Recognizer P Systems.
MCU 2004: 304-315 |
| 24 | EE | Gheorghe Paun,
Mario J. Pérez-Jiménez,
Agustin Riscos-Núñez:
P Systems with Tables of Rules.
Theory Is Forever 2004: 235-249 |
| 23 | EE | Rodica Ceterchi,
Mario J. Pérez-Jiménez:
On Two-Dimensional Mesh Networks and Their Simulation with P Systems.
Workshop on Membrane Computing 2004: 259-277 |
| 22 | EE | Andrés Cordón-Franco,
Miguel A. Gutiérrez-Naranjo,
Mario J. Pérez-Jiménez,
Agustin Riscos-Núñez:
Exploring Computation Trees Associated with P Systems.
Workshop on Membrane Computing 2004: 278-286 |
| 21 | EE | Miguel A. Gutiérrez-Naranjo,
Mario J. Pérez-Jiménez,
Agustin Riscos-Núñez:
On Descriptive Complexity of P Systems.
Workshop on Membrane Computing 2004: 320-330 |
| 20 | EE | Mario J. Pérez-Jiménez,
Francisco José Romero-Campero:
Trading Polarization for Bi-stable Catalysts in P Systems with Active Membranes.
Workshop on Membrane Computing 2004: 373-388 |
| 19 | EE | Mario J. Pérez-Jiménez:
An Approach to Computational Complexity in Membrane Computing.
Workshop on Membrane Computing 2004: 85-109 |
| 18 | EE | Gheorghe Paun,
Mario J. Pérez-Jiménez:
Second Brainstorming Week on Membrane Computing.
J. UCS 10(5): 499-501 (2004) |
| 17 | EE | Mario J. Pérez-Jiménez,
Francisco José Romero-Campero:
An Efficient Family of P Systems for Packing Items into Bins.
J. UCS 10(5): 650-670 (2004) |
| 16 | EE | Andrés Cordón-Franco,
Miguel A. Gutiérrez-Naranjo,
Mario J. Pérez-Jiménez,
Fernando Sancho-Caparrini:
A Prolog Simulator for Deterministic P Systems with Active Membranes.
New Generation Comput. 22(4): (2004) |
| 2003 |
|---|
| 15 | EE | Carlos Martín-Vide,
Victor Mitrana,
Mario J. Pérez-Jiménez,
Fernando Sancho-Caparrini:
Hybrid Networks of Evolutionary Processors.
GECCO 2003: 401-412 |
| 14 | EE | Marian Gheorghe,
Carlos Martín-Vide,
Victor Mitrana,
Mario J. Pérez-Jiménez:
An Agent Based Approach of Collective Foraging.
IWANN (1) 2003: 638-645 |
| 13 | EE | Andrés Cordón-Franco,
Miguel A. Gutiérrez-Naranjo,
Mario J. Pérez-Jiménez,
Agustin Riscos-Núñez,
Fernando Sancho-Caparrini:
Implementing in Prolog an Effective Cellular Solution to the Knapsack Problem.
Workshop on Membrane Computing 2003: 140-152 |
| 12 | EE | Mario J. Pérez-Jiménez,
Agustin Riscos-Núñez:
A Linear-Time Solution to the Knapsack Problem Using P Systems with Active Membranes.
Workshop on Membrane Computing 2003: 250-268 |
| 11 | EE | Álvaro Romero Jiménez,
Mario J. Pérez-Jiménez:
Computing Partial Recursive Functions by Transition P Systems.
Workshop on Membrane Computing 2003: 320-340 |
| 10 | EE | Mario J. Pérez-Jiménez,
Álvaro Romero Jiménez,
Fernando Sancho-Caparrini:
Complexity classes in models of cellular computing with membranes.
Natural Computing 2(3): 265-285 (2003) |
| 2002 |
|---|
| 9 | EE | Carmen Graciani Díaz,
Francisco-Jesús Martín-Mateos,
Mario J. Pérez-Jiménez:
Specification of Adleman's Restricted Model Using an Automated Reasoning System: Verification of Lipton's Experiment.
UMC 2002: 126-136 |
| 8 | EE | Álvaro Romero Jiménez,
Mario J. Pérez-Jiménez:
Generation of Diophantine Sets by Computing P Systems with External Output.
UMC 2002: 176-190 |
| 7 | EE | Mario J. Pérez-Jiménez,
Álvaro Romero Jiménez,
Fernando Sancho-Caparrini:
Decision P Systems and the P!=NP Conjecture.
WMC-CdeA 2002: 388-399 |
| 6 | EE | Delia Balbontín Noval,
Mario J. Pérez-Jiménez,
Fernando Sancho-Caparrini:
A MzScheme Implementation of Transition P Systems.
WMC-CdeA 2002: 58-73 |
| 5 | | Mario J. Pérez-Jiménez,
Fernando Sancho-Caparrini:
A Formalization of Transition P Systems.
Fundam. Inform. 49(1-3): 261-272 (2002) |
| 4 | | Álvaro Romero Jiménez,
Mario J. Pérez-Jiménez:
Simulating Turing Machines by P Systems with External Output.
Fundam. Inform. 49(1-3): 273-278 (2002) |
| 2001 |
|---|
| 3 | EE | Mario J. Pérez-Jiménez,
Fernando Sancho-Caparrini:
Solving Knapsack Problems in a Sticker Based Model.
DNA 2001: 161-171 |
| 1996 |
|---|
| 2 | | Joaquín Borrego-Díaz,
Alejandro Fernández-Margarit,
Mario J. Pérez-Jiménez:
On Overspill Principles and Axiom Schemes for Bounded Formulas.
Math. Log. Q. 42: 341-348 (1996) |
| 1994 |
|---|
| 1 | | Mario J. Pérez-Jiménez,
Alejandro Fernández-Margarit:
Maximum Schemes in Arithmetic.
Math. Log. Q. 40: 425-430 (1994) |
