| Publication | Date of Publication | Type |
|---|
A model learning based testing approach for kernel P systems
Theoretical Computer Science | 2023-06-15 | Paper |
TESTING USING X-MACHINE TRANSLATIONS
Words, Semigroups, and Transductions | 2022-12-06 | Paper |
| Mathematical modelling of product representations | 2022-10-07 | Paper |
A model learning based testing approach for spiking neural P systems
Theoretical Computer Science | 2022-06-13 | Paper |
Spiking neural P systems: matrix representation and formal verification
Journal of Membrane Computing | 2021-09-14 | Paper |
Search-based testing in membrane computing
Journal of Membrane Computing | 2021-09-14 | Paper |
Fundamental results for learning deterministic extended finite state machines from queries
Theoretical Computer Science | 2021-03-09 | Paper |
Testing based on identifiable P systems using cover automata and X-machines
Information Sciences | 2020-01-07 | Paper |
| Testing identifiable kernel P systems using an X-machine approach | 2019-10-10 | Paper |
| Identifiable kernel \(\mathrm{P}\) systems | 2019-01-15 | Paper |
Real-life applications with membrane computing
Emergence, Complexity and Computation | 2018-05-30 | Paper |
Kernel P systems: from modelling to verification and testing
Theoretical Computer Science | 2018-04-10 | Paper |
Further results on generalised communicating P systems
Theoretical Computer Science | 2017-12-06 | Paper |
Kernel P systems modelling, testing and verification -- sorting case study
Membrane Computing | 2017-04-12 | Paper |
Comparative analysis of statistical model checking tools
Membrane Computing | 2017-04-12 | Paper |
| scientific article; zbMATH DE number 6665225 (Why is no real title available?) | 2016-12-16 | Paper |
A novel membrane algorithm based on particle swarm optimization for solving broadcasting problems
Journal of Universal Computer Science | 2016-07-08 | Paper |
Membrane system models for super-Turing paradigms
Natural Computing | 2016-07-08 | Paper |
A variant of distributed P systems for real time cross layer optimization
Journal of Universal Computer Science | 2016-07-08 | Paper |
Spatially localised membrane systems
Fundamenta Informaticae | 2016-05-11 | Paper |
A membrane algorithm with quantum-inspired subalgorithms and its application to image processing
Natural Computing | 2016-03-09 | Paper |
An integrated model checking toolset for kernel P systems
Membrane Computing | 2016-02-26 | Paper |
Conventional verification for unconventional computing: a genetic XOR gate example
Fundamenta Informaticae | 2015-06-26 | Paper |
Testing non-deterministic stream X-machine models and P systems
Electronic Notes in Theoretical Computer Science | 2015-03-19 | Paper |
A kernel P systems survey
Membrane Computing | 2014-03-28 | Paper |
RESEARCH FRONTIERS OF MEMBRANE COMPUTING: OPEN PROBLEMS AND RESEARCH TOPICS
International Journal of Foundations of Computer Science | 2014-03-24 | Paper |
3-Col problem modelling using simple kernel P systems
International Journal of Computer Mathematics | 2013-10-08 | Paper |
Some classes of generalised communicating P systems and simple kernel P systems
Lecture Notes in Computer Science | 2013-08-05 | Paper |
| Combined power of X-machines and P systems | 2013-01-14 | Paper |
| scientific article; zbMATH DE number 6125212 (Why is no real title available?) | 2013-01-14 | Paper |
P Systems Controlled by General Topologies
Unconventional Computation and Natural Computation | 2012-11-08 | Paper |
On Restricted Bio-Turing Machines
Fundamenta Informaticae | 2011-11-22 | Paper |
| Testing non-deterministic stream X-machine models and P systems | 2011-06-07 | Paper |
An empirical evaluation of P system testing techniques
Natural Computing | 2011-05-23 | Paper |
| Formal black box testing for partially specified deterministic finite state machines | 2011-01-28 | Paper |
An integrated approach to P systems formal verification
Membrane Computing | 2011-01-21 | Paper |
Deterministic and stochastic P systems for modelling cellular processes
Natural Computing | 2010-09-16 | Paper |
Test generation from P systems using model checking
The Journal of Logic and Algebraic Programming | 2010-08-24 | Paper |
Formal Verification and Testing Based on P Systems
Membrane Computing | 2010-01-26 | Paper |
An Improved Membrane Algorithm for Solving Time-Frequency Atom Decomposition
Membrane Computing | 2010-01-26 | Paper |
Tuning P systems for solving the broadcasting problem
Membrane Computing | 2010-01-26 | Paper |
Finite state based testing of P systems
Natural Computing | 2010-01-25 | Paper |
On Testing P Systems
Membrane Computing | 2009-07-28 | Paper |
MODULAR ASSEMBLY OF CELL SYSTEMS BIOLOGY MODELS USINGPSYSTEMS
International Journal of Foundations of Computer Science | 2009-06-30 | Paper |
Membrane Computing
Lecture Notes in Computer Science | 2009-05-15 | Paper |
Aspects of Molecular Computing
Lecture Notes in Computer Science | 2009-05-14 | Paper |
| A quantum-inspired evolutionary algorithm based on P systems for knapsack problem | 2009-02-12 | Paper |
HOW TO SYNCHRONIZE THE ACTIVITY OF ALL COMPONENTS OF A P SYSTEM?
International Journal of Foundations of Computer Science | 2008-12-01 | Paper |
Cellular modelling using P systems and process algebra
Progress in Natural Science | 2008-11-10 | Paper |
Generalized communicating P systems
Theoretical Computer Science | 2008-11-06 | Paper |
A Hybrid Approach to Modeling Biological Systems
Membrane Computing | 2008-03-28 | Paper |
Producer/Consumer in Membrane Systems and Petri Nets
Lecture Notes in Computer Science | 2007-11-13 | Paper |
A Modeling Approach Based on P Systems with Bounded Parallelism
Membrane Computing | 2007-09-03 | Paper |
Computational Completeness of Tissue P Systems with Conditional Uniport
Membrane Computing | 2007-09-03 | Paper |
Quorum sensing P systems
Theoretical Computer Science | 2007-03-12 | Paper |
Membrane Computing
Lecture Notes in Computer Science | 2006-11-13 | Paper |
Unconventional Computation
Lecture Notes in Computer Science | 2006-07-07 | Paper |
New Computational Paradigms
Lecture Notes in Computer Science | 2006-01-11 | Paper |
New Computational Paradigms
Lecture Notes in Computer Science | 2006-01-11 | Paper |
Cell communication in tissue \(P\) systems: universality results
Soft Computing | 2005-12-13 | Paper |
Membrane Computing
Lecture Notes in Computer Science | 2005-09-14 | Paper |
| scientific article; zbMATH DE number 2182416 (Why is no real title available?) | 2005-06-23 | Paper |
Languages generated by P systems with active membranes
New Generation Computing | 2005-02-11 | Paper |
Testing (stream) X-machines
Applicable Algebra in Engineering, Communication and Computing | 2003-11-17 | Paper |
| scientific article; zbMATH DE number 1988966 (Why is no real title available?) | 2003-10-20 | Paper |
PX systems = P systems + X machines
Natural Computing | 2003-10-15 | Paper |
| scientific article; zbMATH DE number 1951574 (Why is no real title available?) | 2003-07-21 | Paper |
Generalised stream X-machines and cooperating distributed grammar systems
Formal Aspects of Computing | 2003-06-26 | Paper |
| scientific article; zbMATH DE number 1836407 (Why is no real title available?) | 2003-05-12 | Paper |
| scientific article; zbMATH DE number 1900817 (Why is no real title available?) | 2003-04-27 | Paper |
| scientific article; zbMATH DE number 1735632 (Why is no real title available?) | 2002-11-14 | Paper |
| scientific article; zbMATH DE number 1543314 (Why is no real title available?) | 2001-02-27 | Paper |
| scientific article; zbMATH DE number 1406153 (Why is no real title available?) | 2000-06-04 | Paper |
| scientific article; zbMATH DE number 23834 (Why is no real title available?) | 1992-06-26 | Paper |
| scientific article; zbMATH DE number 4170113 (Why is no real title available?) | 1991-01-01 | Paper |
| scientific article; zbMATH DE number 4201635 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4209615 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4137336 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4092803 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4100621 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4055000 (Why is no real title available?) | 1987-01-01 | Paper |
Three variants of apical growth filamentous systems
International Journal of Computer Mathematics | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4024823 (Why is no real title available?) | 1986-01-01 | Paper |
