Professor Marian Gheorghe, Emeritus Professor - FOEI
Information about Professor Marian Gheorghe at the University of Bradford.
- Faculty of Eng & Digital Technologies
- Email:
- m.gheorghe@bradford.ac.uk
Biography
Education and TeachingProfessor Gheorghe obtained his PhD and BSc in Mathematics and Computer Science from the University of Bucharest. He has taught extensively topics in core Computer Science - data structures and algorithms, compiler construction, formal languages and automata, discrete mathematics, different programming language concepts and Software Engineering - software analysis and design, group projects, software testing. Personal interests I am a Christian, member of the Orthodox Church where I was ordained sub-deacon. I can provide information and advice related to Orthodox communities and churches in Yorkshire and surroundings. If you are interested please contact via email.
Research
Professor Gheorghe's research interests are in computational models and software engineering. He is interested in various computational models like rewriting systems - formal grammars, multiset rewriting -, automata, process algebras and Petri nets. He has a special interest in new classes of unconventional computational models, especially membrane systems and their connections with other (unconventional) computational models - Petri nets, process algebras, L-systems, reactive systems etc. He is also interested in formally verifying such models by using model checking approaches. Professor Gheorghe is also interested in model-based testing and connections with formal verification. He has been working with large scale simulations, based on formal models, and contributed to building adequate software platforms for such approaches. He is also interested in applications of formal specifications and formal verification methods and tools in computational and synthetic biology, but also in autonomous systems. He served as the Chair of the Steering Committee of the Conference on Membrane Computing between 2010 - 2014, the main research forum of the membrane computing community, editing the proceedings of these events with Springer, in Lecture Notes in Computer Science Series. He has connections and active collaborations with many prestigious Universities and research groups in the world, being invited to give lectures and providing guidance to PhD students. Professor Gheorghe's research has been funded by EPSRC, EU, Royal Academy of Engineering, Royal Society, British Council and has been included in some international projects abroad - China and Romania - as scientific advisor and collaborator.
Publications
There are 59 publications involving or that are attributed to Professor Marian Gheorghe. They are listed as:
- book (1)
- book chapter (2)
- conference publication (24)
- edited book (1)
- editorial (2)
- peer reviewed journal (29)
Book
| Title | Year | Publication name | Journal | Volume | Pages | Authors | Editors | ISSN | Publisher | DOI | Location |
|---|---|---|---|---|---|---|---|---|---|---|---|
| Membrane Computing Models: Implementations | 2021 | XXII | Gexiang Zhang Mario J. Pérez-Jiménez Agustín Riscos-Núñez Sergey Verlan Savas Konur Thomas Hinze Marian Gheorghe | Springer | https://doi.org/10.1007/978-981-16-1566-5 |
Book Chapter
| Title | Year | Publication name | Journal | Volume | Pages | Authors | Editors | ISSN | Publisher | DOI | Location |
|---|---|---|---|---|---|---|---|---|---|---|---|
| Identifiable kernel P systems | 2018 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Lecture Notes in Computer Science | 11270 LNCS | 130 - 141 | Gheorghe M.;Ipate F. | 0302-9743 | 10.1007/978-3-030-00265-7_11 | |||
| Infobiotics Workbench - A P Systems Based Tool for Systems and Synthetic Biology | 2014 | Applications of Membrane Computing in Systems and Synthetic Biolog | Applications of Membrane Computing in Systems and Synthetic Biolog | 1 - 41 | Blakes, J.; Twycross, J.; Konur, Savas; Romero-Campero, F.J.; Krasnogor, N.; Gheorghe, Marian | Springer International Publishing | https://doi.org/10.1007/978-3-319-03191-0_1 |
Conference Publication
| Title | Year | Publication name | Journal | Volume | Pages | Authors | Editors | ISSN | Publisher | DOI | Location |
|---|---|---|---|---|---|---|---|---|---|---|---|
| Automated Contextual Anomaly Detection for Network Interface Bandwidth Utilisation: A Case Study in Network Capacity Management | 2021 | Frontiers in Artificial Intelligence and Applications, Proceedings of CECNet 2021 | Frontiers in Artificial Intelligence and Applications, Proceedings of CECNet 2021 | 345 | 659 - 666 | Zadeh E.;Amstutz S.;Collins J.;Ingham C.;Gheorghe M.;Konur S. | 0922-6389 | 10.3233/FAIA210459 | |||
| Spiking Neural P Systems Simulation and Verification | 2020 | 18th International Conference on High Performance Computing & Simulation (HPCS 2020) | 18th International Conference on High Performance Computing & Simulation (HPCS 2020) | 1 | R Lefticaru, M Gheorghe, S Konur, IM Niculescu, and HN Adorna | IEEE | Barcelona (online) | ||||
| Agent based micro-simulation of a passenger rail system using customer survey data and an activity based approach | 2019 | Advances in Intelligent Systems and Computing | Advances In Intelligent Systems And Computing | 840 | 123 - 137 | Makinde O.;Neagu D.;Gheorghe M. | 2194-5357 | 10.1007/978-3-319-97982-3_10 | |||
| Formal Modelling of Cruise Control System Using Event-B and Rodin Platform | 2019 | Proceedings - 20th International Conference on High Performance Computing and Communications, 16th International Conference on Smart City and 4th International Conference on Data Science and Systems, HPCC/SmartCity/DSS 2018 | Proceedings - 20th International Conference on High Performance Computing and Communications, 16th International Conference on Smart City and 4th International Conference on Data Science and Systems, HPCC/SmartCity/DSS 2018 | 1541 - 1546 | Predut S.;Ipate F.;Gheorghe M.;Campean F. | 9781538666142 | 10.1109/HPCC/SmartCity/DSS.2018.00253 | ||||
| 2019 | Agent based micro-simulation of a passenger rail system using customer survey data and an activity based approach | Agent based micro-simulation of a passenger rail system using customer survey data and an activity based approach | Makinde, O.; Neagu, Daniel; Gheorghe, Marian | ||||||||
| Testing Identifiable Kernel P Systems using an X-machine Approach | 2018 | International Conference on Membrane Computing, CMC 2018 | International Conference on Membrane Computing, CMC 2018 | LNCS 11399 | Marian Gheorghe, Florentin Ipate, Raluca Lefticaru, Ana Turlea | Springer | https://doi.org/10.1007/978-3-030-12797-8_11 | ||||
| 2018 | Formal Modelling of Cruise Control System Using Event-B and Rodin Platform | Formal Modelling of Cruise Control System Using Event-B and Rodin Platform | Predut, S.; Ipate, F.; Gheorghe, Marian; Campean, I. Felician | ||||||||
| Towards an Integrated Approach to Verification and Model-Based Testing in System Engineering | 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 | 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.;Konur S.;Yildirim U.;Uddin A.;Campean F.;Gheorghe M. | 9781538630655 | 10.1109/iThings-GreenCom-CPSCom-SmartData.2017.25 | |||
| Towards an Integrated Approach to Verification and Model-Based Testing in System Engineering | 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) | 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 | Lefticaru, Raluca; Konur, Savas; Yildirim, Unal; Uddin, Amad; Campean, I. Felician; Gheorghe, Marian | IEEE | https://doi.org/10.1109/iThings-GreenCom-CPSCom-SmartData.2017.25 | |||
| An experimental comparison of ensemble classifiers for evolving data streams | 2017 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Lecture Notes in Computer Science | 10630 LNAI | 156 - 162 | Tambuwal A.;Neagu D.;Gheorghe M. | 0302-9743 | 10.1007/978-3-319-71078-5_14 | |||
| Kernel P systems modelling, testing and verification - Sorting case study | 2016 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 10105 LNCS | 233 - 250 | Gheorghe M.;Ceterchi R.;Ipate F.;Konur S. | 0302-9743 | 10.1007/978-3-319-54072-6_15 | |||
| Comparative analysis of statistical model checking tools | 2017 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 10105 LNCS | 119 - 135 | Bakir M.;Gheorghe M.;Konur S.;Stannett M. | 0302-9743 | 10.1007/978-3-319-54072-6_8 | |||
| An integrated model checking toolset for kernel P systems | 2015 | International Conference on Membrane Computing, CMC 2015, Lecture Notes in Computer Science (LNCS) | International Conference on Membrane Computing, CMC 2015, Lecture Notes in Computer Science (LNCS) | 9504 | 153 - 170 | Gheorghe M.;Konur S.;Ipate F.;Mierla L.;Bakir M.;Stannett M. | 0302-9743 | 10.1007/978-3-319-28475-0_11 | |||
| kPWorkbench: a software framework for Kernel P systems | 2015 | Proceedings of the Thirteenth Brainstorming Week on Membrane Computing, February, 2015, Sevilla, Spain | Proceedings of the Thirteenth Brainstorming Week on Membrane Computing, February, 2015, Sevilla, Spain | 1 | 179 - 194 | Gheorghe, Marian; Ipate, F.; Mierla, L.M.; Konur, Savas | |||||
| Agent-based high-performance simulation of biological systems on the GPU | 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 | 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 | Konur S.;Kiran M.;Gheorghe M.;Burkitt M.;Ipate F. | 9781479989362 | 10.1109/HPCC-CSS-ICESS.2015.253 | ||||
| Modelling and stochastic simulation of synthetic biological Boolean gates | 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 | 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 | Sanassy, D.; Fellerman, H.; Krasnogor, N.; Konur, Savas; Mierla, L.M.; Gheorghe, Marian; Ladroue, C.; Kalvala, S. | 10.1109/HPCC.2014.68 | ||||
| 2014 | A kernel P systems survey | A kernel P systems survey | Gheorghe, Marian; Ipate, F. | ||||||||
| 2014 | Crowd formal modelling and simulation: The Sa'yee ritual | Crowd formal modelling and simulation: The Sa'yee ritual | Sakellariou, I.; Kurdi, O.; Gheorghe, Marian; Romano, D.M.; Kefalas, P.; Ipate, F.; Niculescu, I.M. | ||||||||
| High performance simulations of kernel P systems | 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) | 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 | Bakir, M.E.; Konur, Savas; Gheorghe, Marian; Niculescu, I.M.; Ipate, F. | IEEE | 10.1109/HPCC.2014.69 | |||
| Modelling and stochastic simulation of synthetic biological boolean gates | 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 | 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 | Sanassy D.;Fellermann H.;Krasnogor N.;Konur S.;Mierla L.;Gheorghe M.;Ladroue C.;Kalvala S. | 9781479961238 | 10.1109/HPCC.2014.68 | ||||
| Kernel P systems: Applications and Implementations | 2013 | International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2013 | International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2013 | 212 | 1081 - 1089 | Ipate F.;Lefticaru R.;Mierlǎ L.;Cabrera L.;Han H.;Zhang G.;Dragomir C.;Jiménez M.;Gheorghe M. | 2194-5357 | 10.1007/978-3-642-37502-6_126 | |||
| An integrated approach to P systems formal verification | 2010 | International Conference on Membrane Computing, CMC 2010 | International Conference on Membrane Computing, CMC 2010 | 6501 LNCS | 226 - 239 | Gheorghe M.;Ipate F.;Lefticaru R.;Dragomir C. | 0302-9743 | 10.1007/978-3-642-18123-8-18 | |||
| Tuning P systems for solving the broadcasting problem | 2010 | International Workshop on Membrane Computing, WMC 2009 | International Workshop on Membrane Computing, WMC 2009 | 5957 LNCS | 354 - 370 | Lefticaru R.;Ipate F.;Gheorghe M.;Zhang G. | 0302-9743 | 10.1007/978-3-642-11467-0_25 | |||
| A particle swarm optimization based on P systems | 2010 | International Conference on Natural Computation, ICNC 2010 | International Conference on Natural Computation, ICNC 2010 | 6 | 3003 - 3007 | Zhou F.;Zhang G.;Rong H.;Cheng J.;Gheorghe M.;Ipate F.;Lefticaru R. | 9781424459612 | 10.1109/ICNC.2010.5582450 |
Edited Book
| Title | Year | Publication name | Journal | Volume | Pages | Authors | Editors | ISSN | Publisher | DOI | Location |
|---|---|---|---|---|---|---|---|---|---|---|---|
| Applications of Membrane Computing in Systems and Synthetic Biology | 2014 | Frisco, P.; Gheorghe, Marian; Perez-Jimenez, M.J. |
Editorial
| Title | Year | Publication name | Journal | Volume | Pages | Authors | Editors | ISSN | Publisher | DOI | Location |
|---|---|---|---|---|---|---|---|---|---|---|---|
| Message from the EDMA-2017 Workshop Chairs | 2018 | 2018-January | xlviii | Campean F.;Gheorghe M.;Hall J.;Neagu D. | 9781538630655 | 10.1109/iThings-GreenCom-CPSCom-SmartData.2017.197 | |||||
| Preface | 2018 | Lecture Notes in Computer Science | 10725 LNCS | VI | Gheorghe M.;Rozenberg G.;Salomaa A.;Zandron C. | 0302-9743 |
Peer Reviewed Journal
| Title | Year | Publication name | Journal | Volume | Pages | Authors | Editors | ISSN | Publisher | DOI | Location |
|---|---|---|---|---|---|---|---|---|---|---|---|
| Spiking neural P systems: matrix representation and formal verification | 2021 | Journal of Membrane Computing | TBD | Marian Gheorghe, Raluca Lefticaru, Savas Konur, Ionut Mihai Niculescu, Henry N. Adorna | 2523-8906 | Springer | https://doi.org/10.1007/s41965-021-00075-1 | ||||
| Toward Full-Stack In Silico Synthetic Biology: Integrating Model Specification, Simulation, Verification, and Biological Compilation | 2021 | ACS Synthetic Biology | 10 | Savas Konur, Laurentiu Mierla, Harold Fellermann, Christophe Ladroue, Bradley Brown, Anil Wipat, Jamie Twycross, Boyang Peter Dun, Sara Kalvala, Marian Gheorghe, and Natalio Krasnogor | https://doi.org/10.1021/acssynbio.1c00143 | ||||||
| Fundamental results for learning deterministic extended finite state machines from queries | 2021 | Theoretical Computer Science | 862 | Florentin Ipate, Marian Gheorghe, Raluca Lefticaru | 0304-3975 | Elsevier | https://doi.org/10.1016/j.tcs.2020.09.028 | ||||
| A Novel Application of Deep Learning with Image Cropping: A Smart Cities Use Case for Flood Monitoring | 2020 | 0 | Mishra, Bhupesh; Thakker, Dhavalkumar;Mazumdar, Suvodeep; Neagu, Daniel; Gheorghe, Marian; Simpson, Sydney | ||||||||
| KPWORKBENCH: A software suit for membrane systems | 2020 | Softwarex | 11 | Konur S.;Mierlă L.;Ipate F.;Gheorghe M. | 2352-7110 | 10.1016/j.softx.2020.100407 | |||||
| A novel application of deep learning with image cropping: a smart city use case for flood monitoring | 2020 | Journal Of Reliable Intelligent Environments | 6 | Mishra B.K.;Thakker D.;Mazumdar S.;Neagu D.;Gheorghe M.;Simpson S. | 2199-4668 | 10.1007/s40860-020-00099-x | |||||
| A Novel Application of Deep Learning with Image Cropping: A Smart Cities Use Case for Flood Monitoring | 2020 | Journal Of Reliable Intelligent Environments | 6 | Bhupesh Kumar Mishra, Dhavalkumar Thakker, Suvodeep Mazumdar, Daniel Neagu, Marian Gheorghe & Sydney Simpson | Springer | ||||||
| Kernel P systems: from modelling to verification and testing | 2018 | Theoretical Computer Science | 724 | 45 - 60 | Gheorghe, Marian; Ceterchi, R.; Ipate, F.; Konur, Savas; Lefticaru, Raluca | Elsevier | https://doi.org/10.1016/j.tcs.2017.12.010 | ||||
| P colonies and kernel P systems | 2018 | International Journal of Advances in Engineering Sciences and Applied Mathematics | 10 | 181 - 192 | Csuhaj-Varju, E.; Gheorghe, Marian; Lefticaru, Raluca | 0975-0770 | Springer | https://doi.org/10.1007/s12572-018-0224-y | |||
| Automatic Selection of Verification Tools for Efficient Analysis of Biochemical Models | 2018 | Bioinformatics | 34 | 3187 - 3195 | Bakir, M.E.; Konur, Savas; Gheorghe, Marian; Krasnogor, N.; Stannett, M. | https://doi.org/10.1093/bioinformatics/bty282 | |||||
| Further results on generalised communicating P systems | 2017 | Krishna, S.N.; Gheorghe, Marian; Ipate, F.; Csuhaj-Varju, E.; Ceterchi, R. | |||||||||
| Design and implementation of membrane controllers for trajectory tracking of nonholonomic wheeled mobile robots | 2016 | Integrated Computer-Aided Engineering | 23 | 15 - 30 | Wang, X.; Zhang, G.; Neri, F.; Jiang, T.; Zhao, J.; Gheorghe, Marian; Ipate, F.; Lefticaru, Raluca | 1069-2509 | IOS Press | 10.3233/ICA-150503 | |||
| Testing Based on Identifiable P Systems Using Cover Automata and X-Machines | 2016 | Information Sciences | 372 | 565 - 578 | Gheorghe, Marian; Ipate, F.; Konur, Savas | https://doi.org/10.1016/j.ins.2016.08.028 | |||||
| XXX_Design and implementation of membrane controllers for trajectory tracking of nonholonomic wheeled mobile robots | 2016 | Integrated Computer-Aided Engineering | 23 | 15 - 30 | Wang X.;Zhang G.;Neri F.;Jiang T.;Zhao J.;Gheorghe M.;Ipate F.;Lefticaru R. | 1069-2509 | IOS Press | 10.3233/ICA-150503 | |||
| Integration testing of heterotic systems | 2015 | Stannett, M.; Gheorghe, Marian | |||||||||
| QEAM: An Approximate Algorithm Using P Systems with Active Membranes | 2015 | Zhang, G.; Chen, J.; Gheorghe, Marian; Ipate, F.; Wang, X. | |||||||||
| A property-driven methodology for formal analysis of synthetic biology systems | 2015 | IEEE/ACM Transactions on Computational Biology and Bioinformatics | 12 | 360 - 371 | Konur, Savas; Gheorghe, Marian | 10.1109/TCBB.2014.2362531 | |||||
| Qualitative and quantitative analysis of systems and synthetic biology constructs using P systems | 2015 | ACS Synthetic Biology | 4 | 83 - 92 | Konur, Savas; Gheorghe, Marian; Dragomir, C.; Mierla, L.M.; Ipate, F.; Krasnogor, N. | https://doi.org/10.1021/sb500134w | |||||
| Spatially localised membrane systems | 2015 | Csuhaj-Varju, E.; Gheorghe, Marian; Stannett, M.; Vaszil, G. | |||||||||
| From kernel P systems to X-machines and FLAME | 2014 | Niculescu, I.M.; Gheorghe, Marian; Ipate, F.; Stefanescu, A. | |||||||||
| Automatic design of deterministic and non-halting membrane systems by tuning syntactical ingredients | 2014 | Zhang, G.; Rong, H.; Ou, Z.; Perez-Jimenez, M.J.; Gheorghe, Marian | |||||||||
| Dynamic Behavior Analysis of Membrane-Inspired Evolutionary Algorithms | 2014 | Zhang, G.; Cheng, J.X.; Gheorghe, Marian | |||||||||
| Evolutionary membrane computing: A comprehensive survey and new results | 2014 | Zhang, G.; Gheorghe, Marian; Pan, L.Q.; Perez-Jimenez, M.J. | |||||||||
| Conventional verification for unconventional computing: a genetic XOR gate example | 2014 | Fundamenta Informaticae | 134 | 97 - 110 | Konur, Savas; Gheorghe, Marian; Dragomir, C.; Ipate, F.; Krasnogor, N. | ||||||
| 3-Col problem modelling using simple kernel P systems | 2013 | International Journal of Computer Mathematics | 90 | 816 - 830 | Gheorghe M.;Ipate F.;Lefticaru R.;Pérez-Jiménez M.;Ţurcanu A.;Valencia Cabrera L.;García-Quismondo M.;Mierlǎ L. | 0020-7160 | 10.1080/00207160.2012.743712 | ||||
| A novel membrane algorithm based on particle swarm optimization for solving broadcasting problems | 2012 | Journal of Universal Computer Science | 18 | 1821 - 1841 | Zhang G.;Zhou F.;Huang X.;Cheng J.;Gheorghe M.;Ipate F.;Lefticaru R. | 0948-695X | |||||
| An empirical evaluation of P system testing techniques | 2011 | Natural Computing | 10 | 151 - 165 | Lefticaru R.;Gheorghe M.;Ipate F. | 1567-7818 | Springer | 10.1007/s11047-010-9188-y | |||
| Test generation from P systems using model checking | 2010 | Journal of Logic and Algebraic Programming | 79 | 350 - 362 | Ipate F.;Gheorghe M.;Lefticaru R. | 1567-8326 | 10.1016/j.jlap.2010.03.007 | ||||
| Model checking based test generation from P systems using p-lingua | 2010 | Romanian Journal of Information Science and Technology | 13 | 153 - 168 | Lefticaru R.;Ipate F.;Gheorghe M. | 1453-8245 |