Mario J. Pérez-Jiménez

Orcid: 0000-0002-5055-0102

Affiliations:
  • University of Seville, Spain


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of two.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Nonlinear Spiking Neural Systems With Autapses for Predicting Chaotic Time Series.
IEEE Trans. Cybern., March, 2024

Reservoir computing models based on spiking neural P systems for time series classification.
Neural Networks, January, 2024

Sequence recommendation using multi-level self-attention network with gated spiking neural P systems.
Inf. Sci., January, 2024

2023
Gated Spiking Neural P Systems for Time Series Forecasting.
IEEE Trans. Neural Networks Learn. Syst., September, 2023

Generating, computing and recognizing with virus machines.
Theor. Comput. Sci., September, 2023

Tissue P Systems With States in Cells.
IEEE Trans. Computers, September, 2023

Preface of the special issue on computational complexity and complex systems.
J. Membr. Comput., September, 2023

The environment as a frontier of efficiency in tissue P systems with communication rules.
Theor. Comput. Sci., May, 2023

Bio-inspired modelling as a practical tool to manage giant panda population dynamics in captivity.
Nat. Comput., March, 2023

Tissue P systems with evolutional communication rules with two objects in the left-hand side.
Nat. Comput., March, 2023

Estimation of minimum viable population for giant panda ecosystems with membrane computing models.
Nat. Comput., March, 2023

Monodirectional evolutional symport tissue P systems with channel states and cell division.
Sci. China Inf. Sci., March, 2023

Attention-enabled gated spiking neural P model for aspect-level sentiment classification.
Neural Networks, 2023

Using Virus Machines to Compute Pairing Functions.
Int. J. Neural Syst., 2023

2022
P systems with evolutional symport and membrane creation rules solving QSAT.
Theor. Comput. Sci., 2022

Echo spiking neural P systems.
Knowl. Based Syst., 2022

Membrane creation and symport/antiport rules solving QSAT.
J. Membr. Comput., 2022

A Survey of Nature-Inspired Computing: Membrane Computing.
ACM Comput. Surv., 2022

Guest editorial introduction to the special section on bio-inspired computing - emerging theories and industry applications.
Comput. Electr. Eng., 2022

P Systems with Evolutional Communication and Separation Rules.
Proceedings of the Machines, Computations, and Universality - 9th International Conference, 2022

Basic Arithmetic Calculations Through Virus-Based Machines.
Proceedings of the Bio-inspired Systems and Applications: from Robotics to Ambient Intelligence, 2022

2021
Monodirectional Tissue P Systems With Promoters.
IEEE Trans. Cybern., 2021

Proof techniques in Membrane Computing.
Theor. Comput. Sci., 2021

A Complete Arithmetic Calculator Constructed from Spiking Neural P Systems and its Application to Information Fusion.
Int. J. Neural Syst., 2021

Spiking Neural P Systems with Delay on Synapses.
Int. J. Neural Syst., 2021

Dendrite P Systems Toolbox: Representation, Algorithms and Simulators.
Int. J. Neural Syst., 2021

Spiking Neural P Systems with Extended Channel Rules.
Int. J. Neural Syst., 2021

Medical Image Fusion Method Based on Coupled Neural P Systems in Nonsubsampled Shearlet Transform Domain.
Int. J. Neural Syst., 2021

An Overview of Hardware Implementation of Membrane Computing Models.
ACM Comput. Surv., 2021

Tuning Frontiers of Efficiency in Tissue P Systems with Evolutional Communication Rules.
Complex., 2021

A Fault Analysis Method for Three-Phase Induction Motors Based on Spiking Neural P Systems.
Complex., 2021

P Systems with Evolutional Communication and Division Rules.
Axioms, 2021

Membrane Computing Models: Implementations
Springer, ISBN: 978-981-16-1565-8, 2021

2020
Cell-like P systems with polarizations and minimal rules.
Theor. Comput. Sci., 2020

When object production tunes the efficiency of membrane systems.
Theor. Comput. Sci., 2020

P systems with symport/antiport rules: When do the surroundings matter?
Theor. Comput. Sci., 2020

Dendrite P systems.
Neural Networks, 2020

Spiking neural P systems with inhibitory rules.
Knowl. Based Syst., 2020

Preface of the special issue for Gheorghe Pǎun's 70th anniversary.
J. Membr. Comput., 2020

Nonlinear Spiking Neural P Systems.
Int. J. Neural Syst., 2020

A membrane parallel rapidly-exploring random tree algorithm for robotic motion planning.
Integr. Comput. Aided Eng., 2020

Cell-like P systems with evolutional symport/antiport rules and membrane creation.
Inf. Comput., 2020

Membrane Creation in Polarizationless P Systems with Active Membranes.
Fundam. Informaticae, 2020

Adaptative parallel simulators for bioinspired computing models.
Future Gener. Comput. Syst., 2020

A weighted corrective fuzzy reasoning spiking neural P system for fault diagnosis in power systems with variable topologies.
Eng. Appl. Artif. Intell., 2020

From NP-Completeness to DP-Completeness: A Membrane Computing Perspective.
Complex., 2020

A Review of Membrane Computing Models for Complex Ecosystems and a Case Study on a Complex Giant Panda System.
Complex., 2020

2019
A path to computational efficiency through membrane computing.
Theor. Comput. Sci., 2019

Dynamic threshold neural P systems.
Knowl. Based Syst., 2019

An interactive timeline of simulators in membrane computing.
J. Membr. Comput., 2019

P-Lingua in two steps: flexibility and efficiency.
J. Membr. Comput., 2019

Minimal cooperation as a way to achieve the efficiency in cell-like membrane systems.
J. Membr. Comput., 2019

P systems with proteins: a new frontier when membrane division disappears.
J. Membr. Comput., 2019

Preface.
Fundam. Informaticae, 2019

Interval-valued fuzzy spiking neural P systems for fault diagnosis of power transmission networks.
Eng. Appl. Artif. Intell., 2019

Cascading Failures Analysis Considering Extreme Virus Propagation of Cyber-Physical Systems in Smart Grids.
Complex., 2019

Adjacent Graph Based Vulnerability Assessment for Electrical Networks Considering Fault Adjacent Relationships Among Branches.
IEEE Access, 2019

Solving the 0-1 Knapsack Problem by Using Tissue P System With Cell Division.
IEEE Access, 2019

Modeling Fault Propagation Paths in Power Systems: A New Framework Based on Event SNP Systems With Neurotransmitter Concentration.
IEEE Access, 2019

2018
Fault Diagnosis of Power Systems Using Intuitionistic Fuzzy Spiking Neural P Systems.
IEEE Trans. Smart Grid, 2018

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

Simulation of Rapidly-Exploring Random Trees in Membrane Computing with P-Lingua and Automatic Programming.
Int. J. Comput. Commun. Control, 2018

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

Application of Neural-Like P Systems With State Values for Power Coordination of Photovoltaic/Battery Microgrids.
IEEE Access, 2018

Design of Specific P Systems Simulators on GPUs.
Proceedings of the Membrane Computing, 2018

On GPU-Oriented P Systems.
Proceedings of the 2018 International Conference on High Performance Computing & Simulation, 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.
Integr. Comput. Aided Eng., 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. Informaticae, 2017

Computational Efficiency of Minimal Cooperation and Distribution in Polarizationless P Systems with Active Membranes.
Fundam. Informaticae, 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 Comput. Appl., 2016

P systems based computing polynomials: design and formal verification.
Nat. Comput., 2016

Parallel simulation of Population Dynamics P systems: updates and roadmap.
Nat. Comput., 2016

Preface.
Nat. Comput., 2016

Notes on spiking neural P systems and finite automata.
Nat. Comput., 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.
J. Autom. Lang. Comb., 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. Informaticae, 2016

Membrane fission: A computational complexity perspective.
Complex., 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 Recognit. Lett., 2015

Spiking neural P systems with structural plasticity.
Neural Comput. Appl., 2015

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

Fuzzy Membrane Computing: Theory and Applications.
Int. J. Comput. Commun. Control, 2015

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

Preface.
Fundam. Informaticae, 2015

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

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

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

Optimal multi-level thresholding with membrane computing.
Digit. Signal Process., 2015

Efficient solutions to hard computational problems by P systems with symport/antiport rules and membrane division.
Biosyst., 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 Process., 2014

The Role of the Direction in Tissue P Systems with Cell Separation.
J. Autom. Lang. Comb., 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

Application of Fuzzy Reasoning Spiking Neural P Systems to Fault Diagnosis.
Int. J. Comput. Commun. Control, 2014

Small universal simple spiking neural P systems with weights.
Sci. China Inf. Sci., 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 <i>Versus</i> NP Problem.
Proceedings of the Discrete Mathematics and Computer Science. In Memoriam Alexandru Mateescu (1952-2005)., 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 Syst., 2013

A novel image thresholding method based on membrane computing and fuzzy entropy.
J. Intell. Fuzzy Syst., 2013

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

Modeling Logic Gene Networks by Means of Probabilistic Dynamic P Systems.
Int. J. Unconv. Comput., 2013

Characterizing the Parallel Simulation of P Systems on the GPU.
Int. J. Unconv. Comput., 2013

Foreword.
Int. J. Unconv. Comput., 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. Informaticae, 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.
Nat. Comput., 2012

Languages and P Systems: Recent Developments.
Comput. Sci. J. 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.
Nat. Comput., 2011

Linear Time Solution to Prime Factorization by Tissue P Systems with Cell Division.
Int. J. Nat. Comput. Res., 2011

Local Search with P Systems: A Case Study.
Int. J. Nat. Comput. Res., 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

Spiking Neural P Systems with Several Types of Spikes.
Int. J. Comput. Commun. Control, 2011

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

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

Spiking Neural dP Systems.
Fundam. Informaticae, 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.
Sci. China Inf. Sci., 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 Comput., 2010

On spiking neural P systems.
Nat. Comput., 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. Algebraic Methods Program., 2010

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

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

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

Solving Problems in a DistributedWay in Membrane Computing: dP Systems.
Int. J. Comput. Commun. Control, 2010

Simulation of P systems with active membranes on CUDA.
Briefings Bioinform., 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.
Nat. Comput., 2009

Complexity aspects of polarizationless membrane systems.
Nat. Comput., 2009

Efficient simulation of tissue-like P systems by transition cell-like P systems.
Nat. Comput., 2009

Efficient computation in rational-valued P systems.
Math. Struct. Comput. Sci., 2009

An Approach to Ballistic Deposition Based on Membrane Computing.
Int. J. Unconv. Comput., 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

Membrane Computing Schema: A New Approach to Computation Using String Insertions.
Proceedings of the Algorithmic Bioprocesses, 2009

Spiking Neural P Systems. Recent Results, Research Topics.
Proceedings of the Algorithmic Bioprocesses, 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.
Nat. Comput., 2008

Spiking neural P systems with extended rules: universality and languages.
Nat. Comput., 2008

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

Tissue P Systems with Cell Division.
Int. J. Comput. Commun. Control, 2008

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

Editing Configurations of P Systems.
Fundam. Informaticae, 2008

Hierarchical Clustering with Membrane Computing.
Comput. Informatics, 2008

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

A Model of the Quorum Sensing System in <i>Vibrio fischeri</i> Using P Systems.
Artif. 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.
J. Autom. Lang. Comb., 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. Informaticae, 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

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

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

A Polynomial Complexity Class in P Systems Using Membrane Division.
J. Autom. Lang. Comb., 2006

Editorial.
J. Autom. Lang. Comb., 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. Informaticae, 2006

A Linear-time Tissue P System Based Solution for the 3-coloring Problem.
Proceedings of the First Workshop on Membrane Computing and Biologically Inspired Process Calculi, 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 Gener. Comput., 2005

Symport/Antiport P Systems with Three Objects Are Universal.
Fundam. Informaticae, 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 Gener. Comput., 2004

An Efficient Family of P Systems for Packing Items into Bins.
J. Univers. Comput. Sci., 2004

Second Brainstorming Week on Membrane Computing.
J. Univers. Comput. Sci., 2004

Towards a Programming Language in Cellular Computing.
Proceedings of the 11th Workshop on Logic, Language, Information and Computation, 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.
Nat. Comput., 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

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

A Formalization of Transition P Systems.
Fundam. Informaticae, 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...