Home

Biblio

Export 58 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Álvaro Romero-Jiménez  [Clear All Filters]
2006
Gutiérrez-Naranjo, M. A., Pérez-Jiménez M. J., Riscos-Núñez A., Romero-Campero F. J., & Romero-Jiménez Á. (2006).  Characterizing Tractability by Cell-Like Membrane Systems. (K. G. Subramanian, K. Rangarajan, M. Mukund, Ed.).Formal models, languages and applications. 66, 137-154. Abstract
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.
Romero-Jiménez, Á., Gutiérrez-Naranjo M. A., & Pérez-Jiménez M. J. (2006).  Graphical Modeling of Higher Plants Using P Systems . Lecture Notes in Computer Science. 4361, 496-506. Abstract
Pérez-Jiménez, M. J., Romero-Jiménez Á., & Sancho-Caparrini F. (2006).  A Polynomial Complexity Class in P Systems Using Membrane Division. Journal of Automata, Languages and Combinatorics. 11(4), 423-434.
2005
Graciani-Díaz, C., & Pérez-Jiménez M. J. (2005).  Automated reasoning systems and molecular computing. (Mario J. Pérez-Jiménez, Álvaro Romero-Jiménez, Fernando Sancho-Caparrini, Ed.).Recent Results in Natural Computing. Abstract
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.
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., Romero-Jiménez Á., & Sancho-Caparrini F. (2005).  Recent Results in Natural Computing. 311. Abstract
2004
Pérez-Jiménez, M. J. (2004).  A CLIPS simulator for recognizer P systems with active membranes. (Gheorghe Paun, Agustín Riscos-Núñez, Álvaro Romero-Jiménez, Fernando Sancho-Caparrini, Ed.).Second Brainstorming Week on Membrane Computing. 387-413.
Cordón-Franco, A., Gutiérrez-Naranjo M. A., & Pérez-Jiménez M. J. (2004).  Looking for P truth. (Gheorghe Paun, Agustín Riscos-Núñez, Álvaro Romero-Jiménez, Fernando Sancho-Caparrini, Ed.).Second Brainstorming Week on Membrane Computing. 134-138.
Paun, G., Pérez-Jiménez M. J., & Riscos-Núñez A. (2004).  Tissue P systems with cell division. (Gheorghe Paun, Agustín Riscos-Núñez, Álvaro Romero-Jiménez, Fernando Sancho-Caparrini, Ed.).Second Brainstorming Week on Membrane Computing. 380-386.
Cordón-Franco, A., Gutiérrez-Naranjo M. A., Pérez-Jiménez M. J., & Riscos-Núñez A. (2004).  Weak metrics on configurations of a P system. (Gheorghe Paun, Agustín Riscos-Núñez, Álvaro Romero-Jiménez, Fernando Sancho-Caparrini, Ed.).Second Brainstorming Week on Membrane Computing. 139-151.
Paun, G., Riscos-Núñez A., Romero-Jiménez Á., & Sancho-Caparrini F. (2004).  Second Brainstorming Week on Membrane Computing. Second Brainstorming Week on Membrane Computing. 456.
Pérez-Jiménez, M. J., & Romero-Jiménez Á. (2004).  Computing Partial Recursive Functions by Transition P Systems. Lecture Notes in Computer Science. 2933, 320-340. Abstract
Pérez-Jiménez, M. J., Romero-Jiménez Á., & Sancho-Caparrini F. (2004).  Modelos de computación celular con membranas. Boletín de la Sociedad Española de Matemática Aplicada. 29, 57-88 .
Pérez-Jiménez, M. J., Romero-Jiménez Á., & Sancho-Caparrini F. (2004).  The P Versus NP Problem Through Cellular Computing with Membranes. Lecture Notes in Computer Science. 2950, 338-352. Abstract
2003
Pérez-Jiménez, M. J., Romero-Jiménez Á., & Sancho-Caparrini F. (2003).  Complexity Classes in Cellular Computing with Membranes. (Matteo Cavaliere, Carlos Martín-Vide, Gheorghe Paun, Ed.).Brainstorming Week on Membrane Computing. 270-278.
Pérez-Jiménez, M. J., Romero-Jiménez Á., & Sancho-Caparrini F. (2003).  Solving VALIDITY Problem by Active Membranes with Input. (Matteo Cavaliere, Carlos Martín-Vide, Gheorghe Paun, Ed.).Brainstorming Week on Membrane Computing. 279-290.
Pérez-Jiménez, M. J., Romero-Jiménez Á., & Sancho-Caparrini F. (2003).  Complexity Classes in Cellular Computing with Membranes. First Joint Meeting between the RSME and the AMS. 4. Abstract
Pérez-Jiménez, M. J., Romero-Jiménez Á., & Sancho-Caparrini F. (2003).  Complexity Classes in Cellular Computing with Membranes. First Annual Meeting of the European Molecular Computing Consortium. 18.
Pérez-Jiménez, M. J., Romero-Jiménez Á., & Sancho-Caparrini F. (2003).  A Polynomial Complexity Class in P Systems Using Membrane Division. (Erzsebet Csuhaj-Varjú, C. Kintala, D. Wotschke, György Vaszil, Ed.).Fifth International Workshop on Descriptional Complexity of Formal Systems. 284-294.
Pérez-Jiménez, M. J., Romero-Jiménez Á., & Sancho-Caparrini F. (2003).  Complexity classes in models of cellular computing with membranes. Natural Computing. 2(3), 265 - 285 . Abstract
Pérez-Jiménez, M. J., Romero-Jiménez Á., & Sancho-Caparrini F. (2003).  Decision P systems and the P≠NP conjecture. Lecture Notes in Computer Science. 2597, 388-399. Abstract
2002
Pérez-Jiménez, M. J., Sancho-Caparrini F., Graciani-Díaz C., & Romero-Jiménez Á. (2002).  Formalización computacional del experimento de Lipton sobre el problema SAT. Primer Congreso Español de Algoritmos Evolutivos y Bioinspirados. 326-332.

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)