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

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

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

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

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

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

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

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

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

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

Membrane Computing Models: Implementations - Zhang, Gexiang; Pérez-Jiménez, Mario J.; Riscos-Núñez, Agustín; Verlan, Sergey; Konur, Savas; Hinze, Thomas; Gheorghe, Marian (Springer, 2021)

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

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

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

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

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

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

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

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

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

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

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

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

Identifiable Kernel P Systems. - Gheorghe, Marian; Ipate, Florentin (2018)

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

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

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

Membrane Computing - 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers (Springer, 2018)

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

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

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

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

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

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

Comparative Analysis of Statistical Model Checking Tools. - Bakir, Mehmet Emin; Gheorghe, Marian; Konur, Savas; Stannett, Mike (2016)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Membrane Computing - 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers (Springer, 2014)

Membrane Computing - 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers (Springer, 2014)

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

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

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

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

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

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

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

A Kernel P Systems Survey. - Gheorghe, Marian; Ipate, Florentin (2013)

Membrane Computing - 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers (Springer, 2013)

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

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

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

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

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

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

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

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

Membrane Computing - 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers (Springer, 2012)

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

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

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

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

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

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

Membrane Computing - 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers (Springer, 2011)

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

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

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

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

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

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

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

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

Testing Based on P Systems - An Overview. - Gheorghe, Marian; Ipate, Florentin (2010)

An Integrated Approach to P Systems Formal Verification. - Gheorghe, Marian; Ipate, Florentin; Lefticaru, Raluca; Dragomir, Ciprian (2010)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

On Testing P Systems. - Gheorghe, Marian; Ipate, Florentin (2008)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Turing Machines with Cells on the Tape. - Bernardini, Francesco; Gheorghe, Marian; Krasnogor, Natalio; Paun, Gheorghe (2006)

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

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

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

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

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

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

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

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

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

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

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

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

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

Formal Development of Reactive Agent-Based Systems. - Kefalas, Petros; Holcombe, Mike; Eleftherakis, George; Gheorghe, Marian (2005)

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

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

Eilenberg P Systems with Symbol-Objects. - Bernardini, Francesco; Gheorghe, Marian; Holcombe, Mike (2004)

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

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

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

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

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

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

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

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

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

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

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

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

Deterministic stream X-machines based on grammar systems. - Balanescu, Tudor; Gheorghe, Marian; Holcombe, Mike (2001)

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

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

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

On Testing Generalized Stream X-Machines. - Holcombe, Mike; Balanescu, Tudor; Gheorghe, Marian; Radovici-Marculescu, Paul (2000)

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

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

Grammatical Models for Some Process Synchronizers. - Balanescu, Tudor; Georgescu, Horia; Gheorghe, Marian (1998)

Grammar Systems with Counting Derivation and Dynamical Priorities. - Balanescu, Tudor; Georgescu, Horia; Gheorghe, Marian (1997)

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

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

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