Mehmet Emin Bakir

Publication Activity (10 Years)

Years Active: 2014-2021
Publications (10 Years): 4

Top Topics

Comparative Analysis

Automatic Selection

Statistical Model

Temporal Properties

Top Venues

Int. Conf. on Membrane Computing

University of Sheffield, UK (PHD)

Education History

University of Sheffield, UK

PHD

Publications

Mehmet Emin Bakir, Hacer Yalim Keles
Deep Learning Based Cell Segmentation Using Cascaded U-Net Models. SIU (2021)
Mehmet Emin Bakir, Savas Konur, Marian Gheorghe, Natalio Krasnogor, Mike Stannett
Automatic selection of verification tools for efficient analysis of biochemical models. Bioinform. 34 (18) (2018)
Raluca Lefticaru, Mehmet Emin Bakir, Savas Konur, Mike Stannett, Florentin Ipate
Modelling and Validating an Engineering Application in Kernel P Systems. Int. Conf. on Membrane Computing (2017)
Mehmet Emin Bakir, Marian Gheorghe, Savas Konur, Mike Stannett
Comparative Analysis of Statistical Model Checking Tools. Int. Conf. on Membrane Computing (2016)
Radu Calinescu, Yasmin Rafiq, Kenneth Johnson, Mehmet Emin Bakir
Adaptive model learning for continual verification of non-functional properties. ICPE (2014)