The following pages link to Marian Gheorghe (Q204591):
Displaying 50 items.
- A membrane algorithm with quantum-inspired subalgorithms and its application to image processing (Q256448) (← links)
- An empirical evaluation of P system testing techniques (Q537817) (← links)
- Quorum sensing P systems (Q870251) (← links)
- Cellular modelling using P systems and process algebra (Q952187) (← links)
- Generalized communicating P systems (Q953554) (← links)
- Test generation from P systems using model checking (Q987969) (← links)
- Parallel parsing of programming languages (Q1094886) (← links)
- (Q1210737) (redirect page) (← links)
- Attribute grammar inversion and source-to-source translation (Q1210738) (← links)
- A logical query language for hypermedia systems (Q1328531) (← links)
- On sparse languages \(L\) such that \(LL= \Sigma^*\) (Q1331892) (← links)
- PX systems = P systems + X machines (Q1410757) (← links)
- Testing (stream) X-machines (Q1413646) (← links)
- Further results on generalised communicating P systems (Q1682864) (← links)
- Identifiable kernel \(\mathrm{P}\) systems (Q1709907) (← links)
- Real-life applications with membrane computing (Q1753990) (← links)
- Languages generated by P systems with active membranes (Q1762936) (← links)
- A new approach to Earley's parsing algorithm (Q1823714) (← links)
- TAPSOFT '95: Theory and practice of software development. 6th international joint conference CAAP/FASE, Aarhus, Denmark, May 1995. Proceedings (Q1892701) (← links)
- Spiking neural P systems: matrix representation and formal verification (Q1983014) (← links)
- Search-based testing in membrane computing (Q1983028) (← links)
- Fundamental results for learning deterministic extended finite state machines from queries (Q1998871) (← links)
- Testing based on identifiable P systems using cover automata and X-machines (Q2282267) (← links)
- Testing identifiable kernel P systems using an X-machine approach (Q2328325) (← links)
- Kernel P systems: from modelling to verification and testing (Q2413314) (← links)
- Cell communication in tissue \(P\) systems: universality results (Q2576606) (← links)
- Membrane system models for super-Turing paradigms (Q2629934) (← links)
- Finite state based testing of P systems (Q2655491) (← links)
- A model learning based testing approach for spiking neural P systems (Q2672640) (← links)
- An Integrated Model Checking Toolset for Kernel P Systems (Q2789127) (← links)
- Spatially Localised Membrane Systems (Q2805455) (← links)
- (Q2816357) (← links)
- (Q2816360) (← links)
- 3-Col problem modelling using simple kernel P systems (Q2852135) (← links)
- Comparative Analysis of Statistical Model Checking Tools (Q2975907) (← links)
- Kernel P Systems Modelling, Testing and Verification - Sorting Case Study (Q2975916) (← links)
- (Q3005247) (← links)
- (Q3022283) (← links)
- An Integrated Approach to P Systems Formal Verification (Q3067494) (← links)
- (Q3070874) (← links)
- On Restricted Bio-Turing Machines (Q3100944) (← links)
- (Q3350771) (← links)
- (Q3357552) (← links)
- (Q3470113) (← links)
- (Q3495660) (← links)
- HOW TO SYNCHRONIZE THE ACTIVITY OF ALL COMPONENTS OF A P SYSTEM? (Q3542878) (← links)
- Computational Completeness of Tissue P Systems with Conditional Uniport (Q3591007) (← links)
- A Modeling Approach Based on P Systems with Bounded Parallelism (Q3591010) (← links)
- (Q3601858) (← links)
- MODULAR ASSEMBLY OF CELL SYSTEMS BIOLOGY MODELS USING<font>P</font>SYSTEMS (Q3636155) (← links)
