Items where authors include "Konur, S."

Article

Bakir, M.E., Konur, S., Gheorghe, M. et al. (2 more authors) (2018) Automatic selection of verification tools for efficient analysis of biochemical models. Bioinformatics, 34 (18). pp. 3187-3195. ISSN 1367-4803

Proceedings Paper

Lefticaru, R., Bakir, M.E., Konur, S. et al. (2 more authors) (2018) Modelling and validating an engineering application in kernel P systems. In: Gheorghe, M., Rozenberg, G., Salomaa, A. and Zandron, C., (eds.) Membrane Computing. CMC 2017. 18th International Conference, CMC 2017, 25-28 Jul 2017, Bradford, UK. Lecture Notes in Computer Science, 10725 . Springer International Publishing , pp. 183-195. ISBN 9783319733586

Bakir, M.E. orcid.org/0000-0002-3012-8713, Gheorghe, M., Konur, S. et al. (1 more author) (2017) Comparative Analysis of Statistical Model Checking Tools. In: Membrane Computing: 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers. 17th International Conference on Membrane Computing (CMC17), 25/07/2016-29/07/2016, Milan, Italy. Lecture Notes in Computer Science, 10105 . Springer Verlag . ISBN 978-3-319-54071-9

Gheorghe, M., Konur, S., Ipate, F. et al. (3 more authors) (2015) An integrated model checking toolset for kernel P systems. In: Lecture Notes in Computer Science. 16th International Conference, CMC 2015, 17-21 Aug 2015, Valencia, Spain. Springer , pp. 153-170. ISBN 9783319284743

Konur, S. and Gheorghe, M. (2014) Design and Analysis of Genetically Constructed Logic Gates. In: The University of Sheffield Engineering Symposium Conference Proceedings Vol. 1. USES 2014 - The University of Sheffield Engineering Symposium, 24 June 2014, The Octagon Centre, University of Sheffield. .