Marian Gheorghe

Proceedings of the Enjoying Natural Computing, 2018

2017

Further results on generalised communicating P systems.

[BibT_eX]

[DOI]

Erzsébet Csuhaj-Varjú

Rodica Ceterchi

Theor. Comput. Sci., 2017

An Experimental Comparison of Ensemble Classifiers for Evolving Data Streams.

[BibT_eX]

[DOI]

Ahmad Idris Tambuwal

Daniel Neagu

Proceedings of the Artificial Intelligence XXXIV, 2017

Towards an Integrated Approach to Verification and Model-Based Testing in System Engineering.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2017

2016

Preface.

[BibT_eX]

[DOI]

Agustin Riscos-Núñez

Nat. Comput., 2016

Testing based on identifiable P Systems using cover automata and X-machines.

[BibT_eX]

[DOI]

Savas Konur

Inf. Sci., 2016

Design and implementation of membrane controllers for trajectory tracking of nonholonomic wheeled mobile robots.

[BibT_eX]

[DOI]

Integr. Comput. Aided Eng., 2016

Kernel P Systems Modelling, Testing and Verification - Sorting Case Study.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing - 17th International Conference, CMC 2016, Milan, 2016

Comparative Analysis of Statistical Model Checking Tools.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing - 17th International Conference, CMC 2016, Milan, 2016

2015

A Property-Driven Methodology for Formal Analysis of Synthetic Biology Systems.

[BibT_eX]

[DOI]

Savas Konur

IEEE ACM Trans. Comput. Biol. Bioinform., 2015

QEAM: An Approximate Algorithm Using P Systems with Active Membranes.

[BibT_eX]

[DOI]

Int. J. Comput. Commun. Control, 2015

Spatially Localised Membrane Systems.

[BibT_eX]

[DOI]

Erzsébet Csuhaj-Varjú

György Vaszil

Fundam. Informaticae, 2015

An Integrated Model Checking Toolset for Kernel P Systems.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2015

Agent-Based High-Performance Simulation of Biological Systems on the GPU.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015

2014

From Kernel P Systems to X-Machines and FLAME.

[BibT_eX]

[DOI]

Ionut-Mihai Niculescu

Alin Stefanescu

J. Autom. Lang. Comb., 2014

Evolutionary membrane computing: A comprehensive survey and new results.

[BibT_eX]

[DOI]

Linqiang Pan

Inf. Sci., 2014

Dynamic Behavior Analysis of Membrane-Inspired Evolutionary Algorithms.

[BibT_eX]

[DOI]

Jixiang Cheng

Int. J. Comput. Commun. Control, 2014

Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2014

Enjoying to Work.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2014

Preface.

[BibT_eX]

[DOI]

Cristian S. Calude

Fundam. Informaticae, 2014

Integration Testing of Heterotic Systems.

[BibT_eX]

[DOI]

CoRR, 2014

Crowd formal modelling and simulation: The Sa'yee ritual.

[BibT_eX]

[DOI]

Ionut-Mihai Niculescu

Proceedings of the 14th UK Workshop on Computational Intelligence, 2014

Modelling and Stochastic Simulation of Synthetic Biological Boolean Gates.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE International Conference on High Performance Computing and Communications, 2014

High Performance Simulations of Kernel P Systems.

[BibT_eX]

[DOI]

Mehmet E. Bakir

Savas Konur

Ionut-Mihai Niculescu

Proceedings of the 2014 IEEE International Conference on High Performance Computing and Communications, 2014

A Short Note on Alexandru Mateescu's Work and Its Impact.

[BibT_eX]

Proceedings of the Discrete Mathematics and Computer Science. In Memoriam Alexandru Mateescu (1952-2005)., 2014

2013

Foreword.

[BibT_eX]

[DOI]

Mario de J. Pérez-Jiménez

Int. J. Unconv. Comput., 2013

Research Frontiers of membrane Computing: Open Problems and Research Topics.

[BibT_eX]

[DOI]

Grzegorz Rozenberg

Int. J. Found. Comput. Sci., 2013

3-Col problem modelling using simple kernel P systems.

[BibT_eX]

[DOI]

Adrian Turcanu

Luis Valencia-Cabrera

Manuel García-Quismondo

Laurentiu Mierla

Int. J. Comput. Math., 2013

A hybrid approach based on differential evolution and tissue membrane systems for solving constrained manufacturing parameter optimization problems.

[BibT_eX]

[DOI]

Appl. Soft Comput., 2013

A Kernel P Systems Survey.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2013

Some Classes of Generalised Communicating P Systems and Simple Kernel P Systems.

[BibT_eX]

[DOI]

Ciprian Dragomir

Proceedings of the Nature of Computation. Logic, Algorithms, Applications, 2013

Kernel P Systems: Applications and Implementations.

[BibT_eX]

[DOI]

Laurentiu Mierla

Luis Valencia-Cabrera

Han Huang

Ciprian Dragomir

Proceedings of The Eighth International Conference on Bio-Inspired Computing: Theories and Applications, 2013

2012

A membrane algorithm with quantum-inspired subalgorithms and its application to image processing.

[BibT_eX]

[DOI]

Yuquan Li

Nat. Comput., 2012

Membrane system models for super-Turing paradigms.

[BibT_eX]

[DOI]

Nat. Comput., 2012

A Novel Membrane Algorithm Based on Particle Swarm Optimization for Solving Broadcasting Problems.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2012

A Variant of Distributed P Systems for Real Time Cross Layer Optimization.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2012

P Systems Controlled by General Topologies.

[BibT_eX]

[DOI]

Erzsébet Csuhaj-Varjú

Proceedings of the Unconventional Computation and Natural Computation, 2012

sp X-Machines: Formal State-Based Modelling of Spatial Agents.

[BibT_eX]

[DOI]

Proceedings of the Agents and Artificial Intelligence - 4th International Conference, 2012

Extending X-machines to Support Representation of Spatial 2-D Agents.

[BibT_eX]

Proceedings of the ICAART 2012 - Proceedings of the 4th International Conference on Agents and Artificial Intelligence, Volume 2, 2012

Exploitation of High Performance Computing in the FLAME Agent-Based Simulation Framework.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on High Performance Computing and Communication & 9th IEEE International Conference on Embedded Software and Systems, 2012

2011

An empirical evaluation of P system testing techniques.

[BibT_eX]

[DOI]

Nat. Comput., 2011

Preface.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2011

On Restricted Bio-Turing Machines.

[BibT_eX]

[DOI]

Rama Raghavan

H. Ramesh

Fundam. Informaticae, 2011

Membrane Computing - Theory and Applications.

[BibT_eX]

[DOI]

ERCIM News, 2011

Further Results on Languages of Membrane Structures

[BibT_eX]

[DOI]

Raghavan Rama

H. Ramesh

CoRR, 2011

Real time cross layer design using particle swarm optimization.

[BibT_eX]

[DOI]

Proceedings of the 4th Bangalore Annual Compute Conference, Compute 2011, 2011

A Modified Estimation of Distribution Algorithm for Numeric Optimization.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Bio-Inspired Computing: Theories and Applications, 2011

A Framework towards the Verification of Emergent Properties in Spatial Multi-Agent Systems.

[BibT_eX]

[DOI]

Isidora Petreska

Proceedings of the Workshop on Applications of Software Agents, 2011

2010

Deterministic and stochastic P systems for modelling cellular processes.

[BibT_eX]

[DOI]

Vincenzo Manca

Nat. Comput., 2010

Test generation from P systems using model checking.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2010

An Integrated Approach to P Systems Formal Verification.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2010

Testing Based on P Systems - An Overview.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2010

A particle swarm optimization based on P systems.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Natural Computation, 2010

A multi-objective membrane algorithm for knapsack problems.

[BibT_eX]

[DOI]

Yuquan Li

Proceedings of the Fifth International Conference on Bio-Inspired Computing: Theories and Applications, 2010

Diversity and convergence analysis of membrane algorithms.

[BibT_eX]

[DOI]

Chunxiu Liu

Proceedings of the Fifth International Conference on Bio-Inspired Computing: Theories and Applications, 2010

Timed spiking neural P systems.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Bio-Inspired Computing: Theories and Applications, 2010

2009

Finite state based testing of P systems.

[BibT_eX]

[DOI]

Nat. Comput., 2009

P-systems and X-machines.

[BibT_eX]

[DOI]

Nat. Comput., 2009

Maximal, Locally-Maximal, and Minimal Parallelism in Networks of Cells.

[BibT_eX]

[DOI]

Int. J. Unconv. Comput., 2009

Modular Assembly of Cell Systems Biology Models Using P Systems.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2009

Mutation Based Testing of P Systems.

[BibT_eX]

[DOI]

Int. J. Comput. Commun. Control, 2009

Using formal specifications to support testing.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2009

An Improved Membrane Algorithm for Solving Time-Frequency Atom Decomposition.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 10th International Workshop, 2009

Tuning P Systems for Solving the Broadcasting Problem.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 10th International Workshop, 2009

Formal Verification and Testing Based on P Systems.

[BibT_eX]

[DOI]

Ciprian Dragomir

Proceedings of the Membrane Computing, 10th International Workshop, 2009

Liposome logic.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2009

Using Process Mining Metrics to Measure Noisy Process Fidelity.

[BibT_eX]

[DOI]

Chris Thomson

Proceedings of the 13th International Conference on Evaluation and Assessment in Software Engineering, 2009

2008

Generalized communicating P systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2008

How to Synchronize the Activity of All Components of a P System?

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2008

A Quantum-Inspired Evolutionary Algorithm Based on P systems for Knapsack Problem.

[BibT_eX]

[DOI]

Chao-Zhong Wu

Fundam. Informaticae, 2008

Testing Non-deterministic Stream X-machine Models and P systems.

[BibT_eX]

[DOI]

Proceedings of the Second International Meeting on Membrane Computing and Biologically Inspired Process Calculi, 2008

P systems applications to systems biology.

[BibT_eX]

[DOI]

Miguel Cámara

Biosyst., 2008

Transforming State-Based Models to P Systems Models in Practice.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing - 9th International Workshop, 2008

On Testing P Systems.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing - 9th International Workshop, 2008

2007

Quorum sensing P systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2007

Modelling the dynamic structure of biological state-based systems.

[BibT_eX]

[DOI]

Biosyst., 2007

OPERAS<sub>CC</sub>: An Instance of a Formal Framework for MAS Modeling Based on Population P Systems.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 8th International Workshop, 2007

A Hybrid Approach to Modeling Biological Systems.

[BibT_eX]

[DOI]

Neil Walkinshaw

Proceedings of the Membrane Computing, 8th International Workshop, 2007

OPERAS: A Framework for the Formal Modelling of Multi-Agent Systems and Its Application to Swarm-Based Systems.

[BibT_eX]

[DOI]

Sharifah Lailee Syed-Abdullah

Proceedings of the Engineering Societies in the Agents World VIII, 2007

Producer/Consumer in Membrane Systems and Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Computation and Logic in the Real World, 2007

Evolving tiles for automated self-assembly design.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2007

2006

The Impact of an Agile Methodology on the Well Being of Development Teams.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2006

Specification of Reconfigurable MAS: A Hybrid Formal Approach.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 4th Helenic Conference on AI, 2006

Membrane-Based Devices Used in Computer Graphics.

[BibT_eX]

[DOI]

Alexandros Georgiou

Proceedings of the Applications of Membrane Computing, 2006

Turing Machines with Cells on the Tape.

[BibT_eX]

[DOI]

Proceedings of the Nanotechnology: Science and Computation, 2006

Computational Completeness of Tissue P Systems with Conditional Uniport.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 7th International Workshop, 2006

Towards Probabilistic Model Checking on P Systems Using PRISM.

[BibT_eX]

[DOI]

Luca Bianco

Dario Pescini

Rodica Ceterchi

Proceedings of the Membrane Computing, 7th International Workshop, 2006

Towards a P Systems Pseudomonas Quorum Sensing Model.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 7th International Workshop, 2006

A Modeling Approach Based on P Systems with Bounded Parallelism.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 7th International Workshop, 2006

2005

Cell communication in tissue P systems: universality results.

[BibT_eX]

[DOI]

Soft Comput., 2005

On P Systems and Almost Periodicity.

[BibT_eX]

[DOI]

Sharifah Lailee Syed-Abdullah

Vincenzo Manca

Fundam. Informaticae, 2005

An Appealing Computational Mechanism Drawn from Bacterial Quorum Sensing.

[BibT_eX]

Bull. EATCS, 2005

The Positive Affect of the XP Methodology.

[BibT_eX]

[DOI]

Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2005

On Self-assembly in Population P Systems.

[BibT_eX]

[DOI]

Proceedings of the Unconventional Computation, 4th International Conference, 2005

On P Systems with Bounded Parallelism.

[BibT_eX]

[DOI]

Maurice Margenstern

Sergey Verlan

Proceedings of the Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), 2005

On P Systems as a Modelling Tool for Biological Systems.

[BibT_eX]

[DOI]

Ravie Chandren Muniyandi

Proceedings of the Membrane Computing, 6th International Workshop, 2005

An Environment Aware P-System Model of Quorum Sensing.

[BibT_eX]

[DOI]

Proceedings of the New Computational Paradigms, 2005

Membrane Computing - Current Results and Future Problems.

[BibT_eX]

[DOI]

Proceedings of the New Computational Paradigms, 2005

A Formal Modelling Framework for Developing Multi-agent Systems with Dynamic Structure and Behaviour.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent Systems and Applications IV, 2005

Automated tile design for self-assembly conformations.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2005

Formal Development of Reactive Agent-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Information Science and Technology (5 Volumes), 2005

2004

Languages Generated by P Systems with Active Membranes.

[BibT_eX]

[DOI]

New Gener. Comput., 2004

Population P Systems.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2004

Modelling Dynamically Organised Colonies of Bio-entities.

[BibT_eX]

[DOI]

Proceedings of the Unconventional Programming Paradigms, 2004

Modelling Dynamic Organization of Biology-Inspired Multi-agent Systems with Communicating X-Machines and Population P Systems.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 5th International Workshop, 2004

Eilenberg P Systems with Symbol-Objects.

[BibT_eX]

[DOI]

Proceedings of the Aspects of Molecular Computing, 2004

2003

P X systems = P systems + X machines.

[BibT_eX]

[DOI]

Nat. Comput., 2003

Testing (Stream) X-machines.

[BibT_eX]

[DOI]

Appl. Algebra Eng. Commun. Comput., 2003

Where Do Unit Tests Come from?

[BibT_eX]

[DOI]

Jing Yuan

Sharifah Lailee Syed-Abdullah

Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2003

Practice Makes Perfect.

[BibT_eX]

[DOI]

Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2003

Design-led & Design-less: One Experiment and Two Approaches.

[BibT_eX]

[DOI]

Francisco Javier Macias

Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2003

An Agent-Based Behavioural Model of Monomorium Pharaonis Colonies.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, International Workshop, 2003

An Agent Based Approach of Collective Foraging.

[BibT_eX]

[DOI]

Carlos Martín-Vide

Victor Mitrana

Proceedings of the Artificial Neural Nets Problem Solving Methods, 2003

A Formal Experiment Comparing Extreme Programming with Traditional Software Construction.

[BibT_eX]

[DOI]

Francisco Javier Macias

Proceedings of the 4th Mexican International Conference on Computer Science (ENC 2003), 2003

2002

P Systems with Replicated Rewriting and Stream X-Machines (Eilenberg Machines).

[BibT_eX]

[DOI]

Fundam. Informaticae, 2002

Eilenberg P Systems.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, International Workshop, 2002

2001

Testing Collaborative Agents Defined as Stream X-Machines with Distributed Grammars.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Life, 6th European Conference, 2001

Testing Using X-Machine Translations.

[BibT_eX]

Proceedings of the Words, Semigroups, and Transductions, 2001

Deterministic stream X-machines based on grammar systems.

[BibT_eX]

Proceedings of the Where Mathematics, 2001

2000

Generalised Stream X-Machines and Cooperating Distributed Grammar Systems.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2000

On Testing Generalized Stream X-Machines.

[BibT_eX]

Paul Radovici-Marculescu

Proceedings of the Recent Topics in Mathematical and Computational Linguistics, 2000

1999

Communicating Stream X-Machines Systems are no more than X-Machines.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 1999

A New Type of Counting Derivation for CD Grammar Systems.

[BibT_eX]

Horia Georgescu

Proceedings of the Grammatical Models of Multi-Agent Systems, 1999

1998

Grammatical Models for Some Process Synchronizers.

[BibT_eX]

Horia Georgescu

Proceedings of the Progreedings of the MFCS '98 Satellite Workshop on Grammar Systems, 1998

1997

Grammar Systems with Counting Derivation and Dynamical Priorities.

[BibT_eX]

[DOI]

Horia Georgescu

Proceedings of the New Trends in Formal Languages, 1997

1991

A note on PF(k) - parsable languages.

[BibT_eX]

Fundam. Informaticae, 1991

1986

Two (infinite?) hierarchies of vector languages.

[BibT_eX]

Bull. EATCS, 1986

1985

Descriptional complexity measures suggested by Hartmann's error recovery scheme.

[BibT_eX]