A simulation algorithm for multienvironment probabilistic P systems: A formal verification

Fri, 01/07/2011 - 13:54 — manu

Title	A simulation algorithm for multienvironment probabilistic P systems: A formal verification
Publication Type	Journal Papers
Year of Publication	2011
Authors	Martínez-del-Amor, M. A., Pérez-Hurtado I., Pérez-Jiménez M. J., Riscos-Núñez A., & Sancho-Caparrini F.
Journal Title	International Journal of Foundations of Computer Science
Publisher	World Scientific
Place Published	London, U.K.
Volume	22
Pages	107-118
Issue	1
Impact Factor	0.379
Ranking	86/99 - Q4
ISSN Number	0129-0541

Featured News:

Mario J. Pérez-Jiménez in the top 2% of scientists of the World
The study by the Stanford University, is an updated version of a previous studies classifying the top 2% of researchers of the World in 2023. Mario J. Pérez-Jiménez, founder of this research group, appears in the list available in the corresponding open database.
November 17, 2023

Agustín became Full Professor
On October 26th, Agustín Riscos-Núñez, the Head of the research group became Full Professor (Catedrático de Universidad) of the Department of Computer Science and Artificial Intelligence of the University of Seville.

October 26, 2023

Science names our most recent research project

Our project Virus Machines: theory and applications has been named in a Science article, where some of the research projects awardee by the Zhejiang Lab with a BioBit grant.
May 26, 2023

Complete list of news

Research Group on Natural Computing

A simulation algorithm for multienvironment probabilistic P systems: A formal verification