- idUS
- Investigación
- Ingeniería y Arquitectura
- Ciencias de la Computación e Inteligencia Artificial
- Ponencias (Ciencias de la Computación e Inteligencia Artificial)
- Listar Ponencias (Ciencias de la Computación e Inteligencia Artificial) por autor
Listar Ponencias (Ciencias de la Computación e Inteligencia Artificial) por autor "Ipate, Florentin"
Mostrando ítems 1-6 de 6
-
Ponencia
Formal Verification of P Systems with Active Membranes through Model Checking
Ipate, Florentin; Lefticaru, Raluca; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús; Tudose, Cristina (Springer, 2011)Formal verification of P systems using model checking has attracted a significant amount of research in recent years. ...
-
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
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 ...
-
Ponencia
kPWorkbench: A Software Framework for Kernel P Systems
Gheorgue, Marian; Ipate, Florentin; Mierla, Laurentiu; Konur, Savas (Fénix Editora, 2015)P systems are the computational models introduced in the context of membrane computing, a computational paradigm within ...
-
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, ...
-
Ponencia
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 ...