| 2009 |
|---|
| 59 | EE | Robert M. Hierons,
Kirill Bogdanov,
Jonathan P. Bowen,
Rance Cleaveland,
John Derrick,
Jeremy Dick,
Marian Gheorghe,
Mark Harman,
Kalpesh Kapoor,
Paul 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): (2009) |
| 58 | EE | Florentin Ipate,
Marian Gheorghe:
Testing Non-deterministic Stream X-machine Models and P systems.
Electr. Notes Theor. Comput. Sci. 227: 113-126 (2009) |
| 2008 |
|---|
| 57 | EE | Marian Gheorghe,
Florentin Ipate:
On Testing P Systems.
Workshop on Membrane Computing 2008: 204-216 |
| 56 | EE | 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 |
| 55 | EE | Gexiang Zhang,
Marian Gheorghe,
Chao-Zhong Wu:
A Quantum-Inspired Evolutionary Algorithm Based on P systems for Knapsack Problem.
Fundam. Inform. 87(1): 93-116 (2008) |
| 54 | EE | 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) |
| 53 | EE | Sergey Verlan,
Francesco Bernardini,
Marian Gheorghe,
Maurice Margenstern:
Generalized communicating P systems.
Theor. Comput. Sci. 404(1-2): 170-184 (2008) |
| 2007 |
|---|
| 52 | EE | Francesco Bernardini,
Marian Gheorghe,
Maurice Margenstern,
Sergey Verlan:
Producer/Consumer in Membrane Systems and Petri Nets.
CiE 2007: 43-52 |
| 51 | EE | 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 |
| 50 | EE | Germán Terrazas,
Marian Gheorghe,
Graham Kendall,
Natalio Krasnogor:
Evolving tiles for automated self-assembly design.
IEEE Congress on Evolutionary Computation 2007: 2001-2008 |
| 49 | EE | Francesco Bernardini,
Marian Gheorghe,
Francisco José Romero-Campero,
Neil Walkinshaw:
A Hybrid Approach to Modeling Biological Systems.
Workshop on Membrane Computing 2007: 138-159 |
| 48 | EE | 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 |
| 47 | EE | Francesco Bernardini,
Marian Gheorghe,
Natalio Krasnogor:
Quorum sensing P systems.
Theor. Comput. Sci. 371(1-2): 20-33 (2007) |
| 2006 |
|---|
| 46 | EE | Francesco Bernardini,
Marian Gheorghe,
Natalio Krasnogor,
Gheorghe Paun:
Turing Machines with Cells on the Tape.
Nanotechnology: Science and Computation 2006: 335-348 |
| 45 | EE | Ioanna Stamatopoulou,
Petros Kefalas,
Marian Gheorghe:
Specification of Reconfigurable MAS: A Hybrid Formal Approach.
SETN 2006: 592-595 |
| 44 | EE | Luca Bianco,
Dario Pescini,
Peter Siepmann,
Natalio Krasnogor,
Francisco José Romero-Campero,
Marian Gheorghe:
Towards a P Systems Pseudomonas Quorum Sensing Model.
Workshop on Membrane Computing 2006: 197-214 |
| 43 | EE | 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 |
| 42 | EE | 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 |
| 41 | EE | Sergey Verlan,
Francesco Bernardini,
Marian Gheorghe,
Maurice Margenstern:
Computational Completeness of Tissue P Systems with Conditional Uniport.
Workshop on Membrane Computing 2006: 521-535 |
| 40 | EE | Alexandros Georgiou,
Marian Gheorghe,
Francesco Bernardini:
Membrane-Based Devices Used in Computer Graphics.
Applications of Membrane Computing 2006: 253-281 |
| 39 | EE | Sharifah Lailee Syed-Abdullah,
Mike Holcombe,
Marian Gheorghe:
The Impact of an Agile Methodology on the Well Being of Development Teams.
Empirical Software Engineering 11(1): 143-167 (2006) |
| 2005 |
|---|
| 38 | EE | Petros Kefalas,
Ioanna Stamatopoulou,
Marian Gheorghe:
A Formal Modelling Framework for Developing Multi-agent Systems with Dynamic Structure and Behaviour.
CEEMAS 2005: 122-131 |
| 37 | EE | 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 |
| 36 | EE | Francesco Bernardini,
Marian Gheorghe,
Natalio Krasnogor,
Germán Terrazas:
Membrane Computing - Current Results and Future Problems.
CiE 2005: 49-53 |
| 35 | EE | Germán Terrazas,
Natalio Krasnogor,
Graham Kendall,
Marian Gheorghe:
Automated tile design for self-assembly conformations.
Congress on Evolutionary Computation 2005: 1808-1814 |
| 34 | EE | Francesco Bernardini,
Francisco José Romero-Campero,
Marian Gheorghe,
Mario J. Pérez-Jiménez,
Maurice Margenstern,
Sergey Verlan,
Natalio Krasnogor:
On P Systems with Bounded Parallelism.
SYNASC 2005: 399-406 |
| 33 | EE | Francesco Bernardini,
Marian Gheorghe,
Natalio Krasnogor,
Jean-Louis Giavitto:
On Self-assembly in Population P Systems.
UC 2005: 46-57 |
| 32 | EE | Francesco Bernardini,
Marian Gheorghe,
Natalio Krasnogor,
Ravie C. Muniyandi,
Mario J. Pérez-Jiménez,
Francisco José Romero-Campero:
On P Systems as a Modelling Tool for Biological Systems.
Workshop on Membrane Computing 2005: 114-133 |
| 31 | EE | Sharifah Lailee Syed-Abdullah,
John Karn,
Mike Holcombe,
Anthony J. Cowling,
Marian Gheorghe:
The Positive Affect of the XP Methodology.
XP 2005: 218-221 |
| 30 | | 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 |
| 29 | | Natalio Krasnogor,
Marian Gheorghe,
Germán Terrazas,
Steve Diggle,
Paul Williams,
Miguel Cámara:
An Appealing Computational Mechanism Drawn from Bacterial Quorum Sensing.
Bulletin of the EATCS 85: 135-148 (2005) |
| 28 | EE | Francesco Bernardini,
Marian Gheorghe,
Vincenzo Manca:
On P Systems and Almost Periodicity.
Fundam. Inform. 64(1-4): 29-42 (2005) |
| 27 | EE | Francesco Bernardini,
Marian Gheorghe:
Cell communication in tissue P systems: universality results.
Soft Comput. 9(9): 640-649 (2005) |
| 2004 |
|---|
| 26 | EE | Francesco Bernardini,
Marian Gheorghe,
Mike Holcombe:
Eilenberg P Systems with Symbol-Objects.
Aspects of Molecular Computing 2004: 49-60 |
| 25 | EE | Marian Gheorghe,
Ioanna Stamatopoulou,
Mike Holcombe,
Petros Kefalas:
Modelling Dynamically Organised Colonies of Bio-entities.
UPP 2004: 207-224 |
| 24 | EE | Ioanna Stamatopoulou,
Marian Gheorghe,
Petros Kefalas:
Modelling Dynamic Organization of Biology-Inspired Multi-agent Systems with Communicating X-Machines and Population P Systems.
Workshop on Membrane Computing 2004: 389-403 |
| 23 | EE | Francesco Bernardini,
Marian Gheorghe:
Population P Systems.
J. UCS 10(5): 509-539 (2004) |
| 22 | EE | Francesco Bernardini,
Marian Gheorghe:
Languages Generated by P Systems with Active Membranes.
New Generation Comput. 22(4): (2004) |
| 2003 |
|---|
| 21 | EE | Francisco Macias,
Mike Holcombe,
Marian Gheorghe:
A Formal Experiment Comparing Extreme Programming with Traditional Software Construction.
ENC 2003: 73-80 |
| 20 | EE | Marian Gheorghe,
Carlos Martín-Vide,
Victor Mitrana,
Mario J. Pérez-Jiménez:
An Agent Based Approach of Collective Foraging.
IWANN (1) 2003: 638-645 |
| 19 | EE | Duncan Jackson,
Marian Gheorghe,
Mike Holcombe,
Francesco Bernardini:
An Agent-Based Behavioural Model of Monomorium Pharaonis Colonies.
Workshop on Membrane Computing 2003: 232-239 |
| 18 | EE | Jing Yuan,
Mike Holcombe,
Marian Gheorghe:
Where Do Unit Tests Come from?
XP 2003: 161-169 |
| 17 | EE | Sharifah Lailee Syed-Abdullah,
Mike Holcombe,
Marian Gheorghe:
Practice Makes Perfect.
XP 2003: 354-356 |
| 16 | EE | Francisco Macias,
Mike Holcombe,
Marian Gheorghe:
Design-led & Design-less: One Experiment and Two Approaches.
XP 2003: 394-401 |
| 15 | EE | Florentin Ipate,
Marian Gheorghe,
Mike Holcombe:
Testing (Stream) X-machines.
Appl. Algebra Eng. Commun. Comput. 14(3): 217-237 (2003) |
| 14 | EE | Francesco Bernardini,
Marian Gheorghe,
Mike Holcombe:
P X systems = P systems + X machines.
Natural Computing 2(3): 201-213 (2003) |
| 2002 |
|---|
| 13 | EE | Tudor Balanescu,
Marian Gheorghe,
Mike Holcombe,
Florentin Ipate:
Eilenberg P Systems.
WMC-CdeA 2002: 43-57 |
| 12 | | Joaquin Aguado,
Tudor Balanescu,
Anthony J. Cowling,
Marian Gheorghe,
Mike Holcombe,
Florentin Ipate:
P Systems with Replicated Rewriting and Stream X-Machines (Eilenberg Machines).
Fundam. Inform. 49(1-3): 17-33 (2002) |
| 2001 |
|---|
| 11 | EE | Tudor Balanescu,
Marian Gheorghe,
Mike Holcombe,
Florentin Ipate:
Testing Collaborative Agents Defined as Stream X-Machines with Distributed Grammars.
ECAL 2001: 296-305 |
| 10 | | Florentin Ipate,
Marian Gheorghe,
Mike Holcombe,
Tudor Balanescu:
Testing Using X-Machine Translations.
Words, Semigroups, and Transductions 2001: 211-229 |
| 2000 |
|---|
| 9 | | 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 |
| 8 | EE | Marian Gheorghe:
Generalised Stream X-Machines and Cooperating Distributed Grammar Systems.
Formal Asp. Comput. 12(6): 459-472 (2000) |
| 1999 |
|---|
| 7 | | 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 |
| 6 | EE | 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. UCS 5(9): 494-507 (1999) |
| 1998 |
|---|
| 5 | | Tudor Balanescu,
Horia Georgescu,
Marian Gheorghe:
Grammatical Models for Some Process Synchronizers.
MFCS Workshop on Grammar Systems 1998: 117-137 |
| 1997 |
|---|
| 4 | | Tudor Balanescu,
Horia Georgescu,
Marian Gheorghe:
Grammar Systems with Counting Derivation and Dynamical Priorities.
New Trends in Formal Languages 1997: 150-166 |
| 1991 |
|---|
| 3 | | Tudor Balanescu,
Marian Gheorghe:
A note on PF(k) - parsable languages.
Fundam. Inform. 14(3): 283-286 (1991) |
| 1986 |
|---|
| 2 | | Marian Gheorghe,
Gheorghe Paun:
Two (infinite?) hierarchies of vector languages.
Bulletin of the EATCS 29: 27-31 (1986) |
| 1985 |
|---|
| 1 | | Marian Gheorghe:
Descriptional complexity measures suggested by Hartmann's error recovery scheme.
Bulletin of the EATCS 26: 45-54 (1985) |
