Mario J. Pérez-Jiménez

According to our database1, Mario J. Pérez-Jiménez authored at least 213 papers between 1994 and 2018.

Collaborative distances :

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
From distribution to replication in cooperative systems with active membranes: A frontier of the efficiency.
Theor. Comput. Sci., 2018

The Computational Complexity of Tissue P Systems with Evolutional Symport/Antiport Rules.
Complexity, 2018

2017
Reaching efficiency through collaboration in membrane systems: Dissolution, polarization and cooperation.
Theor. Comput. Sci., 2017

Fuzzy reasoning spiking neural P systems revisited: A formalization.
Theor. Comput. Sci., 2017

Multiobjective fuzzy clustering approach based on tissue-like membrane systems.
Knowl.-Based Syst., 2017

Fault diagnosis of power systems using fuzzy tissue-like P systems.
Integrated Computer-Aided Engineering, 2017

An efficient time-free solution to QSAT problem using P systems with proteins on membranes.
Inf. Comput., 2017

Cooperation in Transport of Chemical Substances: A Complexity Approach within Membrane Computing.
Fundam. Inform., 2017

Computational Efficiency of Minimal Cooperation and Distribution in Polarizationless P Systems with Active Membranes.
Fundam. Inform., 2017

Counting Membrane Systems.
Proceedings of the Membrane Computing, 2017

2016
Computing with viruses.
Theor. Comput. Sci., 2016

Sequential spiking neural P systems with structural plasticity based on max/min spike number.
Neural Computing and Applications, 2016

P systems based computing polynomials: design and formal verification.
Natural Computing, 2016

Parallel simulation of Population Dynamics P systems: updates and roadmap.
Natural Computing, 2016

Preface.
Natural Computing, 2016

Notes on spiking neural P systems and finite automata.
Natural Computing, 2016

An efficient time-free solution to SAT problem by P systems with proteins on membranes.
J. Comput. Syst. Sci., 2016

Polarizationless P Systems with Active Membranes: Computational Complexity Aspects.
Journal of Automata, Languages and Combinatorics, 2016

An Extended Membrane System with Active Membranes to Solve Automatic Fuzzy Clustering Problems.
Int. J. Neural Syst., 2016

Tissue P Systems with Protein on Cells.
Fundam. Inform., 2016

Membrane fission: A computational complexity perspective.
Complexity, 2016

2015
Membrane fission versus cell division: When membrane proliferation is not enough.
Theor. Comput. Sci., 2015

Computational efficiency and universality of timed P systems with membrane creation.
Soft Comput., 2015

An automatic clustering algorithm inspired by membrane computing.
Pattern Recognition Letters, 2015

Spiking neural P systems with structural plasticity.
Neural Computing and Applications, 2015

An unsupervised learning algorithm for membrane computing.
Inf. Sci., 2015

An Optimal Frontier of the Efficiency of Tissue P Systems with Cell Separation.
Fundam. Inform., 2015

Preface.
Fundam. Inform., 2015

Simulating P Systems on GPU Devices: A Survey.
Fundam. Inform., 2015

A P_Lingua Based Simulator for P Systems with Symport/Antiport Rules.
Fundam. Inform., 2015

Extending Simulation of Asynchronous Spiking Neural P Systems in P-Lingua.
Fundam. Inform., 2015

Optimal multi-level thresholding with membrane computing.
Digital Signal Processing, 2015

Efficient solutions to hard computational problems by P systems with symport/antiport rules and membrane division.
Biosystems, 2015

Asynchronous Spiking Neural P Systems with Structural Plasticity.
Proceedings of the Unconventional Computation and Natural Computation, 2015

Simulating FRSN P Systems with Real Numbers in P-Lingua on sequential and CUDA platforms.
Proceedings of the Membrane Computing, 2015

Computing Partial Recursive Functions by Virus Machines.
Proceedings of the Membrane Computing, 2015

Generating Diophantine Sets by Virus Machines.
Proceedings of the Bio-Inspired Computing - Theories and Applications, 2015

2014
Time-free solution to SAT problem using P systems with active membranes.
Theor. Comput. Sci., 2014

The framework of P systems applied to solve optimal watermarking problem.
Signal Processing, 2014

The Role of the Direction in Tissue P Systems with Cell Separation.
Journal of Automata, Languages and Combinatorics, 2014

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

An Optimization Spiking Neural P System for Approximately Solving Combinatorial Optimization Problems.
Int. J. Neural Syst., 2014

Small universal simple spiking neural P systems with weights.
SCIENCE CHINA Information Sciences, 2014

Fault Diagnosis Models for Electric Locomotive Systems Based on Fuzzy Reasoning Spiking Neural P Systems.
Proceedings of the Membrane Computing, 2014

A Bioinspired Computing Approach to Model Complex Systems.
Proceedings of the Membrane Computing, 2014

Probabilistic Guarded P Systems, A New Formal Modelling Framework.
Proceedings of the Membrane Computing, 2014

Unconventional Approaches to Tackle the P Versus NP Problem.
Proceedings of the Discrete Mathematics and Computer Science. In Memoriam Alexandru Mateescu (1952-2005)., 2014

Computational Efficiency and Universality of Timed P Systems with Membrane Creation.
Proceedings of the Bio-Inspired Computing - Theories and Applications, 2014

Accelerated Simulation of P Systems on the GPU: A Survey.
Proceedings of the Bio-Inspired Computing - Theories and Applications, 2014

2013
Weighted Fuzzy Spiking Neural P Systems.
IEEE Trans. Fuzzy Systems, 2013

A novel image thresholding method based on membrane computing and fuzzy entropy.
Journal of Intelligent and Fuzzy Systems, 2013

Fuzzy reasoning spiking neural P system for fault diagnosis.
Inf. Sci., 2013

Modeling Logic Gene Networks by Means of Probabilistic Dynamic P Systems.
IJUC, 2013

Characterizing the Parallel Simulation of P Systems on the GPU.
IJUC, 2013

Foreword.
IJUC, 2013

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

A polynomial alternative to unbounded environment for tissue P systems with cell division.
Int. J. Comput. Math., 2013

Foreword.
Int. J. Comput. Math., 2013

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

Bridging Membrane and Reaction Systems - Further Results and Research Topics.
Fundam. Inform., 2013

The Relevance of the Environment on the Efficiency of Tissue P Systems.
Proceedings of the Membrane Computing, 2013

Kernel P Systems: Applications and Implementations.
Proceedings of The Eighth International Conference on Bio-Inspired Computing: Theories and Applications, 2013

2012
P automata revisited.
Theor. Comput. Sci., 2012

An infinite hierarchy of languages defined by dP systems.
Theor. Comput. Sci., 2012

Towards bridging two cell-inspired models: P systems and R systems.
Theor. Comput. Sci., 2012

The GPU on the simulation of cellular computing models.
Soft Comput., 2012

Comparing simulation algorithms for multienvironment probabilistic P systems over a standard virtual ecosystem.
Natural Computing, 2012

Languages and P Systems: Recent Developments.
The Computer Science Journal of Moldova, 2012

Heterotic Computing Examples with Optics, Bacteria, and Chemicals.
Proceedings of the Unconventional Computation and Natural Computation, 2012


The Efficiency of Tissue P Systems with Cell Separation Relies on the Environment.
Proceedings of the Membrane Computing, 2012

Spiking Neural P Systems with Functional Astrocytes.
Proceedings of the Membrane Computing, 2012

Population Dynamics P Systems on CUDA.
Proceedings of the Computational Methods in Systems Biology, 2012

dP Automata versus Right-Linear Simple Matrix Grammars.
Proceedings of the Computation, Physics and Beyond, 2012

2011
A computational modeling for real ecosystems based on P systems.
Natural Computing, 2011

Linear Time Solution to Prime Factorization by Tissue P Systems with Cell Division.
IJNCR, 2011

Local Search with P Systems: A Case Study.
IJNCR, 2011

On a Partial Affirmative Answer for a Păun's Conjecture.
Int. J. Found. Comput. Sci., 2011

Computation of Ramsey Numbers by P Systems with Active Membranes.
Int. J. Found. Comput. Sci., 2011

A Simulation Algorithm for Multienvironment Probabilistic P Systems: a Formal Verification.
Int. J. Found. Comput. Sci., 2011

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

Looking for Small Efficient P Systems.
Fundam. Inform., 2011

A Tissue P Systems Based Uniform Solution to Tripartite Matching Problem.
Fundam. Inform., 2011

Spiking Neural dP Systems.
Fundam. Inform., 2011

The Spanish Network on Biomolecular and Biocellular Computing: Bio-inspired Natural Computing in Spain.
ERCIM News, 2011

Spiking neural P systems with neuron division and budding.
SCIENCE CHINA Information Sciences, 2011

Membrane Computing (Tutorial).
Proceedings of the Unconventional Computation - 10th International Conference, 2011

A P-Lingua Based Simulator for Spiking Neural P Systems.
Proceedings of the Membrane Computing, 2011

Formal Verification of P Systems with Active Membranes through Model Checking.
Proceedings of the Membrane Computing, 2011

Spiking Neural P System Simulations on a High Performance GPU Platform.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2011

P and dP Automata: A Survey.
Proceedings of the Rainbow of Computer Science, 2011

A Uniform Solution to Common Algorithmic Problem by Tissue P Systems with Cell Division.
Proceedings of the Sixth International Conference on Bio-Inspired Computing: Theories and Applications, 2011

2010
Spiking Neural P Systems with Weights.
Neural Computation, 2010

On spiking neural P systems.
Natural Computing, 2010

A New Characterization of NP, P, and PSPACE with Accepting Hybrid Networks of Evolutionary Processors.
Theory Comput. Syst., 2010

Membrane computing and programming.
J. Log. Algebr. Program., 2010

A P-Lingua based simulator for tissue P systems.
J. Log. Algebr. Program., 2010

Simulating a P system based efficient solution to SAT by using GPUs.
J. Log. Algebr. Program., 2010

Computational complexity of tissue-like P systems.
J. Complexity, 2010

Simulation of P systems with active membranes on CUDA.
Briefings in Bioinformatics, 2010

Matrix Representation of Spiking Neural P Systems.
Proceedings of the Membrane Computing, 2010

Depth-First Search with P Systems.
Proceedings of the Membrane Computing, 2010

Modeling Population Growth of Pyrenean Chamois (Rupicapra p. pyrenaica) by Using P-Systems.
Proceedings of the Membrane Computing, 2010

MeCoSim: A general purpose software tool for simulating biological phenomena by means of P systems.
Proceedings of the Fifth International Conference on Bio-Inspired Computing: Theories and Applications, 2010

A new simulation algorithm for multienvironment probabilistic P systems.
Proceedings of the Fifth International Conference on Bio-Inspired Computing: Theories and Applications, 2010

Simulating tritrophic interactions by means of P systems.
Proceedings of the Fifth International Conference on Bio-Inspired Computing: Theories and Applications, 2010

A uniform framework for modeling based on P systems.
Proceedings of the Fifth International Conference on Bio-Inspired Computing: Theories and Applications, 2010

2009
Computational complexity in P systems.
Scholarpedia, 2009

Uniform solutions to SAT and Subset Sum by spiking neural P systems.
Natural Computing, 2009

Complexity aspects of polarizationless membrane systems.
Natural Computing, 2009

Efficient simulation of tissue-like P systems by transition cell-like P systems.
Natural Computing, 2009

Efficient computation in rational-valued P systems.
Mathematical Structures in Computer Science, 2009

Foreword.
IJUC, 2009

An Approach to Ballistic Deposition Based on Membrane Computing.
IJUC, 2009

On the efficiency of cell-like and tissue-like recognizing membrane systems.
Int. J. Intell. Syst., 2009

Membrane Dissolution and Division in P.
Proceedings of the Unconventional Computation, 8th International Conference, 2009

Descriptional Complexity of Tissue-Like P Systems with Cell Division.
Proceedings of the Unconventional Computation, 8th International Conference, 2009

A Computational Complexity Theory in Membrane Computing.
Proceedings of the Membrane Computing, 10th International Workshop, 2009

Searching Previous Configurations in Membrane Computing.
Proceedings of the Membrane Computing, 10th International Workshop, 2009

Characterizing Tractability by Tissue-Like P Systems.
Proceedings of the Membrane Computing, 10th International Workshop, 2009

An Overview of P-Lingua 2.0.
Proceedings of the Membrane Computing, 10th International Workshop, 2009

Implementing P Systems Parallelism by Means of GPUs.
Proceedings of the Membrane Computing, 10th International Workshop, 2009

A P System Based Model of an Ecosystem of Some Scavenger Birds.
Proceedings of the Membrane Computing, 10th International Workshop, 2009

Solving the Independent Set Problem by Using Tissue-Like P Systems with Cell Division.
Proceedings of the Methods and Models in Artificial and Natural Computation. A Homage to Professor Mira.s Scientific Legacy, 2009

2008
A uniform family of tissue P systems with cell division solving 3-COL in a linear time.
Theor. Comput. Sci., 2008

A software tool for verification of Spiking Neural P Systems.
Natural Computing, 2008

Spiking neural P systems with extended rules: universality and languages.
Natural Computing, 2008

Representations and Characterizations of Languages in Chomsky Hierarchy by Means of Insertion-Deletion Systems.
Int. J. Found. Comput. Sci., 2008

On the Computational Efficiency of Polarizationless Recognizer P Systems with Strong Division and Dissolution.
Fundam. Inform., 2008

Editing Configurations of P Systems.
Fundam. Inform., 2008

Hierarchical Clustering with Membrane Computing.
Computing and Informatics, 2008

Modelling gene expression control using P systems: The Lac Operon, a case study.
Biosystems, 2008

A Model of the Quorum Sensing System in Vibrio fischeri Using P Systems.
Artificial Life, 2008

Hebbian Learning from Spiking Neural P Systems View.
Proceedings of the Membrane Computing - 9th International Workshop, 2008

A P-Lingua Programming Environment for Membrane Computing.
Proceedings of the Membrane Computing - 9th International Workshop, 2008

Modeling Ecosystems Using P Systems: The Bearded Vulture, a Case Study.
Proceedings of the Membrane Computing - 9th International Workshop, 2008

2007
Fourth Brainstorming Week on Membrane Computing.
Theor. Comput. Sci., 2007

On the degree of parallelism in membrane systems.
Theor. Comput. Sci., 2007

A uniform solution to SAT using membrane creation.
Theor. Comput. Sci., 2007

P systems with minimal parallelism.
Theor. Comput. Sci., 2007

Multi-dimensional Descriptional Complexity of P Systems.
Journal of Automata, Languages and Combinatorics, 2007

Spiking Neural P Systems: an Early Survey.
Int. J. Found. Comput. Sci., 2007

Computing Morphisms by Spiking Neural P Systems.
Int. J. Found. Comput. Sci., 2007

On String Languages Generated by Spiking Neural P Systems.
Fundam. Inform., 2007

A Linear-time Tissue P System Based Solution for the 3-coloring Problem.
Electr. Notes Theor. Comput. Sci., 2007

Polarizationless P Systems with Active Membranes Working in the Minimally Parallel Mode.
Proceedings of the Unconventional Computation, 6th International Conference, 2007

A Logarithmic Bound for Solving Subset Sum with P Systems.
Proceedings of the Membrane Computing, 8th International Workshop, 2007

Simulating the Bitonic Sort Using P Systems.
Proceedings of the Membrane Computing, 8th International Workshop, 2007

Uniform Solution of.
Proceedings of the Machines, Computations, and Universality, 5th International Conference, 2007

On a Paun's Conjecture in Membrane Systems.
Proceedings of the Bio-inspired Modeling of Cognitive Tasks, 2007

Solving Subset Sum in Linear Time by Using Tissue P Systems with Cell Division.
Proceedings of the Bio-inspired Modeling of Cognitive Tasks, 2007

Representations and Characterizations of Languages in Chomsky Hierarchy by Means of Insertion-Deletion Systems.
Proceedings of the 9th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2007, High Tatras, Slovakia, July 20, 2007

Characterizing Tractability by Cell-Like Membrane Systems.
Proceedings of the Formal Models, 2007

2006
P Systems, a New Computational Modelling Tool for Systems Biology.
, 2006

A Polynomial Complexity Class in P Systems Using Membrane Division.
Journal of Automata, Languages and Combinatorics, 2006

Spike Trains in Spiking Neural P Systems.
Int. J. Found. Comput. Sci., 2006

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

On simulating a class of parallel architectures.
Int. J. Found. Comput. Sci., 2006

Computational efficiency of dissolution rules in membrane systems.
Int. J. Comput. Math., 2006

On the Branching Complexity of P Systems.
Fundam. Inform., 2006

Handling Markov Chains with Membrane Computing.
Proceedings of the Unconventional Computation, 5th International Conference, 2006

Computationally Hard Problems Addressed Through P Systems.
Proceedings of the Applications of Membrane Computing, 2006

Available Membrane Computing Software.
Proceedings of the Applications of Membrane Computing, 2006

Graphical Modeling of Higher Plants Using P Systems.
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

Modeling Signal Transduction Using P Systems.
Proceedings of the Membrane Computing, 7th International Workshop, 2006

Classifying States of a Finite Markov Chain with Membrane Computing.
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

Computing with Spiking Neural P Systems: Traces and Small Universal Systems.
Proceedings of the DNA Computing, 12th International Meeting on DNA Computing, 2006

2005
Tissue P systems with channel states.
Theor. Comput. Sci., 2005

"Second Brainstorming week on Membrane Computing" in Sevilla 2004.
Soft Comput., 2005

A fast P system for finding a balanced 2-partition.
Soft Comput., 2005

Solving the Subset-Sum Problem by P Systems with Active Membranes.
New Generation Comput., 2005

Symport/Antiport P Systems with Three Objects Are Universal.
Fundam. Inform., 2005

Towards a Programming Language in Cellular Computing.
Electr. Notes Theor. Comput. Sci., 2005

P Systems with Active Membranes, Without Polarizations and Without Dissolution: A Characterization of P.
Proceedings of the Unconventional Computation, 4th International Conference, 2005

Characterizing Tractability with Membrane Creation.
Proceedings of the Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), 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 the Power of Dissolution in P Systems with Active Membranes.
Proceedings of the Membrane Computing, 6th International Workshop, 2005

A Linear Solution for QSAT with Membrane Creation.
Proceedings of the Membrane Computing, 6th International Workshop, 2005

On P Systems as a Modelling Tool for Biological Systems.
Proceedings of the Membrane Computing, 6th International Workshop, 2005

A Study of the Robustness of the EGFR Signalling Cascade Using Continuous Membrane Systems.
Proceedings of the Mechanisms, 2005

A Linear Solution of Subset Sum Problem by Using Membrane Creation.
Proceedings of the Mechanisms, 2005

Multidimensional Descriptional Complexity of P Systems.
Proceedings of the 7th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2005, Como, Italy, June 30, 2005

2004
A Prolog Simulator for Deterministic P Systems with Active Membranes.
New Generation Comput., 2004

An Efficient Family of P Systems for Packing Items into Bins.
J. UCS, 2004

Second Brainstorming Week on Membrane Computing.
J. UCS, 2004

Trading Polarization for Bi-stable Catalysts in P Systems with Active Membranes.
Proceedings of the Membrane Computing, 5th International Workshop, 2004

An Approach to Computational Complexity in Membrane Computing.
Proceedings of the Membrane Computing, 5th International Workshop, 2004

On Descriptive Complexity of P Systems.
Proceedings of the Membrane Computing, 5th International Workshop, 2004

Exploring Computation Trees Associated with P Systems.
Proceedings of the Membrane Computing, 5th International Workshop, 2004

On Two-Dimensional Mesh Networks and Their Simulation with P Systems.
Proceedings of the Membrane Computing, 5th International Workshop, 2004

Attacking the Common Algorithmic Problem by Recognizer P Systems.
Proceedings of the Machines, Computations, and Universality, 4th International Conference, 2004

Accepting Hybrid Networks of Evolutionary Processors.
Proceedings of the DNA Computing, 10th International Workshop on DNA Computing, 2004

Using Automated Reasoning Systems on Molecular Computing.
Proceedings of the DNA Computing, 10th International Workshop on DNA Computing, 2004

The P Versus NP Problem Through Cellular Computing with Membranes.
Proceedings of the Aspects of Molecular Computing, 2004

P Systems with Tables of Rules.
Proceedings of the Theory Is Forever, 2004

2003
Complexity classes in models of cellular computing with membranes.
Natural Computing, 2003

A Linear-Time Solution to the Knapsack Problem Using P Systems with Active Membranes.
Proceedings of the Membrane Computing, International Workshop, 2003

Computing Partial Recursive Functions by Transition P Systems.
Proceedings of the Membrane Computing, International Workshop, 2003

Implementing in Prolog an Effective Cellular Solution to the Knapsack Problem.
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

Hybrid Networks of Evolutionary Processors.
Proceedings of the Genetic and Evolutionary Computation, 2003

A Polynomial Complexity Class in P Systems Using Membrane Division.
Proceedings of the 5th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2003, Budapest, Hungary, July 12, 2003

2002
Simulating Turing Machines by P Systems with External Output.
Fundam. Inform., 2002

A Formalization of Transition P Systems.
Fundam. Inform., 2002

Decision P Systems and the P!=NP Conjecture.
Proceedings of the Membrane Computing, International Workshop, 2002

A MzScheme Implementation of Transition P Systems.
Proceedings of the Membrane Computing, International Workshop, 2002

Generation of Diophantine Sets by Computing P Systems with External Output.
Proceedings of the Unconventional Models of Computation, Third International Conference, 2002

Specification of Adleman's Restricted Model Using an Automated Reasoning System: Verification of Lipton's Experiment.
Proceedings of the Unconventional Models of Computation, Third International Conference, 2002

2001
Solving Knapsack Problems in a Sticker Based Model.
Proceedings of the DNA Computing, 7th International Workshop on DNA-Based Computers, 2001

1996
On Overspill Principles and Axiom Schemes for Bounded Formulas.
Math. Log. Q., 1996

1994
Maximum Schemes in Arithmetic.
Math. Log. Q., 1994


  Loading...