![]() | 2010 | |
---|---|---|
98 | ![]() ![]() ![]() ![]() ![]() ![]() | Gheorghe Paun, Mario J. Pérez-Jiménez, Agustin Riscos-Núñez, Grzegorz Rozenberg, Arto Salomaa: Membrane Computing, 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers Springer 2010 |
97 | ![]() ![]() ![]() ![]() ![]() ![]() | Florin Manea, Maurice Margenstern, Victor Mitrana, Mario J. Pérez-Jiménez: A New Characterization of NP, P, and PSPACE with Accepting Hybrid Networks of Evolutionary Processors. Theory Comput. Syst. 46(2): 174-192 (2010) |
2009 | ||
96 | ![]() ![]() ![]() ![]() ![]() ![]() | Daniel Díaz-Pernil, Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Agustin Riscos-Núñez: Solving the Independent Set Problem by Using Tissue-Like P Systems with Cell Division. IWINAC (1) 2009: 213-222 |
95 | ![]() ![]() ![]() ![]() ![]() ![]() | Daniel Díaz-Pernil, Pilar Gallego-Ortiz, Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Agustin Riscos-Núñez: Descriptional Complexity of Tissue-Like P Systems with Cell Division. UC 2009: 168-178 |
94 | ![]() ![]() ![]() ![]() ![]() ![]() | Damien Woods, Niall Murphy, Mario J. Pérez-Jiménez, Agustin Riscos-Núñez: Membrane Dissolution and Division in P. UC 2009: 262-276 |
93 | ![]() ![]() ![]() ![]() ![]() ![]() | Mario J. Pérez-Jiménez: A Computational Complexity Theory in Membrane Computing. Workshop on Membrane Computing 2009: 125-148 |
92 | ![]() ![]() ![]() ![]() ![]() ![]() | Mónica Cardona, M. Angels Colomer, Antoni Margalida, Ignacio Pérez-Hurtado, Mario J. Pérez-Jiménez, Delfí Sanuy: A P System Based Model of an Ecosystem of Some Scavenger Birds. Workshop on Membrane Computing 2009: 182-195 |
91 | ![]() ![]() ![]() ![]() ![]() ![]() | Jose M. Cecilia, José M. García, Ginés D. Guerrero, Miguel A. Martínez-del-Amor, Ignacio Pérez-Hurtado, Mario J. Pérez-Jiménez: Implementing P Systems Parallelism by Means of GPUs. Workshop on Membrane Computing 2009: 227-241 |
90 | ![]() ![]() ![]() ![]() ![]() ![]() | Manuel García-Quismondo, Rosa Gutiérrez-Escudero, Ignacio Pérez-Hurtado, Mario J. Pérez-Jiménez, Agustin Riscos-Núñez: An Overview of P-Lingua 2.0. Workshop on Membrane Computing 2009: 264-288 |
89 | ![]() ![]() ![]() ![]() ![]() ![]() | Rosa Gutiérrez-Escudero, Mario J. Pérez-Jiménez, Miquel Rius-Font: Characterizing Tractability by Tissue-Like P Systems. Workshop on Membrane Computing 2009: 289-300 |
88 | ![]() ![]() ![]() ![]() ![]() ![]() | Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez: Searching Previous Configurations in Membrane Computing. Workshop on Membrane Computing 2009: 301-315 |
87 | ![]() ![]() ![]() ![]() ![]() ![]() | Nadia Busi, Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez: Efficient computation in rational-valued P systems. Mathematical Structures in Computer Science 19(6): 1125-1139 (2009) |
2008 | ||
86 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | Giancarlo Mauri, Mario J. Pérez-Jiménez, Claudio Zandron: On a Paun's Conjecture in Membrane Systems. IWINAC (1) 2007: 180-192 |
74 | ![]() ![]() ![]() ![]() ![]() ![]() | Artiom Alhazov, Mario J. Pérez-Jiménez: Uniform Solution of. MCU 2007: 122-133 |
73 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | Gheorghe Paun, Mario J. Pérez-Jiménez: Fourth Brainstorming Week on Membrane Computing. Theor. Comput. Sci. 372(2-3): 123-124 (2007) |
63 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | Á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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | Gheorghe Paun, Mario J. Pérez-Jiménez: Preface. Int. J. Found. Comput. Sci. 17(1): 1-2 (2006) |
48 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | Carmen Graciani Díaz, Mario J. Pérez-Jiménez: Using Automated Reasoning Systems on Molecular Computing. DNA 2004: 128-137 |
26 | ![]() ![]() ![]() ![]() ![]() ![]() | Maurice Margenstern, Victor Mitrana, Mario J. Pérez-Jiménez: Accepting Hybrid Networks of Evolutionary Processors. DNA 2004: 235-246 |
25 | ![]() ![]() ![]() ![]() ![]() ![]() | Mario J. Pérez-Jiménez, Francisco José Romero-Campero: Attacking the Common Algorithmic Problem by Recognizer P Systems. MCU 2004: 304-315 |
24 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | Mario J. Pérez-Jiménez: An Approach to Computational Complexity in Membrane Computing. Workshop on Membrane Computing 2004: 85-109 |
18 | ![]() ![]() ![]() ![]() ![]() ![]() | Gheorghe Paun, Mario J. Pérez-Jiménez: Second Brainstorming Week on Membrane Computing. J. UCS 10(5): 499-501 (2004) |
17 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | Á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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | Á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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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) |