Membrane Computing Models: Implementations
Gexiang Zhang Mario J. Pérez-Jiménez Agustín Riscos-Núñez Sergey Verlan Savas Konur Thomas Hinze Marian Gheorghe (2021) Springer.
Computational Modelling, Data Driven Modelling (including Machine Learning), Software Engineering, Software Verification and High-performance Computing with interdisciplinary applications to Systems and Synthetic Biology, Membrane Computing, Intelligent Systems and Smart Manufacturing
Gexiang Zhang Mario J. Pérez-Jiménez Agustín Riscos-Núñez Sergey Verlan Savas Konur Thomas Hinze Marian Gheorghe (2021) Springer.
Savas Konur, Harold Fellermann, Larentiu Marian Mierla, Daven Sanassy, Christophe Ladroue, Sara Kalvala, Marian Gheorghe, Natalio Krasnogor (2017) Advances in Unconventional Computing. Springer International Publishing.
Marian Gheorghe, Savas Konur, Florentin Ipate (2017) Advances in Unconventional Computing. Springer International Publishing.
Blakes, J.; Twycross, J.; Konur, Savas; Romero-Campero, F.J.; Krasnogor, N.; Gheorghe, Marian (2014) Applications of Membrane Computing in Systems and Synthetic Biolog. Springer International Publishing. 1-41.
Matzko R.O.;Mierla L.;Konur S. (2022) Lecture Notes in Computer Science. 13347 LNBI, 193-207.
Ahmed W.;Konur S. (2021) International Conference on Innovative Techniques and Applications of Artificial Intelligence, SGAI-AI 2021: Artificial Intelligence XXXVIII. Lecture Notes in Computer Science (LNAI, 13101) , 133-138.
Zadeh E.;Amstutz S.;Collins J.;Ingham C.;Gheorghe M.;Konur S. (2021) Frontiers in Artificial Intelligence and Applications, Proceedings of CECNet 2021. 345, 659-666.
R Lefticaru, M Gheorghe, S Konur, IM Niculescu, and HN Adorna (2020) 18th International Conference on High Performance Computing & Simulation (HPCS 2020). 1
Preniqi, Vjosa and Mishra, Bhupesh Kumar and Thakker, Dhavalkumar and Feigl, Erich and Mokryani, Geev and Abdullatif, Amr and Konur, Savas (2020) 2020 International Conferences on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData) and IEEE Congress on Cybermatics (Cybermatics). -
Yemson R.;Thakker D.;Konur S. (2019) Proceedings of the 9th International Conference on the Internet of Things, IoT 2019, Bilbao, Spain. 1, 1-4.
Lan Y.;Konur S.;Sutcliffe P. (2018) Frontiers in Artificial Intelligence and Applications. 309, 428-434.
Lefticaru R.;Konur S.;Yildirim U.;Uddin A.;Campean F.;Gheorghe M. (2018) IEEE International Conference on Internet of Things, IEEE Green Computing and Communications, IEEE Cyber, Physical and Social Computing, IEEE Smart Data, iThings-GreenCom-CPSCom-SmartData 2017. 2018-January, 131-138.
Lefticaru R.;Bakir M.;Konur S.;Stannett M.;Ipate F. (2018) International Conference on Membrane Computing, CMC 2017. 10725 LNCS, 183-195.
Modu B.;Polovina N.;Lan Y.;Konur S. (2018) Frontiers in Artificial Intelligence and Applications. 309, 465-472.
B. Modu, A. T. Asyhari, S. Konur, Y. Peng (2017) Proceedings of the IS4SI 2017 Summit DIGITALISATION FOR A SUSTAINABLE SOCIETY, Gothenburg, Sweden. 1
Lefticaru, Raluca; Konur, Savas; Yildirim, Unal; Uddin, Amad; Campean, I. Felician; Gheorghe, Marian (2017) 2017 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData). 1, 131-138.
Bakir M.;Gheorghe M.;Konur S.;Stannett M. (2017) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 10105 LNCS, 119-135.
M. Gheorghe, R. Ceterchi, F. Ipate, S. Konur (2016) 14th Brainstorming Week on Membrane Computing, BWMC 2016, Sevilla, Spain. 1
Gheorghe M.;Ceterchi R.;Ipate F.;Konur S. (2016) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 10105 LNCS, 233-250.
Gheorghe, Marian; Ipate, F.; Mierla, L.M.; Konur, Savas (2015) Proceedings of the Thirteenth Brainstorming Week on Membrane Computing, February, 2015, Sevilla, Spain. 1, 179-194.
Gheorghe M.;Konur S.;Ipate F.;Mierla L.;Bakir M.;Stannett M. (2015) International Conference on Membrane Computing, CMC 2015, Lecture Notes in Computer Science (LNCS). 9504, 153-170.
Konur S.;Kiran M.;Gheorghe M.;Burkitt M.;Ipate F. (2015) Proceedings - 2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security and 2015 IEEE 12th International Conference on Embedded Software and Systems, HPCC-CSS-ICESS 2015., 84-89.
S. Konur, C. Ladroue, H. Fellermann, D. Sanassy, L. Mierla, F. Ipate, S. Kalvala, M. Gheorghe, N. Krasnogor (2014) Verification of Engineered Molecular Devices and Programs, Proceedings of VEMDP’14, Vienna, Austria. 1
Sanassy, D.; Fellerman, H.; Krasnogor, N.; Konur, Savas; Mierla, L.M.; Gheorghe, Marian; Ladroue, C.; Kalvala, S. (2014) 2014 IEEE Intl Conf on High Performance Computing and Communications, 2014 IEEE 6th Intl Symp on Cyberspace Safety and Security, 2014 IEEE 11th Intl Conf on Embedded Software and Syst. 1, 404-408.
Bakir, M.E.; Ipate, F.; Konur, Savas; Mierla, L.M.; Niculescu, I.M. (2014) 15th International Conference on Membrane Computing, Prague, Czech Republic. 1, 158-178.
Konur, S. and Gheorghe, M (2014) The University of Sheffield Engineering Symposium Conference Proceedings, USES 2014. 1
Konur Savas, Marian Gheorgue, Ciprian Dragomir, Florentin Ipate, Natalio Krasnogor (2014) Twelfth Brainstorming Week on Membrane Computing / Luis Felipe Macías Ramos, Miguel Ángel Martínez del Amor, Gheorge Paun, Agustín Riscos Núñez, Luis Valencia Cabrera (eds), Sevilla, Spain. 1
Bakir, M.E.; Konur, Savas; Gheorghe, Marian; Niculescu, I.M.; Ipate, F. (2014) 2014 IEEE Intl Conf on High Performance Computing and Communications, 2014 IEEE 6th Intl Symp on Cyberspace Safety and Security, 2014 IEEE 11th Intl Conf on Embedded Software and Syst (HPCC,CSS,ICESS). 1, 409-412.
Sanassy D.;Fellermann H.;Krasnogor N.;Konur S.;Mierla L.;Gheorghe M.;Ladroue C.;Kalvala S. (2014) Proceedings - 16th IEEE International Conference on High Performance Computing and Communications, HPCC 2014, 11th IEEE International Conference on Embedded Software and Systems, ICESS 2014 and 6th International Symposium on Cyberspace Safety and Security, CSS 2014., 404-408.
Dragomir, C.; Ipate, F.; Konur, Savas; Lefticaru, Raluca; Mierla, L.M. (2013) International Conference on Membrane Computing. CMC 2013. LNCS 8340, 151-172.
Dragomir C.;Ipate F.;Konur S.;Lefticaru R.;Mierla L. (2013) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8340 LNCS, 151-172.
Konur S.;Fisher M. (2011) IEEE Vehicular Technology Conference.
Konur S.;Dixon C.;Fisher M. (2010) Lecture Notes in Computer Science. 6234 LNCS, 440-447.
Konur, Savas; Fisher, Michael (2009) Automated Reasoning Workshop 2009 Bridging the Gap between Theory and Practice ARW 2009. 1
Konur, Savas; Al Zahrani, Ahmed; Fisher, Michael (2009) Proceedings of the Ninth International Workshop on Automated Verification of Critical Systems. CSR-2-2009
Konur, Savas (2009) International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX’09), Oslo, Norway. 1
Konur, Savas (2009) Automated Reasoning Workshop 2009 Bridging the Gap between Theory and Practice ARW 2009. 1
Konur, Savas (2009) Workshop on Quantitative Formal Methods: Theory and Applications (QFM'09) – 16th International Symposium on Formal Methods (FM'09), Eindhoven, the Netherlands. 1
Konur, Savas (2008) Advances in Modal Logic, AIML 2008, Nancy, France . 7
Konur S. (2006) Proceedings of the International Workshop on Temporal Representation and Reasoning. 2006, 36-41.
Konur, Savas; Ferrein, Alexander; Lakemeyer, Gerhard (2004) ECAI-04 Workshop on Agents in dynamic and real-time environments. 1
Abbink, H; Dijk, R van; Dobos, T; Hoogendoorn, M; Jonker, CM; Konur, S; Van Maanen, PP; Popova, V; Sharpanskykh, A; Tooren, P van; Treur, J; Valk, J; Xu, L; Yolum, P (2004) Proceedings of the 24th International Conference on Innovative Techniques and Applications of Artificial Intelligence. 1
Abbink, Hans; Van Dijk, Roel; Dobos, Tamas; Hoogendoorn, Mark; Jonker, Catholijn; Konur, Savas; van Maanen, Peter-Paul; Popova, Viara; Sharpanskykh, Alexei; van Tooren, Peet; Treur, Jan; Valk, Jeroen; Xu, Lai; Yolum, Pinar (2004) Proceedings of ISCRAM 2004 - 1st International Workshop on Information Systems for Crisis Response and Management. 1
Konur, Savas; Gheorghe, Marian (2016) University of Bradford.
Savas Konur (2020) University of Bradford.
Babagana Modu, Nereida Polovina, Savas Konur (2020) arXiv. 2004.06477
Marian Gheorghe, Savas Konur, Florentin Ipate (2015) Multidisciplinary Creativity.
Marian Gheorge, Florentin Ipate, Savas Konur (2015) Annals of Bucharest University. LXII
Andrei, Oana; Calder, Muffy; Fisher, Michael; Konur, Savas (2013) University of Glasgow.
Savas Konur (2010) arXiv. ULCS-08-020
Savas Konur (2010) arXiv. ULCS-08-021
Savas Konur, Michael Fisher, Sven Schewe (2009) University of Liverpool. ulcs-09-021
Marian Gheorghe, Raluca Lefticaru, Savas Konur, Ionut Mihai Niculescu, Henry N. Adorna (2021) Journal of Membrane Computing. TBD
Savas Konur, Laurentiu Mierla, Harold Fellermann, Christophe Ladroue, Bradley Brown, Anil Wipat, Jamie Twycross, Boyang Peter Dun, Sara Kalvala, Marian Gheorghe, and Natalio Krasnogor (2021) ACS Synthetic Biology. 10
Konur S.;Lan Y.;Thakker D.;Morkyani G.;Polovina N.;Sharp J. (2021) Neural Computing and Applications.
Zaka M.;Sutton C.W.;Peng Y.;Konur S. (2020) Cancers. 12
Konur S.;Mierlă L.;Ipate F.;Gheorghe M. (2020) Softwarex. 11
Kabir S.;Aslansefat K.;Sorokos I.;Papadopoulos Y.;Konur S. (2020) Ieee Access. 8, 97175-97188.
Ţurlea A.;Gheorghe M.;Ipate F.;Konur S. (2019) Journal of Membrane Computing. 1, 241-250.
Bakir, M.E.; Konur, Savas; Gheorghe, Marian; Krasnogor, N.; Stannett, M. (2018) Bioinformatics. 34, 3187-3195.
Gheorghe, Marian; Ceterchi, R.; Ipate, F.; Konur, Savas; Lefticaru, Raluca (2018) Theoretical Computer Science. 724, 45-60.
Modu B.;Polovina N.;Lan Y.;Konur S.;Taufiq Asyhari A.;Peng Y. (2017) Applied Sciences. 7
Camci F.;Eker O.;Baskan S.;Konur S. (2016) Proceedings Of The Institution Of Mechanical Engineers, Part F: Journal Of Rail And Rapid Transit. 230, 24-42.
Gheorghe, Marian; Ipate, F.; Konur, Savas (2016) Information Sciences. 372, 565-578.
Konur, Savas; Fisher, M. (2015) Knowledge Engineering Review. 30, 324 -341.
Konur, Savas; Gheorghe, Marian (2015) IEEE/ACM Transactions on Computational Biology and Bioinformatics. 12, 360-371.
Konur, Savas; Gheorghe, Marian; Dragomir, C.; Mierla, L.M.; Ipate, F.; Krasnogor, N. (2015) ACS Synthetic Biology. 4, 83-92.
Konur, Savas; Gheorghe, Marian; Dragomir, C.; Ipate, F.; Krasnogor, N. (2014) Fundamenta Informaticae. 134, 97-110.
Konur S.;Fisher M.;Dobson S.;Knox S. (2014) Formal Aspects of Computing. 26, 677-694.
Savas Konur (2014) Science of Computer Programming. 80
Konur, Savas (2014) Journal of Applied Mathematics. 2014
Konur S. (2013) Frontiers of Computer Science. 7, 370-403.
Konur S.;Fisher M.;Schewe S. (2013) Theoretical Computer Science. 503, 61-88.
Konur S.;Dixon C.;Fisher M. (2012) Robotics and Autonomous Systems. 60, 199-213.
Konur S. (2011) Journal of Logic, Language and Information. 20, 49-68.
M. Arapinis, M. Calder, L. A. D., M. Fisher, P. D. Gray, S. Konur, A. Miller, E. Ritter, M. Ryan, S. Schewe, C. Unsworth, R. Yasmin (2009) Electronic Communications of the EASST. 22