Marian Gheorghe

Available identifiers

zbMath Open gheorghe.marianWikidataQ102297879 ScholiaQ102297879MaRDI QIDQ204591

List of research outcomes

Publication	Date of Publication	Type
A model learning based testing approach for kernel P systems	2023-06-15	Paper
TESTING USING X-MACHINE TRANSLATIONS	2022-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q5038692	2022-10-07	Paper
A model learning based testing approach for spiking neural P systems	2022-06-13	Paper
Spiking neural P systems: matrix representation and formal verification	2021-09-14	Paper
Search-based testing in membrane computing	2021-09-14	Paper
Fundamental results for learning deterministic extended finite state machines from queries	2021-03-09	Paper
Testing based on identifiable P systems using cover automata and X-machines	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	2018-05-30	Paper
Kernel P systems: from modelling to verification and testing	2018-04-10	Paper
Further results on generalised communicating P systems	2017-12-06	Paper
Comparative Analysis of Statistical Model Checking Tools	2017-04-12	Paper
Kernel P Systems Modelling, Testing and Verification - Sorting Case Study	2017-04-12	Paper
https://portal.mardi4nfdi.de/entity/Q5507073	2016-12-16	Paper
Membrane system models for super-Turing paradigms	2016-07-08	Paper
https://portal.mardi4nfdi.de/entity/Q2816357	2016-07-08	Paper
https://portal.mardi4nfdi.de/entity/Q2816360	2016-07-08	Paper
Spatially Localised Membrane Systems	2016-05-11	Paper
A membrane algorithm with quantum-inspired subalgorithms and its application to image processing	2016-03-09	Paper
An Integrated Model Checking Toolset for Kernel P Systems	2016-02-26	Paper
Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example	2015-06-26	Paper
Testing Non-deterministic Stream X-machine Models and P systems	2015-03-19	Paper
A Kernel P Systems Survey	2014-03-28	Paper
RESEARCH FRONTIERS OF MEMBRANE COMPUTING: OPEN PROBLEMS AND RESEARCH TOPICS	2014-03-24	Paper
3-Col problem modelling using simple kernel P systems	2013-10-08	Paper
Some Classes of Generalised Communicating P Systems and Simple Kernel P Systems	2013-08-05	Paper
https://portal.mardi4nfdi.de/entity/Q4900328	2013-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4902291	2013-01-14	Paper
P Systems Controlled by General Topologies	2012-11-08	Paper
On Restricted Bio-Turing Machines	2011-11-22	Paper
https://portal.mardi4nfdi.de/entity/Q3005247	2011-06-07	Paper
An empirical evaluation of P system testing techniques	2011-05-23	Paper
https://portal.mardi4nfdi.de/entity/Q3070874	2011-01-28	Paper
An Integrated Approach to P Systems Formal Verification	2011-01-21	Paper
Deterministic and stochastic P systems for modelling cellular processes	2010-09-16	Paper
Test generation from P systems using model checking	2010-08-24	Paper
Formal Verification and Testing Based on P Systems	2010-01-26	Paper
Tuning P Systems for Solving the Broadcasting Problem	2010-01-26	Paper
An Improved Membrane Algorithm for Solving Time-Frequency Atom Decomposition	2010-01-26	Paper
Finite state based testing of P systems	2010-01-25	Paper
On Testing P Systems	2009-07-28	Paper
MODULAR ASSEMBLY OF CELL SYSTEMS BIOLOGY MODELS USINGPSYSTEMS	2009-06-30	Paper
Membrane Computing	2009-05-15	Paper
Aspects of Molecular Computing	2009-05-14	Paper
https://portal.mardi4nfdi.de/entity/Q3601858	2009-02-12	Paper
HOW TO SYNCHRONIZE THE ACTIVITY OF ALL COMPONENTS OF A P SYSTEM?	2008-12-01	Paper
Cellular modelling using P systems and process algebra	2008-11-10	Paper
Generalized communicating P systems	2008-11-06	Paper
A Hybrid Approach to Modeling Biological Systems	2008-03-28	Paper
Producer/Consumer in Membrane Systems and Petri Nets	2007-11-13	Paper
Computational Completeness of Tissue P Systems with Conditional Uniport	2007-09-03	Paper
A Modeling Approach Based on P Systems with Bounded Parallelism	2007-09-03	Paper
Quorum sensing P systems	2007-03-12	Paper
Membrane Computing	2006-11-13	Paper
Unconventional Computation	2006-07-07	Paper
New Computational Paradigms	2006-01-11	Paper
New Computational Paradigms	2006-01-11	Paper
Cell communication in tissue \(P\) systems: universality results	2005-12-13	Paper
Membrane Computing	2005-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q3022283	2005-06-23	Paper
Languages generated by P systems with active membranes	2005-02-11	Paper
Testing (stream) X-machines	2003-11-17	Paper
https://portal.mardi4nfdi.de/entity/Q4430293	2003-10-20	Paper
PX systems = P systems + X machines	2003-10-15	Paper
https://portal.mardi4nfdi.de/entity/Q4413816	2003-07-21	Paper
Generalised stream X-machines and cooperating distributed grammar systems	2003-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q4782092	2003-05-12	Paper
https://portal.mardi4nfdi.de/entity/Q4803449	2003-04-27	Paper
https://portal.mardi4nfdi.de/entity/Q4329016	2002-11-14	Paper
https://portal.mardi4nfdi.de/entity/Q4520784	2001-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q4939185	2000-06-04	Paper
https://portal.mardi4nfdi.de/entity/Q3982087	1992-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q3495660	1991-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3350771	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3357552	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3470113	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3820033	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3826117	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3790609	1987-01-01	Paper
Three variants of apical growth filamentous systems	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3766883	1986-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Marian Gheorghe