Marian Gheorghe

165 papers A 2B 6C 5Misc 2Journal 76Unranked 65

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A test-driven methodology for designing robot controllers and simulators using enzymatic numerical P system models. Simul. Radu Traian Bobe, Marian Gheorghe, Florentin Ipate, Ionut-Mihai Niculescu
2025	J	`jnl`	Introduction. Int. J. Neural Syst. Marian Gheorghe, Alberto Leporati, Ferrante Neri, David Orellana-Martín, Mario J. Pérez-Jiménez
2025	—	`conf`	P Colonies Generating Strings. Languages of Cooperation and Communication Rodica Ceterchi, Marian Gheorghe, Lakshmanan Kuppusamy, K. G. Subramanian
2025	J	`jnl`	Spiking neural P systems and kernel P systems. J. Membr. Comput. Marian Gheorghe, Florentin Ipate, Kumar Kannan, Savas Konur, Lakshmanan Kuppusamy, Raluca Lefticaru, Anand Mahendran, Ionut-Mihai Niculescu
2025	J	`jnl`	Three classes of modified alphabetic flat splicing P systems. J. Membr. Comput. Rodica Ceterchi, Marian Gheorghe, Lakshmanan Kuppusamy, K. G. Subramanian
2024	J	`jnl`	A Federated Learning Protocol for Spiking Neural Membrane Systems. Int. J. Neural Syst. Mihail-Iulian Plesa, Marian Gheorghe, Florentin Ipate, Gexiang Zhang
2024	J	`jnl`	Applications of spiking neural P systems in cybersecurity. J. Membr. Comput. Mihail-Iulian Plesa, Marian Gheorghe, Florentin Ipate, Gexiang Zhang
2024	J	`jnl`	Introduction. Int. J. Neural Syst. Marian Gheorghe, Alberto Leporati, Ferrante Neri, David Orellana-Martín, Mario J. Pérez-Jiménez, Gexiang Zhang
2024	—	`conf`	Numerical P Systems: Variants and Applications. ITAT Radu Traian Bobe, Marian Gheorghe, Florentin Ipate, Ionut-Mihai Niculescu
2024	—	`conf`	Private Inference on Layered Spiking Neural P Systems. IWINAC (2) Mihail-Iulian Plesa, Marian Gheorghe, Florentin Ipate
2023	J	`jnl`	A model learning based testing approach for kernel P systems. Theor. Comput. Sci. Florentin Ipate, Ionut-Mihai Niculescu, Raluca Lefticaru, Savas Konur, Marian Gheorghe
2023	—	`conf`	Privacy-preserving Linear Computations in Spiking Neural P Systems. FROM Mihail-Iulian Plesa, Marian Gheorghe, Florentin Ipate
2023	—	`conf`	Test-Driven Simulation of Robots Controlled by Enzymatic Numerical P Systems Models. SimuTools Radu Traian Bobe, Marian Gheorghe, Florentin Ipate, Ionut-Mihai Niculescu
2022	J	`jnl`	A key agreement protocol based on spiking neural P systems with anti-spikes. J. Membr. Comput. Mihail-Iulian Plesa, Marian Gheorghe, Florentin Ipate, Gexiang Zhang
2022	J	`jnl`	A model learning based testing approach for spiking neural P systems. Theor. Comput. Sci. Florentin Ipate, Marian Gheorghe
2021	—	`conf`	Automated Contextual Anomaly Detection for Network Interface Bandwidth Utilisation: A Case Study in Network Capacity Management. CECNet Esmaeil Habib Zadeh, Stephen Amstutz, James Collins, Craig Ingham, Marian Gheorghe, Savas Konur
2021	J	`jnl`	Engineering Data- & Model-Driven Applications: EDMA-2017 special issue editorial. Expert Syst. J. Knowl. Eng. Daniel Neagu, Felician Campean, Marian Gheorghe
2021	J	`jnl`	Fundamental results for learning deterministic extended finite state machines from queries. Theor. Comput. Sci. Florentin Ipate, Marian Gheorghe, Raluca Lefticaru
2021	J	`jnl`	Implementation of Kernel P Systems in CUDA for Solving NP-hard Problems. Int. J. Unconv. Comput. Songhai Fan, Yiyu Gong, Gexiang Zhang, Yun Xiao, Haina Rong, Prithwineel Paul, Xiaomin Ma, Han Huang, Marian Gheorghe
2021	J	`jnl`	Introduction. Int. J. Neural Syst. Marian Gheorghe, Ferrante Neri, Gexiang Zhang
2021	—	`book`	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
2021	J	`jnl`	Spiking neural P systems: matrix representation and formal verification. J. Membr. Comput. Marian Gheorghe, Raluca Lefticaru, Savas Konur, Ionut-Mihai Niculescu, Henry N. Adorna
2020	J	`jnl`	A novel application of deep learning with image cropping: a smart city use case for flood monitoring. J. Reliab. Intell. Environ. Bhupesh Kumar Mishra, Dhavalkumar Thakker, Suvodeep Mazumdar, Daniel Neagu, Marian Gheorghe, Sydney Simpson
2020	J	`jnl`	Preface of the special issue for Gheorghe Pǎun's 70th anniversary. J. Membr. Comput. Marian Gheorghe, Mario J. Pérez-Jiménez, Grzegorz Rozenberg, Arto Salomaa
2020	J	`jnl`	kPWorkbench: A software suit for membrane systems. SoftwareX Savas Konur, Laurentiu Mierla, Florentin Ipate, Marian Gheorghe
2019	J	`jnl`	Search-based testing in membrane computing. J. Membr. Comput. Ana Turlea, Marian Gheorghe, Florentin Ipate, Savas Konur
2018	—	`conf`	Agent Based Micro-simulation of a Passenger Rail System Using Customer Survey Data and an Activity Based Approach. UKCI Omololu Makinde, Daniel Neagu, Marian Gheorghe
2018	J	`jnl`	Automatic selection of verification tools for efficient analysis of biochemical models. Bioinform. Mehmet Emin Bakir, Savas Konur, Marian Gheorghe, Natalio Krasnogor, Mike Stannett
2018	—	`conf`	Formal Modelling of Cruise Control System Using Event-B and Rodin Platform. HPCC/SmartCity/DSS Sorina-Nicoleta Predut, Florentin Ipate, Marian Gheorghe, Felician Campean
2018	—	`conf`	Identifiable Kernel P Systems. Enjoying Natural Computing Marian Gheorghe, Florentin Ipate
2018	J	`jnl`	Kernel P systems: From modelling to verification and testing. Theor. Comput. Sci. Marian Gheorghe, Rodica Ceterchi, Florentin Ipate, Savas Konur, Raluca Lefticaru
2018	—	`ed.`	Membrane Computing - 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers Int. Conf. on Membrane Computing Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron
2018	—	`conf`	Testing Identifiable Kernel P Systems Using an X-Machine Approach. Int. Conf. on Membrane Computing Marian Gheorghe, Florentin Ipate, Raluca Lefticaru, Ana Turlea
2017	—	`conf`	An Experimental Comparison of Ensemble Classifiers for Evolving Data Streams. SGAI Conf. Ahmad Idris Tambuwal, Daniel Neagu, Marian Gheorghe
2017	J	`jnl`	Further results on generalised communicating P systems. Theor. Comput. Sci. Shankara Narayanan Krishna, Marian Gheorghe, Florentin Ipate, Erzsébet Csuhaj-Varjú, Rodica Ceterchi
2017	—	`conf`	Towards an Integrated Approach to Verification and Model-Based Testing in System Engineering. iThings/GreenCom/CPSCom/SmartData Raluca Lefticaru, Savas Konur, Ünal Yildirim, Amad Uddin, Felician Campean, Marian Gheorghe
2016	—	`conf`	Comparative Analysis of Statistical Model Checking Tools. Int. Conf. on Membrane Computing Mehmet Emin Bakir, Marian Gheorghe, Savas Konur, Mike Stannett
2016	J	`jnl`	Design and implementation of membrane controllers for trajectory tracking of nonholonomic wheeled mobile robots. Integr. Comput. Aided Eng. Xueyuan Wang, Gexiang Zhang, Ferrante Neri, Tao Jiang, Junbo Zhao, Marian Gheorghe, Florentin Ipate, Raluca Lefticaru
2016	—	`conf`	Kernel P Systems Modelling, Testing and Verification - Sorting Case Study. Int. Conf. on Membrane Computing Marian Gheorghe, Rodica Ceterchi, Florentin Ipate, Savas Konur
2016	J	`jnl`	Preface. Nat. Comput. Marian Gheorghe, Gheorghe Paun, Mario J. Pérez-Jiménez, Agustin Riscos-Núñez
2016	J	`jnl`	Testing based on identifiable P Systems using cover automata and X-machines. Inf. Sci. Marian Gheorghe, Florentin Ipate, Savas Konur
2015	J	`jnl`	A Property-Driven Methodology for Formal Analysis of Synthetic Biology Systems. IEEE ACM Trans. Comput. Biol. Bioinform. Savas Konur, Marian Gheorghe
2015	—	`conf`	Agent-Based High-Performance Simulation of Biological Systems on the GPU. HPCC/CSS/ICESS Savas Konur, Mariam Kiran, Marian Gheorghe, Mark Burkitt, Florentin Ipate
2015	—	`conf`	An Integrated Model Checking Toolset for Kernel P Systems. Int. Conf. on Membrane Computing Marian Gheorghe, Savas Konur, Florentin Ipate, Laurentiu Mierla, Mehmet E. Bakir, Mike Stannett
2015	J	`jnl`	QEAM: An Approximate Algorithm Using P Systems with Active Membranes. Int. J. Comput. Commun. Control Gexiang Zhang, Jixiang Cheng, Marian Gheorghe, Florentin Ipate, Xueyuan Wang
2015	J	`jnl`	Spatially Localised Membrane Systems. Fundam. Informaticae Erzsébet Csuhaj-Varjú, Marian Gheorghe, Mike Stannett, György Vaszil
2014	—	`conf`	A Short Note on Alexandru Mateescu's Work and Its Impact. Discrete Mathematics and Computer Science Marian Gheorghe
2014	J	`jnl`	Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example. Fundam. Informaticae Savas Konur, Marian Gheorghe, Ciprian Dragomir, Florentin Ipate, Natalio Krasnogor
2014	—	`conf`	Crowd formal modelling and simulation: The Sa'yee ritual. UKCI Ilias Sakellariou, Omar Kurdi, Marian Gheorghe, Daniela Romano, Petros Kefalas, Florentin Ipate, Ionut-Mihai Niculescu
2014	J	`jnl`	Dynamic Behavior Analysis of Membrane-Inspired Evolutionary Algorithms. Int. J. Comput. Commun. Control Gexiang Zhang, Jixiang Cheng, Marian Gheorghe
2014	J	`jnl`	Enjoying to Work. Fundam. Informaticae Marian Gheorghe, Gheorghe Paun, Agustin Riscos-Núñez, Grzegorz Rozenberg
2014	J	`jnl`	Evolutionary membrane computing: A comprehensive survey and new results. Inf. Sci. Gexiang Zhang, Marian Gheorghe, Linqiang Pan, Mario J. Pérez-Jiménez
2014	J	`jnl`	From Kernel P Systems to X-Machines and FLAME. J. Autom. Lang. Comb. Ionut-Mihai Niculescu, Marian Gheorghe, Florentin Ipate, Alin Stefanescu
2014	—	`conf`	High Performance Simulations of Kernel P Systems. HPCC/CSS/ICESS Mehmet E. Bakir, Savas Konur, Marian Gheorghe, Ionut-Mihai Niculescu, Florentin Ipate
2014	J	`jnl`	Integration Testing of Heterotic Systems. CoRR Marian Gheorghe, Mike Stannett
2014	—	`ed.`	Membrane Computing - 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers Int. Conf. on Membrane Computing Artiom Alhazov, Svetlana Cojocaru, Marian Gheorghe, Yurii Rogozhin, Grzegorz Rozenberg, Arto Salomaa
2014	—	`ed.`	Membrane Computing - 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers Int. Conf. on Membrane Computing Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, Petr Sosík, Claudio Zandron
2014	—	`conf`	Modelling and Stochastic Simulation of Synthetic Biological Boolean Gates. HPCC/CSS/ICESS Daven Sanassy, Harold Fellermann, Natalio Krasnogor, Savas Konur, Laurentiu Mierla, Marian Gheorghe, Christophe Ladroue, Sara Kalvala
2014	J	`jnl`	Preface. Fundam. Informaticae Cristian S. Calude, Marian Gheorghe
2013	J	`jnl`	3-Col problem modelling using simple kernel P systems. Int. J. Comput. Math. Marian Gheorghe, Florentin Ipate, Raluca Lefticaru, Mario J. Pérez-Jiménez, Adrian Turcanu, Luis Valencia-Cabrera, Manuel García-Quismondo, Laurentiu Mierla
2013	—	`conf`	A Kernel P Systems Survey. Int. Conf. on Membrane Computing Marian Gheorghe, Florentin Ipate
2013	J	`jnl`	A hybrid approach based on differential evolution and tissue membrane systems for solving constrained manufacturing parameter optimization problems. Appl. Soft Comput. Gexiang Zhang, Jixiang Cheng, Marian Gheorghe, Qi Meng
2013	J	`jnl`	Foreword. Int. J. Unconv. Comput. Marian Gheorghe, Gheorghe Paun, Mario de J. Pérez-Jiménez
2013	—	`conf`	Kernel P Systems: Applications and Implementations. BIC-TA Florentin Ipate, Raluca Lefticaru, Laurentiu Mierla, Luis Valencia-Cabrera, Han Huang, Gexiang Zhang, Ciprian Dragomir, Mario J. Pérez-Jiménez, Marian Gheorghe
2013	—	`ed.`	Membrane Computing - 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers Int. Conf. on Membrane Computing Erzsébet Csuhaj-Varjú, Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, György Vaszil
2013	J	`jnl`	Research Frontiers of membrane Computing: Open Problems and Research Topics. Int. J. Found. Comput. Sci. Marian Gheorghe, Gheorghe Paun, Mario J. Pérez-Jiménez, Grzegorz Rozenberg
2013	C	`conf`	Some Classes of Generalised Communicating P Systems and Simple Kernel P Systems. CiE Shankara Narayanan Krishna, Marian Gheorghe, Ciprian Dragomir
2012	J	`jnl`	A Novel Membrane Algorithm Based on Particle Swarm Optimization for Solving Broadcasting Problems. J. Univers. Comput. Sci. Gexiang Zhang, Fen Zhou, Xiaoli Huang, Jixiang Cheng, Marian Gheorghe, Florentin Ipate, Raluca Lefticaru
2012	J	`jnl`	A Variant of Distributed P Systems for Real Time Cross Layer Optimization. J. Univers. Comput. Sci. Susan Elias, Vanaja Gokul, Kamala Krithivasan, Marian Gheorghe, Gexiang Zhang
2012	J	`jnl`	A membrane algorithm with quantum-inspired subalgorithms and its application to image processing. Nat. Comput. Gexiang Zhang, Marian Gheorghe, Yuquan Li
2012	—	`conf`	Exploitation of High Performance Computing in the FLAME Agent-Based Simulation Framework. HPCC-ICESS Simon Coakley, Marian Gheorghe, Mike Holcombe, Lee Shawn Chin, David Worth, Chris Greenough
2012	—	`conf`	Extending X-machines to Support Representation of Spatial 2-D Agents. ICAART (2) Isidora Petreska, Petros Kefalas, Marian Gheorghe, Ioanna Stamatopoulou
2012	—	`ed.`	Membrane Computing - 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers Int. Conf. on Membrane Computing Marian Gheorghe, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa, Sergey Verlan
2012	J	`jnl`	Membrane system models for super-Turing paradigms. Nat. Comput. Marian Gheorghe, Mike Stannett
2012	—	`conf`	P Systems Controlled by General Topologies. UCNC Erzsébet Csuhaj-Varjú, Marian Gheorghe, Mike Stannett
2012	—	`conf`	sp X-Machines: Formal State-Based Modelling of Spatial Agents. ICAART (Revised Selected Papers) Isidora Petreska, Petros Kefalas, Marian Gheorghe, Ioanna Stamatopoulou
2011	—	`conf`	A Framework towards the Verification of Emergent Properties in Spatial Multi-Agent Systems. WASA Isidora Petreska, Petros Kefalas, Marian Gheorghe
2011	—	`conf`	A Modified Estimation of Distribution Algorithm for Numeric Optimization. BIC-TA Yuquan Li, Gexiang Zhang, Xiangxiang Zeng, Jixiang Cheng, Marian Gheorghe, Susan Elias
2011	J	`jnl`	An empirical evaluation of P system testing techniques. Nat. Comput. Raluca Lefticaru, Marian Gheorghe, Florentin Ipate
2011	J	`jnl`	Further Results on Languages of Membrane Structures CoRR Raghavan Rama, H. Ramesh, Marian Gheorghe, Shankara Narayanan Krishna
2011	—	`ed.`	Membrane Computing - 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers Int. Conf. on Membrane Computing Marian Gheorghe, Thomas Hinze, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
2011	J	`jnl`	Membrane Computing - Theory and Applications. ERCIM News Marian Gheorghe
2011	J	`jnl`	On Restricted Bio-Turing Machines. Fundam. Informaticae Rama Raghavan, H. Ramesh, Marian Gheorghe, Shankara Narayanan Krishna
2011	J	`jnl`	Preface. Int. J. Found. Comput. Sci. Rudolf Freund, Marian Gheorghe, Solomon Marcus, Victor Mitrana, Mario J. Pérez-Jiménez
2011	—	`conf`	Real time cross layer design using particle swarm optimization. Bangalore Compute Conf. Susan Elias, Vanaja Gokul, Kamala Krithivasan, Marian Gheorghe, Gexiang Zhang
2010	—	`conf`	A multi-objective membrane algorithm for knapsack problems. BIC-TA Gexiang Zhang, Yuquan Li, Marian Gheorghe
2010	Misc	`conf`	A particle swarm optimization based on P systems. ICNC Fen Zhou, Gexiang Zhang, Haina Rong, Marian Gheorghe, Jixiang Cheng, Florentin Ipate, Raluca Lefticaru
2010	—	`conf`	An Integrated Approach to P Systems Formal Verification. Int. Conf. on Membrane Computing Marian Gheorghe, Florentin Ipate, Raluca Lefticaru, Ciprian Dragomir
2010	J	`jnl`	Deterministic and stochastic P systems for modelling cellular processes. Nat. Comput. Marian Gheorghe, Vincenzo Manca, Francisco José Romero-Campero
2010	—	`conf`	Diversity and convergence analysis of membrane algorithms. BIC-TA Gexiang Zhang, Chunxiu Liu, Marian Gheorghe
2010	J	`jnl`	Test generation from P systems using model checking. J. Log. Algebraic Methods Program. Florentin Ipate, Marian Gheorghe, Raluca Lefticaru
2010	—	`conf`	Testing Based on P Systems - An Overview. Int. Conf. on Membrane Computing Marian Gheorghe, Florentin Ipate
2010	—	`conf`	Timed spiking neural P systems. BIC-TA Hong Peng, Jun Wang, Gexiang Zhang, Marian Gheorghe
2009	—	`conf`	An Improved Membrane Algorithm for Solving Time-Frequency Atom Decomposition. Workshop on Membrane Computing Chunxiu Liu, Gexiang Zhang, Hongwen Liu, Marian Gheorghe, Florentin Ipate
2009	J	`jnl`	Finite state based testing of P systems. Nat. Comput. Florentin Ipate, Marian Gheorghe
2009	—	`conf`	Formal Verification and Testing Based on P Systems. Workshop on Membrane Computing Marian Gheorghe, Florentin Ipate, Ciprian Dragomir
2009	A	`conf`	Liposome logic. GECCO James Smaldon, Natalio Krasnogor, Cameron Alexander, Marian Gheorghe
2009	J	`jnl`	Maximal, Locally-Maximal, and Minimal Parallelism in Networks of Cells. Int. J. Unconv. Comput. Francesco Bernardini, Marian Gheorghe, Maurice Margenstern, Sergey Verlan
2009	J	`jnl`	Modular Assembly of Cell Systems Biology Models Using P Systems. Int. J. Found. Comput. Sci. Francisco José Romero-Campero, Jamie Twycross, Miguel Cámara, Malcolm Bennett, Marian Gheorghe, Natalio Krasnogor
2009	J	`jnl`	Mutation Based Testing of P Systems. Int. J. Comput. Commun. Control Florentin Ipate, Marian Gheorghe
2009	J	`jnl`	P-systems and X-machines. Nat. Comput. Marian Gheorghe, Natalio Krasnogor
2009	—	`conf`	Tuning P Systems for Solving the Broadcasting Problem. Workshop on Membrane Computing Raluca Lefticaru, Florentin Ipate, Marian Gheorghe, Gexiang Zhang
2009	A	`conf`	Using Process Mining Metrics to Measure Noisy Process Fidelity. EASE Chris Thomson, Marian Gheorghe
2009	J	`jnl`	Using formal specifications to support testing. ACM Comput. Surv. 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
2008	J	`jnl`	A Quantum-Inspired Evolutionary Algorithm Based on P systems for Knapsack Problem. Fundam. Informaticae Gexiang Zhang, Marian Gheorghe, Chao-Zhong Wu
2008	J	`jnl`	Generalized communicating P systems. Theor. Comput. Sci. Sergey Verlan, Francesco Bernardini, Marian Gheorghe, Maurice Margenstern
2008	J	`jnl`	How to Synchronize the Activity of All Components of a P System? Int. J. Found. Comput. Sci. Francesco Bernardini, Marian Gheorghe, Maurice Margenstern, Sergey Verlan
2008	—	`conf`	On Testing P Systems. Workshop on Membrane Computing Marian Gheorghe, Florentin Ipate
2008	J	`jnl`	P systems applications to systems biology. Biosyst. Marian Gheorghe, Natalio Krasnogor, Miguel Cámara
2008	—	`conf`	Testing Non-deterministic Stream X-machine Models and P systems. MeCBIC Florentin Ipate, Marian Gheorghe
2008	—	`conf`	Transforming State-Based Models to P Systems Models in Practice. Workshop on Membrane Computing Petros Kefalas, Ioanna Stamatopoulou, George Eleftherakis, Marian Gheorghe
2007	—	`conf`	A Hybrid Approach to Modeling Biological Systems. Workshop on Membrane Computing Francesco Bernardini, Marian Gheorghe, Francisco José Romero-Campero, Neil Walkinshaw
2007	B	`conf`	Evolving tiles for automated self-assembly design. IEEE Congress on Evolutionary Computation Germán Terrazas, Marian Gheorghe, Graham Kendall, Natalio Krasnogor
2007	J	`jnl`	Modelling the dynamic structure of biological state-based systems. Biosyst. Ioanna Stamatopoulou, Petros Kefalas, Marian Gheorghe
2007	—	`conf`	OPERAS Workshop on Membrane Computing Ioanna Stamatopoulou, Petros Kefalas, Marian Gheorghe
2007	—	`conf`	OPERAS: A Framework for the Formal Modelling of Multi-Agent Systems and Its Application to Swarm-Based Systems. ESAW Ioanna Stamatopoulou, Petros Kefalas, Marian Gheorghe
2007	C	`conf`	Producer/Consumer in Membrane Systems and Petri Nets. CiE Francesco Bernardini, Marian Gheorghe, Maurice Margenstern, Sergey Verlan
2007	J	`jnl`	Quorum sensing P systems. Theor. Comput. Sci. Francesco Bernardini, Marian Gheorghe, Natalio Krasnogor
2006	—	`conf`	A Modeling Approach Based on P Systems with Bounded Parallelism. Workshop on Membrane Computing Francesco Bernardini, Francisco José Romero-Campero, Marian Gheorghe, Mario J. Pérez-Jiménez
2006	—	`conf`	Computational Completeness of Tissue P Systems with Conditional Uniport. Workshop on Membrane Computing Sergey Verlan, Francesco Bernardini, Marian Gheorghe, Maurice Margenstern
2006	—	`ch.`	Membrane-Based Devices Used in Computer Graphics. Applications of Membrane Computing Alexandros Georgiou, Marian Gheorghe, Francesco Bernardini
2006	—	`conf`	Specification of Reconfigurable MAS: A Hybrid Formal Approach. SETN Ioanna Stamatopoulou, Petros Kefalas, Marian Gheorghe
2006	J	`jnl`	The Impact of an Agile Methodology on the Well Being of Development Teams. Empir. Softw. Eng. Sharifah Lailee Syed-Abdullah, Mike Holcombe, Marian Gheorghe
2006	—	`conf`	Towards Probabilistic Model Checking on P Systems Using PRISM. Workshop on Membrane Computing Francisco José Romero-Campero, Marian Gheorghe, Luca Bianco, Dario Pescini, Mario J. Pérez-Jiménez, Rodica Ceterchi
2006	—	`conf`	Towards a P Systems Pseudomonas Quorum Sensing Model. Workshop on Membrane Computing Luca Bianco, Dario Pescini, Peter A. Siepmann, Natalio Krasnogor, Francisco José Romero-Campero, Marian Gheorghe
2006	—	`conf`	Turing Machines with Cells on the Tape. Nanotechnology: Science and Computation Francesco Bernardini, Marian Gheorghe, Natalio Krasnogor, Gheorghe Paun
2005	—	`conf`	A Formal Modelling Framework for Developing Multi-agent Systems with Dynamic Structure and Behaviour. CEEMAS Petros Kefalas, Ioanna Stamatopoulou, Marian Gheorghe
2005	J	`jnl`	An Appealing Computational Mechanism Drawn from Bacterial Quorum Sensing. Bull. EATCS Natalio Krasnogor, Marian Gheorghe, Germán Terrazas, Steve Diggle, Paul Williams, Miguel Cámara
2005	C	`conf`	An Environment Aware P-System Model of Quorum Sensing. CiE Germán Terrazas, Natalio Krasnogor, Marian Gheorghe, Francesco Bernardini, Steve Diggle, Miguel Cámara
2005	B	`conf`	Automated tile design for self-assembly conformations. Congress on Evolutionary Computation Germán Terrazas, Natalio Krasnogor, Graham Kendall, Marian Gheorghe
2005	J	`jnl`	Cell communication in tissue P systems: universality results. Soft Comput. Francesco Bernardini, Marian Gheorghe
2005	—	`ch.`	Formal Development of Reactive Agent-Based Systems. Encyclopedia of Information Science and Technology (II) Petros Kefalas, Mike Holcombe, George Eleftherakis, Marian Gheorghe
2005	C	`conf`	Membrane Computing - Current Results and Future Problems. CiE Francesco Bernardini, Marian Gheorghe, Natalio Krasnogor, Germán Terrazas
2005	J	`jnl`	On P Systems and Almost Periodicity. Fundam. Informaticae Francesco Bernardini, Marian Gheorghe, Vincenzo Manca
2005	—	`conf`	On P Systems as a Modelling Tool for Biological Systems. Workshop on Membrane Computing Francesco Bernardini, Marian Gheorghe, Natalio Krasnogor, Ravie Chandren Muniyandi, Mario J. Pérez-Jiménez, Francisco José Romero-Campero
2005	Misc	`conf`	On P Systems with Bounded Parallelism. SYNASC Francesco Bernardini, Francisco José Romero-Campero, Marian Gheorghe, Mario J. Pérez-Jiménez, Maurice Margenstern, Sergey Verlan, Natalio Krasnogor
2005	C	`conf`	On Self-assembly in Population P Systems. UC Francesco Bernardini, Marian Gheorghe, Natalio Krasnogor, Jean-Louis Giavitto
2005	B	`conf`	The Positive Affect of the XP Methodology. XP Sharifah Lailee Syed-Abdullah, John Karn, Mike Holcombe, Anthony J. Cowling, Marian Gheorghe
2004	—	`conf`	Eilenberg P Systems with Symbol-Objects. Aspects of Molecular Computing Francesco Bernardini, Marian Gheorghe, Mike Holcombe
2004	J	`jnl`	Languages Generated by P Systems with Active Membranes. New Gener. Comput. Francesco Bernardini, Marian Gheorghe
2004	—	`conf`	Modelling Dynamic Organization of Biology-Inspired Multi-agent Systems with Communicating X-Machines and Population P Systems. Workshop on Membrane Computing Ioanna Stamatopoulou, Marian Gheorghe, Petros Kefalas
2004	—	`conf`	Modelling Dynamically Organised Colonies of Bio-entities. UPP Marian Gheorghe, Ioanna Stamatopoulou, Mike Holcombe, Petros Kefalas
2004	J	`jnl`	Population P Systems. J. Univers. Comput. Sci. Francesco Bernardini, Marian Gheorghe
2003	—	`conf`	A Formal Experiment Comparing Extreme Programming with Traditional Software Construction. ENC Francisco Javier Macias, Mike Holcombe, Marian Gheorghe
2003	—	`conf`	An Agent Based Approach of Collective Foraging. IWANN (1) Marian Gheorghe, Carlos Martín-Vide, Victor Mitrana, Mario J. Pérez-Jiménez
2003	—	`conf`	An Agent-Based Behavioural Model of Monomorium Pharaonis Colonies. Workshop on Membrane Computing Duncan Jackson, Marian Gheorghe, Mike Holcombe, Francesco Bernardini
2003	B	`conf`	Design-led & Design-less: One Experiment and Two Approaches. XP Francisco Javier Macias, Mike Holcombe, Marian Gheorghe
2003	J	`jnl`	P X systems = P systems + X machines. Nat. Comput. Francesco Bernardini, Marian Gheorghe, Mike Holcombe
2003	B	`conf`	Practice Makes Perfect. XP Sharifah Lailee Syed-Abdullah, Mike Holcombe, Marian Gheorghe
2003	J	`jnl`	Testing (Stream) X-machines. Appl. Algebra Eng. Commun. Comput. Florentin Ipate, Marian Gheorghe, Mike Holcombe
2003	B	`conf`	Where Do Unit Tests Come from? XP Jing Yuan, Mike Holcombe, Marian Gheorghe
2002	—	`conf`	Eilenberg P Systems. WMC-CdeA Tudor Balanescu, Marian Gheorghe, Mike Holcombe, Florentin Ipate
2002	J	`jnl`	P Systems with Replicated Rewriting and Stream X-Machines (Eilenberg Machines). Fundam. Informaticae Joaquín Aguado, Tudor Balanescu, Anthony J. Cowling, Marian Gheorghe, Mike Holcombe, Florentin Ipate
2001	—	`conf`	Deterministic stream X-machines based on grammar systems. Where Mathematics, Computer Science, Linguistics and Biology Meet Tudor Balanescu, Marian Gheorghe, Mike Holcombe
2001	—	`conf`	Testing Collaborative Agents Defined as Stream X-Machines with Distributed Grammars. ECAL Tudor Balanescu, Marian Gheorghe, Mike Holcombe, Florentin Ipate
2001	—	`conf`	Testing Using X-Machine Translations. Words, Semigroups, and Transductions Florentin Ipate, Marian Gheorghe, Mike Holcombe, Tudor Balanescu
2000	J	`jnl`	Generalised Stream X-Machines and Cooperating Distributed Grammar Systems. Formal Aspects Comput. Marian Gheorghe
2000	—	`conf`	On Testing Generalized Stream X-Machines. Recent Topics in Mathematical and Computational Linguistics Mike Holcombe, Tudor Balanescu, Marian Gheorghe, Paul Radovici-Marculescu
1999	—	`conf`	A New Type of Counting Derivation for CD Grammar Systems. Grammatical Models of Multi-Agent Systems Tudor Balanescu, Horia Georgescu, Marian Gheorghe
1999	J	`jnl`	Communicating Stream X-Machines Systems are no more than X-Machines. J. Univers. Comput. Sci. Tudor Balanescu, Anthony J. Cowling, Horia Georgescu, Marian Gheorghe, Mike Holcombe, Cristina Vertan
1998	—	`conf`	Grammatical Models for Some Process Synchronizers. MFCS Workshop on Grammar Systems Tudor Balanescu, Horia Georgescu, Marian Gheorghe
1997	—	`conf`	Grammar Systems with Counting Derivation and Dynamical Priorities. New Trends in Formal Languages Tudor Balanescu, Horia Georgescu, Marian Gheorghe
1991	J	`jnl`	A note on PF(k) - parsable languages. Fundam. Informaticae Tudor Balanescu, Marian Gheorghe
1986	J	`jnl`	Two (infinite?) hierarchies of vector languages. Bull. EATCS Marian Gheorghe, Gheorghe Paun
1985	J	`jnl`	Descriptional complexity measures suggested by Hartmann's error recovery scheme. Bull. EATCS Marian Gheorghe