Mario de Jesús Pérez Jiménez

Profesor Emérito
marper@us.es
Área de conocimiento: Ciencia de la Computación e Inteligencia Artificial
Departamento: Ciencias de la Comput. e Int. Artificial
Grupo: COMPUTACION NATURAL (TIC-193)
Miembro de: SCORE
Instituto de Inv.: I3US
Prog. doctorado: Programa de Doctorado en Ingeniería Informática (RD. 99/2011)
Tipo Año Título Fuente
Artículo2021 A complete arithmetic calculator constructed from spiking neural P systems and its application to information fusion International Journal of Neural Systems
Artículo2021 A Fault Analysis Method for Three-Phase Induction Motors Based on Spiking Neural P Systems COMPLEXITY
Revisión2021 A survey of nature-inspired computing: membrane computing ACM COMPUTING SURVEYS
Artículo2021 Dendrite P systems toolbox: representation, algorithms and simulators International Journal of Neural Systems
Artículo2021 Medical image fusion method based on coupled neural P systems in nonsubsampled shearlet transform domain International Journal of Neural Systems
Artículo2021 Monodirectional tissue P systems with promoters IEEE TRANSACTIONS ON CYBERNETICS
Artículo2021 Proof techniques in membrane computing THEORETICAL COMPUTER SCIENCE
Artículo2021 Spiking neural P systems with delay on synapses International Journal of Neural Systems
Artículo2021 Spiking neural P systems with extended channel rules International Journal of Neural Systems
Artículo2021 Tuning frontiers of efficiency in tissue P systems with evolutional communication rules COMPLEXITY
Artículo2020 A membrane parallel rapidly-exploring random tree algorithm for robotic motion planning INTEGRATED COMPUTER-AIDED ENGINEERING
Revisión2020 A review of membrane computing models for complex ecosystems and a case study on a complex giant panda system COMPLEXITY
Artículo2020 A weighted corrective fuzzy reasoning spiking neural P system for fault diagnosis in power systems with variable topologies ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE
Artículo2020 Adaptative parallel simulators for bioinspired computing models FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE
Ponencia2020 An optimal solution to the SAT problem with tissue P systems BWMC 2020: Eighteenth Brainstorming Week on Membrane Computing (2020), pp. 91-100.
Artículo2020 An overview of hardware implementation of membrane computing models ACM COMPUTING SURVEYS
Artículo2020 Cell-like P systems with evolutional symport/antiport rules and membrane creation INFORMATION AND COMPUTATION
Artículo2020 Dendrite P systems NEURAL NETWORKS
Artículo2020 From NP-completeness to DP-completeness: a membrane computing perspective COMPLEXITY
Artículo2020 Membrane creation in polarizationless P systems with active membranes FUNDAMENTA INFORMATICAE
Artículo2020 Nonlinear Spiking Neural P Systems International Journal of Neural Systems
Artículo2020 P systems with symport/antiport rules: when do the surroundings matter? THEORETICAL COMPUTER SCIENCE
Editorial2020 Preface of the special issue for Gheorghe Pǎun’s 70th anniversary Journal of Membrane Computing
Artículo2020 Spiking neural P systems with inhibitory rules KNOWLEDGE-BASED SYSTEMS
Artículo2020 When object production tunes the efficiency of membrane systems THEORETICAL COMPUTER SCIENCE
Ponencia2019 A new perspective on computational complexity theory in Membrane Computing BWMC 2019: Seventeenth Brainstorming Week on Membrane Computing (2019)
Artículo2019 A path to computational efficiency through membrane computing THEORETICAL COMPUTER SCIENCE
Ponencia2019 A syntax for semantics in P-Lingua BWMC 2019: Seventeenth Brainstorming Week on Membrane Computing (2019)
Artículo2019 Adjacent Graph Based Vulnerability Assessment for Electrical Networks Considering Fault Adjacent Relationships Among Branches IEEE ACCESS
Ponencia2019 An apparently innocent problem in Membrane Computing BWMC 2019: Seventeenth Brainstorming Week on Membrane Computing (2019)
Artículo2019 An interactive timeline of simulators in membrane computing Journal of Membrane Computing
Editorial2019 Bio-Inspired Computing: Theories and Applications (BIC-TA 2017) Preface FUNDAMENTA INFORMATICAE
Artículo2019 Cascading Failures Analysis Considering Extreme Virus Propagation of Cyber-Physical Systems in Smart Grids COMPLEXITY
Artículo2019 Cell-like P systems with polarizations and minimal rules THEORETICAL COMPUTER SCIENCE
Artículo2019 Dynamic threshold neural P systems KNOWLEDGE-BASED SYSTEMS
Artículo2019 Interval-valued fuzzy spiking neural P systems for fault diagnosis of power transmission networks ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE
Artículo2019 Minimal cooperation as a way to achieve the efficiency in cell-like membrane systems Journal of Membrane Computing
Artículo2019 Modeling Fault Propagation Paths in Power Systems: A New Framework Based on Event SNP Systems With Neurotransmitter Concentration IEEE ACCESS
Ponencia2019 New applications for an old tool BWMC 2019: Seventeenth Brainstorming Week on Membrane Computing (2019)
Artículo2019 P systems with proteins: a new frontier when membrane division disappears Journal of Membrane Computing
Ponencia2019 P Systems: from Anti-Matter to Anti-Rules BWMC 2019: Seventeenth Brainstorming Week on Membrane Computing (2019)
Capítulo2019 Results on computational complexity in bio-inspired computing Bio-Inspired Computing Models and Algorithms
Artículo2019 Solving the 0-1 Knapsack Problem by Using Tissue P System With Cell Division IEEE ACCESS
Artículo2018 Application of Neural-Like P Systems With State Values for Power Coordination of Photovoltaic/Battery Microgrids IEEE ACCESS
Ponencia2018 Counting membrane systems Lecture Notes in Computer Science
Artículo2018 Fault Diagnosis of Power Systems Using Intuitionistic Fuzzy Spiking Neural P Systems IEEE TRANSACTIONS ON SMART GRID
Artículo2018 From distribution to replication in cooperative systems with active membranes: A frontier of the efficiency THEORETICAL COMPUTER SCIENCE
Otros2018 Laser Dynamics from a Membrane Computing Perspective Bulletin of the International Membrane Computing Society
Ponencia2018 Limits on P Systems with Proteins and Without Division BWMC 2018: Sixteenth Brainstorming Week on Membrane Computing (2018)
Ponencia2018 Narrowing Frontiers of Efficiency with Evolutional Communication Rules and Cell Separation BWMC 2018: Sixteenth Brainstorming Week on Membrane Computing (2018)
Ponencia2018 On GPU-Oriented P systems PROCEEDINGS 2018 INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING & SIMULATION (HPCS)
Artículo2018 P Systems-Based Computing Polynomials With Integer Coefficients: Design and Formal Verification IEEE Transactions on NanoBioscience
Ponencia2018 Robot Path Planning using Rapidly-Exploring Random Trees: A Membrane Computing Approach 2018 7TH INTERNATIONAL CONFERENCE ON COMPUTERS COMMUNICATIONS AND CONTROL (ICCCC 2018)
Artículo2018 Simulation of Rapidly-Exploring Random Trees in Membrane Computing with P-Lingua and Automatic Programming INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL
Artículo2018 The Computational Complexity of Tissue P Systems with Evolutional Symport/Antiport Rules COMPLEXITY
Artículo2018 The role of integral membrane proteins in computational complexity theory INTERNATIONAL JOURNAL OF ADVANCES IN ENGINEERING SCIENCES AND APPLIED MATHEMATICS
Artículo2018 The Unique Satisfiability Problem from a Membrane Computing Perspective ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY
Artículo2017 A Simulation Software Tool for Cell-like Spiking Neural P Systems ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY
Artículo2017 An efficient time-free solution to QSAT problem using Psystems with proteins on membranes INFORMATION AND COMPUTATION
Artículo2017 Computational Efficiency of Minimal Cooperation and Distribution in Polarizationless P Systems with Active Membranes FUNDAMENTA INFORMATICAE
Artículo2017 Cooperation in Transport of Chemical Substances: A Complexity Approach within Membrane Computing FUNDAMENTA INFORMATICAE
Artículo2017 Data Modeling with Membrane Systems: Applications to Real Ecosystems REAL-LIFE APPLICATIONS WITH MEMBRANE COMPUTING
Artículo2017 Electric Power System Fault Diagnosis with Membrane Systems REAL-LIFE APPLICATIONS WITH MEMBRANE COMPUTING
Artículo2017 Engineering Optimization with Membrane Algorithms REAL-LIFE APPLICATIONS WITH MEMBRANE COMPUTING
Artículo2017 Evolutionary response of a native butterfly to concurrent plant invasions: Simulation of population dynamics ECOLOGICAL MODELLING
Ponencia2017 Fault diagnosis for multi-energy flows of energy internet: Framework and prospects 2017 IEEE Conference on Energy Internet and Energy System Integration, EI2 2017 - Proceedings
Artículo2017 Fault diagnosis of power systems using fuzzy tissue-like P systems INTEGRATED COMPUTER-AIDED ENGINEERING
Artículo2017 Fundamentals of Evolutionary Computation REAL-LIFE APPLICATIONS WITH MEMBRANE COMPUTING
Artículo2017 Fuzzy reasoning spiking neural P systems revisited: A formalization THEORETICAL COMPUTER SCIENCE
Ponencia2017 Limits on Efficient Computation in P Systems with Symport/Antiport Rules BWMC 2017: 15th Brainstorming Week on Membrane Computing (2017)
Artículo2017 Membrane Algorithms REAL-LIFE APPLICATIONS WITH MEMBRANE COMPUTING
Artículo2017 Membrane Computing - Key Concepts and Definitions REAL-LIFE APPLICATIONS WITH MEMBRANE COMPUTING
Artículo2017 Multiobjective fuzzy clustering approach based on tissue-like membrane systems KNOWLEDGE-BASED SYSTEMS
Artículo2017 Reaching efficiency through collaboration in membrane systems: Dissolution, polarization and cooperation THEORETICAL COMPUTER SCIENCE
Libro2017 Real-Life Applications with Membrane Computing REAL-LIFE APPLICATIONS WITH MEMBRANE COMPUTING
Editorial2017 Real-life Applications with Membrane Computing Preface REAL-LIFE APPLICATIONS WITH MEMBRANE COMPUTING
Ponencia2017 Restricted Polarizationless P Systems with Active Membranes: Minimal Cooperation Only Inwards BWMC 2017: 15th Brainstorming Week on Membrane Computing (2017)
Ponencia2017 Restricted Polarizationless P Systems with Active Membranes: Minimal Cooperation Only Outwards BWMC 2017: 15th Brainstorming Week on Membrane Computing (2017)
Artículo2017 Robot Control with Membrane Systems REAL-LIFE APPLICATIONS WITH MEMBRANE COMPUTING
Ponencia2017 Sparse-matrix Representation of Spiking Neural P Systems for GPUs BWMC 2017: 15th Brainstorming Week on Membrane Computing (2017)
Artículo2016 A Fault Diagnosis Method of Power Systems Based on an Improved Adaptive Fuzzy Spiking Neural P Systems and PSO Algorithms CHINESE JOURNAL OF ELECTRONICS
Artículo2016 An efficient time-free solution to SAT problem by P systems with proteins on membranes JOURNAL OF COMPUTER AND SYSTEM SCIENCES
Artículo2016 An Extended Membrane System with Active Membranes to Solve Automatic Fuzzy Clustering Problems International Journal of Neural Systems
Artículo2016 Cell-Like P Systems With Channel States and Symport/Antiport Rules IEEE Transactions on NanoBioscience
Artículo2016 Computing with viruses THEORETICAL COMPUTER SCIENCE
Artículo2016 Membrane fission: A computational complexity perspective COMPLEXITY
Ponencia2016 Minimal cooperation in polarizationless P systems with active membranes Fourteenth Brainstorming Week on Membrane Computing
Artículo2016 Notes on spiking neural P systems and finite automata NATURAL COMPUTING
Artículo2016 P systems based computing polynomials: design and formal verification NATURAL COMPUTING
Artículo2016 Parallel simulation of Population Dynamics P systems: updates and roadmap NATURAL COMPUTING
Editorial2016 Part 1: Special Issue: Advances in Membrane Computing Preface NATURAL COMPUTING
Artículo2016 Sequential spiking neural P systems with structural plasticity based on max/min spike number NEURAL COMPUTING & APPLICATIONS
Artículo2016 Temporal fuzzy reasoning spiking neural P systems with real numbers for power system fault diagnosis JOURNAL OF COMPUTATIONAL AND THEORETICAL NANOSCIENCE
Artículo2016 Tissue P Systems With Channel States Working in the Flat Maximally Parallel Way IEEE Transactions on NanoBioscience
Artículo2016 Tissue P Systems with Protein on Cells FUNDAMENTA INFORMATICAE
Artículo2015 A P-Lingua Based Simulator for P Systems with Symport/Antiport Rules FUNDAMENTA INFORMATICAE
Editorial2015 A Special Issue on Bio-Inspired Computing: Theories and Applications JOURNAL OF COMPUTATIONAL AND THEORETICAL NANOSCIENCE
Artículo2015 An automatic clustering algorithm inspired by membrane computing Pattern Recognition Letters
Artículo2015 An Optimal Frontier of the Efficiency of Tissue P Systems with Cell Separation FUNDAMENTA INFORMATICAE
Artículo2015 An unsupervised learning algorithm for membrane computing INFORMATION SCIENCES
Ponencia2015 Asynchronous spiking neural p systems with structural plasticity Lecture Notes in Computer Science
Artículo2015 Computational efficiency and universality of timed P systems with membrane creation SOFT COMPUTING
Ponencia2015 Computational Efficiency of P Systems with Symport/Antiport Rules and Membrane Separation Thirteenth Brainstorming Week on Membrane Computing
Ponencia2015 Computing Partial Recursive Functions by Virus Machines MEMBRANE COMPUTING (CMC 2015)
Artículo2015 Decision tree models induced by membrane systems ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY
Artículo2015 Efficient solutions to hard computational problems by P systems with symport/antiport rules and membrane division BIOSYSTEMS
Artículo2015 Extending Simulation of Asynchronous Spiking Neural P Systems in P-Lingua FUNDAMENTA INFORMATICAE
Artículo2015 Fault Diagnosis of Electric Power Systems Based on Fuzzy Reasoning Spiking Neural P Systems IEEE TRANSACTIONS ON POWER SYSTEMS
Artículo2015 Fault Diagnosis of Metro Traction Power Systems Using A Modified Fuzzy Reasoning Spiking Neural P System ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY
Artículo2015 Fault Section Estimation of Power Systems with Optimization Spiking Neural P Systems ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY
Artículo2015 Fuzzy Membrane Computing: Theory and Applications INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL
Ponencia2015 Generating Diophantine Sets by Virus Machines BIO-INSPIRED COMPUTING - THEORIES AND APPLICATIONS, BIC-TA 2015
Artículo2015 Membrane clustering algorithm with hybrid evolutionary mechanisms Ruan Jian Xue Bao/Journal of Software
Artículo2015 Membrane fission versus cell division: When membrane proliferation is not enough THEORETICAL COMPUTER SCIENCE
Ponencia2015 Minimal Cooperation in P Systems with Symport/Antiport: A Complexity Approach Thirteenth Brainstorming Week on Membrane Computing
Ponencia2015 Notes on Spiking Neural P Systems and Finite Automata Thirteenth Brainstorming Week on Membrane Computing
Artículo2015 Optimal multi-level thresholding with membrane computing DIGITAL SIGNAL PROCESSING
Ponencia2015 Parallel Simulation of PDP Systems: Updates and Roadmap Thirteenth Brainstorming Week on Membrane Computing
Editorial2015 Preface FUNDAMENTA INFORMATICAE
Ponencia2015 Simulating FRSN P Systems with Real Numbers in P-Lingua on sequential and CUDA platforms MEMBRANE COMPUTING (CMC 2015)
Artículo2015 Simulating P Systems on GPU Devices: A Survey FUNDAMENTA INFORMATICAE
Artículo2015 Spiking neural P systems with structural plasticity NEURAL COMPUTING & APPLICATIONS
Artículo2015 Weighted Fuzzy Reasoning Spiking Neural P Systems: Application to Fault Diagnosis in Traction Power Supply Systems of High-Speed Railways JOURNAL OF COMPUTATIONAL AND THEORETICAL NANOSCIENCE
Ponencia2014 A Bioinspired Computing Approach to Model Complex Systems MEMBRANE COMPUTING (CMC 2014)
Artículo2014 A P-Lingua based simulator for tissue P systems with cell separation ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY
Ponencia2014 Accelerated Simulation of P Systems on the GPU: A Survey BIO-INSPIRED COMPUTING - THEORIES AND APPLICATIONS, BIC-TA 2014
Artículo2014 AN OPTIMIZATION SPIKING NEURAL P SYSTEM FOR APPROXIMATELY SOLVING COMBINATORIAL OPTIMIZATION PROBLEMS International Journal of Neural Systems
Artículo2014 Application of Fuzzy Reasoning Spiking Neural P Systems to Fault Diagnosis INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL
Ponencia2014 Application of Weighted Fuzzy Reasoning Spiking Neural P Systems to Fault Diagnosis in Traction Power Supply Systems of High-speed Railways Twelfth Brainstorming Week on Membrane Computing
Libro2014 Applications of membrane computing in systems and synthetic biology APPLICATIONS OF MEMBRANE COMPUTING IN SYSTEMS AND SYNTHETIC BIOLOGY
Editorial2014 Applications of Membrane Computing in Systems and Synthetic Biology Preface APPLICATIONS OF MEMBRANE COMPUTING IN SYSTEMS AND SYNTHETIC BIOLOGY
Artículo2014 Automatic design of deterministic and non-halting membrane systems by tuning syntactical ingredients IEEE Transactions on NanoBioscience
Ponencia2014 Computational Efficiency and Universality of Timed P Systems with Membrane Creation BIO-INSPIRED COMPUTING - THEORIES AND APPLICATIONS, BIC-TA 2014
Artículo2014 Evolutionary membrane computing: A comprehensive survey and new results INFORMATION SCIENCES
Ponencia2014 Extending SNP Systems Asynchronous Simulation Modes in P-Lingua Twelfth Brainstorming Week on Membrane Computing
Ponencia2014 Fault Diagnosis Models for Electric Locomotive Systems Based on Fuzzy Reasoning Spiking Neural P Systems MEMBRANE COMPUTING (CMC 2014)
Ponencia2014 Membrane Clustering: A Novel Clustering Algorithm under Membrane Computing Twelfth Brainstorming Week on Membrane Computing
Capítulo2014 Membrane System-Based Models for Specifying Dynamical Population Systems APPLICATIONS OF MEMBRANE COMPUTING IN SYSTEMS AND SYNTHETIC BIOLOGY
Editorial2014 Preface Communications in Computer and Information Science
Ponencia2014 Probabilistic Guarded P Systems, A Formal De nition Twelfth Brainstorming Week on Membrane Computing
Ponencia2014 Probabilistic Guarded P Systems, A Formal Definition Twelfth Brainstorming Week on Membrane Computing Sevilla, February 3-7, 2014: RGNC REPORT 1/2014
Ponencia2014 Probabilistic Guarded P Systems, A New Formal Modelling Framework MEMBRANE COMPUTING (CMC 2014)
Artículo2014 Probabilistic guarded P systems, a new formal modelling framework Lecture Notes in Computer Science
Artículo2014 Small universal simple spiking neural P systems with weights SCIENCE CHINA-INFORMATION SCIENCES
Artículo2014 The framework of P systems applied to solve optimal watermarking problem SIGNAL PROCESSING
Artículo2014 The P versus NP Problem from the Membrane Computing View EUROPEAN REVIEW
Ponencia2014 The Reduction Problem in CUDA and Its Simulation with P Systems Twelfth Brainstorming Week on Membrane Computing
Ponencia2014 The relevance of the environment on the efficiency of tissue p systems Lecture Notes in Computer Science
Artículo2014 Time-free solution to SAT problem using P systems with active membranes THEORETICAL COMPUTER SCIENCE
Artículo2013 3-Col problem modelling using simple kernel P systems INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS
Artículo2013 A novel image thresholding method based on membrane computing and fuzzy entropy Journal of Intelligent & Fuzzy Systems
Artículo2013 A polynomial alternative to unbounded environment for tissue P systems with cell division INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS
Ponencia2013 Analysing Gene Networks with PDP Systems. Arabidopsis thaliana, a Case Study Eleventh Brainstorming Week on Membrane Computing
Artículo2013 Bridging Membrane and Reaction Systems - Further Results and Research Topics FUNDAMENTA INFORMATICAE
Artículo2013 Characterizing the Parallel Simulation of P Systems on the GPU INTERNATIONAL JOURNAL OF UNCONVENTIONAL COMPUTING
Editorial2013 Foreword INTERNATIONAL JOURNAL OF UNCONVENTIONAL COMPUTING
Artículo2013 Fuzzy reasoning spiking neural P system for fault diagnosis INFORMATION SCIENCES
Ponencia2013 Implementing Enzymatic Numerical P Systems for AI Applications by Means of Graphic Processing Units BEYOND ARTIFICIAL INTELLIGENCE: CONTEMPLATIONS, EXPECTATIONS, APPLICATIONS
Ponencia2013 Kernel P Systems - Version 1 Eleventh Brainstorming Week on Membrane Computing
Artículo2013 Kernel P systems: Applications and Implementations Advances in Intelligent Systems and Computing
Capítulo2013 Linear Time Solution to Prime Factorization by Tissue P Systems with Cell Division Natural Computing for Simulation and Knowledge Discovery
Capítulo2013 Local Search with P Systems: A Case Study Natural Computing for Simulation and Knowledge Discovery
Artículo2013 Modeling logic gene networks by means of probabilistic dynamic P systems INTERNATIONAL JOURNAL OF UNCONVENTIONAL COMPUTING
Artículo2013 Population Dynamics P System (PDP) Models: A Standardized Protocol for Describing and Applying Novel Bio-Inspired Computing Tools PLOS ONE
Artículo2013 RESEARCH FRONTIERS OF MEMBRANE COMPUTING: OPEN PROBLEMS AND RESEARCH TOPICS INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE
Ponencia2013 Simulating a Family of Tissue P Systems Solving SAT on the GPU Eleventh Brainstorming Week on Membrane Computing
Editorial2013 Special Issue Membrane Computing Foreword INTERNATIONAL JOURNAL OF UNCONVENTIONAL COMPUTING
Editorial2013 Special Issue: A selection of papers from the 10th Brainstorming Week on Membrane Computing, Sevilla, 30 January-3 February 2012 Foreword INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS
Artículo2013 Weighted Fuzzy Spiking Neural P Systems IEEE TRANSACTIONS ON FUZZY SYSTEMS
Ponencia2012 A P-lingua based simulator for spiking neural P systems Lecture Notes in Computer Science
Artículo2012 An infinite hierarchy of languages defined by dP systems THEORETICAL COMPUTER SCIENCE
Ponencia2012 An Optimal Frontier of the Efficiency of Tissue P Systems with Cell Division Tenth Brainstorming Week on Membrane Computing
Artículo2012 Comparing simulation algorithms for multienvironment probabilistic P systems over a standard virtual ecosystem NATURAL COMPUTING
Ponencia2012 DCBA: Simulating population dynamics P systems with proportional object distribution Lecture Notes in Computer Science
Ponencia2012 DP automata versus right-linear simple matrix grammars Lecture Notes in Computer Science
Ponencia2012 Formal verification of p systems with active membranes through model checking Lecture Notes in Computer Science
Ponencia2012 Frontiers of Membrane Computing: Open Problems and Research Topics Tenth Brainstorming Week on Membrane Computing
Ponencia2012 Heterotic computing examples with optics, bacteria, and chemicals Lecture Notes in Computer Science
Ponencia2012 Image Thresholding with Cell-like P Systems Tenth Brainstorming Week on Membrane Computing
Artículo2012 Improving GPU Simulations of Spiking Neural P Systems ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY
Ponencia2012 Improving the Efficiency of Tissue P Systems with Cell Separation Tenth Brainstorming Week on Membrane Computing
Artículo2012 Languages and P Systems: Recent Developments Computer science journal of Moldova
Artículo2012 P automata revisited THEORETICAL COMPUTER SCIENCE
Ponencia2012 Parallel Simulation of Probabilistic P Systems on Multicore Platforms Tenth Brainstorming Week on Membrane Computing
Ponencia2012 Population dynamics P systems on CUDA Lecture Notes in Computer Science
Ponencia2012 Simulating Large-Scale ENPS Models by Means of GPU Tenth Brainstorming Week on Membrane Computing
Artículo2012 Solving Common Algorithmic Problem by Recognizer Tissue P Systems ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY
Ponencia2012 Spiking neural P systems with functional astrocytes Lecture Notes in Computer Science
Ponencia2012 The efficiency of tissue P systems with cell separation relies on the environment Lecture Notes in Computer Science
Artículo2012 The GPU on the simulation of cellular computing models SOFT COMPUTING
Ponencia2012 The Role of the Environment in Tissue P Systems with Cell Division Proceedings of the Tenth Brainstorming Week on Membrane Computing, (2)89-104. Sevilla, E.T.S. de Ingeniería Informática, 30 de Enero-3 de Febrero, 2012,
Ponencia2012 The Role of the Environment in Tissue P Systems with Cell Division ? Tenth Brainstorming Week on Membrane Computing
Ponencia2012 Towards an Integrated Approach for Model Simulation, Property Extraction and Veri cation of P Systems Tenth Brainstorming Week on Membrane Computing
Artículo2012 Towards bridging two cell-inspired models: P systems and R systems THEORETICAL COMPUTER SCIENCE
Artículo2011 A bio-inspired computing model as a new tool for modeling ecosystems: The avian scavengers as a case study ECOLOGICAL MODELLING
Artículo2011 A computational modeling for real ecosystems based on P systems NATURAL COMPUTING
Artículo2011 A SIMULATION ALGORITHM FOR MULTIENVIRONMENT PROBABILISTIC P SYSTEMS: A FORMAL VERIFICATION INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE
Artículo2011 A Tissue P Systems Based Uniform Solution to Tripartite Matching Problem FUNDAMENTA INFORMATICAE
Ponencia2011 A uniform solution to common algorithmic problem by tissue p systems with cell division Proceedings - 2011 6th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2011
Artículo2011 COMPUTATION OF RAMSEY NUMBERS BY P SYSTEMS WITH ACTIVE MEMBRANES INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE
Ponencia2011 dP Automata versus Right-Linear Simple Matrix Grammars Ninth Brainstorming Week On Membrane Computing
Ponencia2011 Implementing Local Search with Membrane Computing Ninth Brainstorming Week On Membrane Computing
Artículo2011 Linear time solution to prime factorization by tissue P systems with cell division International Journal of Natural Computing Research
Artículo2011 Local Search with P Systems International Journal of Natural Computing Research
Artículo2011 Looking for Small Efficient P Systems FUNDAMENTA INFORMATICAE
Ponencia2011 Membrane computing (tutorial) Lecture Notes in Computer Science
Artículo2011 ON A PARTIAL AFFIRMATIVE ANSWER FOR A PAUN'S CONJECTURE INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE
Artículo2011 P and dP Automata: A Survey RAINBOW OF COMPUTER SCIENCE
Editorial2011 SPECIAL ISSUE NATURAL COMPUTING: THEORY AND APPLICATIONS PREFACE INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE
Artículo2011 Spiking Neural dP Systems FUNDAMENTA INFORMATICAE
Ponencia2011 Spiking neural P system simulations on a high performance GPU platform ALGORITHMS AND ARCHITECTURES FOR PARALLEL PROCESSING, PT II
Artículo2011 Spiking neural P systems with neuron division and budding SCIENCE CHINA-INFORMATION SCIENCES
Artículo2011 Spiking Neural P Systems with Several Types of Spikes INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL
Artículo2011 The Spanish Network on Biomolecular and Biocellular Computing: Bio-inspired Natural Computing in Spain ERCIM NEWS
Ponencia2011 Towards Bridging Two Cell-Inspired Models: P Systems and R Systems Ninth Brainstorming Week On Membrane Computing
Ponencia2010 A computational complexity theory in membrane computing Membrane computing: 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised selected and invited papers
Artículo2010 A Linear Time Solution to the Partition Problem in a Cellular Tissue-Like Model JOURNAL OF COMPUTATIONAL AND THEORETICAL NANOSCIENCE
Artículo2010 A New Characterization of NP, P, and PSPACE with Accepting Hybrid Networks of Evolutionary Processors THEORY OF COMPUTING SYSTEMS
Ponencia2010 A new simulation algorithm for multienvironment probabilistic P systems Proceedings 2010 IEEE 5th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2010
Ponencia2010 A P system based model of an ecosystem of some scavenger birds Membrane computing: 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised selected and invited papers
Artículo2010 A P-Lingua based simulator for tissue P systems JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING
Ponencia2010 A uniform framework for modeling based on P systems Proceedings 2010 IEEE 5th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2010
Ponencia2010 An overview of P-Lingua 2.0 Membrane computing: 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised selected and invited papers
Ponencia2010 Array Tissue-like P Systems Eighth Brainstorming Week on Membrane Computing
Ponencia2010 Characterizing tractability by tissue-like P systems Membrane computing: 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised selected and invited papers
Artículo2010 Computational complexity of tissue-like P systems JOURNAL OF COMPLEXITY
Ponencia2010 Depth-First Search with P Systems Membrane computing: 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised selected papers
Ponencia2010 Implementing P systems parallelism by means of GPUs Membrane computing: 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised selected and invited papers
Ponencia2010 Matrix representation of spiking neural P systems Membrane computing: 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised selected papers
Ponencia2010 MeCoSim: A general purpose software tool for simulating biological phenomena by means of P systems Proceedings 2010 IEEE 5th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2010
Editorial2010 Membrane computing and programming JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING
Ponencia2010 Membrane Computing Meets Artificial Intelligence: A Case Study Eighth Brainstorming Week on Membrane Computing
Libro2010 Membrane computing: 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised selected and invited papers Membrane computing: 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised selected and invited papers
Editorial2010 Membrane computing: Preface Lecture Notes in Computer Science
Ponencia2010 Modeling population growth of Pyrenean chamois (Rupicapra p. pyrenaica) by using P-systems Membrane computing: 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised selected papers
Artículo2010 On Communication Complexity in Evolution-Communication P Systems ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY
Artículo2010 On spiking neural P systems NATURAL COMPUTING
Ponencia2010 Searching previous configurations in membrane computing Membrane computing: 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised selected and invited papers
Artículo2010 Simulating a P system based efficient solution to SAT by using GPUs JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING
Ponencia2010 Simulating tritrophic interactions by means of P systems Proceedings 2010 IEEE 5th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2010
Artículo2010 Simulation of P systems with active membranes on CUDA BRIEFINGS IN BIOINFORMATICS
Artículo2010 Solving Problems in a Distributed Way in Membrane Computing: dP Systems INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL
Editorial2010 SPECIAL ISSUE ON MEMBRANE COMPUTING Eighth brainstorming week on membrane computing FOREWORD ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY
Editorial2010 Special issue on membrane computing eighth; Brainstorming week on membrane computing ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY
Artículo2010 Spiking Neural P Systems with Weights NEURAL COMPUTATION
Artículo2010 Thresholding 2D images with cell-like P systems ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY
Ponencia2010 Tissue-like P Systems without Environment Eighth Brainstorming Week on Membrane Computing
Artículo2009 A Computational Complexity Theory in Membrane Computing Tenth Workshop on Membrane Computing
Artículo2009 A P System Based Model of an Ecosystem of Some Scavenger Birds Tenth Workshop on Membrane Computing
Ponencia2009 A P-lingua programming environment for membrane computing Membrane computing: 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, revised selected and invited papers
Artículo2009 An approach to Ballistic deposition based on membrane computing INTERNATIONAL JOURNAL OF UNCONVENTIONAL COMPUTING
Ponencia2009 Cell-like Versus Tissue-like P Systems by Means of Sevilla Carpets Seventh Brainstorming Week on Membrane Computing
Ponencia2009 Characterizing the Aperiodicity of Irreducible Markov Chains by Using P Systems Seventh Brainstorming Week on Membrane Computing
Ponencia2009 Characterizing the Aperiodicity of Irreducible Markow Chains by Using P Systems Seventh Brainstorming Week on Membrane Computing
Ponencia2009 Characterizing Tractability by Tissue-Like P Systems Seventh Brainstorming Week on Membrane Computing
Ponencia2009 Characterizing Tractability by Tissue-Like P Systems Tenth Workshop on Membrane Computing
Artículo2009 Complexity aspects of polarizationless membrane systems NATURAL COMPUTING
Ponencia2009 Computing Backwards with P Systems Seventh Brainstorming Week on Membrane Computing
Ponencia2009 Descriptional Complexity of Tissue-Like P Systems with Cell Division UNCONVENTIONAL COMPUTATION, PROCEEDINGS
Ponencia2009 Efficiency of Tissue P Systems with Cell Separation Seventh Brainstorming Week on Membrane Computing
Artículo2009 Efficient computation in rational-valued P systems MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
Artículo2009 Efficient simulation of tissue-like P systems by transition cell-like P systems NATURAL COMPUTING
Ponencia2009 Hebbian learning from spiking neural P systems view Membrane computing: 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, revised selected and invited papers
Ponencia2009 Membrane Computing Schema: A New Approach to Computation Using String Insertions ALGORITHMIC BIOPROCESSES
Ponencia2009 Membrane Dissolution and Division in P UNCONVENTIONAL COMPUTATION, PROCEEDINGS
Ponencia2009 Modeling ecosystems using P systems: the bearded vulture, a case study Membrane computing: 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, revised selected and invited papers
Artículo2009 On the Efficiency of Cell-Like and Tissue-Like Recognizing Membrane Systems INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS
Ponencia2009 P System Based Model of an Ecosystem of the Scavenger Birds Seventh Brainstorming Week on Membrane Computing
Ponencia2009 P-Lingua 2.0: New Features and First Applications Seventh Brainstorming Week on Membrane Computing
Artículo2009 Searching Previous Configurations in Membrane Computing Tenth Workshop on Membrane Computing
Artículo2009 Simulating Active Membrane Systems Using GPUs Tenth Workshop on Membrane Computing
Ponencia2009 Simulation of P Systems with Active Membranes on CUDA 2009 INTERNATIONAL WORKSHOP ON HIGH PERFORMANCE COMPUTATIONAL SYSTEMS BIOLOGY, PROCEEDINGS
Ponencia2009 Simulation of Recognizer P Systems by Using Manycore GPUs Seventh Brainstorming Week on Membrane Computing
Ponencia2009 Solving the Independent Set Problem by Using Tissue-Like P Systems with Cell Division METHODS AND MODELS IN ARTIFICIAL AND NATURAL COMPUTATION, PT I
Ponencia2009 Solving the N-Queens Puzzle with P Systems Seventh Brainstorming Week on Membrane Computing
Editorial2009 SPECIAL ISSUE Membrane Computing Fifth Brainstorming Week on Membrane Computing (BWMC5) Foreword INTERNATIONAL JOURNAL OF UNCONVENTIONAL COMPUTING
Ponencia2009 Spiking Neural P Systems with Neuron Division and Budding Seventh Brainstorming Week on Membrane Computing
Ponencia2009 Spiking Neural P Systems. Recent Results, Research Topics ALGORITHMIC BIOPROCESSES
Libro2009 Tenth Workshop on Membrane Computing Tenth Workshop on Membrane Computing
Artículo2009 Uniform solutions to SAT and Subset Sum by spiking neural P systems NATURAL COMPUTING
Ponencia2008 A Fast Solution to the Partition Problem by Using Tissue-Like P Systems 2008 THIRD INTERNATIONAL CONFERENCE ON BIO-INSPIRED COMPUTING: THEORIES AND APPLICATIONS
Ponencia2008 A First Model for Hebbian Learning with Spiking Neural P Systems Sixth Brainstorming Week on Membrane Computing
Artículo2008 A model of the quorum sensing system in vibrio fischeri using p systems ARTIFICIAL LIFE
Ponencia2008 A P System Modeling an Ecosystem RElated to the Bearded Vulture Sixth Brainstorming Week on Membrane Computing
Artículo2008 A software tool for verification of Spiking Neural P Systems NATURAL COMPUTING
Artículo2008 A uniform family of tissue P systems with cell division solving 3-COL in a linear time THEORETICAL COMPUTER SCIENCE
Artículo2008 Computational Efficiency of Cellular Division in Tissue-like Membrane Systems ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY
Artículo2008 Editing configurations of P systems FUNDAMENTA INFORMATICAE
Ponencia2008 Graphics and P Systems: Experiments with JPLANT Sixth Brainstorming Week on Membrane Computing
Artículo2008 HIERARCHICAL CLUSTERING WITH MEMBRANE COMPUTING COMPUTING AND INFORMATICS
Artículo2008 Modelling gene expression control using P systems: The Lac Operon, a case study BIOSYSTEMS
Ponencia2008 On the Computational Efficiency of Polarizationless Recognizer P Systems with Strong Division and Disolution Sixth Brainstorming Week on Membrane Computing
Artículo2008 On the Computational Efficiency of Polarizationless Recognizer P Systems with Strong Division and Dissolution FUNDAMENTA INFORMATICAE
Ponencia2008 P-Lingua: A Programming Language for Membrane Computing Sixth Brainstorming Week on Membrane Computing
Artículo2008 Representations and characterizations of languages in chomsky hierarchy by means of insertion-deletion systems INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE
Ponencia2008 Solving the Partition Problem By Using Tissue-like P Systems with Cell Division Sixth Brainstorming Week on Membrane Computing
Ponencia2008 Sorting Omega Networks Simulated with P Systems: Optimal Data Layouts Sixth Brainstorming Week on Membrane Computing
Editorial2008 Special Issue on Membrane Computing Fifth brainstorming week on membrane computing FUNDAMENTA INFORMATICAE
Editorial2008 Special issue on membrane computing: Fifth brainstorming week on membrane computing FUNDAMENTA INFORMATICAE
Ponencia2008 Spiking neural P systems with extended rules: Universality and languages NATURAL COMPUTING
Capítulo2008 Spiking neural P systems: An overview Advancing Artificial Intelligence Through Biological Process Applications
Artículo2008 Tissue P systems with cell division INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL
Ponencia2007 A Linear Solution for Subset Sum Problem with Tissue P Systems with Cell Division Fifth Brainstorming Week on Membrane Computing
Artículo2007 A Linear-time Tissue P System Based Solution for the 3-coloring Problem ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Ponencia2007 A logarithmic bound for solving subset sum with P systems Membrane computing: 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 revised selected and invited papers
Ponencia2007 A Membrane Computing Model for Ballistic Depositions Fifth Brainstorming Week on Membrane Computing
Artículo2007 A uniform solution to SAT using membrane creation THEORETICAL COMPUTER SCIENCE
Artículo2007 Cellular modelling using P systems and process algebra PROGRESS IN NATURAL SCIENCE-MATERIALS INTERNATIONAL
Artículo2007 Computing morphisms by spiking neural P systems INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE
Editorial2007 Fourth Brainstorming Week on Membrane Computing THEORETICAL COMPUTER SCIENCE
Artículo2007 How to express tumours using membrane systems PROGRESS IN NATURAL SCIENCE-MATERIALS INTERNATIONAL
Ponencia2007 Membrane Computing Schema Based on String Insertions Fifth Brainstorming Week on Membrane Computing
Ponencia2007 On a paun's conjecture in membrane systems BIO-INSPIRED MODELING OF COGNITIVE TASKS, PT 1, PROCEEDINGS
Artículo2007 On string languages generated by spiking neural P systems FUNDAMENTA INFORMATICAE
Artículo2007 On the degree of parallelism in membrane systems THEORETICAL COMPUTER SCIENCE
Artículo2007 P systems with minimal parallelism THEORETICAL COMPUTER SCIENCE
Ponencia2007 Polarizationless P Systems with Active Membranes Working in the Minimally Parallel Manner Fifth Brainstorming Week on Membrane Computing
Ponencia2007 Polarizationless P systems with active membranes working in the minimally parallel mode UNCONVENTIONAL COMPUTATION, PROCEEDINGS
Ponencia2007 Representations and characterizations of languages in chomsky hierarchy by means of insertion-deletion systems Descriptional Complexity of Formal Systems - 9th International Workshop, DCFS 2007
Artículo2007 Simulating FAS-induced apoptosis by using P systems PROGRESS IN NATURAL SCIENCE-MATERIALS INTERNATIONAL
Ponencia2007 Simulating the bitonic sort using P systems Membrane computing: 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 revised selected and invited papers
Ponencia2007 Solving subset sum in linear time by using tissue P systems with cell division BIO-INSPIRED MODELING OF COGNITIVE TASKS, PT 1, PROCEEDINGS
Artículo2007 Spiking neural p systems: An early survey INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE
Ponencia2007 Uniform solution of QSAT using polarizationless active membranes MACHINES, COMPUTATIONS, AND UNIVERSALITY, PROCEEDINGS
Ponencia2006 A linear solution for QSAT with membrane creation Membrane computing: 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, revised selected and invited papers
Ponencia2006 A membrane computing view on tumours Pre-Proceedings of the International Conference on Bio-Inspired Computing - Theory and Applications: Membrane Computing Section, BIC-TA 2006
Ponencia2006 A modeling approach based on P systems with bounded parallelism Membrane computing: 7th International Workshop, WMC 2006, Leiden, Netherlands, July 17-21, 2006, revised, selected, and invited papers
Ponencia2006 An Approach to the Degree of Parallelism in P Systems Fourth Brainstormming Week on Membrane Computing
Artículo2006 CHARACTERIZING TRACTABILITY BY CELL-LIKE MEMBRANE SYSTEMS FORMAL MODELS, LANGUAGES AND APPLICATIONS
Ponencia2006 Classifying states of a finite Markov chain with membrane computing Membrane computing: 7th International Workshop, WMC 2006, Leiden, Netherlands, July 17-21, 2006, revised, selected, and invited papers
Artículo2006 Computational efficiency of dissolution rules in membrane systems INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS
Ponencia2006 Computing with spiking neural P systems: Traces and small universal systems DNA COMPUTING
Ponencia2006 Fractals and P Systems Fourth Brainstormming Week on Membrane Computing
Ponencia2006 Graphical modeling of higher plants using P systems Membrane computing: 7th International Workshop, WMC 2006, Leiden, Netherlands, July 17-21, 2006, revised, selected, and invited papers
Artículo2006 Handling Markov chains with membrane computing UNCONVENTIONAL COMPUTATION, PROCEEDINGS
Artículo2006 Membrane computing: Brief introduction, recent results and applications BIOSYSTEMS
Ponencia2006 Modeling signal transduction using P systems Membrane computing: 7th International Workshop, WMC 2006, Leiden, Netherlands, July 17-21, 2006, revised, selected, and invited papers
Ponencia2006 On P systems as a modelling tool for biological systems Membrane computing: 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, revised selected and invited papers
Artículo2006 On simulating a class of parallel architectures INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE
Ponencia2006 On String Languages Generated by Spiking Neural P Systems Fourth Brainstormming Week on Membrane Computing
Artículo2006 On the branching complexity of P systems FUNDAMENTA INFORMATICAE
Ponencia2006 On the power of dissolution in P systems with active membranes Membrane computing: 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, revised selected and invited papers
Ponencia2006 P systems, a new computational modelling tool for Systems Biology TRANSACTIONS ON COMPUTATIONAL SYSTEMS BIOLOGY VI
Ponencia2006 Simulating FAS-induced apoptosis by using P systems Pre-Proceedings of the International Conference on Bio-Inspired Computing - Theory and Applications: Membrane Computing Section, BIC-TA 2006
Ponencia2006 Solving 3-COL with Tissue P Systems Fourth Brainstormming Week on Membrane Computing
Editorial2006 Special issue - Membrane computing - Preface INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE
Artículo2006 Spike trains in spiking neural P systems INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE
Ponencia2006 Spiking Neural P Systems with Extended Rules Proceedings of the Fourth Brainstorming Week on Membrane Computing, Vol.I, 241-265. Sevilla, E.T.S. de Ingeniería Informática, 30 de Enero-3 de Febrero, 2006
Ponencia2006 The Growth of Branching Structures with P Systems Fourth Brainstormming Week on Membrane Computing
Ponencia2006 Towards probabilistic model checking on P systems using PRISM Membrane computing: 7th International Workshop, WMC 2006, Leiden, Netherlands, July 17-21, 2006, revised, selected, and invited papers
Ponencia2006 Tratamiento computacional de la incertidumbre mediante sistemas celulares con membranas Actas del V Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: (Granada, 29 noviembre - 1 diciembre de 2006)
Ponencia2006 Uniform Solution to QSAT Using Polarizationless Active Membranes Fourth Brainstormming Week on Membrane Computing
Editorial2005 "Second brainstorming week on membrane computing" in Sevilla 2004 SOFT COMPUTING
Artículo2005 A fast P system for finding a balanced 2-partition SOFT COMPUTING
Artículo2005 A linear solution of subset sum problem by using membrane creation MECHANISMS, SYMBOLS AND MODELS UNDERLYING COGNITION, PT 1, PROCEEDINGS
Ponencia2005 A Simulator for Confluent P Systems Third Brainstorming Week on Membrane Computing
Artículo2005 A study of the robustness of the EGFR signalling cascade using continuous membrane systems MECHANISMS, SYMBOLS AND MODELS UNDERLYING COGNITION, PT 1, PROCEEDINGS
Artículo2005 Accepting hybrid networks of evolutionary processors DNA COMPUTING
Ponencia2005 An approach to computational complexity in membrane computing Membrane computing: 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, revised selected and invited papers
Artículo2005 Attacking the common algorithmic problem by recognizer P systems MACHINES, COMPUTATIONS, AND UNIVERSALITY
Capítulo2005 Automated reasoning systems and molecular computing Recent results in natural computing
Libro2005 Cellular Computing (Complexity Aspects) Cellular Computing (Complexity Aspects)
Libro2005 Cellular computing (complexity aspects): ESF PESC exploratory workshop Sevilla, January 31 - February 2, 2005 Cellular computing (complexity aspects): ESF PESC exploratory workshop Sevilla, January 31 - February 2, 2005
Capítulo2005 Cellular solutions to some numerical NP-complete problems: A prolog implementation Molecular Computational Models: Unconventional Approaches
Ponencia2005 Characterizing tractability with membrane creation Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Proceedings
Capítulo2005 Computational complexity aspects of membrane computing: Ideas, results, open problems Cellular computing (complexity aspects): ESF PESC exploratory workshop Sevilla, January 31 - February 2, 2005
Ponencia2005 Computational Complexity Aspects of Membrane Computing: Ideas, results, Open Problems Cellular computing (complexity aspects): ESF PESC exploratory workshop Sevilla, January 31 - February 2, 2005
Ponencia2005 Editing Configurations of P Systems Third Brainstorming Week on Membrane Computing
Ponencia2005 Exploring computation trees associated with P systems Membrane computing: 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, revised selected and invited papers
Capítulo2005 Formal verifications of programs in molecular models with random access memory Recent results in natural computing
Capítulo2005 Generating pairwise disjoint families through DNA computations Recent results in natural computing
Editorial2005 Lecture Notes in Computer Science: Preface Lecture Notes in Computer Science
Capítulo2005 Membrane computing as production systems Recent results in natural computing
Libro2005 Membrane computing: 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, revised selected and invited papers Membrane computing: 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, revised selected and invited papers
Ponencia2005 Multidimensional descriptional complexity of P systems 7th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2005 - Proceedings
Ponencia2005 Multidimensional Sevilla carpets Associated with P Systems Cellular computing (complexity aspects): ESF PESC exploratory workshop Sevilla, January 31 - February 2, 2005
Ponencia2005 On descriptive complexity of P systems Membrane computing: 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, revised selected and invited papers
Ponencia2005 On P systems with bounded parallelism Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Proceedings
Capítulo2005 On the branching complexity of P system Cellular computing (complexity aspects): ESF PESC exploratory workshop Sevilla, January 31 - February 2, 2005
Ponencia2005 On the Branching Complexity of P Systems Cellular Computing (Complexity Aspects)
Ponencia2005 On two-dimensional mesh networks and their simulation with P systems Membrane computing: 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, revised selected and invited papers
Ponencia2005 P Systems with active membranes, without polarizations and without dissolution: A characterization of P Lecture Notes in Computer Science
Ponencia2005 P Systems with Membrane Creation and Rule Input Cellular computing (complexity aspects): ESF PESC exploratory workshop Sevilla, January 31 - February 2, 2005
Capítulo2005 P systems with membrane creation and rule input Cellular computing (complexity aspects): ESF PESC exploratory workshop Sevilla, January 31 - February 2, 2005
Capítulo2005 Simulating a class of parallel architectures: A broader perspective Cellular computing (complexity aspects): ESF PESC exploratory workshop Sevilla, January 31 - February 2, 2005
Ponencia2005 Simulating a Class of Parallel Architectures: A Broader Perspective Cellular computing (complexity aspects): ESF PESC exploratory workshop Sevilla, January 31 - February 2, 2005
Ponencia2005 Simulating Avascular Tumors With Membrane Systems Third Brainstorming Week on Membrane Computing
Artículo2005 Solving the subset-sum problem by P systems with active membranes NEW GENERATION COMPUTING
Artículo2005 Symport/antiport P systems with three objects are universal FUNDAMENTA INFORMATICAE
Artículo2005 Tissue P systems with channel states THEORETICAL COMPUTER SCIENCE
Artículo2005 Towards a Programming Language in Cellular Computing ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Ponencia2005 Trading polarization for Bi-stable catalyst in P systems with active membranes Membrane computing: 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, revised selected and invited papers
Artículo2005 Using automated reasoning systems on molecular computing DNA COMPUTING
Ponencia2004 A CLIPS Simulator for Recognizer P Systems with Active Membranes Second Brainstorming Week On Membrane Computing
Ponencia2004 A linear-time solution to the knapsack problem using P systems with active membranes Membrane computing: 4th International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003, revised papers
Artículo2004 A prolog simulator for deterministic P systems with active membranes NEW GENERATION COMPUTING
Ponencia2004 An Efficient Cellular Solution for the Partition Problem Second Brainstorming Week On Membrane Computing
Artículo2004 An efficient family of P systems for packing items into bins JOURNAL OF UNIVERSAL COMPUTER SCIENCE
Ponencia2004 Computing partial recursive functions by transition P systems Membrane computing: 4th International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003, revised papers
Ponencia2004 Implementing in Prolog an effective cellular solution to the Knapsack problem Membrane computing: 4th International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003, revised papers
Ponencia2004 Looking for P Truth Second Brainstorming Week On Membrane Computing
Artículo2004 P systems with tables of rules THEORY IS FOREVER: ESSAYS DEDICATED TO ARTO SALOMAA ON THE OCCASION OF HIS 70TH BIRTHDAY
Libro2004 Recent results in natural computing Recent results in natural computing
Editorial2004 Second brainstorming week on membrane computing - J.UCS special issue JOURNAL OF UNIVERSAL COMPUTER SCIENCE
Ponencia2004 Simulating Shuffle-Exchange Networks with P Systems Second Brainstorming Week On Membrane Computing
Ponencia2004 Solving the BINPACKING Problem by Recognizer P Systems with Active Membranes Second Brainstorming Week On Membrane Computing
Artículo2004 The P versus NP problem through cellular computing with membranes ASPECTS OF MOLECULAR COMPUTING
Ponencia2004 Tissue P Systems with Cell Division Second Brainstorming Week On Membrane Computing
Ponencia2004 Tissue-like P Systems with Channel-States Second Brainstorming Week On Membrane Computing
Ponencia2004 Towards a Programming Language in Cellular Computing Second Brainstorming Week On Membrane Computing
Ponencia2004 Weak Metrics on Configurations of a P System Second Brainstorming Week On Membrane Computing
Ponencia2003 A MzScheme implementation of transition P systems Membrane computing: International Workshop, WMC-CdeA 2002 Curtea de Arges, Romania, August 19–23, 2002 Revised Papers
Artículo2003 An agent based approach of collective foraging COMPUTATIONAL METHODS IN NEURAL MODELING, PT 1
Artículo2003 Complexity classes in models of cellular computing with membranes NATURAL COMPUTING
Artículo2003 Decision P systems and the P≠NP conjecture Lecture Notes in Computer Science
Ponencia2003 Decision P systems and the P≠NP conjecture Membrane computing: International Workshop, WMC-CdeA 2002 Curtea de Arges, Romania, August 19–23, 2002 Revised Papers
Artículo2003 Hybrid networks of evolutionary processors GENETIC AND EVOLUTIONARY COMPUTATION - GECCO 2003, PT I, PROCEEDINGS
Libro2003 Máquinas moleculares basadas en ADN Máquinas moleculares basadas en ADN
Ponencia2003 On Sigma(N)-definability in arithmetic PHILOSOPHICAL DIMENSIONS OF LOGIC AND SCIENCE
Artículo2003 Recent computability models inspired from biology: DNA and membrane computing THEORIA-REVISTA DE TEORIA HISTORIA Y FUNDAMENTOS DE LA CIENCIA
Artículo2003 The Diophantine equation a^2 + b^2 = c^n and the map F_n(z) = z^n Pre-publicaciones del Seminario Matemático " García de Galdeano "
Artículo2002 A formalization of transition P systems FUNDAMENTA INFORMATICAE
Artículo2002 Generation of diophantine sets by computing P systems with external output UNCONVENTIONAL MODELS IN COMPUTATION, PROCEEDINGS
Artículo2002 Simulating Turing machines by P systems with external output FUNDAMENTA INFORMATICAE
Ponencia2002 Solving knapsack problems in a sticker based model Lecture Notes in Computer Science
Artículo2002 Specification of Adleman's restricted model using an automated reasoning system: Verification of Lipton's experiment UNCONVENTIONAL MODELS IN COMPUTATION, PROCEEDINGS
Ponencia2002 Specification of Adleman’s restricted model using an automated reasoning system: Verification of Lipton’s experiment Lecture Notes in Computer Science
Capítulo2001 Computación molecular sin memoria basada en ADN Información : tratamiento y representación
Capítulo2001 NP-completitud y computación ADN Actas del Encuentro de Matemáticos Andaluces
Ponencia1999 Interpretación reactiva de sistemas basados en concimiento La representación y la organización del conocimiento en sus distintas perspectivas : su influencia en la recuperación de la información: actas del IV Congreso ISKO-España EOCONSID'99, 22-24 de abril de 1999, Granada
Capítulo1997 End and cofinal extensions in arithmetic The bulletin of the workshop on model theory and complexity: Sevilla del 21 al 23 de septiembre de 1995
Ponencia1997 Inducción acotada Actas del I Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: [Madrid 15,16 y 17 de diciembre de 1993]
Ponencia1997 Las teorías $IDelta_n$ e $Iabla_n$ Actas del I Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: [Madrid 15,16 y 17 de diciembre de 1993]
Artículo1996 On overspill principles and axiom schemes for bounded formulas MATHEMATICAL LOGIC QUARTERLY
Capítulo1995 Introducción a la teoría de la complejidad Lógica formal: Orígenes, métodos y aplicaciones
Capítulo1995 Razonamiento automático Lógica formal: Orígenes, métodos y aplicaciones
Ponencia1994 Automatización de la aritmética Lenguajes naturales y lenguajes formales : actas del X congreso de lenguajes naturales y lenguajes formales : (Sevilla, 26-30 de septiembre de 1994)
Artículo1994 MAXIMUM SCHEMES IN ARITHMETIC MATHEMATICAL LOGIC QUARTERLY
Ponencia1993 Extensiones cofinales de modelos de la Aritmética Lenguajes naturales y lenguajes formales : actas del IX congreso de lenguajes naturales y lenguajes formales : (Reus, 20-22 de diciembre de 1993)
Ponencia1992 "Splitting" en fragmentos del máximo Lenguajes naturales y lenguajes formales : actas del VIII congreso de lenguajes naturales y lenguajes formales : (Girona, 21-25 de septiembre de 1992)
Libro1992 Esquemas del máximo en la aritmética Esquemas del máximo en la aritmética
Libro1988 Teoría de clases y conjuntos: (una introducción del cuerpo de los números reales) Teoría de clases y conjuntos: (una introducción del cuerpo de los números reales)

Tesis dirigidas/tutorizadas:15
Fecha lectura Título Rol
01/04/2019 EL PROBLEMA P VERSUS NP. DESARROLLO DE NUEVAS TÉCNICAS A TRAVÉS DE MODELOS DE COMPUTACIÓN BIO-INSPIRADOS Tutor/a, Director/a
15/07/2016 HACIA UNA CONCEPCIÓN GENERALIZADA DE LA ABDUCCIÓN, SU MODELIZACIÓN EN LÓGICAS NO CLÁSICAS Y SU IMPLEMENTACIÓN EN HERRAMIENTAS INFORMÁTICAS Tutor/a
02/02/2016 DESARROLLO DE SIMULADORES EFICIENTES DE MÁQUINAS CELULARES Director/a
02/02/2015 MECOSIM, UNA APLICACIÓN DE PROPÓSITO GENERAL PARA LA SIMULACIÓN DE MODELOS COMPUTACIONALES BASADOS EN SISTEMAS P Director/a
31/01/2014 MODELIZACIÓN Y SIMULACIÓN DE FENÓMENOS DE LA VIDA REAL EN COMPUTACIÓN CECULAR CON MEMBRANAS (MODELING AND SIMULATION OF REAL-LIFE PHENOMENA IN MEMBRANE COMPUTING) Director/a, Tutor/a
09/05/2013 ACELERACIÓN DE SIMULADORES DE SISTEMAS DE MEMBRANAS MEDIANTE COMPUTACIÓN DE ALTAS PRESTACIONES CON GPU Director/a
24/06/2010 Desarrollo y aplicaciones de un entorno de programación para computación celular: P-lingua Director/a
07/05/2008 SISTEMAS CELULARES DE TEJIDO: FORMALIZACIÓN Y EFICIENCIA COMPUTACIONAL Director/a
06/02/2008 P SYSTEMS, A COMPUTATIONAL MODELLING FRAMEWORK FOR SYSTEMS BIOLOGY Director/a
28/03/2007 MEMBRANE COMPUTING, NEURAL INSPIRATIONS, GENE ASSEMBLY IN CILIATES Director/a
01/02/2006 EVOLUTION, COMMUNICATION, OBSERVATION: FROM BIOLOGY TO MEMBRANE COMPUTING AND BACK Director/a
31/01/2006 PROMOTING AND INHIBITING CONTEXTS IN MEMBRANE COMPUTING Director/a
23/09/2004 PROGRAMACIÓN CELULAR: RESOLUCIÓN EFICIENTE DE PROBLEMAS NUMÉRICOS NP-COMPLETOS Director/a
29/09/2003 ESPECIFICACIÓN Y VERIFICACIÓN DE PROGRAMAS MOLECULARES EN PVS Director/a
27/06/2002 VERIFICACIÓN DE PROGRAMAS EN MODELOS DE COMPUTACIÓN NO CONVENCIONALES Director/a

Proyectos de Investigación

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
31/12/2005 31/12/2006 Responsable Modelización y simulación de procesos biológicos y computacionales a través de sistemas celulares con membranas (TIN2005-09345-C04-01) Ministerio de Educación y Ciencia (Nacional)
01/01/2010 31/12/2012 Responsable Computación celular: aplicación a la biología de sistema y sintética (TIN2009-13192) Ministerio de Ciencia e Innovación (Nacional)
01/12/2002 30/11/2005 Responsable Desarrollo, verificación y automatización de modelos moleculares y celulares con membranas (TIC2002-04220-C03-01) Ministerio de Ciencia y Tecnología (Nacional)
13/01/2009 31/12/2013 Investigador/a Modelado y Simulación Computacional en Biología de Sistemas (P08-TIC-04200) Junta de Andalucía - Consejería de Innovación, Ciencia y Empresas (Autonómico)
01/01/2018 30/09/2021 Responsable Máquinas Bio-Inspiradas sobre plataformas de computación de altas prestaciones: un enfoque multidisciplinar (TIN2017-89842-P) Ministerio de Economía y Competitividad (Nacional)
01/10/2006 30/09/2009 Responsable Análisis computacional y simulación de procesos biológicos en computación celular (TIN2006-13425) Ministerio de Educación y Ciencia (Nacional)
01/01/2013 31/12/2015 Responsable De la Computación Celular a la Computación de Alto Rendimiento. Aplicación a la Dinámica de Poblaciones. (TIN2012-37434) Ministerio de Economía y Competitividad (Nacional)
01/03/2006 28/02/2009 Responsable Desarrollo de modelos y herramientas de computación celular con membranas para aplicaciones en biología y economía (EXC/2005/TIC-581) Junta de Andalucía (Plan Andaluz de Investigación) (Autonómico)
01/01/2011 31/12/2012 Investigador/a La dinámica del conocimiento en el ámbito de las ciencias sociales: abducción, intuición e invención (AIB2010PT-00106) Ministerio de Ciencia e Innovación (Nacional)

Contratos

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
01/10/2007 01/04/2009 Responsable Mymem. Plataforma de servicios de movilidad (OG-128/07) Asociación de Investigación y Cooperación Industrial de Andalucía (Autonómico)

Ayudas

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
03/10/2005 07/10/2005 Responsable Fourth International Conference on Unconventional Computation (PP2005-01-15) Universidad de Sevilla (Local)
15/10/2007 15/02/2008 Responsable Cellular Computing Network (OTRI/06-PC36) Universidad de Sevilla(Oficina de Transferencia de Resultados de Investigación) (Local)
01/02/2010 05/02/2010 Responsable Eighth Brainstormingweek on Membrane Computing (PP2010-01-022) Universidad de Sevilla (Local)
31/01/2005 02/02/2005 Responsable Exploratory Workshop on Cellular Computing (Complexity Aspects) (2004/1401) European Science Foundation (Europeo)
01/01/2012 30/06/2013 Responsable Congreso Internacional sobre Desarrollos en Computación con Membranas (TIN2011-13199-E) Ministerio de Ciencia e Innovación (Nacional)
04/02/2008 08/02/2008 Responsable Sixth brainstorming week on membrane computing (PP2007-02-015) Universidad de Sevilla (Local)
02/02/2009 06/02/2009 Responsable Eighth Brainstormingweek on Membrane Computing. (PP2009-01-045) Universidad de Sevilla (Local)
11/11/2010 15/03/2011 Investigador/a Mathematic and informatics of membrane-mediated processes (MIMEMP) (OTR2010-PC43) Universidad de Sevilla (Oficina de Transferencia de Resultados de Investigación) (Local)
16/03/2006 31/12/2007 Responsable Theory and practice of membrane computing (HI2005-0194) Ministerio de Educación y Ciencia (Nacional)
31/01/2011 04/02/2011 Responsable Ninth Brainstorming Week on Membrane Computing (PP2011-01-021) Universidad de Sevilla (Local)
29/01/2007 02/02/2007 Responsable Fifth Brainstorming Week on Membrana Computing (PP2006-01-11) Universidad de Sevilla (Local)
01/12/2008 30/11/2011 Responsable Creación de una red temática en computación biomolecular y biocelular (TIN2008-04487-E) Ministerio de Ciencia e Innovación (Nacional)
11/11/2010 15/03/2011 Responsable Patient specific therapies for tumours based on angiogenesis models (OTR2010-PC40) Universidad de Sevilla (Oficina de Transferencia de Resultados de Investigación) (Local)
31/01/2005 05/02/2005 Responsable Third Brainstorming Week on Membrane Computing (PP2004/01-17) Universidad de Sevilla (Local)
30/01/2006 03/02/2006 Responsable Fourth brainstorming week on membrane computing (PP2005-01-30) Universidad de Sevilla (Local)
30/11/2007 30/04/2008 Responsable Advancing mathematical and computacional aids for diagnosis and prognosis in molecular medicine (OTRI/08-FCIE32) Universidad de Sevilla(Oficina de Transferencia de Resultados de Investigación) (Local)
05/05/2010 30/09/2010 Responsable Computations and bioprocesses in living celles (CoBio-Live) (OTR2010-PC22) Universidad de Sevilla (Oficina de Transferencia de Resultados de Investigación) (Local)
03/10/2005 07/10/2005 Responsable Fourth International Conference on Unconventional Computation (TIN2004-23021-E) Ministerio de Educación y Ciencia (Nacional)
01/10/2012 28/02/2014 Responsable Renovación y nuevas actividades de la red temática en computación biomolecular y biocelular (TIN2011-15874-E) Ministerio de Ciencia e Innovación (Nacional)