


Остановите войну!
for scientists:


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
- 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
, Mario J. Pérez-Jiménez
, Agustín Riscos-Núñez
, Sergey Verlan
, Savas Konur
, Thomas Hinze, Marian Gheorghe
:
Membrane Computing Models: Implementations. Springer 2021, ISBN 978-981-16-1565-8, pp. 1-279 - [j63]Daniel Neagu, Felician Campean, Marian Gheorghe
:
Engineering Data- & Model-Driven Applications: EDMA-2017 special issue editorial. Expert Syst. J. Knowl. Eng. 38(7) (2021) - [j62]Marian Gheorghe
, Ferrante Neri
, Gexiang Zhang:
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
, Raluca Lefticaru
, Savas Konur, Ionut-Mihai Niculescu, Henry N. Adorna:
Spiking neural P systems: matrix representation and formal verification. J. Membr. Comput. 3(2): 133-148 (2021) - [j59]Florentin Ipate, Marian Gheorghe
, Raluca Lefticaru
:
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
, Mario J. Pérez-Jiménez, Grzegorz Rozenberg, Arto Salomaa:
Preface of the special issue for Gheorghe Pǎun's 70th anniversary. J. Membr. Comput. 2(4): 227-229 (2020) - [j57]Bhupesh Kumar Mishra, Dhavalkumar Thakker
, Suvodeep Mazumdar, Daniel Neagu, Marian Gheorghe, Sydney Simpson:
A novel application of deep learning with image cropping: a smart city use case for flood monitoring. J. Reliab. Intell. Environ. 6(1): 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
, Florentin Ipate, Savas Konur:
Search-based testing in membrane computing. J. Membr. Comput. 1(4): 241-250 (2019) - 2018
- [j54]Mehmet Emin Bakir, Savas Konur, Marian Gheorghe
, Natalio Krasnogor, Mike Stannett
:
Automatic selection of verification tools for efficient analysis of biochemical models. Bioinform. 34(18): 3187-3195 (2018) - [j53]Marian Gheorghe
, Rodica Ceterchi, Florentin Ipate, Savas Konur, Raluca Lefticaru
:
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, Florentin Ipate, Marian Gheorghe
, Felician Campean:
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
, Ana Turlea:
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
, Florentin Ipate, Erzsébet Csuhaj-Varjú, Rodica Ceterchi:
Further results on generalised communicating P systems. Theor. Comput. Sci. 701: 146-160 (2017) - [c70]Raluca Lefticaru
, Savas Konur, Ünal Yildirim
, Amad Uddin, Felician Campean, Marian Gheorghe
:
Towards an Integrated Approach to Verification and Model-Based Testing in System Engineering. iThings/GreenCom/CPSCom/SmartData 2017: 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
, Ferrante Neri
, Tao Jiang, Junbo Zhao
, Marian Gheorghe
, Florentin Ipate, Raluca Lefticaru
:
Design and implementation of membrane controllers for trajectory tracking of nonholonomic wheeled mobile robots. Integr. Comput. Aided Eng. 23(1): 15-30 (2016) - [j50]Marian Gheorghe
, Florentin Ipate, Savas Konur:
Testing based on identifiable P Systems using cover automata and X-machines. Inf. Sci. 372: 565-578 (2016) - [j49]Marian Gheorghe
, Gheorghe Paun, Mario J. Pérez-Jiménez
, Agustin Riscos-Núñez
:
Preface. Nat. Comput. 15(4): 519-520 (2016) - [c68]Mehmet Emin Bakir, Marian Gheorghe
, Savas Konur, Mike Stannett
:
Comparative Analysis of Statistical Model Checking Tools. Int. Conf. on Membrane Computing 2016: 119-135 - [c67]Marian Gheorghe
, Rodica Ceterchi, Florentin Ipate, Savas Konur:
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
, Mike Stannett
, György Vaszil:
Spatially Localised Membrane Systems. Fundam. Informaticae 138(1-2): 193-205 (2015) - [j47]Gexiang Zhang
, Jixiang Cheng, Marian Gheorghe
, Florentin Ipate, Xueyuan Wang:
QEAM: An Approximate Algorithm Using P Systems with Active Membranes. Int. J. Comput. Commun. Control 10(2): 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
, Mark Burkitt, Florentin Ipate:
Agent-Based High-Performance Simulation of Biological Systems on the GPU. HPCC/CSS/ICESS 2015: 84-89 - [c65]Marian Gheorghe
, Savas Konur, Florentin Ipate, Laurentiu Mierla, Mehmet E. Bakir, Mike Stannett
:
An Integrated Model Checking Toolset for Kernel P Systems. Int. Conf. on Membrane Computing 2015: 153-170 - 2014
- [j45]Cristian S. Calude
, Marian Gheorghe
:
Preface. Fundam. Informaticae 131(3-4) (2014) - [j44]Savas Konur, Marian Gheorghe
, Ciprian Dragomir, Florentin Ipate, Natalio Krasnogor:
Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example. Fundam. Informaticae 134(1-2): 97-110 (2014) - [j43]Marian Gheorghe
, Gheorghe Paun, Agustin Riscos-Núñez
, Grzegorz Rozenberg:
Enjoying to Work. Fundam. Informaticae 134(1-2): v-vi (2014) - [j42]Gexiang Zhang
, Jixiang Cheng, Marian Gheorghe
:
Dynamic Behavior Analysis of Membrane-Inspired Evolutionary Algorithms. Int. J. Comput. Commun. Control 9(2): 227-242 (2014) - [j41]Gexiang Zhang
, Marian Gheorghe
, Linqiang Pan
, Mario J. Pérez-Jiménez
:
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
, Christophe Ladroue, Sara Kalvala:
Modelling and Stochastic Simulation of Synthetic Biological Boolean Gates. HPCC/CSS/ICESS 2014: 404-408 - [c62]Mehmet E. Bakir, Savas Konur, Marian Gheorghe
, Ionut-Mihai Niculescu, Florentin Ipate:
High Performance Simulations of Kernel P Systems. HPCC/CSS/ICESS 2014: 409-412 - [c61]Ilias Sakellariou
, Omar Kurdi, Marian Gheorghe
, Daniela Romano
, Petros Kefalas
, Florentin Ipate, Ionut-Mihai Niculescu:
Crowd formal modelling and simulation: The Sa'yee ritual. UKCI 2014: 1-8 - [e5]Artiom Alhazov
, Svetlana Cojocaru, Marian Gheorghe, Yurii Rogozhin, Grzegorz Rozenberg, Arto Salomaa:
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
, Claudio Zandron:
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
, Jixiang Cheng, Marian Gheorghe
, Qi Meng:
A hybrid approach based on differential evolution and tissue membrane systems for solving constrained manufacturing parameter optimization problems. Appl. Soft Comput. 13(3): 1528-1542 (2013) - [j38]Marian Gheorghe
, Florentin Ipate, Raluca Lefticaru
, Mario J. Pérez-Jiménez
, Adrian Turcanu, Luis Valencia-Cabrera
, Manuel García-Quismondo, Laurentiu Mierla:
3-Col problem modelling using simple kernel P systems. Int. J. Comput. Math. 90(4): 816-830 (2013) - [j37]Marian Gheorghe
, Gheorghe Paun, Mario J. Pérez-Jiménez
, Grzegorz Rozenberg:
Research Frontiers of membrane Computing: Open Problems and Research Topics. Int. J. Found. Comput. Sci. 24(5): 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
, Laurentiu Mierla, Luis Valencia-Cabrera, Han Huang, Gexiang Zhang
, Ciprian Dragomir, Mario J. Pérez-Jiménez, Marian Gheorghe:
Kernel P Systems: Applications and Implementations. BIC-TA 2013: 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
, Mike Stannett
:
Membrane system models for super-Turing paradigms. Nat. Comput. 11(2): 253-259 (2012) - [j32]Gexiang Zhang
, Marian Gheorghe
, Yuquan Li:
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
, Mike Holcombe, Lee Shawn Chin, David Worth, Chris Greenough:
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
, Marian Gheorghe, Ioanna Stamatopoulou
:
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
, H. Ramesh
, Marian Gheorghe
, Shankara Narayanan Krishna:
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
, Marian Gheorghe
, Florentin Ipate:
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
, Xiangxiang Zeng
, Jixiang Cheng, Marian Gheorghe, Susan Elias:
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
, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa:
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
, Raluca Lefticaru
:
Test generation from P systems using model checking. J. Log. Algebraic Methods Program. 79(6): 350-362 (2010) - [j27]Marian Gheorghe
, Vincenzo Manca
, Francisco José Romero-Campero
:
Deterministic and stochastic P systems for modelling cellular processes. Nat. Comput. 9(2): 457-473 (2010) - [c50]Hong Peng, Jun Wang, Gexiang Zhang
, Marian Gheorghe:
Timed spiking neural P systems. BIC-TA 2010: 591-595 - [c49]Gexiang Zhang
, Chunxiu Liu, Marian Gheorghe:
Diversity and convergence analysis of membrane algorithms. BIC-TA 2010: 596-603 - [c48]Gexiang Zhang
, Yuquan Li, Marian Gheorghe:
A multi-objective membrane algorithm for knapsack problems. BIC-TA 2010: 604-609 - [c47]Fen Zhou, Gexiang Zhang
, Haina Rong, Marian Gheorghe, Jixiang Cheng, Florentin Ipate, Raluca Lefticaru
:
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
, Florentin Ipate, Raluca Lefticaru
, Ciprian Dragomir:
An Integrated Approach to P Systems Formal Verification. Int. Conf. on Membrane Computing 2010: 226-239
2000 – 2009
- 2009
- [j26]Robert M. Hierons
, Kirill Bogdanov, Jonathan P. Bowen
, Rance Cleaveland, John Derrick
, Jeremy Dick, Marian Gheorghe
, Mark Harman
, Kalpesh Kapoor, Paul J. Krause, Gerald Lüttgen, Anthony J. H. Simons
, Sergiy A. Vilkomir, Martin R. Woodward, Hussein Zedan:
Using formal specifications to support testing. ACM Comput. Surv. 41(2): 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
, Jamie Twycross
, Miguel Cámara, Malcolm Bennett
, Marian Gheorghe
, Natalio Krasnogor:
Modular Assembly of Cell Systems Biology Models Using P Systems. Int. J. Found. Comput. Sci. 20(3): 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
, Marian Gheorghe:
Liposome logic. GECCO 2009: 161-168 - [c42]Marian Gheorghe
, Florentin Ipate, Ciprian Dragomir:
Formal Verification and Testing Based on P Systems. Workshop on Membrane Computing 2009: 54-65 - [c41]Raluca Lefticaru
, Florentin Ipate, Marian Gheorghe
, Gexiang Zhang
:
Tuning P Systems for Solving the Broadcasting Problem. Workshop on Membrane Computing 2009: 354-370 - [c40]Chunxiu Liu, Gexiang Zhang
, Hongwen Liu, Marian Gheorghe
, Florentin Ipate:
An Improved Membrane Algorithm for Solving Time-Frequency Atom Decomposition. Workshop on Membrane Computing 2009: 371-384 - 2008
- [j20]Marian Gheorghe
, Natalio Krasnogor, Miguel Cámara:
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
, Maurice Margenstern, Sergey Verlan
:
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
, Francesco Bernardini, Marian Gheorghe
, Maurice Margenstern:
Generalized communicating P systems. Theor. Comput. Sci. 404(1-2): 170-184 (2008) - [c39]Marian Gheorghe
, Florentin Ipate:
On Testing P Systems. Workshop on Membrane Computing 2008: 204-216 - [c38]Petros Kefalas
, Ioanna Stamatopoulou
, George Eleftherakis
, Marian Gheorghe:
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
, Petros Kefalas
, Marian Gheorghe:
Modelling the dynamic structure of biological state-based systems. Biosyst. 87(2-3): 142-149 (2007) - [j15]Francesco Bernardini, Marian Gheorghe
, Natalio Krasnogor:
Quorum sensing P systems. Theor. Comput. Sci. 371(1-2): 20-33 (2007) - [c36]Germán Terrazas, Marian Gheorghe
, Graham Kendall
, Natalio Krasnogor:
Evolving tiles for automated self-assembly design. IEEE Congress on Evolutionary Computation 2007: 2001-2008 - [c35]Francesco Bernardini, Marian Gheorghe
, Maurice Margenstern, Sergey Verlan
:
Producer/Consumer in Membrane Systems and Petri Nets. CiE 2007: 43-52 - [c34]Ioanna Stamatopoulou
, Petros Kefalas
, Marian Gheorghe:
OPERAS: A Framework for the Formal Modelling of Multi-Agent Systems and Its Application to Swarm-Based Systems. ESAW 2007: 158-174 - [c33]Francesco Bernardini, Marian Gheorghe
, Francisco José Romero-Campero, Neil Walkinshaw:
A Hybrid Approach to Modeling Biological Systems. Workshop on Membrane Computing 2007: 138-159 - [c32]Ioanna Stamatopoulou
, Petros Kefalas
, Marian Gheorghe:
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
, Marian Gheorghe
, Mario J. Pérez-Jiménez
:
A Modeling Approach Based on P Systems with Bounded Parallelism. Workshop on Membrane Computing 2006: 49-65 - [c30]Luca Bianco
, Dario Pescini
, Peter A. Siepmann, Natalio Krasnogor, Francisco José Romero-Campero
, Marian Gheorghe
:
Towards a P Systems Pseudomonas Quorum Sensing Model. Workshop on Membrane Computing 2006: 197-214 - [c29]Francisco José Romero-Campero
, Marian Gheorghe
, Luca Bianco
, Dario Pescini
, Mario J. Pérez-Jiménez
, Rodica Ceterchi:
Towards Probabilistic Model Checking on P Systems Using PRISM. Workshop on Membrane Computing 2006: 477-495 - [c28]Sergey Verlan
, Francesco Bernardini, Marian Gheorghe, Maurice Margenstern:
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
, Petros Kefalas
, Marian Gheorghe:
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]