Home

Biblio

Export 24 results:
Sort by: Author Title Type [ Year (Asc)]
Filters: First Letter Of Last Name is T  [Clear All Filters]
2002
Paun, G., Santean N., Thierrin G., & Yu S. (2002).  On the robustness of primitive words . Computación y Sistemas. Revista Iberoamericana de Inteligencia Artificial. 117(1,15), 239-252. Abstract
2004
Paun, G., Suzuki Y., Tanaka H., & Yokomori T. (2004).  On the power of membrane division in P systems. Theoretical Computer Science. 324(1), 61 - 85. Abstract
2005
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. .
2007
Ceterchi, R., Pérez-Jiménez M. J., & Tomescu A. I. (2007).  Simulating the bitonic sort on a 2D-mesh with P systems. (George Eleftherakis, Petros Kefalas, Gheorghe Paun, Ed.).Eighth Workshop on Membrane Computing. 205-226.
Ceterchi, R., Pérez-Jiménez M. J., & Tomescu A. I. (2007).  Simulating the bitonic sort using P systems. Membrane Computing, 8th International Workshop, WMC 2007. 486, 172-192. Abstract
2008
Ceterchi, R., Pérez-Jiménez M. J., & Tomescu A. I. (2008).  Sorting omega networks simulated with P systems: Optimal data layout. International Workshop on Computing with Biomolecules. 29-42.
2009
Romero-Campero, F. J., Twycross J., Cámara M., Bennett M., Gheorghe M., & Krasnogor N. (2009).  Modular Assembly of Cell Systems Biology Models Using P systems. International Journal of Foundations of Computer Science. 20(3), 427-442. Abstract
Romero-Campero, F. J., Twycross J., Hongqing C., Blakes J., & Krasnogor N. (2009).  A multiscale modelling framework based on P systems. Lecture Notes in Computer Science. 5391, 63-77. Abstract
2010
Pérez-Hurtado, I., Valencia-Cabrera L., Pérez-Jiménez M. J., Colomer A. M., & Riscos-Núñez A. (2010).  MeCoSim: A general purpose software tool for simulating biological phenomena by means of P Systems. (K. Li, Z. Tang, R. Li, Atulya Nagar, R. Thamburaj, Ed.).IEEE Fifth International Conference on Bio-inpired Computing: Theories and Applications (BIC-TA 2010). I, 637-643. Abstract
Díaz-Pernil, D., Gutiérrez-Naranjo M. A., Molina-Abril H., & Real P. (2010).  A Bio-inspired Software for Segmenting Digital Images. (Atulya Nagar, R. Thamburaj, K. Li, Z. Tang, R. Li, Ed.).2010 IEEE Fifth International Conference on Bio-Inspired Computing: Theories and Applications BIC-TA. 2, 1377-1381 .
Martínez-del-Amor, M. A., Pérez-Hurtado I., Pérez-Jiménez M. J., Riscos-Núñez A., & Colomer A. M. (2010).  A new simulation algorithm for multienvironment probabilistic P systems. (K. Li, Z. Tang, R. Li, Atulya Nagar, R. Thamburaj, Ed.).IEEE Fifth International Conference on Bio-inpired Computing: Theories and Applications (BIC-TA 2010). 1, 59-68. Abstract
Colomer, A. M., Pérez-Hurtado I., Pérez-Jiménez M. J., & Riscos-Núñez A. (2010).  Simulating Tritrophic Interactions by Means of P Systems. (Atulya Nagar, R. Thamburaj, K. Li, Z. Tang, R. Li, Ed.).IEEE Fifth International Conference on Bio-inpired Computing: Theories and Applications (BIC-TA 2010). 2, 637-643. Abstract
Díaz-Pernil, D., Fernández-Márquez C. M., García-Quismondo M., Gutiérrez-Naranjo M. A., & Martínez-del-Amor M. A. (2010).  Solving Sudoku with Membrane Computing. (K. Li, Z. Tang, R. Li, Atulya Nagar, R. Thamburaj, Ed.).2010 IEEE Fifth International Conference on Bio-Inspired Computing: Theories and Applications BIC-TA. I, 610-615 .
Colomer, A. M., Martínez-del-Amor M. A., Pérez-Hurtado I., Pérez-Jiménez M. J., & Riscos-Núñez A. (2010).  A uniform framework for modeling based on P Systems. (K. Li, Z. Tang, R. Li, Atulya Nagar, R. Thamburaj, Ed.).IEEE Fifth International Conference on Bio-inpired Computing: Theories and Applications (BIC-TA 2010). 1, 616-621. Abstract
2011
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
Blakes, J., Twycross J., Romero-Campero F. J., & Krasnogor N. (2011).  The Infobiotics Workbench: an integrated in silico modelling platform for Systems and Synthetic Biology. Bioinformatics. 27(23), 3323-3324.
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
2013
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
2014
Blakes, J., Twycross J., Konur S., Romero-Campero F. J., Krasnogor N., & Gheorghe M. (2014).  Infobiotics Workbench: A P Systems Based Tool for Systems and Synthetic Biology. Applications of Membrane Computing in Systems and Synthetic Biology. 7, 1-42.
2016
Wang, J., Peng H., Tu M., Pérez-Jiménez M. J., & Shi P. (2016).  A Fault Diagnosis Method of Power Systems Based on an Improved Adaptive Fuzzy Spiking Neural P Systems and PSO Algorithms. Signal Processing. 25, 320-327. Abstract
2018
Peng, H., Wang J., Ming J., Shi P., Pérez-Jiménez M. J., Yu W., et al. (2018).  Fault diagnosis of power systems using intuitionistic fuzzy spiking neural P systems. IEEE Transactions on Smart Grid.
2019
Wang, J., Peng H., Yu W., Ming J., Pérez-Jiménez M. J., Tao C., et al. (2019).  Interval-valued fuzzy spiking neural P systems for fault diagnosis of power transmission networks. Engineering Applications of Artificial Intelligence. 82, 102 - 109. Abstract
2021
Torres-Moríñigo, A., Martínez-del-Amor M. A., & Sancho-Caparrini F. (2021).  GPU-parallel Crowd Simulation with Vulkan. 6th International Workshop on Modeling and Simulation of and by Parallel and Distributed Systems (MSPDS 2020). In press.

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)