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) |