• Ponencia
      Icon

      A Kernel P System 

      Gheorgue, Marian; Ipate, Florentin; Dragomir, Ciprian (Fénix Editora, 2012)
      A basic P system, called kernel P system (kP system for short), covering features of different P systems introduced and ...
    • Ponencia
      Icon

      Towards an Integrated Approach for Model Simulation, Property Extraction and Veri cation of P Systems 

      Lefticaru, Raluca; Ipate, Florentin; Valencia Cabrera, Luis; Turcanu, Adrian; Tudose, Cristina; Gheorgue, Marian; Pérez Jiménez, Mario de Jesús; Niculescu, Ionut Mihai; Dragomir, Ciprian (Fénix Editora, 2012)
      This paper presents an integrated approach for model simulation, property extraction and formal veri cation of P systems, ...