Now showing items 1-17 of 17

    • Icon

      3-Col problem modelling using simple kernel P systems  [Article]

      Gheorghe, Marian; Ipate, Florentin; Lefticaru, Raluca; Pérez Jiménez, Mario de Jesús; Turcanu, Adrian; Valencia Cabrera, Luis; García Quismondo, Manuel; Mierla, Laurentiu (Taylor and Francis, 2013)
      This paper presents the newly introduced class of (simple) kernel P systems ((s)kP systems) and investigates through a 3-colouring problem case study the expressive power and efficiency of kernel P systems. It describes ...
    • Icon

      A Hybrid Approach to Modeling Biological Systems  [Presentation]

      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 nets models, and two tools, Daikon, used in software reverse-engineering, and PRISM, a probabilistic ...
    • Icon

      A Modeling Approach Based on P Systems with Bounded Parallelism  [Chapter of Book]

      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 where rules have associated a finite set of attributes and a corresponding function. Attributes and ...
    • Icon

      An Approximate Algorithm Combining P Systems and Ant Colony Optimization for Traveling Salesman Problems  [Presentation]

      Zhang, Gexiang; Cheng, Jixiang; Gheorghe, Marian (Fénix Editora, 2010)
      This paper proposes an approximate optimization algorithm combining P systems with ant colony optimization, called ACOPS, to solve traveling salesman prob- lems, which are well-known and extensively studied NP-complete ...
    • Icon

      Cellular modelling using P systems and process algebra.  [Article]

      Romero Campero, Francisco José; Gheorghe, Marian; Ciobanu, Gabriel; Auld, John M.; Pérez Jiménez, Mario de Jesús (Taylor and Francis Online, 2007)
      In this paper various molecular chemical interactions are modelled under different computational paradigms. P systems and -calculus are used to describe intra-cellular reactions like protein-protein interactions and ...
    • Icon

      Deterministic and stochastic P systems for modelling cellular processes  [Article]

      Gheorghe, Marian; Manca, Vincenzo; Romero Campero, Francisco José (Springer, 2010)
      This paper presents two approaches based on metabolic and stochastic P systems, together with their associated analysis methods, for modelling biological sys- tems and illustrates their use through two case studies.
    • Icon

      Kernel P Systems Modelling, Testing and Veri cation  [Presentation]

      Gheorghe, Marian; Ceterchi, Rodica; Ipate, Florentin; Konur, Savas (Fénix, 2016)
      A kernel P system (kP system, for short) integrates in a coherent and elegant manner many of the P system features most successfully used for modelling various applications and, consequently, it provides a framework for ...
    • Icon

      Kernel P Systems: Applications and Implementations  [Presentation]

      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 language for describing kP systems and its translation into Promela, the specification language of ...
    • Icon

      On P Systems as a Modelling Tool for Biological Systems  [Chapter of Book]

      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 reactivity”of the rule and roughly corresponding to the kinetic coefficient which, in bio-chemistry, ...
    • Icon

      On P Systems with Bounded Parallelism  [Presentation]

      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 features that can be then integrated into a structural operational semantics. This approach investigates ...
    • Icon

      P systems, a computacional modelling framework for systems biology  [PhD Thesis]

      Romero Campero, Francisco José (2007)
      "Los programas informáticos que modelizan células facilitarán el trabajo de los biólogos. Se basa en hacer modelos de células, por lo que llevo tres años en los que estoy realizando modelos de sistemas biológicos en ...
    • Icon

      P systems, a computational modelling framework for systems biology  [PhD Thesis]

      Romero Campero, Francisco José (2008-02-06)
      LOS PROGRAMAS INFORMÁTICOS QUE MODELIZAN CÉLULAS FACILITARÁN EL TRABAJO DE LOS BIÓLOGOS Se basa en hacer modelos de células, por lo que llevo tres años en los que estoy realizando modelos de sistemas biológicos en bacterias. ...
    • Icon

      Preface Membrane Computing 2016  [Article]

      Gheorghe, Marian; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Springer, 2016)
    • Icon

      Search Based Software Engineering in Membrane Computing  [Presentation]

      Turlea, Ana; Gheorghe, Marian; Ipate, Florentin (Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019)
      This paper presents a testing approach for kernel P Systems (kP systems), based on test data generation for a given scenario. This method uses Genetic Algorithms to generate the input sets needed to trigger the given ...
    • Icon

      Testing Identifiable Kernel P Systems Using an X-machine Approach  [Presentation]

      Gheorghe, Marian; Ipate, Florentin; Lefticaru, Raluca; Turlea, Ana (Universidad de Sevilla, Escuela Técnica Superior de Ingeniería Informática, 2018)
      This paper presents a testing approach for kernel P systems (kP systems), based on the X-machine testing framework and the concept of cover automaton. The testing methodology ensures that the implementation conforms the ...
    • Icon

      Towards a P Systems Pseudomonas Quorum Sensing Model  [Presentation]

      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 in a colony and this leads to an increase in the effectiveness of its virulence. In this paper ...
    • Icon

      Towards Probabilistic Model Checking on P Systems Using PRISM  [Chapter of Book]

      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.