Home

Biblio

Export 35 results:
Sort by: Author Title Type [ Year (Asc)]
Filters: First Letter Of Last Name is I  [Clear All Filters]
2011
Ionescu, M., Paun G., Pérez-Jiménez M. J., & Yokomori T. (2011).  Spiking Neural dP Systems. Ninth Brainstorming Week on Membrane Computing. 193-208.
Ionescu, M., Paun G., Pérez-Jiménez M. J., & Rodríguez-Patón A. (2011).  Spiking Neural P systems with several types of spikes. Ninth Brainstorming Week on Membrane Computing. 183-192. Abstract
Ipate, F., Lefticaru R., Pérez-Hurtado I., Pérez-Jiménez M. J., & Tudose C. (2011).  Formal Veri cation of P Systems with Active Membranes through Model Checking. 12th International Conference on Membrane Computing (CMC12). 241-252. Abstract
2012
Ipate, F., Lefticaru R., Pérez-Hurtado I., Pérez-Jiménez M. J., & Tudose C. (2012).  Formal verification of P systems with active membranes through model checking. Lecture Notes in Computer Science. 7184, 215-225. Abstract
Lefticaru, R., Ipate F., Valencia-Cabrera L., Turcanu A., Tudose C., Gheorghe M., et al. (2012).  Towards an Integrated Approach for Model Simulation, Property Extraction and Verification of P Systems. Tenth Brainstorming Week on Membrane Computing. I, 291-318. Abstract
Ipate, F., Dragomir C., Lefticaru R., Mierla L., & Pérez-Jiménez M. J. (2012).  Using a kernel P system to solve the 3-Col problem. 13th International Conference on Membrane Computing (CMC13). 243-258.
2013
Ipate, F., Lefticaru R., Mierla L., Valencia-Cabrera L., Han H., Zhang G., et al. (2013).  Kernel P Systems: Applications and Implementations. (Zhixiang Yin, Linqiang Pan, Xianwen Fang, Ed.).Eighth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA), 2013. 212, 1081-1089. 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., 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
2019
Alhazov, A., Freund R., Ivanov S., & Pérez-Jiménez M. J. (2019).  P Systems: From anti-matter to anti-rules. Seventeenth Brainstorming Week on Membrane Computing. 41-58.

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)