A review of modelling and verification approaches for computational biology

by Konur, Savas
Published 2020

Model-based integration analysis revealed presence of novel prognostic miRNA targets and important cancer driver genes in triple-negative breast cancers

by Zaka, M., Sutton, Chris W., Peng, Y., Konur, Savas
Published 2020

kPWorkbench: A software suit for membrane systems

by Konur, Savas, Mierla, L.M., Ipate, F., Gheorghe, Marian
Published 2020

A hybrid modular approach for dynamic fault tree analysis

by Kabir, Sohag, Aslansefat, K., Sorokos, I., Papadopoulos, Y., Konur, Savas
Published 2020

Automatic Selection of Verification Tools for Efficient Analysis of Biochemical Models

by Bakir, M.E., Konur, Savas, Gheorghe, Marian, Krasnogor, N., Stannett, M.
Published 2018

Spiking Neural P Systems Simulation and Verification

by Lefticaru, Raluca, Gheorghe, Marian, Konur, Savas, Niculescu, I.M., Adorna, H.N.
Published 2021

Spiking neural P systems: matrix representation and formal verification

by Gheorghe, Marian, Lefticaru, Raluca, Konur, Savas, Niculescu, I.M., Adorna, H.N.
Published 2021

Towards design and implementation of Industry 4.0 for food manufacturing

by Konur, Savas, Lan, Yang, Thakker, Dhaval, Mokryani, Geev, Polovina, N., Sharp, J.
Published 2021

Toward full-stack in silico synthetic biology: integrating model specification, simulation, verification, and biological compilation

by Konur, Savas, Mierla, L.M., Fellermann, H., Ladroue, C., Brown, B., Wipat, A., Twycross, J., Dun, B.P., Kalvala, S., Gheorghe, Marian, Krasnogor, N.
Published 2021