Marian Gheorghe

ORCID

Publication Activity (10 Years)

Years Active: 1985-2023
Publications (10 Years): 33

Top Venues

Theor. Comput. Sci.

Fundam. Informaticae

Int. Conf. on Membrane Computing

J. Membr. Comput.

Publications

Florentin Ipate, Ionut-Mihai Niculescu, Raluca Lefticaru, Savas Konur, Marian Gheorghe
A model learning based testing approach for kernel P systems. Theor. Comput. Sci. 965 (2023)
Radu Traian Bobe, Marian Gheorghe, Florentin Ipate, Ionut-Mihai Niculescu
Test-Driven Simulation of Robots Controlled by Enzymatic Numerical P Systems Models. SimuTools (2023)
Mihail-Iulian Plesa, Marian Gheorghe, Florentin Ipate
Privacy-preserving Linear Computations in Spiking Neural P Systems. FROM (2023)
Florentin Ipate, Marian Gheorghe
A model learning based testing approach for spiking neural P systems. Theor. Comput. Sci. 924 (2022)
Daniel Neagu, Felician Campean, Marian Gheorghe
Engineering Data- & Model-Driven Applications: EDMA-2017 special issue editorial. Expert Syst. J. Knowl. Eng. 38 (7) (2021)
Marian Gheorghe, Raluca Lefticaru, Savas Konur, Ionut-Mihai Niculescu, Henry N. Adorna
Spiking neural P systems: matrix representation and formal verification. J. Membr. Comput. 3 (2) (2021)
Marian Gheorghe, Ferrante Neri, Gexiang Zhang
Introduction. Int. J. Neural Syst. 31 (1) (2021)
Florentin Ipate, Marian Gheorghe, Raluca Lefticaru
Fundamental results for learning deterministic extended finite state machines from queries. Theor. Comput. Sci. 862 (2021)
Songhai Fan, Yiyu Gong, Gexiang Zhang, Yun Xiao, Haina Rong, Prithwineel Paul, Xiaomin Ma, Han Huang, Marian Gheorghe
Implementation of Kernel P Systems in CUDA for Solving NP-hard Problems. Int. J. Unconv. Comput. 16 (2-3) (2021)
Esmaeil Habib Zadeh, Stephen Amstutz, James Collins, Craig Ingham, Marian Gheorghe, Savas Konur
Automated Contextual Anomaly Detection for Network Interface Bandwidth Utilisation: A Case Study in Network Capacity Management. CECNet (2021)
Marian Gheorghe, Mario J. Pérez-Jiménez, Grzegorz Rozenberg, Arto Salomaa
Preface of the special issue for Gheorghe Pǎun's 70th anniversary. J. Membr. Comput. 2 (4) (2020)
Savas Konur, Laurentiu Mierla, Florentin Ipate, Marian Gheorghe
kPWorkbench: A software suit for membrane systems. SoftwareX 11 (2020)
Bhupesh Kumar Mishra, Dhavalkumar Thakker, Suvodeep Mazumdar, Daniel Neagu, Marian Gheorghe, Sydney Simpson
A novel application of deep learning with image cropping: a smart city use case for flood monitoring. J. Reliab. Intell. Environ. 6 (1) (2020)
Ana Turlea, Marian Gheorghe, Florentin Ipate, Savas Konur
Search-based testing in membrane computing. J. Membr. Comput. 1 (4) (2019)
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)
Marian Gheorghe, Rodica Ceterchi, Florentin Ipate, Savas Konur, Raluca Lefticaru
Kernel P systems: From modelling to verification and testing. Theor. Comput. Sci. 724 (2018)
Marian Gheorghe, Florentin Ipate
Identifiable Kernel P Systems. Enjoying Natural Computing (2018)
Sorina-Nicoleta Predut, Florentin Ipate, Marian Gheorghe, Felician Campean
Formal Modelling of Cruise Control System Using Event-B and Rodin Platform. HPCC/SmartCity/DSS (2018)
Omololu Makinde, Daniel Neagu, Marian Gheorghe
Agent Based Micro-simulation of a Passenger Rail System Using Customer Survey Data and an Activity Based Approach. UKCI (2018)
Marian Gheorghe, Florentin Ipate, Raluca Lefticaru, Ana Turlea
Testing Identifiable Kernel P Systems Using an X-Machine Approach. Int. Conf. on Membrane Computing (2018)
Ahmad Idris Tambuwal, Daniel Neagu, Marian Gheorghe
An Experimental Comparison of Ensemble Classifiers for Evolving Data Streams. SGAI Conf. (2017)
Shankara Narayanan Krishna, Marian Gheorghe, Florentin Ipate, Erzsébet Csuhaj-Varjú, Rodica Ceterchi
Further results on generalised communicating P systems. Theor. Comput. Sci. 701 (2017)
Raluca Lefticaru, Savas Konur, Ünal Yildirim, Amad Uddin, Felician Campean, Marian Gheorghe
Towards an Integrated Approach to Verification and Model-Based Testing in System Engineering. iThings/GreenCom/CPSCom/SmartData (2017)
Marian Gheorghe, Rodica Ceterchi, Florentin Ipate, Savas Konur
Kernel P Systems Modelling, Testing and Verification - Sorting Case Study. Int. Conf. on Membrane Computing (2016)
Marian Gheorghe, Gheorghe Paun, Mario J. Pérez-Jiménez, Agustin Riscos-Núñez
Preface. Nat. Comput. 15 (4) (2016)
Mehmet Emin Bakir, Marian Gheorghe, Savas Konur, Mike Stannett
Comparative Analysis of Statistical Model Checking Tools. Int. Conf. on Membrane Computing (2016)
Marian Gheorghe, Florentin Ipate, Savas Konur
Testing based on identifiable P Systems using cover automata and X-machines. Inf. Sci. 372 (2016)
Xueyuan Wang, Gexiang Zhang, Ferrante Neri, Tao Jiang, Junbo Zhao, Marian Gheorghe, Florentin Ipate, Raluca Lefticaru
Design and implementation of membrane controllers for trajectory tracking of nonholonomic wheeled mobile robots. Integr. Comput. Aided Eng. 23 (1) (2016)
Marian Gheorghe, Savas Konur, Florentin Ipate, Laurentiu Mierla, Mehmet E. Bakir, Mike Stannett
An Integrated Model Checking Toolset for Kernel P Systems. Int. Conf. on Membrane Computing (2015)
Gexiang Zhang, Jixiang Cheng, Marian Gheorghe, Florentin Ipate, Xueyuan Wang
QEAM: An Approximate Algorithm Using P Systems with Active Membranes. Int. J. Comput. Commun. Control 10 (2) (2015)
Savas Konur, Marian Gheorghe
A Property-Driven Methodology for Formal Analysis of Synthetic Biology Systems. IEEE ACM Trans. Comput. Biol. Bioinform. 12 (2) (2015)
Erzsébet Csuhaj-Varjú, Marian Gheorghe, Mike Stannett, György Vaszil
Spatially Localised Membrane Systems. Fundam. Informaticae 138 (1-2) (2015)
Savas Konur, Mariam Kiran, Marian Gheorghe, Mark Burkitt, Florentin Ipate
Agent-Based High-Performance Simulation of Biological Systems on the GPU. HPCC/CSS/ICESS (2015)
Gexiang Zhang, Marian Gheorghe, Linqiang Pan, Mario J. Pérez-Jiménez
Evolutionary membrane computing: A comprehensive survey and new results. Inf. Sci. 279 (2014)
Marian Gheorghe, Mike Stannett
Integration Testing of Heterotic Systems. CoRR (2014)
Ilias Sakellariou, Omar Kurdi, Marian Gheorghe, Daniela Romano, Petros Kefalas, Florentin Ipate, Ionut-Mihai Niculescu
Crowd formal modelling and simulation: The Sa'yee ritual. UKCI (2014)
Gexiang Zhang, Jixiang Cheng, Marian Gheorghe
Dynamic Behavior Analysis of Membrane-Inspired Evolutionary Algorithms. Int. J. Comput. Commun. Control 9 (2) (2014)
Daven Sanassy, Harold Fellermann, Natalio Krasnogor, Savas Konur, Laurentiu Mierla, Marian Gheorghe, Christophe Ladroue, Sara Kalvala
Modelling and Stochastic Simulation of Synthetic Biological Boolean Gates. HPCC/CSS/ICESS (2014)
Cristian S. Calude, Marian Gheorghe
Preface. Fundam. Informaticae 131 (3-4) (2014)
Marian Gheorghe
A Short Note on Alexandru Mateescu's Work and Its Impact. Discrete Mathematics and Computer Science (2014)
Savas Konur, Marian Gheorghe, Ciprian Dragomir, Florentin Ipate, Natalio Krasnogor
Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example. Fundam. Informaticae 134 (1-2) (2014)
Mehmet E. Bakir, Savas Konur, Marian Gheorghe, Ionut-Mihai Niculescu, Florentin Ipate
High Performance Simulations of Kernel P Systems. HPCC/CSS/ICESS (2014)
Ionut-Mihai Niculescu, Marian Gheorghe, Florentin Ipate, Alin Stefanescu
From Kernel P Systems to X-Machines and FLAME. J. Autom. Lang. Comb. 19 (1-4) (2014)
Marian Gheorghe, Gheorghe Paun, Agustin Riscos-Núñez, Grzegorz Rozenberg
Enjoying to Work. Fundam. Informaticae 134 (1-2) (2014)
Marian Gheorghe, Florentin Ipate, Raluca Lefticaru, Mario J. Pérez-Jiménez, Adrian Turcanu, Luis Valencia-Cabrera, Manuel García-Quismondo, Laurentiu Mierla
3-Col problem modelling using simple kernel P systems. Int. J. Comput. Math. 90 (4) (2013)
Shankara Narayanan Krishna, Marian Gheorghe, Ciprian Dragomir
Some Classes of Generalised Communicating P Systems and Simple Kernel P Systems. CiE (2013)
Marian Gheorghe, Gheorghe Paun, Mario de J. Pérez-Jiménez
Foreword. Int. J. Unconv. Comput. 9 (5-6) (2013)
Marian Gheorghe, Florentin Ipate
A Kernel P Systems Survey. Int. Conf. on Membrane Computing (2013)
Marian Gheorghe, Gheorghe Paun, Mario J. Pérez-Jiménez, Grzegorz Rozenberg
Research Frontiers of membrane Computing: Open Problems and Research Topics. Int. J. Found. Comput. Sci. 24 (5) (2013)
Gexiang Zhang, Jixiang Cheng, Marian Gheorghe, Qi Meng
A hybrid approach based on differential evolution and tissue membrane systems for solving constrained manufacturing parameter optimization problems. Appl. Soft Comput. 13 (3) (2013)
Florentin Ipate, Raluca Lefticaru, Laurentiu Mierla, Luis Valencia-Cabrera, Han Huang, Gexiang Zhang, Ciprian Dragomir, Mario J. Pérez-Jiménez, Marian Gheorghe
Kernel P Systems: Applications and Implementations. BIC-TA (2013)
Susan Elias, Vanaja Gokul, Kamala Krithivasan, Marian Gheorghe, Gexiang Zhang
A Variant of Distributed P Systems for Real Time Cross Layer Optimization. J. Univers. Comput. Sci. 18 (13) (2012)
Marian Gheorghe, Mike Stannett
Membrane system models for super-Turing paradigms. Nat. Comput. 11 (2) (2012)
Isidora Petreska, Petros Kefalas, Marian Gheorghe, Ioanna Stamatopoulou
Extending X-machines to Support Representation of Spatial 2-D Agents. ICAART (2) (2012)
Isidora Petreska, Petros Kefalas, Marian Gheorghe, Ioanna Stamatopoulou
sp X-Machines: Formal State-Based Modelling of Spatial Agents. ICAART (Revised Selected Papers) (2012)
Gexiang Zhang, Fen Zhou, Xiaoli Huang, Jixiang Cheng, Marian Gheorghe, Florentin Ipate, Raluca Lefticaru
A Novel Membrane Algorithm Based on Particle Swarm Optimization for Solving Broadcasting Problems. J. Univers. Comput. Sci. 18 (13) (2012)
Simon Coakley, Marian Gheorghe, Mike Holcombe, Lee Shawn Chin, David Worth, Chris Greenough
Exploitation of High Performance Computing in the FLAME Agent-Based Simulation Framework. HPCC-ICESS (2012)
Erzsébet Csuhaj-Varjú, Marian Gheorghe, Mike Stannett
P Systems Controlled by General Topologies. UCNC (2012)
Gexiang Zhang, Marian Gheorghe, Yuquan Li
A membrane algorithm with quantum-inspired subalgorithms and its application to image processing. Nat. Comput. 11 (4) (2012)
Raluca Lefticaru, Marian Gheorghe, Florentin Ipate
An empirical evaluation of P system testing techniques. Nat. Comput. 10 (1) (2011)
Rudolf Freund, Marian Gheorghe, Solomon Marcus, Victor Mitrana, Mario J. Pérez-Jiménez
Preface. Int. J. Found. Comput. Sci. 22 (1) (2011)
Yuquan Li, Gexiang Zhang, Xiangxiang Zeng, Jixiang Cheng, Marian Gheorghe, Susan Elias
A Modified Estimation of Distribution Algorithm for Numeric Optimization. BIC-TA (2011)
Marian Gheorghe
Membrane Computing - Theory and Applications. ERCIM News 2011 (85) (2011)
Rama Raghavan, H. Ramesh, Marian Gheorghe, Shankara Narayanan Krishna
On Restricted Bio-Turing Machines. Fundam. Informaticae 110 (1-4) (2011)
Raghavan Rama, H. Ramesh, Marian Gheorghe, Shankara Narayanan Krishna
Further Results on Languages of Membrane Structures CoRR (2011)
Susan Elias, Vanaja Gokul, Kamala Krithivasan, Marian Gheorghe, Gexiang Zhang
Real time cross layer design using particle swarm optimization. Bangalore Compute Conf. (2011)
Isidora Petreska, Petros Kefalas, Marian Gheorghe
A Framework towards the Verification of Emergent Properties in Spatial Multi-Agent Systems. WASA (2011)
Florentin Ipate, Marian Gheorghe, Raluca Lefticaru
Test generation from P systems using model checking. J. Log. Algebraic Methods Program. 79 (6) (2010)
Marian Gheorghe, Florentin Ipate, Raluca Lefticaru, Ciprian Dragomir
An Integrated Approach to P Systems Formal Verification. Int. Conf. on Membrane Computing (2010)
Marian Gheorghe, Florentin Ipate
Testing Based on P Systems - An Overview. Int. Conf. on Membrane Computing (2010)
Gexiang Zhang, Chunxiu Liu, Marian Gheorghe
Diversity and convergence analysis of membrane algorithms. BIC-TA (2010)
Fen Zhou, Gexiang Zhang, Haina Rong, Marian Gheorghe, Jixiang Cheng, Florentin Ipate, Raluca Lefticaru
A particle swarm optimization based on P systems. ICNC (2010)
Marian Gheorghe, Vincenzo Manca, Francisco José Romero-Campero
Deterministic and stochastic P systems for modelling cellular processes. Nat. Comput. 9 (2) (2010)
Gexiang Zhang, Yuquan Li, Marian Gheorghe
A multi-objective membrane algorithm for knapsack problems. BIC-TA (2010)
Hong Peng, Jun Wang, Gexiang Zhang, Marian Gheorghe
Timed spiking neural P systems. BIC-TA (2010)
Florentin Ipate, Marian Gheorghe
Finite state based testing of P systems. Nat. Comput. 8 (4) (2009)
Chris Thomson, Marian Gheorghe
Using Process Mining Metrics to Measure Noisy Process Fidelity. EASE (2009)
Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul J. Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy A. Vilkomir, Martin R. Woodward, Hussein Zedan
Using formal specifications to support testing. ACM Comput. Surv. 41 (2) (2009)
Marian Gheorghe, Florentin Ipate, Ciprian Dragomir
Formal Verification and Testing Based on P Systems. Workshop on Membrane Computing (2009)
Francisco José Romero-Campero, Jamie Twycross, Miguel Cámara, Malcolm Bennett, Marian Gheorghe, Natalio Krasnogor
Modular Assembly of Cell Systems Biology Models Using P Systems. Int. J. Found. Comput. Sci. 20 (3) (2009)
Florentin Ipate, Marian Gheorghe
Testing Non-deterministic Stream X-machine Models and P systems. Electron. Notes Theor. Comput. Sci. 227 (2009)
Francesco Bernardini, Marian Gheorghe, Maurice Margenstern, Sergey Verlan
Maximal, Locally-Maximal, and Minimal Parallelism in Networks of Cells. Int. J. Unconv. Comput. 5 (5) (2009)
Raluca Lefticaru, Florentin Ipate, Marian Gheorghe, Gexiang Zhang
Tuning P Systems for Solving the Broadcasting Problem. Workshop on Membrane Computing (2009)
Chunxiu Liu, Gexiang Zhang, Hongwen Liu, Marian Gheorghe, Florentin Ipate
An Improved Membrane Algorithm for Solving Time-Frequency Atom Decomposition. Workshop on Membrane Computing (2009)
James Smaldon, Natalio Krasnogor, Cameron Alexander, Marian Gheorghe
Liposome logic. GECCO (2009)
Marian Gheorghe, Natalio Krasnogor
P-systems and X-machines. Nat. Comput. 8 (4) (2009)
Florentin Ipate, Marian Gheorghe
Mutation Based Testing of P Systems. Int. J. Comput. Commun. Control 4 (3) (2009)
Marian Gheorghe, Natalio Krasnogor, Miguel Cámara
P systems applications to systems biology. Biosyst. 91 (3) (2008)
Gexiang Zhang, Marian Gheorghe, Chao-Zhong Wu
A Quantum-Inspired Evolutionary Algorithm Based on P systems for Knapsack Problem. Fundam. Informaticae 87 (1) (2008)
Petros Kefalas, Ioanna Stamatopoulou, George Eleftherakis, Marian Gheorghe
Transforming State-Based Models to P Systems Models in Practice. Workshop on Membrane Computing (2008)
Sergey Verlan, Francesco Bernardini, Marian Gheorghe, Maurice Margenstern
Generalized communicating P systems. Theor. Comput. Sci. 404 (1-2) (2008)
Marian Gheorghe, Florentin Ipate
On Testing P Systems. Workshop on Membrane Computing (2008)
Francesco Bernardini, Marian Gheorghe, Maurice Margenstern, Sergey Verlan
How to Synchronize the Activity of All Components of a P System? Int. J. Found. Comput. Sci. 19 (5) (2008)
Francesco Bernardini, Marian Gheorghe, Natalio Krasnogor
Quorum sensing P systems. Theor. Comput. Sci. 371 (1-2) (2007)
Ioanna Stamatopoulou, Petros Kefalas, Marian Gheorghe
Modelling the dynamic structure of biological state-based systems. Biosyst. 87 (2-3) (2007)
Germán Terrazas, Marian Gheorghe, Graham Kendall, Natalio Krasnogor
Evolving tiles for automated self-assembly design. IEEE Congress on Evolutionary Computation (2007)
Francesco Bernardini, Marian Gheorghe, Maurice Margenstern, Sergey Verlan
Producer/Consumer in Membrane Systems and Petri Nets. CiE (2007)
Ioanna Stamatopoulou, Petros Kefalas, Marian Gheorghe
: An Instance of a Formal Framework for MAS Modeling Based on Population P Systems. Workshop on Membrane Computing (2007)
Ioanna Stamatopoulou, Petros Kefalas, Marian Gheorghe
OPERAS: A Framework for the Formal Modelling of Multi-Agent Systems and Its Application to Swarm-Based Systems. ESAW (2007)
Francesco Bernardini, Marian Gheorghe, Francisco José Romero-Campero, Neil Walkinshaw
A Hybrid Approach to Modeling Biological Systems. Workshop on Membrane Computing (2007)

Marian Gheorghe.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Marian Gheorghe