Home

Biblio

Export 524 results:
Sort by: Author Title [ Type (Desc)] Year
Filters: Author is Mario J. Pérez-Jiménez  [Clear All Filters]
Contributions to Book Chapters
Pérez-Jiménez, M. J., Romero-Jiménez Á., & Sancho-Caparrini F. (2006).  Computationally Hard Problems Addressed Through P Systems. (Gabriel Ciobanu, Gheorghe Paun, Mario J. Pérez-Jiménez, Ed.).Applications of Membrane Computing. 315-346.
Pérez-Jiménez, M. J., & Sancho-Caparrini F. (2005).  Formal verification of programs in molecular models with random access memory. (Mario J. Pérez-Jiménez, Álvaro Romero-Jiménez, Fernando Sancho-Caparrini, Ed.).Recent results in Natural Computing. 205-229.
Pérez-Jiménez, M. J., & Sancho-Caparrini F. (2005).  Generating pairwise disjoint families through DNA computations. (Mario J. Pérez-Jiménez, Álvaro Romero-Jiménez, Fernando Sancho-Caparrini, Ed.).Recent Results in Natural Computing. 231-246.
García-Quismondo, M., Macías-Ramos L. F., & Pérez-Jiménez M. J. (2013).  Implementing Enzymatic Numerical P Systems for AI Applications by means of Graphic Processing Units. Beyond Artificial Intelligence: Contemplations, Expectations, Applications. 137-157.
Pérez-Jiménez, M. J. (2010).  La mitosis celular: una sorprendente frontera de la eficiencia. (Fernando Soler-Toscano, H. von Ditmarsch, Francisco J. Salguero, Ed.).Liber amicorum Angel Nepomuceno. 99-108.
Pérez-Jiménez, M. J., & Romero-Campero F. J. (2005).  Membrane computing as production systems. (Mario J. Pérez-Jiménez, Álvaro Romero-Jiménez, Fernando Sancho-Caparrini, Ed.).Recent Results in Natural Computing. 167-204.
Pérez-Jiménez, M. J., & Yokomori T. (2009).  Membrane Computing schema: A new approach to computation using string insertion. (A. Condon, D. Harel, J. N. Kon, Arto Salomaa, Eric Winfree, Ed.).Algorithmic Bioprocesses. V, 293-309. Abstract
Paun, G. (2005).  Membrane Computing. Some recent results and current research topics. (Miguel A. Gutiérrez-Naranjo, Gheorghe Paun, Mario J. Pérez-Jiménez, Ed.).Cellular Computing (Complexity Aspects). 135-166.
Pérez-Jiménez, M. J. (2009).  Métodos formales en Computación Bio-inspirada. (O. Pombo, Ángel Nepomuceno, Ed.).Lógica e Filosofía da Ciencia. 185-212.
Pérez-Jiménez, M. J. (2004).  Modelos de Computación Natural. (Ángel Nepomuceno, Francisco J. Salguero, Fernando Soler-Toscano, Ed.).Bases biológicas, lingüísticas, lógicas y computacionales para la conceptualización de la mente. 199-245.
Gutiérrez-Naranjo, M. A., Pérez-Jiménez M. J., & Riscos-Núñez A. (2005).  Multidimensional Sevilla Carpets associated with P systems. (Miguel A. Gutiérrez-Naranjo, Gheorghe Paun, Mario J. Pérez-Jiménez, Ed.).Cellular Computing (Complexity Aspects). 225-235. Abstract
Borrego-Díaz, J., Fernández-Margarit A., & Pérez-Jiménez M. J. (2003).  On Sigma-n definability in Arithmetic.. (A. Rojszczak, J. Cachro, G. Kurczewski, Ed.).Philosophical Dimensions of Logic and Science. 47-56.
Gutiérrez-Naranjo, M. A., & Pérez-Jiménez M. J. (2005).  P systems with membrane creation and rule input. Cellular Computing (Complexity Aspects). 209-224. Abstract
Paun, G., Pérez-Jiménez M. J., & Riscos-Núñez A. (2004).  P systems with tables of rules. Lecture Notes in Computer Science. 3113, 235-249. Abstract
Pérez-Jiménez, M. J. (2010).  Razonando sobre soluciones mecánicas, inductivas y cualitativas. (D. Fernández, E.F. Gómez-Caminero, I. Hernández, Ed.).Estudios de Lógica, Lenguaje y Epistemología. 211-229.
Díaz-Pernil, D., Graciani-Díaz C., Gutiérrez-Naranjo M. A., Pérez-Hurtado I., & Pérez-Jiménez M. J. (2010).  Software for P systems. (Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa, Ed.).The Oxford Handbook of Membrane Computing. 437-454.
Paun, G., & Pérez-Jiménez M. J. (2008).  Spiking Neural P systems: An overview. (A. Porto, A. Pazos, W. Buno, Ed.).Advancing Artificial Intelligence through Biological Process Applications . 59-72. Abstract
Paun, G., & Pérez-Jiménez M. J. (2009).  Spiking neural P systems: Recent results, research topics. (A. Condon, D. Harel, J. N. Kon, Arto Salomaa, Eric Winfree, Ed.).Algorithmic Bioprocesses. V, 273-291. Abstract
Bernardini, F., Gheorghe M., Krasnogor N., & Paun G. (2005).  Turing machines with cells on the tape. (Miguel A. Gutiérrez-Naranjo, Gheorghe Paun, Mario J. Pérez-Jiménez, Ed.).Cellular Computing (Complexity Aspects). 61-73.
Pérez-Jiménez, M. J. (2007).  Un marco formal para modelos de computación bio-inspirados. (Ángel Nepomuceno, Francisco J. Salguero, Fernando Soler-Toscano, Ed.).Lógica, Filosofía del Lenguaje y de la Lógica. 241-260.
Pérez-Jiménez, M. J. (2005).  Una visión computacional de la célula. (Ángel Nepomuceno, Francisco J. Salguero, Fernando Soler-Toscano, Ed.).Estudios de Lógica y Lenguaje (I). 197-228. Abstract
Cardelli, L., & Paun G. (2005).  An universality result for a membrane calculus based on mate/drips operations. (Miguel A. Gutiérrez-Naranjo, Gheorghe Paun, Mario J. Pérez-Jiménez, Ed.).Cellular Computing (Complexity Aspects). 75-94.
Conference Proceedings
Ramírez-de-Arellano, A., Orellana-Martín D., & Pérez-Jiménez M. J. (2022).  Basic Arithmetic Calculations Through Virus-Based Machines. (Ferrández Vicente, José Manuel, Álvarez-Sánchez, José Ramón, de la Paz López, Félix, Adeli, Hojjat, Ed.).Bio-inspired Systems and Applications: from Robotics to Ambient Intelligence. 403–412. Abstract
Valencia-Cabrera, L., Orellana-Martín D., Riscos-Núñez A., & Pérez-Jiménez M. J. (2017).  Counting Membrane Systems. Eighteenth International Conference on Membrane Computing (CMC18). 359-372.
Orellana-Martín, D., Valencia-Cabrera L., & Pérez-Jiménez M. J. (2018).  The factorization problem: A new approach through membrane systems. Workshop on Membrane Computing, satellite workshop of 17th International Conference on Unconventional Computation and Natural Computation (UCNC 2018).

Statistics

  • Books (11)
  • Edited Books (28)
  • Contributions to Book Chapters (42)
  • Journal Papers (421)
  • Papers in Collective Volumes (0)
  • Technical Reports (3)
  • Conference Contributions (289)
  • Conference Proceedings (38)