Mehmet Emin Bakir

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 5

Top Topics

Negative Effects

Pspace Complete

Temporal Properties

Males And Females

Top Venues

Int. Conf. on Membrane Computing

University of Sheffield, UK (PHD)

Education History

University of Sheffield, UK

PHD

Publications

Mehmet Emin Bakir, Tracie Farrell, Kalina Bontcheva
Abuse in the time of COVID-19: the effects of Brexit, gender and partisanship. Online Inf. Rev. 48 (5) (2024)
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)