• Ponencia
      Icon

      A Hybrid Approach to Modeling Biological Systems 

      Bernardini, Francesco; Gheorghe, Marian; Romero Campero, Francisco José; Walkinshaw, Neil (Springer, 2007)
      This paper investigates a hybrid approach to modeling molecular interactions in biology. P systems, π-calculus, and Petri ...
    • Capítulo de Libro
      Icon

      A Modeling Approach Based on P Systems with Bounded Parallelism 

      Bernardini, Francesco; Romero Campero, Francisco José; Gheorghe, Marian; Pérez Jiménez, Mario de Jesús (Springer, 2006)
      This paper presents a general framework for modelling with membrane systems that is based on a computational paradigm ...
    • Ponencia
      Icon

      Kernel P Systems: Applications and Implementations 

      Ipate, Florentin; Lefticaru, Raluca; Mierla, Laurentiu; Valencia Cabrera, Luis; Han, Huang; Zhang, Gexiang; Dragomir, Ciprian; Pérez Jiménez, Mario de Jesús; Gheorghe, Marian (Springer, 2013)
      This paper explores the modelling capacities of a new class of P systems, called kernel P systems (kP systems). A specific ...
    • Capítulo de Libro
      Icon

      On P Systems as a Modelling Tool for Biological Systems 

      Bernardini, Francesco; Gheorghe, Marian; Krasnogor, Natalio; Muniyandi, Ravie C.; Pérez Jiménez, Mario de Jesús; Romero Campero, Francisco José (Springer, 2006)
      We introduce a variant of P systems where rules have associated a real number providing a measure for the “intrinsic ...
    • Ponencia
      Icon

      On P Systems with Bounded Parallelism 

      Bernardini, Francesco; Romero Campero, Francisco José; Gheorghe, Marian; Pérez Jiménez, Mario de Jesús; Margenstern, Maurice; Verlan, Sergey; Krasnogor, Natalio (IEEE Computer Society, 2005)
      A framework that describes the evolution of P systems with bounded parallelism is de ned by introducing basic formal ...
    • Ponencia
      Icon

      Towards a P Systems Pseudomonas Quorum Sensing Model 

      Bianco, Luca; Pescini, Dario; Siepmann, Peter; Krasnogor, Natalio; Romero Campero, Francisco José; Gheorghe, Marian (Springer, 2006)
      Pseudomonas aeruginosa is an opportunistic bacterium that exploits quorum sensing communication to synchronize individuals ...
    • Capítulo de Libro
      Icon

      Towards Probabilistic Model Checking on P Systems Using PRISM 

      Romero Campero, Francisco José; Gheorghe, Marian; Bianco, Luca; Pescini, Dario; Pérez Jiménez, Mario de Jesús; Ceterchi, Rodica (Springer, 2006)
      This paper presents the use of P systems and π-calculus to model interacting molecular entities and how they are translated into a probabilistic and symbolic model checker called PRISM.