Browsing by Author 

Browsing by Author "Dragomir, Ciprian"  

Now showing items 1-6 of 6

    • Presentation
      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 ...
    • Presentation
      Icon

      Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example 

      Konur, Savas; Gheorgue, Marian; Dragomir, Ciprian; Ipate, Florentin; Krasnogor, Natalio (Fénix Editora, 2014)
      As unconventional computation matures and non-standard programming frameworks are demonstrated, the need for formal veri ...
    • Presentation
      Icon

      Kernel P Systems - Version 1 

      Gheorgue, Marian; Ipate, Florentin; Dragomir, Ciprian; Mierla, Laurentiu; Valencia Cabrera, Luis; García Quismondo, Manuel; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2013)
      A basic P system, called kernel P system4 (kP system for short), combining features of di erent P systems introduced and ...
    • Presentation
      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 ...
    • Presentation
      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, ...
    • Presentation
      Icon

      Using A Kernel P System to Solve The 3-Col Problem 

      Ipate, Florentin; Dragomir, Ciprian; Lefticaru, Raluca; Mierla, Laurentiu; Pérez Jiménez, Mario de Jesús (MTA SZTAKI, the Computer and Automation Research Institute of the Hungarian Academy of Sciences, 2012)
      The newly introduced Kernel P systems offer an unitary and elegant way of integrating established features of existing P ...