Descriptional complexity measures suggested by Hartmann's error recovery scheme. - Marian Gheorghe 001 (Bull. EATCS, 1985)

Two (infinite?) hierarchies of vector languages. - Marian Gheorghe 001; Gheorghe Paun (Bull. EATCS, 1986)

A note on PF(k) - parsable languages. - Tudor Balanescu; Marian Gheorghe 001 (Fundam. Informaticae, 1991)

Grammar Systems with Counting Derivation and Dynamical Priorities. - Tudor Balanescu; Horia Georgescu; Marian Gheorghe 001 (New Trends in Formal Languages, 1997)

Grammatical Models for Some Process Synchronizers. - Tudor Balanescu; Horia Georgescu; Marian Gheorghe 001 (MFCS Workshop on Grammar Systems, 1998)

A New Type of Counting Derivation for CD Grammar Systems. - Tudor Balanescu; Horia Georgescu; Marian Gheorghe 001 (Grammatical Models of Multi-Agent Systems, 1999)

Communicating Stream X-Machines Systems are no more than X-Machines. - Tudor Balanescu; Anthony J. Cowling; Horia Georgescu; Marian Gheorghe 001; Mike Holcombe; Cristina Vertan (J. Univers. Comput. Sci., 1999)

On Testing Generalized Stream X-Machines. - Mike Holcombe; Tudor Balanescu; Marian Gheorghe 001; Paul Radovici-Marculescu (Recent Topics in Mathematical and Computational Linguistics, 2000)

Generalised Stream X-Machines and Cooperating Distributed Grammar Systems. - Marian Gheorghe 001 (Formal Aspects Comput., 2000)

Deterministic stream X-machines based on grammar systems. - Tudor Balanescu; Marian Gheorghe 001; Mike Holcombe (Where Mathematics, Computer Science, Linguistics and Biology Meet, 2001)

Testing Using X-Machine Translations. - Florentin Ipate; Marian Gheorghe 001; Mike Holcombe; Tudor Balanescu (Words, Semigroups, and Transductions, 2001)

Testing Collaborative Agents Defined as Stream X-Machines with Distributed Grammars. - Tudor Balanescu; Marian Gheorghe 001; Mike Holcombe; Florentin Ipate (ECAL, 2001)

Eilenberg P Systems. - Tudor Balanescu; Marian Gheorghe 001; Mike Holcombe; Florentin Ipate (WMC-CdeA, 2002)

P Systems with Replicated Rewriting and Stream X-Machines (Eilenberg Machines). - Joaquín Aguado; Tudor Balanescu; Anthony J. Cowling; Marian Gheorghe 001; Mike Holcombe; Florentin Ipate (Fundam. Informaticae, 2002)

A Formal Experiment Comparing Extreme Programming with Traditional Software Construction. - Francisco Javier Macias; Mike Holcombe; Marian Gheorghe 001 (ENC, 2003)

An Agent Based Approach of Collective Foraging. - Marian Gheorghe 001; Carlos Martín-Vide; Victor Mitrana; Mario J. Pérez-Jiménez (IWANN (1), 2003)

An Agent-Based Behavioural Model of Monomorium Pharaonis Colonies. - Duncan Jackson; Marian Gheorghe 001; Mike Holcombe; Francesco Bernardini (Workshop on Membrane Computing, 2003)

Design-led & Design-less: One Experiment and Two Approaches. - Francisco Javier Macias; Mike Holcombe; Marian Gheorghe 001 (XP, 2003)

Practice Makes Perfect. - Sharifah Lailee Syed-Abdullah; Mike Holcombe; Marian Gheorghe 001 (XP, 2003)

Where Do Unit Tests Come from? - Jing Yuan; Mike Holcombe; Marian Gheorghe 001 (XP, 2003)

Testing (Stream) X-machines. - Florentin Ipate; Marian Gheorghe 001; Mike Holcombe (Appl. Algebra Eng. Commun. Comput., 2003)

P X systems = P systems + X machines. - Francesco Bernardini; Marian Gheorghe 001; Mike Holcombe (Nat. Comput., 2003)

Eilenberg P Systems with Symbol-Objects. - Francesco Bernardini; Marian Gheorghe 001; Mike Holcombe (Aspects of Molecular Computing, 2004)

Modelling Dynamic Organization of Biology-Inspired Multi-agent Systems with Communicating X-Machines and Population P Systems. - Ioanna Stamatopoulou; Marian Gheorghe 001; Petros Kefalas (Workshop on Membrane Computing, 2004)

Modelling Dynamically Organised Colonies of Bio-entities. - Marian Gheorghe 001; Ioanna Stamatopoulou; Mike Holcombe; Petros Kefalas (UPP, 2004)

Population P Systems. - Francesco Bernardini; Marian Gheorghe 001 (J. Univers. Comput. Sci., 2004)

Languages Generated by P Systems with Active Membranes. - Francesco Bernardini; Marian Gheorghe 001 (New Gener. Comput., 2004)

Formal Development of Reactive Agent-Based Systems. - Petros Kefalas; Mike Holcombe; George Eleftherakis; Marian Gheorghe 001 (Encyclopedia of Information Science and Technology (II), 2005)

Automated tile design for self-assembly conformations. - Germán Terrazas; Natalio Krasnogor; Graham Kendall; Marian Gheorghe 001 (Congress on Evolutionary Computation, 2005)

A Formal Modelling Framework for Developing Multi-agent Systems with Dynamic Structure and Behaviour. - Petros Kefalas; Ioanna Stamatopoulou; Marian Gheorghe 001 (CEEMAS, 2005)

Membrane Computing - Current Results and Future Problems. - Francesco Bernardini; Marian Gheorghe 001; Natalio Krasnogor; Germán Terrazas (CiE, 2005)

An Environment Aware P-System Model of Quorum Sensing. - Germán Terrazas; Natalio Krasnogor; Marian Gheorghe 001; Francesco Bernardini; Steve Diggle; Miguel Cámara (CiE, 2005)

On P Systems as a Modelling Tool for Biological Systems. - Francesco Bernardini; Marian Gheorghe 001; Natalio Krasnogor; Ravie Chandren Muniyandi; Mario J. Pérez-Jiménez; Francisco José Romero-Campero (Workshop on Membrane Computing, 2005)

On P Systems with Bounded Parallelism. - Francesco Bernardini; Francisco José Romero-Campero; Marian Gheorghe 001; Mario J. Pérez-Jiménez; Maurice Margenstern; Sergey Verlan; Natalio Krasnogor (SYNASC, 2005)

On Self-assembly in Population P Systems. - Francesco Bernardini; Marian Gheorghe 001; Natalio Krasnogor; Jean-Louis Giavitto (UC, 2005)

The Positive Affect of the XP Methodology. - Sharifah Lailee Syed-Abdullah; John Karn; Mike Holcombe; Anthony J. Cowling; Marian Gheorghe 001 (XP, 2005)

An Appealing Computational Mechanism Drawn from Bacterial Quorum Sensing. - Natalio Krasnogor; Marian Gheorghe 001; Germán Terrazas; Steve Diggle; Paul Williams; Miguel Cámara (Bull. EATCS, 2005)

On P Systems and Almost Periodicity. - Francesco Bernardini; Marian Gheorghe 001; Vincenzo Manca (Fundam. Informaticae, 2005)

Cell communication in tissue P systems: universality results. - Francesco Bernardini; Marian Gheorghe 001 (Soft Comput., 2005)

A Modeling Approach Based on P Systems with Bounded Parallelism. - Francesco Bernardini; Francisco José Romero-Campero; Marian Gheorghe 001; Mario J. Pérez-Jiménez (Workshop on Membrane Computing, 2006)

Towards a P Systems Pseudomonas Quorum Sensing Model. - Luca Bianco; Dario Pescini; Peter A. Siepmann; Natalio Krasnogor; Francisco José Romero-Campero; Marian Gheorghe 001 (Workshop on Membrane Computing, 2006)

Towards Probabilistic Model Checking on P Systems Using PRISM. - Francisco José Romero-Campero; Marian Gheorghe 001; Luca Bianco; Dario Pescini; Mario J. Pérez-Jiménez; Rodica Ceterchi (Workshop on Membrane Computing, 2006)

Computational Completeness of Tissue P Systems with Conditional Uniport. - Sergey Verlan; Francesco Bernardini; Marian Gheorghe 001; Maurice Margenstern (Workshop on Membrane Computing, 2006)

Turing Machines with Cells on the Tape. - Francesco Bernardini; Marian Gheorghe 001; Natalio Krasnogor; Gheorghe Paun (Nanotechnology: Science and Computation, 2006)

Membrane-Based Devices Used in Computer Graphics. - Alexandros Georgiou; Marian Gheorghe 001; Francesco Bernardini (Applications of Membrane Computing, 2006)

Specification of Reconfigurable MAS: A Hybrid Formal Approach. - Ioanna Stamatopoulou; Petros Kefalas; Marian Gheorghe 001 (SETN, 2006)

The Impact of an Agile Methodology on the Well Being of Development Teams. - Sharifah Lailee Syed-Abdullah; Mike Holcombe; Marian Gheorghe 001 (Empir. Softw. Eng., 2006)

Evolving tiles for automated self-assembly design. - Germán Terrazas; Marian Gheorghe 001; Graham Kendall; Natalio Krasnogor (IEEE Congress on Evolutionary Computation, 2007)

Producer/Consumer in Membrane Systems and Petri Nets. - Francesco Bernardini; Marian Gheorghe 001; Maurice Margenstern; Sergey Verlan (CiE, 2007)

OPERAS: A Framework for the Formal Modelling of Multi-Agent Systems and Its Application to Swarm-Based Systems. - Ioanna Stamatopoulou; Petros Kefalas; Marian Gheorghe 001 (ESAW, 2007)

A Hybrid Approach to Modeling Biological Systems. - Francesco Bernardini; Marian Gheorghe 001; Francisco José Romero-Campero; Neil Walkinshaw (Workshop on Membrane Computing, 2007)

OPERASCC: An Instance of a Formal Framework for MAS Modeling Based on Population P Systems. - Ioanna Stamatopoulou; Petros Kefalas; Marian Gheorghe 001 (Workshop on Membrane Computing, 2007)

Modelling the dynamic structure of biological state-based systems. - Ioanna Stamatopoulou; Petros Kefalas; Marian Gheorghe 001 (Biosyst., 2007)

Quorum sensing P systems. - Francesco Bernardini; Marian Gheorghe 001; Natalio Krasnogor (Theor. Comput. Sci., 2007)

On Testing P Systems. - Marian Gheorghe 001; Florentin Ipate (Workshop on Membrane Computing, 2008)

Transforming State-Based Models to P Systems Models in Practice. - Petros Kefalas; Ioanna Stamatopoulou; George Eleftherakis; Marian Gheorghe 001 (Workshop on Membrane Computing, 2008)

P systems applications to systems biology. - Marian Gheorghe 001; Natalio Krasnogor; Miguel Cámara (Biosyst., 2008)

Testing Non-deterministic Stream X-machine Models and P systems. - Florentin Ipate; Marian Gheorghe 001 (MeCBIC, 2008)

A Quantum-Inspired Evolutionary Algorithm Based on P systems for Knapsack Problem. - Gexiang Zhang; Marian Gheorghe 001; Chao-Zhong Wu (Fundam. Informaticae, 2008)

How to Synchronize the Activity of All Components of a P System? - Francesco Bernardini; Marian Gheorghe 001; Maurice Margenstern; Sergey Verlan (Int. J. Found. Comput. Sci., 2008)

Generalized communicating P systems. - Sergey Verlan; Francesco Bernardini; Marian Gheorghe 001; Maurice Margenstern (Theor. Comput. Sci., 2008)

Using Process Mining Metrics to Measure Noisy Process Fidelity. - Chris Thomson; Marian Gheorghe 001 (EASE, 2009)

Liposome logic. - James Smaldon; Natalio Krasnogor; Cameron Alexander; Marian Gheorghe 001 (GECCO, 2009)

Formal Verification and Testing Based on P Systems. - Marian Gheorghe 001; Florentin Ipate; Ciprian Dragomir (Workshop on Membrane Computing, 2009)

Tuning P Systems for Solving the Broadcasting Problem. - Raluca Lefticaru; Florentin Ipate; Marian Gheorghe 001; Gexiang Zhang (Workshop on Membrane Computing, 2009)

An Improved Membrane Algorithm for Solving Time-Frequency Atom Decomposition. - Chunxiu Liu; Gexiang Zhang; Hongwen Liu; Marian Gheorghe 001; Florentin Ipate (Workshop on Membrane Computing, 2009)

Using formal specifications to support testing. - Robert M. Hierons; Kirill Bogdanov 002; Jonathan P. Bowen; Rance Cleaveland; John Derrick; Jeremy Dick; Marian Gheorghe 001; Mark Harman; Kalpesh Kapoor; Paul J. Krause; Gerald Lüttgen; Anthony J. H. Simons; et al. (ACM Comput. Surv., 2009)

Mutation Based Testing of P Systems. - Florentin Ipate; Marian Gheorghe 001 (Int. J. Comput. Commun. Control, 2009)

Modular Assembly of Cell Systems Biology Models Using P Systems. - Francisco José Romero-Campero; Jamie Twycross; Miguel Cámara; Malcolm Bennett; Marian Gheorghe 001; Natalio Krasnogor (Int. J. Found. Comput. Sci., 2009)

Maximal, Locally-Maximal, and Minimal Parallelism in Networks of Cells. - Francesco Bernardini; Marian Gheorghe 001; Maurice Margenstern; Sergey Verlan (Int. J. Unconv. Comput., 2009)

P-systems and X-machines. - Marian Gheorghe 001; Natalio Krasnogor (Nat. Comput., 2009)

Finite state based testing of P systems. - Florentin Ipate; Marian Gheorghe 001 (Nat. Comput., 2009)

Timed spiking neural P systems. - Hong Peng 001; Jun Wang 013; Gexiang Zhang; Marian Gheorghe 001 (BIC-TA, 2010)

Diversity and convergence analysis of membrane algorithms. - Gexiang Zhang; Chunxiu Liu; Marian Gheorghe 001 (BIC-TA, 2010)

A multi-objective membrane algorithm for knapsack problems. - Gexiang Zhang; Yuquan Li; Marian Gheorghe 001 (BIC-TA, 2010)

A particle swarm optimization based on P systems. - Fen Zhou 003; Gexiang Zhang; Haina Rong; Marian Gheorghe 001; Jixiang Cheng; Florentin Ipate; Raluca Lefticaru (ICNC, 2010)

Testing Based on P Systems - An Overview. - Marian Gheorghe 001; Florentin Ipate (Int. Conf. on Membrane Computing, 2010)

An Integrated Approach to P Systems Formal Verification. - Marian Gheorghe 001; Florentin Ipate; Raluca Lefticaru; Ciprian Dragomir (Int. Conf. on Membrane Computing, 2010)

Test generation from P systems using model checking. - Florentin Ipate; Marian Gheorghe 001; Raluca Lefticaru (J. Log. Algebraic Methods Program., 2010)

Deterministic and stochastic P systems for modelling cellular processes. - Marian Gheorghe 001; Vincenzo Manca; Francisco José Romero-Campero (Nat. Comput., 2010)

A Framework towards the Verification of Emergent Properties in Spatial Multi-Agent Systems. - Isidora Petreska; Petros Kefalas; Marian Gheorghe 001 (WASA, 2011)

A Modified Estimation of Distribution Algorithm for Numeric Optimization. - Yuquan Li; Gexiang Zhang; Xiangxiang Zeng; Jixiang Cheng; Marian Gheorghe 001; Susan Elias (BIC-TA, 2011)

Real time cross layer design using particle swarm optimization. - Susan Elias; Vanaja Gokul; Kamala Krithivasan; Marian Gheorghe 001; Gexiang Zhang (Bangalore Compute Conf., 2011)

Further Results on Languages of Membrane Structures - Raghavan Rama 001; H. Ramesh 001; Marian Gheorghe 001; Shankara Narayanan Krishna (CoRR, 2011)

Membrane Computing - Theory and Applications. - Marian Gheorghe 001 (ERCIM News, 2011)

On Restricted Bio-Turing Machines. - Rama Raghavan 001; H. Ramesh 001; Marian Gheorghe 001; Shankara Narayanan Krishna (Fundam. Informaticae, 2011)

Preface. - Rudolf Freund; Marian Gheorghe 001; Solomon Marcus; Victor Mitrana; Mario J. Pérez-Jiménez (Int. J. Found. Comput. Sci., 2011)

An empirical evaluation of P system testing techniques. - Raluca Lefticaru; Marian Gheorghe 001; Florentin Ipate (Nat. Comput., 2011)

Exploitation of High Performance Computing in the FLAME Agent-Based Simulation Framework. - Simon Coakley; Marian Gheorghe 001; Mike Holcombe; Lee Shawn Chin; David Worth; Chris Greenough (HPCC-ICESS, 2012)

Extending X-machines to Support Representation of Spatial 2-D Agents. - Isidora Petreska; Petros Kefalas; Marian Gheorghe 001; Ioanna Stamatopoulou (ICAART (2), 2012)

sp X-Machines: Formal State-Based Modelling of Spatial Agents. - Isidora Petreska; Petros Kefalas; Marian Gheorghe 001; Ioanna Stamatopoulou (ICAART (Revised Selected Papers), 2012)

P Systems Controlled by General Topologies. - Erzsébet Csuhaj-Varjú; Marian Gheorghe 001; Mike Stannett (UCNC, 2012)

A Variant of Distributed P Systems for Real Time Cross Layer Optimization. - Susan Elias; Vanaja Gokul; Kamala Krithivasan; Marian Gheorghe 001; Gexiang Zhang (J. Univers. Comput. Sci., 2012)

A Novel Membrane Algorithm Based on Particle Swarm Optimization for Solving Broadcasting Problems. - Gexiang Zhang; Fen Zhou 003; Xiaoli Huang; Jixiang Cheng; Marian Gheorghe 001; Florentin Ipate; Raluca Lefticaru (J. Univers. Comput. Sci., 2012)

Membrane system models for super-Turing paradigms. - Marian Gheorghe 001; Mike Stannett (Nat. Comput., 2012)

A membrane algorithm with quantum-inspired subalgorithms and its application to image processing. - Gexiang Zhang; Marian Gheorghe 001; Yuquan Li (Nat. Comput., 2012)

Kernel P Systems: Applications and Implementations. - Florentin Ipate; Raluca Lefticaru; Laurentiu Mierla; Luis Valencia-Cabrera; Han Huang; Gexiang Zhang; Ciprian Dragomir; Mario J. Pérez-Jiménez; Marian Gheorghe 001 (BIC-TA, 2013)

Some Classes of Generalised Communicating P Systems and Simple Kernel P Systems. - Shankara Narayanan Krishna; Marian Gheorghe 001; Ciprian Dragomir (CiE, 2013)

A Kernel P Systems Survey. - Marian Gheorghe 001; Florentin Ipate (Int. Conf. on Membrane Computing, 2013)

A hybrid approach based on differential evolution and tissue membrane systems for solving constrained manufacturing parameter optimization problems. - Gexiang Zhang; Jixiang Cheng; Marian Gheorghe 001; Qi Meng (Appl. Soft Comput., 2013)

3-Col problem modelling using simple kernel P systems. - Marian Gheorghe 001; Florentin Ipate; Raluca Lefticaru; Mario J. Pérez-Jiménez; Adrian Turcanu; Luis Valencia-Cabrera; Manuel García-Quismondo; Laurentiu Mierla (Int. J. Comput. Math., 2013)

Research Frontiers of membrane Computing: Open Problems and Research Topics. - Marian Gheorghe 001; Gheorghe Paun; Mario J. Pérez-Jiménez; Grzegorz Rozenberg (Int. J. Found. Comput. Sci., 2013)

Foreword. - Marian Gheorghe 001; Gheorghe Paun; Mario de J. Pérez-Jiménez (Int. J. Unconv. Comput., 2013)

A Short Note on Alexandru Mateescu's Work and Its Impact. - Marian Gheorghe 001 (Discrete Mathematics and Computer Science, 2014)

High Performance Simulations of Kernel P Systems. - Mehmet E. Bakir; Savas Konur; Marian Gheorghe 001; Ionut-Mihai Niculescu; Florentin Ipate (HPCC/CSS/ICESS, 2014)

Modelling and Stochastic Simulation of Synthetic Biological Boolean Gates. - Daven Sanassy; Harold Fellermann; Natalio Krasnogor; Savas Konur; Laurentiu Mierla; Marian Gheorghe 001; Christophe Ladroue; Sara Kalvala (HPCC/CSS/ICESS, 2014)

Crowd formal modelling and simulation: The Sa'yee ritual. - Ilias Sakellariou; Omar Kurdi; Marian Gheorghe 001; Daniela Romano; Petros Kefalas; Florentin Ipate; Ionut-Mihai Niculescu (UKCI, 2014)

Integration Testing of Heterotic Systems. - Marian Gheorghe 001; Mike Stannett (CoRR, 2014)

Preface. - Cristian S. Calude; Marian Gheorghe 001 (Fundam. Informaticae, 2014)

Enjoying to Work. - Marian Gheorghe 001; Gheorghe Paun; Agustin Riscos-Núñez; Grzegorz Rozenberg (Fundam. Informaticae, 2014)

Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example. - Savas Konur; Marian Gheorghe 001; Ciprian Dragomir; Florentin Ipate; Natalio Krasnogor (Fundam. Informaticae, 2014)

Dynamic Behavior Analysis of Membrane-Inspired Evolutionary Algorithms. - Gexiang Zhang; Jixiang Cheng; Marian Gheorghe 001 (Int. J. Comput. Commun. Control, 2014)

Evolutionary membrane computing: A comprehensive survey and new results. - Gexiang Zhang; Marian Gheorghe 001; Linqiang Pan; Mario J. Pérez-Jiménez (Inf. Sci., 2014)

From Kernel P Systems to X-Machines and FLAME. - Ionut-Mihai Niculescu; Marian Gheorghe 001; Florentin Ipate; Alin Stefanescu (J. Autom. Lang. Comb., 2014)

Agent-Based High-Performance Simulation of Biological Systems on the GPU. - Savas Konur; Mariam Kiran; Marian Gheorghe 001; Mark Burkitt; Florentin Ipate (HPCC/CSS/ICESS, 2015)

An Integrated Model Checking Toolset for Kernel P Systems. - Marian Gheorghe 001; Savas Konur; Florentin Ipate; Laurentiu Mierla; Mehmet E. Bakir; Mike Stannett (Int. Conf. on Membrane Computing, 2015)

Spatially Localised Membrane Systems. - Erzsébet Csuhaj-Varjú; Marian Gheorghe 001; Mike Stannett; György Vaszil (Fundam. Informaticae, 2015)

QEAM: An Approximate Algorithm Using P Systems with Active Membranes. - Gexiang Zhang; Jixiang Cheng; Marian Gheorghe 001; Florentin Ipate; Xueyuan Wang (Int. J. Comput. Commun. Control, 2015)

A Property-Driven Methodology for Formal Analysis of Synthetic Biology Systems. - Savas Konur; Marian Gheorghe 001 (IEEE ACM Trans. Comput. Biol. Bioinform., 2015)

Comparative Analysis of Statistical Model Checking Tools. - Mehmet Emin Bakir; Marian Gheorghe 001; Savas Konur; Mike Stannett (Int. Conf. on Membrane Computing, 2016)

Kernel P Systems Modelling, Testing and Verification - Sorting Case Study. - Marian Gheorghe 001; Rodica Ceterchi; Florentin Ipate; Savas Konur (Int. Conf. on Membrane Computing, 2016)

Design and implementation of membrane controllers for trajectory tracking of nonholonomic wheeled mobile robots. - Xueyuan Wang; Gexiang Zhang; Ferrante Neri; Tao Jiang 014; Junbo Zhao 001; Marian Gheorghe 001; Florentin Ipate; Raluca Lefticaru (Integr. Comput. Aided Eng., 2016)

Testing based on identifiable P Systems using cover automata and X-machines. - Marian Gheorghe 001; Florentin Ipate; Savas Konur (Inf. Sci., 2016)

Preface. - Marian Gheorghe 001; Gheorghe Paun; Mario J. Pérez-Jiménez; Agustin Riscos-Núñez (Nat. Comput., 2016)

Towards an Integrated Approach to Verification and Model-Based Testing in System Engineering. - Raluca Lefticaru; Savas Konur; Ünal Yildirim; Amad Uddin; Felician Campean; Marian Gheorghe 001 (iThings/GreenCom/CPSCom/SmartData, 2017)

An Experimental Comparison of Ensemble Classifiers for Evolving Data Streams. - Ahmad Idris Tambuwal; Daniel Neagu; Marian Gheorghe 001 (SGAI Conf., 2017)

Further results on generalised communicating P systems. - Shankara Narayanan Krishna; Marian Gheorghe 001; Florentin Ipate; Erzsébet Csuhaj-Varjú; Rodica Ceterchi (Theor. Comput. Sci., 2017)

Identifiable Kernel P Systems. - Marian Gheorghe 001; Florentin Ipate (Enjoying Natural Computing, 2018)

Formal Modelling of Cruise Control System Using Event-B and Rodin Platform. - Sorina-Nicoleta Predut; Florentin Ipate; Marian Gheorghe 001; Felician Campean (HPCC/SmartCity/DSS, 2018)

Testing Identifiable Kernel P Systems Using an X-Machine Approach. - Marian Gheorghe 001; Florentin Ipate; Raluca Lefticaru; Ana Turlea (Int. Conf. on Membrane Computing, 2018)

Agent Based Micro-simulation of a Passenger Rail System Using Customer Survey Data and an Activity Based Approach. - Omololu Makinde; Daniel Neagu; Marian Gheorghe 001 (UKCI, 2018)

Automatic selection of verification tools for efficient analysis of biochemical models. - Mehmet Emin Bakir; Savas Konur; Marian Gheorghe 001; Natalio Krasnogor; Mike Stannett (Bioinform., 2018)

Kernel P systems: From modelling to verification and testing. - Marian Gheorghe 001; Rodica Ceterchi; Florentin Ipate; Savas Konur; Raluca Lefticaru (Theor. Comput. Sci., 2018)

Search-based testing in membrane computing. - Ana Turlea; Marian Gheorghe 001; Florentin Ipate; Savas Konur (J. Membr. Comput., 2019)

Preface of the special issue for Gheorghe Pǎun's 70th anniversary. - Marian Gheorghe 001; Mario J. Pérez-Jiménez; Grzegorz Rozenberg; Arto Salomaa (J. Membr. Comput., 2020)

A novel application of deep learning with image cropping: a smart city use case for flood monitoring. - Bhupesh Kumar Mishra; Dhavalkumar Thakker; Suvodeep Mazumdar; Daniel Neagu; Marian Gheorghe 001; Sydney Simpson (J. Reliab. Intell. Environ., 2020)

kPWorkbench: A software suit for membrane systems. - Savas Konur; Laurentiu Mierla; Florentin Ipate; Marian Gheorghe 001 (SoftwareX, 2020)

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 001 (Springer, 2021)

Automated Contextual Anomaly Detection for Network Interface Bandwidth Utilisation: A Case Study in Network Capacity Management. - Esmaeil Habib Zadeh; Stephen Amstutz; James Collins 004; Craig Ingham; Marian Gheorghe 001; Savas Konur (CECNet, 2021)

Engineering Data- & Model-Driven Applications: EDMA-2017 special issue editorial. - Daniel Neagu; Felician Campean; Marian Gheorghe 001 (Expert Syst. J. Knowl. Eng., 2021)

Introduction. - Marian Gheorghe 001; Ferrante Neri; Gexiang Zhang (Int. J. Neural Syst., 2021)

Implementation of Kernel P Systems in CUDA for Solving NP-hard Problems. - Songhai Fan; Yiyu Gong; Gexiang Zhang; Yun Xiao; Haina Rong; Prithwineel Paul; Xiaomin Ma; Han Huang; Marian Gheorghe 001 (Int. J. Unconv. Comput., 2021)

Spiking neural P systems: matrix representation and formal verification. - Marian Gheorghe 001; Raluca Lefticaru; Savas Konur; Ionut-Mihai Niculescu; Henry N. Adorna (J. Membr. Comput., 2021)

Fundamental results for learning deterministic extended finite state machines from queries. - Florentin Ipate; Marian Gheorghe 001; Raluca Lefticaru (Theor. Comput. Sci., 2021)

A model learning based testing approach for spiking neural P systems. - Florentin Ipate; Marian Gheorghe 001 (Theor. Comput. Sci., 2022)

A key agreement protocol based on spiking neural P systems with anti-spikes. - Mihail-Iulian Plesa; Marian Gheorghe 001; Florentin Ipate; Gexiang Zhang (J. Membr. Comput., 2022)

Test-Driven Simulation of Robots Controlled by Enzymatic Numerical P Systems Models. - Radu Traian Bobe; Marian Gheorghe 001; Florentin Ipate; Ionut-Mihai Niculescu (SimuTools, 2023)

Privacy-preserving Linear Computations in Spiking Neural P Systems. - Mihail-Iulian Plesa; Marian Gheorghe 001; Florentin Ipate (FROM, 2023)

A model learning based testing approach for kernel P systems. - Florentin Ipate; Ionut-Mihai Niculescu; Raluca Lefticaru; Savas Konur; Marian Gheorghe 001 (Theor. Comput. Sci., 2023)

Numerical P Systems: Variants and Applications. - Radu Traian Bobe; Marian Gheorghe 001; Florentin Ipate; Ionut-Mihai Niculescu (ITAT, 2024)

Private Inference on Layered Spiking Neural P Systems. - Mihail-Iulian Plesa; Marian Gheorghe 001; Florentin Ipate (IWINAC (2), 2024)

Introduction. - Marian Gheorghe 001; Alberto Leporati; Ferrante Neri; David Orellana-Martín; Mario J. Pérez-Jiménez; Gexiang Zhang (Int. J. Neural Syst., 2024)

A Federated Learning Protocol for Spiking Neural Membrane Systems. - Mihail-Iulian Plesa; Marian Gheorghe 001; Florentin Ipate; Gexiang Zhang (Int. J. Neural Syst., 2024)

Applications of spiking neural P systems in cybersecurity. - Mihail-Iulian Plesa; Marian Gheorghe 001; Florentin Ipate; Gexiang Zhang (J. Membr. Comput., 2024)