- idUS
- Jornadas y Congresos US
- Informática
- Listar Informática por autor
Listar Informática por autor "Dragomir, Ciprian"
Mostrando ítems 1-4 de 4
-
Ponencia
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
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 ...
-
Ponencia
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 ...
-
Ponencia
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, ...