| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Isidora Petreska, Petros Kefalas, Marian Gheorghe, Ioanna Stamatopoulou |
Extending X-machines to Support Representation of Spatial 2-D Agents.  |
ICAART  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Marian Gheorghe, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa, Sergey Verlan (eds.) |
Membrane Computing - 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers |
Int. Conf. on Membrane Computing |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Raluca Lefticaru, Marian Gheorghe, Florentin Ipate |
An empirical evaluation of P system testing techniques. |
Natural Computing |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rudolf Freund, Marian Gheorghe, Solomon Marcus, Victor Mitrana, Mario J. Pérez-Jiménez |
Preface. |
Int. J. Found. Comput. Sci. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Raghavan Rama, H. Ramesh, Marian Gheorghe, Shankara Narayanan Krishna |
On Restricted Bio-Turing Machines. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Raghavan Rama, H. Ramesh, Marian Gheorghe, Shankara Narayanan Krishna |
Further Results on Languages of Membrane Structures |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Marian Gheorghe |
Membrane Computing - Theory and Applications. |
ERCIM News |
2011 |
DBLP BibTeX RDF |
|
| 1 | Susan Elias, Vanaja Gokul, Kamala Krithivasan, Marian Gheorghe, Gexiang Zhang |
Real time cross layer design using particle swarm optimization. |
Bangalore Compute Conf. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marian Gheorghe, Thomas Hinze, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa (eds.) |
Membrane Computing - 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers |
Int. Conf. on Membrane Computing |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuquan Li, Gexiang Zhang, Xiangxiang Zeng, Jixiang Cheng, Marian Gheorghe, Susan Elias |
A Modified Estimation of Distribution Algorithm for Numeric Optimization. |
BIC-TA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Florentin Ipate, Marian Gheorghe, Raluca Lefticaru |
Test generation from P systems using model checking. |
J. Log. Algebr. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marian Gheorghe, Vincenzo Manca, Francisco José Romero-Campero |
Deterministic and stochastic P systems for modelling cellular processes. |
Natural Computing |
2010 |
DBLP BibTeX RDF |
|
| 1 | Fen Zhou, Gexiang Zhang, Haina Rong, Marian Gheorghe, Jixiang Cheng, Florentin Ipate, Raluca Lefticaru |
A particle swarm optimization based on P systems. |
ICNC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marian Gheorghe, Florentin Ipate |
Testing Based on P Systems - An Overview. |
Int. Conf. on Membrane Computing |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marian Gheorghe, Florentin Ipate, Raluca Lefticaru, Ciprian Dragomir |
An Integrated Approach to P Systems Formal Verification. |
Int. Conf. on Membrane Computing |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gexiang Zhang, Yuquan Li, Marian Gheorghe |
A multi-objective membrane algorithm for knapsack problems. |
BIC-TA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gexiang Zhang, Chunxiu Liu, Marian Gheorghe |
Diversity and convergence analysis of membrane algorithms. |
BIC-TA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hong Peng, Jun Wang, Gexiang Zhang, Marian Gheorghe |
Timed spiking neural P systems. |
BIC-TA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marian Gheorghe, Natalio Krasnogor |
P-systems and X-machines. |
Natural Computing |
2009 |
DBLP BibTeX RDF |
|
| 1 | Florentin Ipate, Marian Gheorghe |
Finite state based testing of P systems. |
Natural Computing |
2009 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Florentin Ipate, Marian Gheorghe |
Testing Non-deterministic Stream X-machine Models and P systems. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Bernardini, Marian Gheorghe, Maurice Margenstern, Sergey Verlan |
Maximal, Locally-Maximal, and Minimal Parallelism in Networks of Cells. |
IJUC |
2009 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2009 |
DBLP DOI BibTeX RDF |
formal methods, Software testing |
| 1 | James Smaldon, Natalio Krasnogor, Alexander Cameron, Marian Gheorghe |
Liposome logic. |
GECCO |
2009 |
DBLP DOI BibTeX RDF |
dissipative particle dynamics, gpu computing, liposome, systems biology, cuda, synthetic biology, biomolecular computing |
| 1 | Marian Gheorghe, Florentin Ipate, Ciprian Dragomir |
Formal Verification and Testing Based on P Systems. |
Workshop on Membrane Computing |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Raluca Lefticaru, Florentin Ipate, Marian Gheorghe, Gexiang Zhang |
Tuning P Systems for Solving the Broadcasting Problem. |
Workshop on Membrane Computing |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergey Verlan, Francesco Bernardini, Marian Gheorghe, Maurice Margenstern |
Generalized communicating P systems. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marian Gheorghe, Natalio Krasnogor, Miguel Cámara |
P systems applications to systems biology. |
Biosystems |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gexiang Zhang, Marian Gheorghe, Chao-Zhong Wu |
A Quantum-Inspired Evolutionary Algorithm Based on P systems for Knapsack Problem. |
Fundam. Inform. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Petros Kefalas, Ioanna Stamatopoulou, George Eleftherakis, Marian Gheorghe |
Transforming State-Based Models to P Systems Models in Practice. |
Workshop on Membrane Computing |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marian Gheorghe, Florentin Ipate |
On Testing P Systems. |
Workshop on Membrane Computing |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Bernardini, Marian Gheorghe, Natalio Krasnogor |
Quorum sensing P systems. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ioanna Stamatopoulou, Petros Kefalas, Marian Gheorghe |
Modelling the dynamic structure of biological state-based systems. |
Biosystems |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Germán Terrazas, Marian Gheorghe, Graham Kendall, Natalio Krasnogor |
Evolving tiles for automated self-assembly design. |
IEEE Congress on Evolutionary Computation |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Bernardini, Marian Gheorghe, Francisco José Romero-Campero, Neil Walkinshaw |
A Hybrid Approach to Modeling Biological Systems. |
Workshop on Membrane Computing |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Bernardini, Marian Gheorghe, Maurice Margenstern, Sergey Verlan |
Producer/Consumer in Membrane Systems and Petri Nets. |
CiE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sharifah Lailee Syed-Abdullah, Mike Holcombe, Marian Gheorghe |
The Impact of an Agile Methodology on the Well Being of Development Teams. |
Empirical Software Engineering |
2006 |
DBLP DOI BibTeX RDF |
Work related well being, SE teams, Enthusiasm, Extreme programming, Contentment, Agile methodology, Depression, Anxiety |
| 1 | Alexandros Georgiou, Marian Gheorghe, Francesco Bernardini |
Membrane-Based Devices Used in Computer Graphics. |
Applications of Membrane Computing |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Bernardini, Marian Gheorghe, Natalio Krasnogor, Gheorghe Paun |
Turing Machines with Cells on the Tape. |
Nanotechnology: Science and Computation |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ioanna Stamatopoulou, Petros Kefalas, Marian Gheorghe |
Specification of Reconfigurable MAS: A Hybrid Formal Approach. |
SETN |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergey Verlan, Francesco Bernardini, Marian Gheorghe, Maurice Margenstern |
Computational Completeness of Tissue P Systems with Conditional Uniport. |
Workshop on Membrane Computing |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Bernardini, Marian Gheorghe |
Cell communication in tissue P systems: universality results. |
Soft Comput. |
2005 |
DBLP DOI BibTeX RDF |
Tissue, Membrane computing, Turing computability |
| 1 | Francesco Bernardini, Marian Gheorghe, Vincenzo Manca |
On P Systems and Almost Periodicity. |
Fundam. Inform. |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2005 |
DBLP BibTeX RDF |
|
| 1 | Petros Kefalas, Mike Holcombe, George Eleftherakis, Marian Gheorghe |
Formal Development of Reactive Agent-Based Systems. |
Encyclopedia of Information Science and Technology (II) |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Germán Terrazas, Natalio Krasnogor, Graham Kendall, Marian Gheorghe |
Automated tile design for self-assembly conformations. |
Congress on Evolutionary Computation |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Bernardini, Marian Gheorghe, Natalio Krasnogor, Jean-Louis Giavitto |
On Self-assembly in Population P Systems. |
UC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Petros Kefalas, Ioanna Stamatopoulou, Marian Gheorghe |
A Formal Modelling Framework for Developing Multi-agent Systems with Dynamic Structure and Behaviour. |
CEEMAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Sharifah Lailee Syed-Abdullah, John Karn, Mike Holcombe, Anthony J. Cowling, Marian Gheorghe |
The Positive Affect of the XP Methodology. |
XP |
2005 |
DBLP DOI BibTeX RDF |
positive affect, humanistic factor, Agile methodology, empirical evidence |
| 1 | Francesco Bernardini, Marian Gheorghe, Natalio Krasnogor, Germán Terrazas |
Membrane Computing - Current Results and Future Problems. |
CiE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Bernardini, Marian Gheorghe |
Population P Systems. |
J. UCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Francesco Bernardini, Marian Gheorghe |
Languages Generated by P Systems with Active Membranes. |
New Generation Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Bernardini, Marian Gheorghe, Mike Holcombe |
Eilenberg P Systems with Symbol-Objects. |
Aspects of Molecular Computing |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Marian Gheorghe, Ioanna Stamatopoulou, Mike Holcombe, Petros Kefalas |
Modelling Dynamically Organised Colonies of Bio-entities. |
UPP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Bernardini, Marian Gheorghe, Mike Holcombe |
P X systems = P systems + X machines. |
Natural Computing |
2003 |
DBLP DOI BibTeX RDF |
molecular computing, P systems, Turing computability, X machines |
| 1 | Florentin Ipate, Marian Gheorghe, Mike Holcombe |
Testing (Stream) X-machines. |
Appl. Algebra Eng. Commun. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Macias, Mike Holcombe, Marian Gheorghe |
A Formal Experiment Comparing Extreme Programming with Traditional Software Construction. |
ENC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Duncan Jackson, Marian Gheorghe, Mike Holcombe, Francesco Bernardini |
An Agent-Based Behavioural Model of Monomorium Pharaonis Colonies. |
Workshop on Membrane Computing |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Marian Gheorghe, Carlos Martín-Vide, Victor Mitrana, Mario J. Pérez-Jiménez |
An Agent Based Approach of Collective Foraging. |
IWANN |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jing Yuan, Mike Holcombe, Marian Gheorghe |
Where Do Unit Tests Come from? |
XP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Sharifah Lailee Syed-Abdullah, Mike Holcombe, Marian Gheorghe |
Practice Makes Perfect. |
XP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Macias, Mike Holcombe, Marian Gheorghe |
Design-led & Design-less: One Experiment and Two Approaches. |
XP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Tudor Balanescu, Marian Gheorghe, Mike Holcombe, Florentin Ipate |
Eilenberg P Systems. |
WMC-CdeA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Florentin Ipate, Marian Gheorghe, Mike Holcombe, Tudor Balanescu |
Testing Using X-Machine Translations. |
Words, Semigroups, and Transductions |
2001 |
DBLP BibTeX RDF |
|
| 1 | Tudor Balanescu, Marian Gheorghe, Mike Holcombe |
Deterministic stream X-machines based on grammar systems. |
Where Mathematics, Computer Science, Linguistics and Biology Meet |
2001 |
DBLP BibTeX RDF |
|
| 1 | Tudor Balanescu, Marian Gheorghe, Mike Holcombe, Florentin Ipate |
Testing Collaborative Agents Defined as Stream X-Machines with Distributed Grammars. |
ECAL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Marian Gheorghe |
Generalised Stream X-Machines and Cooperating Distributed Grammar Systems. |
Formal Asp. Comput. |
2000 |
DBLP DOI BibTeX RDF |
Cooperating distributed grammar systems, Generalised stream X-machines, Computational models, Turing machines, Formal grammars |
| 1 | Mike Holcombe, Tudor Balanescu, Marian Gheorghe, Paul Radovici-Marculescu |
On Testing Generalized Stream X-Machines. |
Recent Topics in Mathematical and Computational Linguistics |
2000 |
DBLP BibTeX RDF |
|
| 1 | 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 |
1999 |
DBLP BibTeX RDF |
|
| 1 | Tudor Balanescu, Horia Georgescu, Marian Gheorghe |
A New Type of Counting Derivation for CD Grammar Systems. |
Grammatical Models of Multi-Agent Systems |
1999 |
DBLP BibTeX RDF |
|
| 1 | Tudor Balanescu, Horia Georgescu, Marian Gheorghe |
Grammatical Models for Some Process Synchronizers. |
MFCS Workshop on Grammar Systems |
1998 |
DBLP BibTeX RDF |
|
| 1 | Tudor Balanescu, Horia Georgescu, Marian Gheorghe |
Grammar Systems with Counting Derivation and Dynamical Priorities. |
New Trends in Formal Languages |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Tudor Balanescu, Marian Gheorghe |
A note on PF(k) - parsable languages. |
Fundam. Inform. |
1991 |
DBLP BibTeX RDF |
|
| 1 | Marian Gheorghe, Gheorghe Paun |
Two (infinite?) hierarchies of vector languages. |
Bulletin of the EATCS |
1986 |
DBLP BibTeX RDF |
|
| 1 | Marian Gheorghe |
Descriptional complexity measures suggested by Hartmann's error recovery scheme. |
Bulletin of the EATCS |
1985 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")