Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMarian 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]