- idUS
- Listar por autor
Listar por autor "Konur, Savas"
Mostrando ítems 1-4 de 4
-
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 ...
-
Capítulo de Libro
Infobiotics Workbench: A P Systems Based Tool for Systems and Synthetic Biology
Blakes, Jonathan; Twycross, Jamie; Konur, Savas; Romero Campero, Francisco José; Krasnogor, Natalio; Gheorghe, Marian (Springer, 2014)This chapter gives an overview of an integrated software suite, the Infobiotics Workbench, which is based on a novel ...
-
Ponencia
Kernel P Systems Modelling, Testing and Veri cation
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 ...
-
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 ...