Marian Gheorghe

According to our database1, Marian Gheorghe authored at least 126 papers between 1985 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Kernel P systems: From modelling to verification and testing.
Theor. Comput. Sci., 2018

Automatic selection of verification tools for efficient analysis of biochemical models.
Bioinformatics, 2018

Agent Based Micro-simulation of a Passenger Rail System Using Customer Survey Data and an Activity Based Approach.
Proceedings of the Advances in Computational Intelligence Systems, 2018

Identifiable Kernel P Systems.
Proceedings of the Enjoying Natural Computing, 2018

2017
Further results on generalised communicating P systems.
Theor. Comput. Sci., 2017

An Experimental Comparison of Ensemble Classifiers for Evolving Data Streams.
Proceedings of the Artificial Intelligence XXXIV, 2017

Towards an Integrated Approach to Verification and Model-Based Testing in System Engineering.
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.
Natural Computing, 2016

Testing based on identifiable P Systems using cover automata and X-machines.
Inf. Sci., 2016

Design and implementation of membrane controllers for trajectory tracking of nonholonomic wheeled mobile robots.
Integrated Computer-Aided Engineering, 2016

Kernel P Systems Modelling, Testing and Verification - Sorting Case Study.
Proceedings of the Membrane Computing - 17th International Conference, CMC 2016, Milan, 2016

Comparative Analysis of Statistical Model Checking Tools.
Proceedings of the Membrane Computing - 17th International Conference, CMC 2016, Milan, 2016

2015
A Property-Driven Methodology for Formal Analysis of Synthetic Biology Systems.
IEEE/ACM Trans. Comput. Biology Bioinform., 2015

Spatially Localised Membrane Systems.
Fundam. Inform., 2015

An Integrated Model Checking Toolset for Kernel P Systems.
Proceedings of the Membrane Computing, 2015

Agent-Based High-Performance Simulation of Biological Systems on the GPU.
Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015

2014
From Kernel P Systems to X-Machines and FLAME.
Journal of Automata, Languages and Combinatorics, 2014

Evolutionary membrane computing: A comprehensive survey and new results.
Inf. Sci., 2014

Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example.
Fundam. Inform., 2014

Enjoying to Work.
Fundam. Inform., 2014

Preface.
Fundam. Inform., 2014

Crowd formal modelling and simulation: The Sa'yee ritual.
Proceedings of the 14th UK Workshop on Computational Intelligence, 2014

Modelling and Stochastic Simulation of Synthetic Biological Boolean Gates.
Proceedings of the 2014 IEEE International Conference on High Performance Computing and Communications, 2014

High Performance Simulations of Kernel P Systems.
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.
Proceedings of the Discrete Mathematics and Computer Science. In Memoriam Alexandru Mateescu (1952-2005)., 2014

2013
Foreword.
IJUC, 2013

Research Frontiers of membrane Computing: Open Problems and Research Topics.
Int. J. Found. Comput. Sci., 2013

3-Col problem modelling using simple kernel P systems.
Int. J. Comput. Math., 2013

A hybrid approach based on differential evolution and tissue membrane systems for solving constrained manufacturing parameter optimization problems.
Appl. Soft Comput., 2013

A Kernel P Systems Survey.
Proceedings of the Membrane Computing, 2013

Some Classes of Generalised Communicating P Systems and Simple Kernel P Systems.
Proceedings of the Nature of Computation. Logic, Algorithms, Applications, 2013

Kernel P Systems: Applications and Implementations.
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.
Natural Computing, 2012

Membrane system models for super-Turing paradigms.
Natural Computing, 2012

A Novel Membrane Algorithm Based on Particle Swarm Optimization for Solving Broadcasting Problems.
J. UCS, 2012

A Variant of Distributed P Systems for Real Time Cross Layer Optimization.
J. UCS, 2012

P Systems Controlled by General Topologies.
Proceedings of the Unconventional Computation and Natural Computation, 2012

sp X-Machines: Formal State-Based Modelling of Spatial Agents.
Proceedings of the Agents and Artificial Intelligence - 4th International Conference, 2012

Extending X-machines to Support Representation of Spatial 2-D Agents.
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.
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.
Natural Computing, 2011

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

On Restricted Bio-Turing Machines.
Fundam. Inform., 2011

Membrane Computing - Theory and Applications.
ERCIM News, 2011

Real time cross layer design using particle swarm optimization.
Proceedings of the 4th Bangalore Annual Compute Conference, Compute 2011, 2011

A Modified Estimation of Distribution Algorithm for Numeric Optimization.
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.
Proceedings of the Workshop on Applications of Software Agents, 2011

2010
Deterministic and stochastic P systems for modelling cellular processes.
Natural Computing, 2010

Test generation from P systems using model checking.
J. Log. Algebr. Program., 2010

An Integrated Approach to P Systems Formal Verification.
Proceedings of the Membrane Computing, 2010

Testing Based on P Systems - An Overview.
Proceedings of the Membrane Computing, 2010

A particle swarm optimization based on P systems.
Proceedings of the Sixth International Conference on Natural Computation, 2010

A multi-objective membrane algorithm for knapsack problems.
Proceedings of the Fifth International Conference on Bio-Inspired Computing: Theories and Applications, 2010

Diversity and convergence analysis of membrane algorithms.
Proceedings of the Fifth International Conference on Bio-Inspired Computing: Theories and Applications, 2010

Timed spiking neural P systems.
Proceedings of the Fifth International Conference on Bio-Inspired Computing: Theories and Applications, 2010

2009
Finite state based testing of P systems.
Natural Computing, 2009

P-systems and X-machines.
Natural Computing, 2009

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

Modular Assembly of Cell Systems Biology Models Using P Systems.
Int. J. Found. Comput. Sci., 2009

Testing Non-deterministic Stream X-machine Models and P systems.
Electr. Notes Theor. Comput. Sci., 2009

Using formal specifications to support testing.
ACM Comput. Surv., 2009

An Improved Membrane Algorithm for Solving Time-Frequency Atom Decomposition.
Proceedings of the Membrane Computing, 10th International Workshop, 2009

Tuning P Systems for Solving the Broadcasting Problem.
Proceedings of the Membrane Computing, 10th International Workshop, 2009

Formal Verification and Testing Based on P Systems.
Proceedings of the Membrane Computing, 10th International Workshop, 2009

Liposome logic.
Proceedings of the Genetic and Evolutionary Computation Conference, 2009

Using Process Mining Metrics to Measure Noisy Process Fidelity.
Proceedings of the 13th International Conference on Evaluation and Assessment in Software Engineering, 2009

2008
Generalized communicating P systems.
Theor. Comput. Sci., 2008

How to Synchronize the Activity of All Components of a P System?
Int. J. Found. Comput. Sci., 2008

A Quantum-Inspired Evolutionary Algorithm Based on P systems for Knapsack Problem.
Fundam. Inform., 2008

P systems applications to systems biology.
Biosystems, 2008

Transforming State-Based Models to P Systems Models in Practice.
Proceedings of the Membrane Computing - 9th International Workshop, 2008

On Testing P Systems.
Proceedings of the Membrane Computing - 9th International Workshop, 2008

2007
Quorum sensing P systems.
Theor. Comput. Sci., 2007

Modelling the dynamic structure of biological state-based systems.
Biosystems, 2007

OPERASCC: An Instance of a Formal Framework for MAS Modeling Based on Population P Systems.
Proceedings of the Membrane Computing, 8th International Workshop, 2007

A Hybrid Approach to Modeling Biological Systems.
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.
Proceedings of the Engineering Societies in the Agents World VIII, 2007

Producer/Consumer in Membrane Systems and Petri Nets.
Proceedings of the Computation and Logic in the Real World, 2007

Evolving tiles for automated self-assembly design.
Proceedings of the IEEE Congress on Evolutionary Computation, 2007

2006
The Impact of an Agile Methodology on the Well Being of Development Teams.
Empirical Software Engineering, 2006

Specification of Reconfigurable MAS: A Hybrid Formal Approach.
Proceedings of the Advances in Artificial Intelligence, 4th Helenic Conference on AI, 2006

Membrane-Based Devices Used in Computer Graphics.
Proceedings of the Applications of Membrane Computing, 2006

Turing Machines with Cells on the Tape.
Proceedings of the Nanotechnology: Science and Computation, 2006

Computational Completeness of Tissue P Systems with Conditional Uniport.
Proceedings of the Membrane Computing, 7th International Workshop, 2006

Towards Probabilistic Model Checking on P Systems Using PRISM.
Proceedings of the Membrane Computing, 7th International Workshop, 2006

Towards a P Systems Pseudomonas Quorum Sensing Model.
Proceedings of the Membrane Computing, 7th International Workshop, 2006

A Modeling Approach Based on P Systems with Bounded Parallelism.
Proceedings of the Membrane Computing, 7th International Workshop, 2006

2005
Cell communication in tissue P systems: universality results.
Soft Comput., 2005

On P Systems and Almost Periodicity.
Fundam. Inform., 2005

An Appealing Computational Mechanism Drawn from Bacterial Quorum Sensing.
Bulletin of the EATCS, 2005

The Positive Affect of the XP Methodology.
Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2005

On Self-assembly in Population P Systems.
Proceedings of the Unconventional Computation, 4th International Conference, 2005

On P Systems with Bounded Parallelism.
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.
Proceedings of the Membrane Computing, 6th International Workshop, 2005

An Environment Aware P-System Model of Quorum Sensing.
Proceedings of the New Computational Paradigms, 2005

Membrane Computing - Current Results and Future Problems.
Proceedings of the New Computational Paradigms, 2005

A Formal Modelling Framework for Developing Multi-agent Systems with Dynamic Structure and Behaviour.
Proceedings of the Multi-Agent Systems and Applications IV, 2005

Automated tile design for self-assembly conformations.
Proceedings of the IEEE Congress on Evolutionary Computation, 2005

Formal Development of Reactive Agent-Based Systems.
Proceedings of the Encyclopedia of Information Science and Technology (5 Volumes), 2005

2004
Languages Generated by P Systems with Active Membranes.
New Generation Comput., 2004

Population P Systems.
J. UCS, 2004

Modelling Dynamically Organised Colonies of Bio-entities.
Proceedings of the Unconventional Programming Paradigms, 2004

Modelling Dynamic Organization of Biology-Inspired Multi-agent Systems with Communicating X-Machines and Population P Systems.
Proceedings of the Membrane Computing, 5th International Workshop, 2004

Eilenberg P Systems with Symbol-Objects.
Proceedings of the Aspects of Molecular Computing, 2004

2003
P X systems = P systems + X machines.
Natural Computing, 2003

Testing (Stream) X-machines.
Appl. Algebra Eng. Commun. Comput., 2003

Where Do Unit Tests Come from?
Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2003

Practice Makes Perfect.
Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2003

Design-led & Design-less: One Experiment and Two Approaches.
Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2003

An Agent-Based Behavioural Model of Monomorium Pharaonis Colonies.
Proceedings of the Membrane Computing, International Workshop, 2003

An Agent Based Approach of Collective Foraging.
Proceedings of the Artificial Neural Nets Problem Solving Methods, 2003

A Formal Experiment Comparing Extreme Programming with Traditional Software Construction.
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).
Fundam. Inform., 2002

Eilenberg P Systems.
Proceedings of the Membrane Computing, International Workshop, 2002

2001
Testing Collaborative Agents Defined as Stream X-Machines with Distributed Grammars.
Proceedings of the Advances in Artificial Life, 6th European Conference, 2001

Testing Using X-Machine Translations.
Proceedings of the Words, Semigroups, and Transductions, 2001

Deterministic stream X-machines based on grammar systems.
Proceedings of the Where Mathematics, 2001

2000
Generalised Stream X-Machines and Cooperating Distributed Grammar Systems.
Formal Asp. Comput., 2000

On Testing Generalized Stream X-Machines.
Proceedings of the Recent Topics in Mathematical and Computational Linguistics, 2000

1999
Communicating Stream X-Machines Systems are no more than X-Machines.
J. UCS, 1999

A New Type of Counting Derivation for CD Grammar Systems.
Proceedings of the Grammatical Models of Multi-Agent Systems, 1999

1998
Grammatical Models for Some Process Synchronizers.
Proceedings of the Progreedings of the MFCS '98 Satellite Workshop on Grammar Systems, 1998

1997
Grammar Systems with Counting Derivation and Dynamical Priorities.
Proceedings of the New Trends in Formal Languages, 1997

1991
A note on PF(k) - parsable languages.
Fundam. Inform., 1991

1986
Two (infinite?) hierarchies of vector languages.
Bulletin of the EATCS, 1986

1985
Descriptional complexity measures suggested by Hartmann's error recovery scheme.
Bulletin of the EATCS, 1985


  Loading...