Publications

To cite Infobiotics Workbench, please use the following reference:

  1. Konur, L. Mierla, H. Fellermann, C. Ladroue, B. Brown, A. Wipat, J. Twycross, B. P. Dun, S. Kalvala, M. Gheorghe, and N. Krasnogor. Toward Full-Stack In Silico Synthetic Biology: Integrating Model Specification, Simulation, Verification, and Biological Compilation. ACS Synthetic Biology, 10, 8, 1931–1945, 2021.

Other publications

  1. Zhang, M. J. Pérez-Jiménez, A. Riscos-Núñez, S. Verlan, S. Konur, T. Hinze and M. Gheorghe. Membrane Computing Models: Implementations. Springer, 2021.
  1. Bakir, S. Konur, M. Gheorghe, N. Krasnogor and M. Stannett. Automatic Selection of Verification Tools for Efficient Analysis of Biochemical Models. Bioinformatics, vol. 34(18), pp. 3187-3195, 2018.
  1. Konur, H. Fellermann, L. M. Mierla, D. Sanassy, C. Ladroue, S. Kalvala, M. Gheorghe, N. Krasnogor. An integrated in silico simulation and biomatter compilation approach to cellular computation. Advances in Unconventional Computing, Springer, pp. 655-676, 2017.
  1. Gheorghe, S. Konur, F. Ipate. Kernel P Systems and Stochastic P Systems for Modelling and Formal Verification of Genetic Logic Gates. Advances in Unconventional Computing, Springer, pp. 661-675, 2017.
  1. Bakir, M. Gheorghe, S. Konur, M. Stannett. Comparative Analysis of Statistical Model Checking Tools. 17th International Conference on Membrane Computing (Milano, Italy), LNCS, vol. 10105, pp. 119-135, 2016.
  1. Konur, M. Gheorghe, C. Dragomir, L. Mierla, F. Ipate, N. Krasnogor. Qualitative and quantitative analysis of systems and synthetic biology constructs using P systems. ACS Synthetic Biology, vol. 4(1), pp. 83-92, 2015.
  1. Konur, Marian Gheorghe. A property-driven methodology for formal analysis of synthetic biology systems. IEEE/ACM Transactions on Computational Biology and Bioinformatics, vol. 12(2), pp. 360-371, 2015.
  1. Konur, M. Kiran, M. Gheorghe, M. Burkitt, F. Ipate. Agent-Based High-Performance Simulation of Biological Systems on the GPU. HPCC/CSS/ICESS 2015 (New York, USA), pp. 84-89, 2015.
  1. Konur, M. Gheorghe, C. Dragomir, F. Ipate, N. Krasnogor. Conventional verification for unconvential computing: A genetic XOR gate example. Fundamenta Informaticae, vol. 134, pp. 97-110, 2014.
  1. Sanassy, H. Fellermann, S. Konur, C. Ladroue, L. Mierla, S. Kalvala, M. Gheorghe and N. Krasnogor. Modeling and Stochastic Simulation of Synthetic Biological Boolean Gates. 16th IEEE International Conference on High Performance Computing and Communications, Proceedings of HPCC’14, Paris, France, pp. 404-408, 2014.
  1. Konur, C. Ladroue, H. Fellermann, D. Sanassy, L. Mierla, F. Ipate, S. Kalvala, M. Gheorghe and N. Krasnogor. Modeling and Analysis of Genetic Boolean Gates using Infobiotics Workbench. Verification of Engineered Molecular Devices and Programs, Proceedings of VEMDP’14, pp. 26-37, Vienna, Austria, 2014.
  1. Fellermann, C. Ladroue, S. Konur, D. Sanassy, L. Mierla, S. Kalvala, M. Gheorghe and N. Krasnogor. The Infobiotics Workbench – Integrating Design, Verification and Compilation of Synthetic Biology Circuts. International Symposium on Integrative Bioinformatics, poster presentation, Newcastle, UK, 2014.
  1. Blakes, J. Twycross, S. Konur, F. J. Romero-Campero, N. Krasnogor, M. Gheorghe. Infobiotics Workbech: A P systems based tool for systems and synthetic biology. Applications of Membrane Computing in Systems and Synthetic Biology, Springer, 7, pp. 1-41, 2014.