default search action
Marian Gheorghe 0001
Person information
- affiliation: University of Bradford, Department of Computer Science, UK
Other persons with the same name
- Marian Gheorghe 0002 — Own AG, Vaduz, Liechtenstein
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j68]Marian Gheorghe, Alberto Leporati, Ferrante Neri
, David Orellana-Martín, Mario J. Pérez-Jiménez, Gexiang Zhang:
Introduction. Int. J. Neural Syst. 34(6): 2402002:1-2402002:2 (2024) - [j67]Mihail-Iulian Plesa, Marian Gheorghe, Florentin Ipate, Gexiang Zhang:
Applications of spiking neural P systems in cybersecurity. J. Membr. Comput. 6(4): 310-317 (2024) - [c79]Radu Traian Bobe, Marian Gheorghe, Florentin Ipate, Ionut-Mihai Niculescu:
Numerical P Systems: Variants and Applications. ITAT 2024: 121-128 - [c78]Mihail-Iulian Plesa, Marian Gheorghe, Florentin Ipate:
Private Inference on Layered Spiking Neural P Systems. IWINAC (2) 2024: 163-172 - 2023
- [j66]Florentin Ipate, Ionut-Mihai Niculescu, Raluca Lefticaru
A model learning based testing approach for kernel P systems. Theor. Comput. Sci. 965: 113975 (2023) - [c77]Radu Traian Bobe
Test-Driven Simulation of Robots Controlled by Enzymatic Numerical P Systems Models. SimuTools 2023: 56-69 - [c76]Mihail-Iulian Plesa, Marian Gheorghe, Florentin Ipate:
Privacy-preserving Linear Computations in Spiking Neural P Systems. FROM 2023: 110-119 - 2022
- [j65]Mihail-Iulian Plesa, Marian Gheorghe, Florentin Ipate, Gexiang Zhang:
A key agreement protocol based on spiking neural P systems with anti-spikes. J. Membr. Comput. 4(4): 341-351 (2022) - [j64]Florentin Ipate, Marian Gheorghe
A model learning based testing approach for spiking neural P systems. Theor. Comput. Sci. 924: 1-16 (2022) - 2021
- [b1]Gexiang Zhang
Membrane Computing Models: Implementations. Springer 2021, ISBN 978-981-16-1565-8, pp. 1-279 - [j63]Daniel Neagu, Felician Campean
Engineering Data- & Model-Driven Applications: EDMA-2017 special issue editorial. Expert Syst. J. Knowl. Eng. 38(7) (2021) - [j62]Marian Gheorghe
Introduction. Int. J. Neural Syst. 31(1): 2103001:1-2103001:2 (2021) - [j61]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): 259-278 (2021) - [j60]Marian Gheorghe
Spiking neural P systems: matrix representation and formal verification. J. Membr. Comput. 3(2): 133-148 (2021) - [j59]Florentin Ipate, Marian Gheorghe
Fundamental results for learning deterministic extended finite state machines from queries. Theor. Comput. Sci. 862: 160-173 (2021) - [c75]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: 659-666 - 2020
- [j58]Marian Gheorghe
Preface of the special issue for Gheorghe Pǎun's 70th anniversary. J. Membr. Comput. 2(4): 227-229 (2020) - [j57]Bhupesh Kumar Mishra
A novel application of deep learning with image cropping: a smart city use case for flood monitoring. J. Reliab. Intell. Environ. 6(1): 51-61 (2020) - [j56]Savas Konur, Laurentiu Mierla, Florentin Ipate, Marian Gheorghe
kPWorkbench: A software suit for membrane systems. SoftwareX 11: 100407 (2020)
2010 – 2019
- 2019
- [j55]Ana Turlea, Marian Gheorghe
Search-based testing in membrane computing. J. Membr. Comput. 1(4): 241-250 (2019) - 2018
- [j54]Mehmet Emin Bakir, Savas Konur, Marian Gheorghe
Automatic selection of verification tools for efficient analysis of biochemical models. Bioinform. 34(18): 3187-3195 (2018) - [j53]Marian Gheorghe
Kernel P systems: From modelling to verification and testing. Theor. Comput. Sci. 724: 45-60 (2018) - [c74]Marian Gheorghe, Florentin Ipate:
Identifiable Kernel P Systems. Enjoying Natural Computing 2018: 130-141 - [c73]Sorina-Nicoleta Predut
Formal Modelling of Cruise Control System Using Event-B and Rodin Platform. HPCC/SmartCity/DSS 2018: 1541-1546 - [c72]Marian Gheorghe, Florentin Ipate, Raluca Lefticaru
Testing Identifiable Kernel P Systems Using an X-Machine Approach. Int. Conf. on Membrane Computing 2018: 142-159 - [c71]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: 123-137 - [e6]Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron:
Membrane Computing - 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10725, Springer 2018, ISBN 978-3-319-73358-6 [contents] - 2017
- [j52]Shankara Narayanan Krishna, Marian Gheorghe
Further results on generalised communicating P systems. Theor. Comput. Sci. 701: 146-160 (2017) - [c70]Raluca Lefticaru
Towards an Integrated Approach to Verification and Model-Based Testing in System Engineering. iThings/GreenCom/CPSCom/SmartData 2017: 131-138 - [c69]Ahmad Idris Tambuwal, Daniel Neagu, Marian Gheorghe
An Experimental Comparison of Ensemble Classifiers for Evolving Data Streams. SGAI Conf. 2017: 156-162 - 2016
- [j51]Xueyuan Wang, Gexiang Zhang
Design and implementation of membrane controllers for trajectory tracking of nonholonomic wheeled mobile robots. Integr. Comput. Aided Eng. 23(1): 15-30 (2016) - [j50]Marian Gheorghe
Testing based on identifiable P Systems using cover automata and X-machines. Inf. Sci. 372: 565-578 (2016) - [j49]Marian Gheorghe
Preface. Nat. Comput. 15(4): 519-520 (2016) - [c68]Mehmet Emin Bakir, Marian Gheorghe
Comparative Analysis of Statistical Model Checking Tools. Int. Conf. on Membrane Computing 2016: 119-135 - [c67]Marian Gheorghe
Kernel P Systems Modelling, Testing and Verification - Sorting Case Study. Int. Conf. on Membrane Computing 2016: 233-250 - 2015
- [j48]Erzsébet Csuhaj-Varjú, Marian Gheorghe
Spatially Localised Membrane Systems. Fundam. Informaticae 138(1-2): 193-205 (2015) - [j47]Gexiang Zhang
QEAM: An Approximate Algorithm Using P Systems with Active Membranes. Int. J. Comput. Commun. Control 10(2): 263-279 (2015) - [j46]Savas Konur, Marian Gheorghe
A Property-Driven Methodology for Formal Analysis of Synthetic Biology Systems. IEEE ACM Trans. Comput. Biol. Bioinform. 12(2): 360-371 (2015) - [c66]Savas Konur, Mariam Kiran, Marian Gheorghe
Agent-Based High-Performance Simulation of Biological Systems on the GPU. HPCC/CSS/ICESS 2015: 84-89 - [c65]Marian Gheorghe
An Integrated Model Checking Toolset for Kernel P Systems. Int. Conf. on Membrane Computing 2015: 153-170 - 2014
- [j45]Cristian S. Calude
Preface. Fundam. Informaticae 131(3-4) (2014) - [j44]Savas Konur, Marian Gheorghe
Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example. Fundam. Informaticae 134(1-2): 97-110 (2014) - [j43]Marian Gheorghe
Enjoying to Work. Fundam. Informaticae 134(1-2): v-vi (2014) - [j42]Gexiang Zhang
Dynamic Behavior Analysis of Membrane-Inspired Evolutionary Algorithms. Int. J. Comput. Commun. Control 9(2): 227-242 (2014) - [j41]Gexiang Zhang
Evolutionary membrane computing: A comprehensive survey and new results. Inf. Sci. 279: 528-551 (2014) - [j40]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): 239-250 (2014) - [c64]Marian Gheorghe:
A Short Note on Alexandru Mateescu's Work and Its Impact. Discrete Mathematics and Computer Science 2014: 189-192 - [c63]Daven Sanassy, Harold Fellermann, Natalio Krasnogor, Savas Konur, Laurentiu Mierla, Marian Gheorghe
Modelling and Stochastic Simulation of Synthetic Biological Boolean Gates. HPCC/CSS/ICESS 2014: 404-408 - [c62]Mehmet E. Bakir, Savas Konur, Marian Gheorghe
High Performance Simulations of Kernel P Systems. HPCC/CSS/ICESS 2014: 409-412 - [c61]Ilias Sakellariou
Crowd formal modelling and simulation: The Sa'yee ritual. UKCI 2014: 1-8 - [e5]Artiom Alhazov
Membrane Computing - 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8340, Springer 2014, ISBN 978-3-642-54238-1 [contents] - [e4]Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, Petr Sosík
Membrane Computing - 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8961, Springer 2014, ISBN 978-3-319-14369-9 [contents] - [i3]Marian Gheorghe, Mike Stannett
Integration Testing of Heterotic Systems. CoRR abs/1408.2674 (2014) - 2013
- [j39]Gexiang Zhang
A hybrid approach based on differential evolution and tissue membrane systems for solving constrained manufacturing parameter optimization problems. Appl. Soft Comput. 13(3): 1528-1542 (2013) - [j38]Marian Gheorghe
3-Col problem modelling using simple kernel P systems. Int. J. Comput. Math. 90(4): 816-830 (2013) - [j37]Marian Gheorghe
Research Frontiers of membrane Computing: Open Problems and Research Topics. Int. J. Found. Comput. Sci. 24(5): 547-624 (2013) - [j36]Marian Gheorghe, Gheorghe Paun, Mario de J. Pérez-Jiménez:
Foreword. Int. J. Unconv. Comput. 9(5-6): 347-349 (2013) - [c60]Florentin Ipate, Raluca Lefticaru
Kernel P Systems: Applications and Implementations. BIC-TA 2013: 1081-1089 - [c59]Shankara Narayanan Krishna, Marian Gheorghe, Ciprian Dragomir:
Some Classes of Generalised Communicating P Systems and Simple Kernel P Systems. CiE 2013: 284-293 - [c58]Marian Gheorghe, Florentin Ipate:
A Kernel P Systems Survey. Int. Conf. on Membrane Computing 2013: 1-9 - [e3]Erzsébet Csuhaj-Varjú, Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, György Vaszil:
Membrane Computing - 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7762, Springer 2013, ISBN 978-3-642-36750-2 [contents] - 2012
- [j35]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): 1760-1781 (2012) - [j34]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): 1821-1841 (2012) - [j33]Marian Gheorghe
Membrane system models for super-Turing paradigms. Nat. Comput. 11(2): 253-259 (2012) - [j32]Gexiang Zhang
A membrane algorithm with quantum-inspired subalgorithms and its application to image processing. Nat. Comput. 11(4): 701-717 (2012) - [c57]Simon Coakley, Marian Gheorghe
Exploitation of High Performance Computing in the FLAME Agent-Based Simulation Framework. HPCC-ICESS 2012: 538-545 - [c56]Isidora Petreska, Petros Kefalas, Marian Gheorghe, Ioanna Stamatopoulou:
Extending X-machines to Support Representation of Spatial 2-D Agents. ICAART (2) 2012: 54-61 - [c55]Isidora Petreska, Petros Kefalas
sp X-Machines: Formal State-Based Modelling of Spatial Agents. ICAART (Revised Selected Papers) 2012: 379-391 - [c54]Erzsébet Csuhaj-Varjú, Marian Gheorghe, Mike Stannett
P Systems Controlled by General Topologies. UCNC 2012: 70-81 - [e2]Marian Gheorghe, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa, Sergey Verlan:
Membrane Computing - 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7184, Springer 2012, ISBN 978-3-642-28023-8 [contents] - 2011
- [j31]Rama Raghavan
On Restricted Bio-Turing Machines. Fundam. Informaticae 110(1-4): 309-320 (2011) - [j30]Rudolf Freund, Marian Gheorghe, Solomon Marcus, Victor Mitrana, Mario J. Pérez-Jiménez:
Preface. Int. J. Found. Comput. Sci. 22(1) (2011) - [j29]Raluca Lefticaru
An empirical evaluation of P system testing techniques. Nat. Comput. 10(1): 151-165 (2011) - [c53]Isidora Petreska, Petros Kefalas, Marian Gheorghe:
A Framework towards the Verification of Emergent Properties in Spatial Multi-Agent Systems. WASA 2011: 37-44 - [c52]Yuquan Li, Gexiang Zhang
A Modified Estimation of Distribution Algorithm for Numeric Optimization. BIC-TA 2011: 114-119 - [c51]Susan Elias, Vanaja Gokul, Kamala Krithivasan, Marian Gheorghe, Gexiang Zhang
Real time cross layer design using particle swarm optimization. Bangalore Compute Conf. 2011: 25 - [e1]Marian Gheorghe, Thomas Hinze
Membrane Computing - 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers. Lecture Notes in Computer Science 6501, Springer 2011, ISBN 978-3-642-18122-1 [contents] - [i2]Raghavan Rama, H. Ramesh, Marian Gheorghe, Shankara Narayanan Krishna:
Further Results on Languages of Membrane Structures. CoRR abs/1108.3431 (2011) - [i1]Marian Gheorghe:
Membrane Computing - Theory and Applications. ERCIM News 2011(85): 20 (2011) - 2010
- [j28]Florentin Ipate, Marian Gheorghe
Test generation from P systems using model checking. J. Log. Algebraic Methods Program. 79(6): 350-362 (2010) - [j27]Marian Gheorghe
Deterministic and stochastic P systems for modelling cellular processes. Nat. Comput. 9(2): 457-473 (2010) - [c50]Hong Peng, Jun Wang, Gexiang Zhang
Timed spiking neural P systems. BIC-TA 2010: 591-595 - [c49]Gexiang Zhang
Diversity and convergence analysis of membrane algorithms. BIC-TA 2010: 596-603 - [c48]Gexiang Zhang
A multi-objective membrane algorithm for knapsack problems. BIC-TA 2010: 604-609 - [c47]Fen Zhou, Gexiang Zhang
A particle swarm optimization based on P systems. ICNC 2010: 3003-3007 - [c46]Marian Gheorghe, Florentin Ipate:
Testing Based on P Systems - An Overview. Int. Conf. on Membrane Computing 2010: 3-6 - [c45]Marian Gheorghe
An Integrated Approach to P Systems Formal Verification. Int. Conf. on Membrane Computing 2010: 226-239
2000 – 2009
- 2009
- [j26]Robert M. Hierons
Using formal specifications to support testing. ACM Comput. Surv. 41(2): 9:1-9:76 (2009) - [j25]Florentin Ipate, Marian Gheorghe
Mutation Based Testing of P Systems. Int. J. Comput. Commun. Control 4(3): 253-262 (2009) - [j24]Francisco José Romero-Campero
Modular Assembly of Cell Systems Biology Models Using P Systems. Int. J. Found. Comput. Sci. 20(3): 427-442 (2009) - [j23]Francesco Bernardini, Marian Gheorghe, Maurice Margenstern, Sergey Verlan:
Maximal, Locally-Maximal, and Minimal Parallelism in Networks of Cells. Int. J. Unconv. Comput. 5(5): 391-409 (2009) - [j22]Marian Gheorghe, Natalio Krasnogor:
P-systems and X-machines. Nat. Comput. 8(4): 777-779 (2009) - [j21]Florentin Ipate, Marian Gheorghe:
Finite state based testing of P systems. Nat. Comput. 8(4): 833-846 (2009) - [c44]Chris Thomson, Marian Gheorghe:
Using Process Mining Metrics to Measure Noisy Process Fidelity. EASE 2009 - [c43]James Smaldon, Natalio Krasnogor, Cameron Alexander
Liposome logic. GECCO 2009: 161-168 - [c42]Marian Gheorghe
Formal Verification and Testing Based on P Systems. Workshop on Membrane Computing 2009: 54-65 - [c41]Raluca Lefticaru
Tuning P Systems for Solving the Broadcasting Problem. Workshop on Membrane Computing 2009: 354-370 - [c40]Chunxiu Liu, Gexiang Zhang
An Improved Membrane Algorithm for Solving Time-Frequency Atom Decomposition. Workshop on Membrane Computing 2009: 371-384 - 2008
- [j20]Marian Gheorghe
P systems applications to systems biology. Biosyst. 91(3): 435-437 (2008) - [j19]Gexiang Zhang, Marian Gheorghe, Chao-Zhong Wu:
A Quantum-Inspired Evolutionary Algorithm Based on P systems for Knapsack Problem. Fundam. Informaticae 87(1): 93-116 (2008) - [j18]Francesco Bernardini, Marian Gheorghe
How to Synchronize the Activity of All Components of a P System? Int. J. Found. Comput. Sci. 19(5): 1183-1198 (2008) - [j17]Sergey Verlan
Generalized communicating P systems. Theor. Comput. Sci. 404(1-2): 170-184 (2008) - [c39]Marian Gheorghe
On Testing P Systems. Workshop on Membrane Computing 2008: 204-216 - [c38]Petros Kefalas
Transforming State-Based Models to P Systems Models in Practice. Workshop on Membrane Computing 2008: 260-273 - [c37]Florentin Ipate, Marian Gheorghe
Testing Non-deterministic Stream X-machine Models and P systems. MeCBIC 2008: 113-126 - 2007
- [j16]Ioanna Stamatopoulou
Modelling the dynamic structure of biological state-based systems. Biosyst. 87(2-3): 142-149 (2007) - [j15]Francesco Bernardini, Marian Gheorghe
Quorum sensing P systems. Theor. Comput. Sci. 371(1-2): 20-33 (2007) - [c36]Germán Terrazas, Marian Gheorghe
Evolving tiles for automated self-assembly design. IEEE Congress on Evolutionary Computation 2007: 2001-2008 - [c35]Francesco Bernardini, Marian Gheorghe
Producer/Consumer in Membrane Systems and Petri Nets. CiE 2007: 43-52 - [c34]Ioanna Stamatopoulou
OPERAS: A Framework for the Formal Modelling of Multi-Agent Systems and Its Application to Swarm-Based Systems. ESAW 2007: 158-174 - [c33]Francesco Bernardini, Marian Gheorghe
A Hybrid Approach to Modeling Biological Systems. Workshop on Membrane Computing 2007: 138-159 - [c32]Ioanna Stamatopoulou
OPERASCC: An Instance of a Formal Framework for MAS Modeling Based on Population P Systems. Workshop on Membrane Computing 2007: 438-452 - 2006
- [j14]Sharifah Lailee Syed-Abdullah, Mike Holcombe, Marian Gheorghe:
The Impact of an Agile Methodology on the Well Being of Development Teams. Empir. Softw. Eng. 11(1): 143-167 (2006) - [c31]Francesco Bernardini, Francisco José Romero-Campero
A Modeling Approach Based on P Systems with Bounded Parallelism. Workshop on Membrane Computing 2006: 49-65 - [c30]Luca Bianco
Towards a P Systems Pseudomonas Quorum Sensing Model. Workshop on Membrane Computing 2006: 197-214 - [c29]Francisco José Romero-Campero
Towards Probabilistic Model Checking on P Systems Using PRISM. Workshop on Membrane Computing 2006: 477-495 - [c28]Sergey Verlan
Computational Completeness of Tissue P Systems with Conditional Uniport. Workshop on Membrane Computing 2006: 521-535 - [c27]Francesco Bernardini, Marian Gheorghe, Natalio Krasnogor, Gheorghe Paun:
Turing Machines with Cells on the Tape. Nanotechnology: Science and Computation 2006: 335-348 - [c26]Ioanna Stamatopoulou
Specification of Reconfigurable MAS: A Hybrid Formal Approach. SETN 2006: 592-595 - [p1]Alexandros Georgiou, Marian Gheorghe, Francesco Bernardini:
Membrane-Based Devices Used in Computer Graphics. Applications of Membrane Computing 2006: 253-281 - 2005
- [j13]Natalio Krasnogor, Marian Gheorghe, Germán Terrazas, Steve Diggle, Paul Williams, Miguel Cámara:
An Appealing Computational Mechanism Drawn from Bacterial Quorum Sensing. Bull. EATCS 85: 135-148 (2005) - [j12]Francesco Bernardini, Marian Gheorghe, Vincenzo Manca:
On P Systems and Almost Periodicity. Fundam. Informaticae 64(1-4): 29-42 (2005) - [j11]Francesco Bernardini, Marian Gheorghe:
Cell communication in tissue P systems: universality results. Soft Comput. 9(9): 640-649 (2005) - [c25]Germán Terrazas, Natalio Krasnogor, Graham Kendall, Marian Gheorghe:
Automated tile design for self-assembly conformations. Congress on Evolutionary Computation 2005: 1808-1814 - [c24]Petros Kefalas
A Formal Modelling Framework for Developing Multi-agent Systems with Dynamic Structure and Behaviour. CEEMAS 2005: 122-131 - [c23]Francesco Bernardini, Marian Gheorghe, Natalio Krasnogor, Germán Terrazas:
Membrane Computing - Current Results and Future Problems. CiE 2005: 49-53 - [c22]Germán Terrazas, Natalio Krasnogor, Marian Gheorghe, Francesco Bernardini, Steve Diggle, Miguel Cámara:
An Environment Aware P-System Model of Quorum Sensing. CiE 2005: 479-485 - [c21]Francesco Bernardini, Marian Gheorghe, Natalio Krasnogor, Ravie Chandren Muniyandi
On P Systems as a Modelling Tool for Biological Systems. Workshop on Membrane Computing 2005: 114-133 - [c20]Francesco Bernardini, Francisco José Romero-Campero
On P Systems with Bounded Parallelism. SYNASC 2005: 399-406 - [c19]Francesco Bernardini, Marian Gheorghe, Natalio Krasnogor, Jean-Louis Giavitto
On Self-assembly in Population P Systems. UC 2005: 46-57 - [c18]Sharifah Lailee Syed-Abdullah, John Karn, Mike Holcombe, Anthony J. Cowling, Marian Gheorghe:
The Positive Affect of the XP Methodology. XP 2005: 218-221 - [r1]Petros Kefalas, Mike Holcombe, George Eleftherakis, Marian Gheorghe:
Formal Development of Reactive Agent-Based Systems. Encyclopedia of Information Science and Technology (II) 2005: 1201-1204 - 2004
- [j10]Francesco Bernardini, Marian Gheorghe:
Population P Systems. J. Univers. Comput. Sci. 10(5): 509-539 (2004) - [j9]Francesco Bernardini, Marian Gheorghe:
Languages Generated by P Systems with Active Membranes. New Gener. Comput. 22(4): 311-329 (2004) - [c17]Francesco Bernardini, Marian Gheorghe, Mike Holcombe:
Eilenberg P Systems with Symbol-Objects. Aspects of Molecular Computing 2004: 49-60 - [c16]Ioanna Stamatopoulou
Modelling Dynamic Organization of Biology-Inspired Multi-agent Systems with Communicating X-Machines and Population P Systems. Workshop on Membrane Computing 2004: 389-403 - [c15]Marian Gheorghe, Ioanna Stamatopoulou
Modelling Dynamically Organised Colonies of Bio-entities. UPP 2004: 207-224 - 2003
- [j8]Florentin Ipate, Marian Gheorghe, Mike Holcombe:
Testing (Stream) X-machines. Appl. Algebra Eng. Commun. Comput. 14(3): 217-237 (2003) - [j7]Francesco Bernardini, Marian Gheorghe, Mike Holcombe:
P X systems = P systems + X machines. Nat. Comput. 2(3): 201-213 (2003) - [c14]Francisco Javier Macias, Mike Holcombe, Marian Gheorghe:
A Formal Experiment Comparing Extreme Programming with Traditional Software Construction. ENC 2003: 73-80 - [c13]Marian Gheorghe, Carlos Martín-Vide, Victor Mitrana
An Agent Based Approach of Collective Foraging. IWANN (1) 2003: 638-645 - [c12]Duncan Jackson, Marian Gheorghe, Mike Holcombe, Francesco Bernardini:
An Agent-Based Behavioural Model of Monomorium Pharaonis Colonies. Workshop on Membrane Computing 2003: 232-239 - [c11]Jing Yuan, Mike Holcombe, Marian Gheorghe:
Where Do Unit Tests Come from? XP 2003: 161-169 - [c10]Sharifah Lailee Syed-Abdullah, Mike Holcombe, Marian Gheorghe:
Practice Makes Perfect. XP 2003: 354-356 - [c9]Francisco Javier Macias, Mike Holcombe, Marian Gheorghe:
Design-led & Design-less: One Experiment and Two Approaches. XP 2003: 394-401 - 2002
- [j6]Joaquín Aguado, Tudor Balanescu, Anthony J. Cowling, Marian Gheorghe, Mike Holcombe, Florentin Ipate:
P Systems with Replicated Rewriting and Stream X-Machines (Eilenberg Machines). Fundam. Informaticae 49(1-3): 17-33 (2002) - [c8]Tudor Balanescu, Marian Gheorghe, Mike Holcombe, Florentin Ipate:
Eilenberg P Systems. WMC-CdeA 2002: 43-57 - 2001
- [c7]Tudor Balanescu, Marian Gheorghe, Mike Holcombe:
Deterministic stream X-machines based on grammar systems. Where Mathematics, Computer Science, Linguistics and Biology Meet 2001: 13-23 - [c6]Florentin Ipate, Marian Gheorghe, Mike Holcombe, Tudor Balanescu:
Testing Using X-Machine Translations. Words, Semigroups, and Transductions 2001: 211-229 - [c5]Tudor Balanescu, Marian Gheorghe
Testing Collaborative Agents Defined as Stream X-Machines with Distributed Grammars. ECAL 2001: 296-305 - 2000
- [j5]Marian Gheorghe:
Generalised Stream X-Machines and Cooperating Distributed Grammar Systems. Formal Aspects Comput. 12(6): 459-472 (2000) - [c4]Mike Holcombe, Tudor Balanescu, Marian Gheorghe, Paul Radovici-Marculescu:
On Testing Generalized Stream X-Machines. Recent Topics in Mathematical and Computational Linguistics 2000: 130-141
1990 – 1999
- 1999
- [j4]Tudor Balanescu, Anthony J. Cowling, Horia Georgescu, Marian Gheorghe, Mike Holcombe, Cristina Vertan:
Communicating Stream X-Machines Systems are no more than X-Machines. J. Univers. Comput. Sci. 5(9): 494-507 (1999) - [c3]Tudor Balanescu, Horia Georgescu, Marian Gheorghe:
A New Type of Counting Derivation for CD Grammar Systems. Grammatical Models of Multi-Agent Systems 1999: 1-17 - 1998
- [c2]Tudor Balanescu, Horia Georgescu, Marian Gheorghe:
Grammatical Models for Some Process Synchronizers. MFCS Workshop on Grammar Systems 1998: 117-137 - 1997
- [c1]Tudor Balanescu, Horia Georgescu, Marian Gheorghe:
Grammar Systems with Counting Derivation and Dynamical Priorities. New Trends in Formal Languages 1997: 150-166 - 1991
- [j3]Tudor Balanescu, Marian Gheorghe:
A note on PF(k) - parsable languages. Fundam. Informaticae 14(3): 283-286 (1991)
1980 – 1989
- 1986
- [j2]Marian Gheorghe, Gheorghe Paun:
Two (infinite?) hierarchies of vector languages. Bull. EATCS 29: 27-31 (1986) - 1985
- [j1]Marian Gheorghe:
Descriptional complexity measures suggested by Hartmann's error recovery scheme. Bull. EATCS 26: 45-54 (1985)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-11 20:40 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: