Mario J. Pérez-Jiménez

From MaRDI portal
Person:243843

Available identifiers

zbMath Open perez-jimenez.mario-jWikidataQ51061533 ScholiaQ51061533MaRDI QIDQ243843

List of research outcomes

PublicationDate of PublicationType
On certain expressions of the rank function, independent of the theory of ordinals2024-04-22Paper
Generating, computing and recognizing with virus machines2023-09-07Paper
Tissue P systems with evolutional communication rules with two objects in the left-hand side2023-08-31Paper
Membrane creation and symport/antiport rules solving QSAT2023-08-29Paper
The environment as a frontier of efficiency in tissue P systems with communication rules2023-04-26Paper
P systems with evolutional communication and separation rules2022-12-09Paper
P systems with evolutional symport and membrane creation rules solving QSAT2022-02-21Paper
Dendrite P systems2021-09-08Paper
Proof techniques in membrane computing2021-03-09Paper
Cell-like P systems with evolutional symport/antiport rules and membrane creation2020-12-15Paper
From NP-completeness to DP-completeness: a membrane computing perspective2020-10-21Paper
Membrane Creation in Polarizationless P Systems with Active Membranes2020-06-21Paper
Cell-like P systems with polarizations and minimal rules2020-03-20Paper
P systems with proteins: a new frontier when membrane division disappears2020-02-24Paper
Minimal cooperation as a way to achieve the efficiency in cell-like membrane systems2020-02-24Paper
P systems with symport/antiport rules: when do the surroundings matter?2020-01-08Paper
When object production tunes the efficiency of membrane systems2020-01-08Paper
Small universal simple spiking neural P systems with weights2019-11-18Paper
Design of specific P systems simulators on GPUs2019-10-10Paper
Notes on spiking neural P systems and finite automata2019-07-10Paper
Parallel simulation of population dynamics P systems: updates and roadmap2019-07-10Paper
P systems based computing polynomials: design and formal verification2019-07-10Paper
A path to computational efficiency through membrane computing2019-06-18Paper
The computational complexity of tissue P systems with evolutional symport/antiport rules2019-02-18Paper
From distribution to replication in cooperative systems with active membranes: a frontier of the efficiency2018-06-18Paper
Real-life applications with membrane computing2018-05-30Paper
Counting membrane systems2018-05-16Paper
Cooperation in Transport of Chemical Substances: A Complexity Approach within Membrane Computing2018-01-19Paper
Computational Efficiency of Minimal Cooperation and Distribution in Polarizationless P Systems with Active Membranes2018-01-05Paper
Fuzzy reasoning spiking neural P systems revisited: a formalization2017-12-06Paper
Reaching efficiency through collaboration in membrane systems: dissolution, polarization and cooperation2017-12-06Paper
An efficient time-free solution to QSAT problem using P systems with proteins on membranes2017-09-28Paper
An unsupervised learning algorithm for membrane computing2017-05-16Paper
Computational efficiency and universality of timed P systems with membrane creation2017-04-12Paper
Tissue P Systems with Protein on Cells2017-03-22Paper
https://portal.mardi4nfdi.de/entity/Q29691002017-03-14Paper
Polarizationless P Systems with Active Membranes: Computational Complexity Aspects2016-12-20Paper
https://portal.mardi4nfdi.de/entity/Q55070692016-12-16Paper
An efficient time-free solution to SAT problem by P systems with proteins on membranes2016-06-13Paper
Extending Simulation of Asynchronous Spiking Neural P Systems in P–Lingua2016-05-13Paper
Simulating P Systems on GPU Devices: A Survey2016-05-13Paper
An Optimal Frontier of the Efficiency of Tissue P Systems with Cell Separation2016-05-11Paper
A P_Lingua Based Simulator for P Systems with Symport/Antiport Rules2016-05-11Paper
Computing with viruses2016-03-31Paper
Simulating FRSN P Systems with Real Numbers in P-Lingua on sequential and CUDA platforms2016-02-26Paper
Computing Partial Recursive Functions by Virus Machines2016-02-26Paper
https://portal.mardi4nfdi.de/entity/Q34627382016-01-15Paper
Membrane fission versus cell division: when membrane proliferation is not enough2015-12-10Paper
A Bioinspired Computing Approach to Model Complex Systems2015-12-02Paper
Probabilistic Guarded P Systems, A New Formal Modelling Framework2015-12-02Paper
Asynchronous Spiking Neural P Systems with Structural Plasticity2015-09-14Paper
Languages and P systems: recent developments2015-08-06Paper
Fuzzy reasoning spiking neural P system for fault diagnosis2014-04-16Paper
The Relevance of the Environment on the Efficiency of Tissue P Systems2014-03-28Paper
RESEARCH FRONTIERS OF MEMBRANE COMPUTING: OPEN PROBLEMS AND RESEARCH TOPICS2014-03-24Paper
Time-free solution to SAT problem using P systems with active membranes2014-03-19Paper
A Linear–time Tissue P System Based Solution for the 3–coloring Problem2013-12-06Paper
Bridging Membrane and Reaction Systems – Further Results and Research Topics2013-11-28Paper
A polynomial alternative to unbounded environment for tissue P systems with cell division2013-10-08Paper
3-Col problem modelling using simple kernel P systems2013-10-08Paper
Spiking neural P systems with neuron division and budding2013-07-03Paper
Spiking Neural P Systems with Functional Astrocytes2013-04-16Paper
The Efficiency of Tissue P Systems with Cell Separation Relies on the Environment2013-04-16Paper
DCBA: Simulating Population Dynamics P Systems with Proportional Object Distribution2013-04-16Paper
https://portal.mardi4nfdi.de/entity/Q49022892013-01-14Paper
Comparing simulation algorithms for multienvironment probabilistic P systems over a standard virtual ecosystem2012-11-15Paper
Heterotic Computing Examples with Optics, Bacteria, and Chemicals2012-11-08Paper
P automata revisited2012-10-11Paper
A Tissue P Systems Based Uniform Solution to Tripartite Matching Problem2012-07-04Paper
dP Automata versus Right-Linear Simple Matrix Grammars2012-06-15Paper
Formal Verification of P Systems with Active Membranes through Model Checking2012-06-08Paper
Towards bridging two cell-inspired models: P systems and R systems2012-05-30Paper
An infinite hierarchy of languages defined by dP systems2012-05-30Paper
https://portal.mardi4nfdi.de/entity/Q32257102012-03-22Paper
Looking for Small Efficient P Systems2011-11-22Paper
Membrane Computing (Tutorial)2011-06-17Paper
P and dP Automata: A Survey2011-05-27Paper
A computational modeling for real ecosystems based on P systems2011-05-23Paper
COMPUTATION OF RAMSEY NUMBERS BY P SYSTEMS WITH ACTIVE MEMBRANES2011-02-23Paper
ON A PARTIAL AFFIRMATIVE ANSWER FOR A PĂUN'S CONJECTURE2011-02-23Paper
A SIMULATION ALGORITHM FOR MULTIENVIRONMENT PROBABILISTIC P SYSTEMS: A FORMAL VERIFICATION2011-02-23Paper
Depth-First Search with P Systems2011-01-21Paper
Matrix Representation of Spiking Neural P Systems2011-01-21Paper
Spiking Neural P Systems with Weights2010-11-24Paper
On spiking neural P systems2010-09-16Paper
Simulating a P system based efficient solution to SAT by using GPUs2010-08-24Paper
A P-Lingua based simulator for tissue P systems2010-08-24Paper
Computational complexity of tissue-like P systems2010-08-03Paper
A new characterization of NP, P, and PSPACE with accepting hybrid networks of evolutionary processors2010-05-10Paper
COMPUTING MORPHISMS BY SPIKING NEURAL P SYSTEMS2010-01-29Paper
A Computational Complexity Theory in Membrane Computing2010-01-26Paper
A P System Based Model of an Ecosystem of Some Scavenger Birds2010-01-26Paper
An Overview of P-Lingua 2.02010-01-26Paper
Characterizing Tractability by Tissue-Like P Systems2010-01-26Paper
Searching Previous Configurations in Membrane Computing2010-01-26Paper
Uniform solutions to SAT and subset sum by spiking neural P systems2010-01-25Paper
Complexity aspects of polarizationless membrane systems2010-01-25Paper
Efficient simulation of tissue-like P systems by transition cell-like P systems2010-01-25Paper
Efficient computation in rational-valued P systems2010-01-12Paper
A software tool for verification of spiking neural P systems2009-11-04Paper
Descriptional Complexity of Tissue-Like P Systems with Cell Division2009-10-22Paper
Membrane Dissolution and Division in P2009-10-22Paper
Modeling Ecosystems Using P Systems: The Bearded Vulture, a Case Study2009-07-28Paper
Hebbian Learning from Spiking Neural P Systems View2009-07-28Paper
On the efficiency of cell-like and tissue-like recognizing membrane systems2009-07-27Paper
Membrane Computing2009-05-15Paper
Membrane Computing2009-05-15Paper
Membrane Computing2009-05-15Paper
Aspects of Molecular Computing2009-05-14Paper
Uniform Solution of QSAT Using Polarizationless Active Membranes2009-03-05Paper
Polarizationless P Systems with Active Membranes Working in the Minimally Parallel Mode2009-02-17Paper
https://portal.mardi4nfdi.de/entity/Q36018572009-02-12Paper
Cellular modelling using P systems and process algebra2008-11-10Paper
Simulating FAS-induced apoptosis by using P systems2008-11-10Paper
How to express tumours using membrane systems2008-11-10Paper
A uniform family of tissue P systems with cell division solving 3-COL in a linear time2008-11-06Paper
REPRESENTATIONS AND CHARACTERIZATIONS OF LANGUAGES IN CHOMSKY HIERARCHY BY MEANS OF INSERTION-DELETION SYSTEMS2008-09-25Paper
https://portal.mardi4nfdi.de/entity/Q35171022008-08-12Paper
Spiking neural P systems with extended rules: universality and languages2008-07-31Paper
https://portal.mardi4nfdi.de/entity/Q35152022008-07-29Paper
Computing with Spiking Neural P Systems: Traces and Small Universal Systems2008-04-04Paper
Simulating the Bitonic Sort Using P Systems2008-03-28Paper
A Logarithmic Bound for Solving Subset Sum with P Systems2008-03-28Paper
https://portal.mardi4nfdi.de/entity/Q54501092008-03-19Paper
Handling Markov Chains with Membrane Computing2007-11-29Paper
A Modeling Approach Based on P Systems with Bounded Parallelism2007-09-03Paper
Classifying States of a Finite Markov Chain with Membrane Computing2007-09-03Paper
P systems with minimal parallelism2007-06-06Paper
SPIKING NEURAL P SYSTEMS: AN EARLY SURVEY2007-06-05Paper
On the degree of parallelism in membrane systems2007-03-27Paper
Computational efficiency of dissolution rules in membrane systems2007-03-23Paper
A uniform solution to SAT using membrane creation2007-03-12Paper
https://portal.mardi4nfdi.de/entity/Q34255752007-02-26Paper
https://portal.mardi4nfdi.de/entity/Q34099752006-11-21Paper
Membrane Computing2006-11-13Paper
Membrane Computing2006-11-13Paper
Membrane Computing2006-11-13Paper
DNA Computing2006-10-19Paper
DNA Computing2006-10-19Paper
SPIKE TRAINS IN SPIKING NEURAL P SYSTEMS2006-08-21Paper
Unconventional Computation2006-07-07Paper
Solving the subset-problem by P systems with active membrans2006-06-12Paper
ON SIMULATING A CLASS OF PARALLEL ARCHITECTURES2006-04-06Paper
A fast \(P\) system for finding a balanced 2-partition2005-12-13Paper
Machines, Computations, and Universality2005-12-08Paper
Membrane Computing2005-09-14Paper
Membrane Computing2005-09-14Paper
Membrane Computing2005-09-14Paper
Membrane Computing2005-09-14Paper
Membrane Computing2005-09-14Paper
https://portal.mardi4nfdi.de/entity/Q46813112005-06-23Paper
Tissue P systems with channel states2005-02-22Paper
A Prolog simulator for deterministic P systems with active membranes2005-02-11Paper
Theory Is Forever2005-01-18Paper
https://portal.mardi4nfdi.de/entity/Q47376462004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q44343572004-01-13Paper
https://portal.mardi4nfdi.de/entity/Q44370912003-12-07Paper
https://portal.mardi4nfdi.de/entity/Q44370952003-12-07Paper
https://portal.mardi4nfdi.de/entity/Q44368322003-12-04Paper
Complexity classes in models of cellular computing with membranes2003-10-15Paper
https://portal.mardi4nfdi.de/entity/Q44138182003-07-21Paper
https://portal.mardi4nfdi.de/entity/Q44138422003-07-21Paper
https://portal.mardi4nfdi.de/entity/Q43290382002-11-14Paper
https://portal.mardi4nfdi.de/entity/Q43290372002-01-01Paper
https://portal.mardi4nfdi.de/entity/Q44855732000-06-14Paper
On Overspill Principles and Axiom Schemes for Bounded Formulas1997-02-24Paper
Maximum Schemes in Arithmetic1994-10-05Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Mario J. Pérez-Jiménez