Home

Biblio

Export 521 results:
Sort by: [ Author (Asc)] Title Type Year
Filters: Author is Mario J. Pérez-Jiménez  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
G
Gheorghe, M., Martín-Vide C., Mitrana V., & Pérez-Jiménez M. J. (2003).  An agent based approach of collective foraging. Lecture Notes in Computer Science. 2686, 638-645. Abstract
Gheorghe, M., Ipate F., Dragomir C., Mierla L., Valencia-Cabrera L., García-Quismondo M., et al. (2013).  Kernel P Systems - Version I. Eleventh Brainstorming Week on Membrane Computing (11BWMC). 97-124. Abstract
Gheorghe, M., Paun G., & Pérez-Jiménez M. J. (2012).  Frontiers of Membrane Computing: Open problems and research topics. Tenth Brainstorming Week on Membrane Computing. I, 171-250. Abstract
Gheorghe, M., Paun G., Pérez-Jiménez M. J., & Rozenberg G. (2013).  Research frontiers in Membrane Computing: Open problems and research topics. International Journal of Foundations of Computer Science. 24(5), 547-557. Abstract
Gheorghe, M., Paun G., Pérez-Jiménez M. J., & Riscos-Núñez A. (2016).  Preface. Natural Computing. 15(4), 519-520.
Gheorghe, M., Ipate F., Lefticaru R., Pérez-Jiménez M. J., Turcanu A., Valencia-Cabrera L., et al. (2013).  3-COL problem modelling using simple Kernel P systems. International Journal of Computer Mathematics. 90(4), 816-830. Abstract
Gheorghe, M., Paun G., & Pérez-Jiménez M. J. (2013).  Foreword. Special Issue: Membrane Computing. International Journal of Unconventional Computing. 9(5-6), 347-349.
Graciani-Díaz, C., Pérez-Jiménez M. J., & Romero-Jiménez Á. (2000).  Some Functional Schemes in Arithmetic. Logic Colloquium 2000. 154.
Graciani-Díaz, C., & Pérez-Jiménez M. J. (2003).  Using automated reasoning systems in Natural Computing. First Joint Meeting between the RSME and the AMS. 4. Abstract
Graciani-Díaz, C., Gutiérrez-Naranjo M. A., & Pérez-Jiménez M. J. (2007).  A Membrane Computing Model for Ballistic Depositions. (Miguel A. Gutiérrez-Naranjo, Gheorghe Paun, Álvaro Romero-Jiménez, Agustín Riscos-Núñez, Ed.).Fifth Brainstorming Week on Membrane Computing . 179-197.
Graciani-Díaz, C., Gutiérrez-Naranjo M. A., & Pérez-Jiménez M. J. (2009).  An approach to ballistic deposition based on Membrane Computing. International Journal of Unconventional Computing. 5(5), 427-439. Abstract
Graciani-Díaz, C., Pérez-Jiménez M. J., Romero-Jiménez Á., & Sancho-Caparrini F. (2001).  Initial segments maximal Σₙ-definable sets in fragments of arithmetic. Joint Conference of the 5th Barcelona Logic Meeting and the 6th Kurt Gödel Colloquium. IV, 37-38.
Graciani-Díaz, C., Martín-Mateos F. J., & Pérez-Jiménez M. J. (2002).  Specification of Adleman's Restricted Model Using An Automated Reasoning System: Verification of Lipton's Experiment. Lecture Notes in Computer Science. 2509, 126-136. Abstract
Graciani-Díaz, C., Pérez-Jiménez M. J., Romero-Jiménez Á., & Sancho-Caparrini F. (2000).  NP-Completitud y Computación ADN. (Emilio Briales-Morales, Alfonso Carriazo-Rubio, Tomás Chacón-Rebollo, Pedro Real, Álvaro Romero-Jiménez, Ed.).Encuentro de Matemáticos Andaluces. II, 539-548.
Graciani-Díaz, C., & Pérez-Jiménez M. J. (2005).  Using automated reasoning systems on molecular computing. Lecture Notes in Computer Science. 3384, 128-137. Abstract
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
Graciani-Díaz, C., Pérez-Jiménez M. J., & Romero-Jiménez Á. (1998).  Descripciones funcionales de colección y colección fuerte en la aritmética. I Congreso Iberoamericano de Filosofía.
Guerrero, G. D., Cecilia J. M., García J. M., Martínez-del-Amor M. A., Pérez-Hurtado I., & Pérez-Jiménez M. J. (2009).  Analysis of P systems simulation on CUDA. XX Jornadas de Paralelismo. 289-294. Abstract
Gutiérrez-Escudero, R., Pérez-Jiménez M. J., & Rius-Font M. (2009).  Characterizing tractability by tissue-like P systems. (Gheorghe Paun, Mario J. Pérez-Jiménez, Agustín Riscos-Núñez, Ed.).10th Workshop on Membrane Computing. 269-281. Abstract
Gutiérrez-Escudero, R., Pérez-Jiménez M. J., & Rius-Font M. (2010).  Characterizing tractability by tissue-like P systems. Lecture Notes in Computer Science. 5957, 289-300. Abstract
Gutiérrez-Escudero, R., Pérez-Jiménez M. J., & Rius-Font M. (2009).  Characterizing tractability by tissue-like P systems . 7th Brainstorming Week on Membrane Computing. I, 169-180. Abstract
Gutiérrez-Naranjo, M. A., Pérez-Jiménez M. J., Riscos-Núñez A., & Romero-Campero F. J. (2007).  How to express tumours using membrane systems. Progress in Natural Science. 17(4), 449-457. Abstract
Gutiérrez-Naranjo, M. A., Pérez-Jiménez M. J., & Romero-Campero F. J. (2005).  Solving SAT with membrane creation. (S. Barry-Cooper, B. Lowe, L. Torenvliet, Ed.).Computability in Europe 2005 (CiE 2005): New Computational Paradigms . 82-91. .
Gutiérrez-Naranjo, M. A., & Pérez-Jiménez M. J. (2011).  Depth-First search with P systems. Lecture Notes in Computer Science. 6501, 257-264. Abstract
Gutiérrez-Naranjo, M. A., & Pérez-Jiménez M. J. (2010).  Searching previous configurations in Membrane Computing. Lecture Notes in Computer Science. 5957, 301-315. Abstract

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)