| Revisión | 2024 |
A review of computing models for studying population dynamics of giant panda ecosystems
|
ECOLOGICAL MODELLING |
| Artículo | 2024 |
Bridges Between Spiking Neural Membrane Systems and Virus Machines
|
International Journal of Neural Systems |
| Artículo | 2024 |
Channel parallel virus machine for power system fault diagnosis
|
Journal of Membrane Computing |
| Editorial | 2024 |
Introduction
|
International Journal of Neural Systems |
| Capítulo | 2024 |
Matrix Representation of Virus Machines
|
Lecture Notes in Computer Science |
| Artículo | 2024 |
Nonlinear spiking neural systems with autapses for predicting chaotic time series
|
IEEE TRANSACTIONS ON CYBERNETICS |
| Artículo | 2024 |
Parallel virus machines
|
Journal of Membrane Computing |
| Artículo | 2024 |
Random walk simulation by population dynamics P systems
|
Journal of Membrane Computing |
| Artículo | 2024 |
Reservoir computing models based on spiking neural P systems for time series classification
|
NEURAL NETWORKS |
| Artículo | 2024 |
Sequence recommendation using multi-level self-attention network with gated spiking neural P systems
|
INFORMATION SCIENCES |
| Artículo | 2024 |
Spiking neural P systems with mute rules
|
INFORMATION AND COMPUTATION |
| Artículo | 2024 |
Towards a general methodology for formal verification on spiking neural P systems
|
THEORETICAL COMPUTER SCIENCE |
| Artículo | 2023 |
A Formal Verification of a SAT Solution by P Systems with Evolution Communication and Separation Rules
|
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE |
| Artículo | 2023 |
A protocol for solutions to DP-complete problems through tissue membrane systems
|
MATHEMATICS |
| Artículo | 2023 |
Attacking cryptosystems by means of virus machines
|
Scientific reports |
| Artículo | 2023 |
Attention-enabled gated spiking neural P model for aspect-level sentiment classification
|
NEURAL NETWORKS |
| Artículo | 2023 |
Bio-inspired modelling as a practical tool to manage giant panda population dynamics in captivity
|
NATURAL COMPUTING |
| Artículo | 2023 |
Estimation of minimum viable population for giant panda ecosystems with membrane computing models
|
NATURAL COMPUTING |
| Artículo | 2023 |
Gated spiking neural P systems for time series forecasting
|
IEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS |
| Artículo | 2023 |
Generating, computing and recognizing with virus machines
|
THEORETICAL COMPUTER SCIENCE |
| Artículo | 2023 |
Infinite Spike Trains in Spiking Neural P Systems
|
ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY |
| Letter | 2023 |
Monodirectional evolutional symport tissue P systems with channel states and cell division
|
SCIENCE CHINA-INFORMATION SCIENCES |
| Editorial | 2023 |
Preface of the special issue on computational complexity and complex systems
|
Journal of Membrane Computing |
| Artículo | 2023 |
The environment as a frontier of efficiency in tissue P systems with communication rules
|
THEORETICAL COMPUTER SCIENCE |
| Artículo | 2023 |
Tissue P systems with evolutional communication rules with two objects in the left-hand side
|
NATURAL COMPUTING |
| Artículo | 2023 |
Tissue P systems with states in cells
|
IEEE TRANSACTIONS ON COMPUTERS |
| Artículo | 2023 |
Using virus machines to compute pairing functions
|
International Journal of Neural Systems |
| Capítulo | 2022 |
Basic arithmetic calculations through virus-based machines
|
Bio-inspired systems and applications: from robotics to ambient intelligence: 9th International work-conference on the interplay between natural and artificial computation, IWINAC 2022, Puerto de la Cruz, Tenerife, Spain, May 31 – June 3, 2022, proceedings, part II |
| Artículo | 2022 |
Echo spiking neural P systems
|
KNOWLEDGE-BASED SYSTEMS |
| Editorial | 2022 |
Guest editorial introduction to the special section on bio-inspired computing – emerging theories and industry applications
|
COMPUTERS & ELECTRICAL ENGINEERING |
| Artículo | 2022 |
Membrane creation and symport/antiport rules solving QSAT
|
Journal of Membrane Computing |
| Ponencia | 2022 |
P systems with evolutional communication and separation rules
|
Lecture Notes in Computer Science |
| Artículo | 2022 |
P systems with evolutional symport and membrane creation rules solving QSAT
|
THEORETICAL COMPUTER SCIENCE |
| Editorial | 2022 |
Workshop on Natural Computing - WNC 2022 (Preface)
|
CEUR workshop proceedings |
| Artículo | 2021 |
A complete arithmetic calculator constructed from spiking neural P systems and its application to information fusion
|
International Journal of Neural Systems |
| Artículo | 2021 |
A Fault Analysis Method for Three-Phase Induction Motors Based on Spiking Neural P Systems
|
COMPLEXITY |
| Revisión | 2021 |
A survey of nature-inspired computing: membrane computing
|
ACM COMPUTING SURVEYS |
| Libro | 2021 |
Ciencia, tecnología y humanidades en la era del conocimiento
|
Ciencia, tecnología y humanidades en la era del conocimiento |
| Artículo | 2021 |
Dendrite P systems toolbox: representation, algorithms and simulators
|
International Journal of Neural Systems |
| Capítulo | 2021 |
Máquinas en la naturaleza viva
|
Ciencia, tecnología y humanidades en la era del conocimiento |
| Artículo | 2021 |
Medical image fusion method based on coupled neural P systems in nonsubsampled shearlet transform domain
|
International Journal of Neural Systems |
| Libro | 2021 |
Membrane Computing Models: Implementations
|
Membrane Computing Models: Implementations |
| Artículo | 2021 |
Monodirectional tissue P systems with promoters
|
IEEE TRANSACTIONS ON CYBERNETICS |
| Artículo | 2021 |
P systems with evolutional communication and division rules
|
Axioms |
| Artículo | 2021 |
Proof techniques in membrane computing
|
THEORETICAL COMPUTER SCIENCE |
| Artículo | 2021 |
Spiking neural P systems with delay on synapses
|
International Journal of Neural Systems |
| Artículo | 2021 |
Spiking neural P systems with extended channel rules
|
International Journal of Neural Systems |
| Artículo | 2021 |
Tuning frontiers of efficiency in tissue P systems with evolutional communication rules
|
COMPLEXITY |
| Artículo | 2020 |
A membrane parallel rapidly-exploring random tree algorithm for robotic motion planning
|
INTEGRATED COMPUTER-AIDED ENGINEERING |
| Revisión | 2020 |
A review of membrane computing models for complex ecosystems and a case study on a complex giant panda system
|
COMPLEXITY |
| Artículo | 2020 |
A weighted corrective fuzzy reasoning spiking neural P system for fault diagnosis in power systems with variable topologies
|
ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE |
| Artículo | 2020 |
Adaptative parallel simulators for bioinspired computing models
|
FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE |
| Ponencia | 2020 |
An optimal solution to the SAT problem with tissue P systems
|
BWMC 2020: Eighteenth Brainstorming Week on Membrane Computing (2020), pp. 91-100. |
| Artículo | 2020 |
An overview of hardware implementation of membrane computing models
|
ACM COMPUTING SURVEYS |
| Capítulo | 2020 |
Buscando máquinas de cálculo vivas... desesperadamente...
|
Matemáticas: cotidianidad y belleza |
| Artículo | 2020 |
Cell-like P systems with evolutional symport/antiport rules and membrane creation
|
INFORMATION AND COMPUTATION |
| Artículo | 2020 |
Cell-like P systems with polarizations and minimal rules
|
THEORETICAL COMPUTER SCIENCE |
| Artículo | 2020 |
Dendrite P systems
|
NEURAL NETWORKS |
| Artículo | 2020 |
From NP-completeness to DP-completeness: a membrane computing perspective
|
COMPLEXITY |
| Artículo | 2020 |
Hecatonquiros: Open-source hardware for aerial manipulation applications
|
INTERNATIONAL JOURNAL OF ADVANCED ROBOTIC SYSTEMS |
| Artículo | 2020 |
Membrane creation in polarizationless P systems with active membranes
|
FUNDAMENTA INFORMATICAE |
| Artículo | 2020 |
Nonlinear Spiking Neural P Systems
|
International Journal of Neural Systems |
| Artículo | 2020 |
P systems with symport/antiport rules: when do the surroundings matter?
|
THEORETICAL COMPUTER SCIENCE |
| Editorial | 2020 |
Preface of the special issue for Gheorghe Pǎun’s 70th anniversary
|
Journal of Membrane Computing |
| Artículo | 2020 |
Spiking neural P systems with inhibitory rules
|
KNOWLEDGE-BASED SYSTEMS |
| Artículo | 2020 |
When object production tunes the efficiency of membrane systems
|
THEORETICAL COMPUTER SCIENCE |
| Ponencia | 2019 |
A new perspective on computational complexity theory in Membrane Computing
|
BWMC 2019: Seventeenth Brainstorming Week on Membrane Computing (2019) |
| Artículo | 2019 |
A path to computational efficiency through membrane computing
|
THEORETICAL COMPUTER SCIENCE |
| Ponencia | 2019 |
A syntax for semantics in P-Lingua
|
BWMC 2019: Seventeenth Brainstorming Week on Membrane Computing (2019) |
| Artículo | 2019 |
Adjacent Graph Based Vulnerability Assessment for Electrical Networks Considering Fault Adjacent Relationships Among Branches
|
IEEE ACCESS |
| Ponencia | 2019 |
An apparently innocent problem in Membrane Computing
|
BWMC 2019: Seventeenth Brainstorming Week on Membrane Computing (2019) |
| Artículo | 2019 |
An interactive timeline of simulators in membrane computing
|
Journal of Membrane Computing |
| Editorial | 2019 |
Bio-Inspired Computing: Theories and Applications (BIC-TA 2017) Preface
|
FUNDAMENTA INFORMATICAE |
| Artículo | 2019 |
Cascading Failures Analysis Considering Extreme Virus Propagation of Cyber-Physical Systems in Smart Grids
|
COMPLEXITY |
| Ponencia | 2019 |
Design of Specific P Systems Simulators on GPUs
|
Lecture Notes in Computer Science |
| Artículo | 2019 |
Dynamic threshold neural P systems
|
KNOWLEDGE-BASED SYSTEMS |
| Artículo | 2019 |
Interval-valued fuzzy spiking neural P systems for fault diagnosis of power transmission networks
|
ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE |
| Artículo | 2019 |
Minimal cooperation as a way to achieve the efficiency in cell-like membrane systems
|
Journal of Membrane Computing |
| Artículo | 2019 |
Modeling Fault Propagation Paths in Power Systems: A New Framework Based on Event SNP Systems With Neurotransmitter Concentration
|
IEEE ACCESS |
| Ponencia | 2019 |
New applications for an old tool
|
BWMC 2019: Seventeenth Brainstorming Week on Membrane Computing (2019) |
| Artículo | 2019 |
P systems with proteins: a new frontier when membrane division disappears
|
Journal of Membrane Computing |
| Ponencia | 2019 |
P Systems: from Anti-Matter to Anti-Rules
|
BWMC 2019: Seventeenth Brainstorming Week on Membrane Computing (2019) |
| Artículo | 2019 |
P-Lingua in two steps: flexibility and efficiency
|
Journal of Membrane Computing |
| Capítulo | 2019 |
Results on computational complexity in bio-inspired computing
|
Bio-Inspired Computing Models and Algorithms |
| Artículo | 2019 |
Solving the 0-1 Knapsack Problem by Using Tissue P System With Cell Division
|
IEEE ACCESS |
| Artículo | 2018 |
Application of Neural-Like P Systems With State Values for Power Coordination of Photovoltaic/Battery Microgrids
|
IEEE ACCESS |
| Ponencia | 2018 |
Counting membrane systems
|
Lecture Notes in Computer Science |
| Artículo | 2018 |
Fault Diagnosis of Power Systems Using Intuitionistic Fuzzy Spiking Neural P Systems
|
IEEE TRANSACTIONS ON SMART GRID |
| Artículo | 2018 |
From distribution to replication in cooperative systems with active membranes: A frontier of the efficiency
|
THEORETICAL COMPUTER SCIENCE |
| Otros | 2018 |
Laser Dynamics from a Membrane Computing Perspective
|
Bulletin of the International Membrane Computing Society |
| Ponencia | 2018 |
Limits on P Systems with Proteins and Without Division
|
BWMC 2018: Sixteenth Brainstorming Week on Membrane Computing (2018) |
| Ponencia | 2018 |
Narrowing Frontiers of Efficiency with Evolutional Communication Rules and Cell Separation
|
BWMC 2018: Sixteenth Brainstorming Week on Membrane Computing (2018) |
| Ponencia | 2018 |
On GPU-Oriented P systems
|
PROCEEDINGS 2018 INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING & SIMULATION (HPCS) |
| Artículo | 2018 |
P Systems-Based Computing Polynomials With Integer Coefficients: Design and Formal Verification
|
IEEE Transactions on NanoBioscience |
| Ponencia | 2018 |
Robot Path Planning using Rapidly-Exploring Random Trees: A Membrane Computing Approach
|
2018 7TH INTERNATIONAL CONFERENCE ON COMPUTERS COMMUNICATIONS AND CONTROL (ICCCC 2018) |
| Artículo | 2018 |
Simulation of Rapidly-Exploring Random Trees in Membrane Computing with P-Lingua and Automatic Programming
|
INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL |
| Artículo | 2018 |
The Computational Complexity of Tissue P Systems with Evolutional Symport/Antiport Rules
|
COMPLEXITY |
| Artículo | 2018 |
The role of integral membrane proteins in computational complexity theory
|
INTERNATIONAL JOURNAL OF ADVANCES IN ENGINEERING SCIENCES AND APPLIED MATHEMATICS |
| Artículo | 2018 |
The Unique Satisfiability Problem from a Membrane Computing Perspective
|
ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY |
| Artículo | 2017 |
A Simulation Software Tool for Cell-like Spiking Neural P Systems
|
ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY |
| Artículo | 2017 |
An efficient time-free solution to QSAT problem using Psystems with proteins on membranes
|
INFORMATION AND COMPUTATION |
| Artículo | 2017 |
Computational Efficiency of Minimal Cooperation and Distribution in Polarizationless P Systems with Active Membranes
|
FUNDAMENTA INFORMATICAE |
| Artículo | 2017 |
Cooperation in Transport of Chemical Substances: A Complexity Approach within Membrane Computing
|
FUNDAMENTA INFORMATICAE |
| Artículo | 2017 |
Data Modeling with Membrane Systems: Applications to Real Ecosystems
|
REAL-LIFE APPLICATIONS WITH MEMBRANE COMPUTING |
| Artículo | 2017 |
Electric Power System Fault Diagnosis with Membrane Systems
|
REAL-LIFE APPLICATIONS WITH MEMBRANE COMPUTING |
| Artículo | 2017 |
Engineering Optimization with Membrane Algorithms
|
REAL-LIFE APPLICATIONS WITH MEMBRANE COMPUTING |
| Artículo | 2017 |
Evolutionary response of a native butterfly to concurrent plant invasions: Simulation of population dynamics
|
ECOLOGICAL MODELLING |
| Ponencia | 2017 |
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 |
| Ponencia | 2017 |
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ículo | 2017 |
Fault diagnosis of power systems using fuzzy tissue-like P systems
|
INTEGRATED COMPUTER-AIDED ENGINEERING |
| Artículo | 2017 |
Fundamentals of Evolutionary Computation
|
REAL-LIFE APPLICATIONS WITH MEMBRANE COMPUTING |
| Artículo | 2017 |
Fuzzy reasoning spiking neural P systems revisited: A formalization
|
THEORETICAL COMPUTER SCIENCE |
| Ponencia | 2017 |
Limits on Efficient Computation in P Systems with Symport/Antiport Rules
|
BWMC 2017: 15th Brainstorming Week on Membrane Computing (2017) |
| Artículo | 2017 |
Membrane Algorithms
|
REAL-LIFE APPLICATIONS WITH MEMBRANE COMPUTING |
| Artículo | 2017 |
Membrane Computing - Key Concepts and Definitions
|
REAL-LIFE APPLICATIONS WITH MEMBRANE COMPUTING |
| Artículo | 2017 |
Multiobjective fuzzy clustering approach based on tissue-like membrane systems
|
KNOWLEDGE-BASED SYSTEMS |
| Artículo | 2017 |
Reaching efficiency through collaboration in membrane systems: Dissolution, polarization and cooperation
|
THEORETICAL COMPUTER SCIENCE |
| Libro | 2017 |
Real-Life Applications with Membrane Computing
|
REAL-LIFE APPLICATIONS WITH MEMBRANE COMPUTING |
| Editorial | 2017 |
Real-life Applications with Membrane Computing Preface
|
REAL-LIFE APPLICATIONS WITH MEMBRANE COMPUTING |
| Ponencia | 2017 |
Restricted Polarizationless P Systems with Active Membranes: Minimal Cooperation Only Inwards
|
BWMC 2017: 15th Brainstorming Week on Membrane Computing (2017) |
| Ponencia | 2017 |
Restricted Polarizationless P Systems with Active Membranes: Minimal Cooperation Only Outwards
|
BWMC 2017: 15th Brainstorming Week on Membrane Computing (2017) |
| Artículo | 2017 |
Robot Control with Membrane Systems
|
REAL-LIFE APPLICATIONS WITH MEMBRANE COMPUTING |
| Ponencia | 2017 |
Sparse-matrix Representation of Spiking Neural P Systems for GPUs
|
BWMC 2017: 15th Brainstorming Week on Membrane Computing (2017) |
| Artículo | 2016 |
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ículo | 2016 |
An efficient time-free solution to SAT problem by P systems with proteins on membranes
|
JOURNAL OF COMPUTER AND SYSTEM SCIENCES |
| Artículo | 2016 |
An Extended Membrane System with Active Membranes to Solve Automatic Fuzzy Clustering Problems
|
International Journal of Neural Systems |
| Artículo | 2016 |
Cell-Like P Systems With Channel States and Symport/Antiport Rules
|
IEEE Transactions on NanoBioscience |
| Artículo | 2016 |
Computing with viruses
|
THEORETICAL COMPUTER SCIENCE |
| Artículo | 2016 |
Membrane fission: A computational complexity perspective
|
COMPLEXITY |
| Ponencia | 2016 |
Minimal cooperation in polarizationless P systems with active membranes
|
Fourteenth Brainstorming Week on Membrane Computing |
| Artículo | 2016 |
Notes on spiking neural P systems and finite automata
|
NATURAL COMPUTING |
| Artículo | 2016 |
P systems based computing polynomials: design and formal verification
|
NATURAL COMPUTING |
| Artículo | 2016 |
Parallel simulation of Population Dynamics P systems: updates and roadmap
|
NATURAL COMPUTING |
| Editorial | 2016 |
Part 1: Special Issue: Advances in Membrane Computing Preface
|
NATURAL COMPUTING |
| Artículo | 2016 |
Polarizationless P systems with active membranes: Computational complexity aspects
|
Journal Of Automata, Languages And Combinatorics |
| Artículo | 2016 |
Sequential spiking neural P systems with structural plasticity based on max/min spike number
|
NEURAL COMPUTING & APPLICATIONS |
| Artículo | 2016 |
Temporal fuzzy reasoning spiking neural P systems with real numbers for power system fault diagnosis
|
JOURNAL OF COMPUTATIONAL AND THEORETICAL NANOSCIENCE |
| Artículo | 2016 |
Tissue P Systems With Channel States Working in the Flat Maximally Parallel Way
|
IEEE Transactions on NanoBioscience |
| Artículo | 2016 |
Tissue P Systems with Protein on Cells
|
FUNDAMENTA INFORMATICAE |
| Artículo | 2015 |
A P-Lingua Based Simulator for P Systems with Symport/Antiport Rules
|
FUNDAMENTA INFORMATICAE |
| Editorial | 2015 |
A Special Issue on Bio-Inspired Computing: Theories and Applications
|
JOURNAL OF COMPUTATIONAL AND THEORETICAL NANOSCIENCE |
| Artículo | 2015 |
An automatic clustering algorithm inspired by membrane computing
|
Pattern Recognition Letters |
| Artículo | 2015 |
An Optimal Frontier of the Efficiency of Tissue P Systems with Cell Separation
|
FUNDAMENTA INFORMATICAE |
| Artículo | 2015 |
An unsupervised learning algorithm for membrane computing
|
INFORMATION SCIENCES |
| Ponencia | 2015 |
Asynchronous spiking neural p systems with structural plasticity
|
Lecture Notes in Computer Science |
| Artículo | 2015 |
Computational efficiency and universality of timed P systems with membrane creation
|
SOFT COMPUTING |
| Ponencia | 2015 |
Computational Efficiency of P Systems with Symport/Antiport Rules and Membrane Separation
|
Thirteenth Brainstorming Week on Membrane Computing |
| Ponencia | 2015 |
Computing Partial Recursive Functions by Virus Machines
|
MEMBRANE COMPUTING (CMC 2015) |
| Artículo | 2015 |
Decision tree models induced by membrane systems
|
ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY |
| Artículo | 2015 |
Efficient solutions to hard computational problems by P systems with symport/antiport rules and membrane division
|
BIOSYSTEMS |
| Artículo | 2015 |
Extending Simulation of Asynchronous Spiking Neural P Systems in P-Lingua
|
FUNDAMENTA INFORMATICAE |
| Artículo | 2015 |
Fault Diagnosis of Electric Power Systems Based on Fuzzy Reasoning Spiking Neural P Systems
|
IEEE TRANSACTIONS ON POWER SYSTEMS |
| Artículo | 2015 |
Fault Diagnosis of Metro Traction Power Systems Using A Modified Fuzzy Reasoning Spiking Neural P System
|
ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY |
| Artículo | 2015 |
Fault Section Estimation of Power Systems with Optimization Spiking Neural P Systems
|
ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY |
| Artículo | 2015 |
Fuzzy Membrane Computing: Theory and Applications
|
INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL |
| Ponencia | 2015 |
Generating Diophantine Sets by Virus Machines
|
BIO-INSPIRED COMPUTING - THEORIES AND APPLICATIONS, BIC-TA 2015 |
| Artículo | 2015 |
Membrane clustering algorithm with hybrid evolutionary mechanisms
|
Ruan Jian Xue Bao/Journal of Software |
| Artículo | 2015 |
Membrane fission versus cell division: When membrane proliferation is not enough
|
THEORETICAL COMPUTER SCIENCE |
| Ponencia | 2015 |
Minimal Cooperation in P Systems with Symport/Antiport: A Complexity Approach
|
Thirteenth Brainstorming Week on Membrane Computing |
| Ponencia | 2015 |
Notes on Spiking Neural P Systems and Finite Automata
|
Thirteenth Brainstorming Week on Membrane Computing |
| Artículo | 2015 |
Optimal multi-level thresholding with membrane computing
|
DIGITAL SIGNAL PROCESSING |
| Ponencia | 2015 |
Parallel Simulation of PDP Systems: Updates and Roadmap
|
Thirteenth Brainstorming Week on Membrane Computing |
| Editorial | 2015 |
Preface
|
FUNDAMENTA INFORMATICAE |
| Ponencia | 2015 |
Simulating FRSN P Systems with Real Numbers in P-Lingua on sequential and CUDA platforms
|
MEMBRANE COMPUTING (CMC 2015) |
| Artículo | 2015 |
Simulating P Systems on GPU Devices: A Survey
|
FUNDAMENTA INFORMATICAE |
| Artículo | 2015 |
Spiking neural P systems with structural plasticity
|
NEURAL COMPUTING & APPLICATIONS |
| Artículo | 2015 |
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 |
| Ponencia | 2014 |
A Bioinspired Computing Approach to Model Complex Systems
|
MEMBRANE COMPUTING (CMC 2014) |
| Artículo | 2014 |
A P-Lingua based simulator for tissue P systems with cell separation
|
ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY |
| Ponencia | 2014 |
Accelerated Simulation of P Systems on the GPU: A Survey
|
BIO-INSPIRED COMPUTING - THEORIES AND APPLICATIONS, BIC-TA 2014 |
| Artículo | 2014 |
AN OPTIMIZATION SPIKING NEURAL P SYSTEM FOR APPROXIMATELY SOLVING COMBINATORIAL OPTIMIZATION PROBLEMS
|
International Journal of Neural Systems |
| Artículo | 2014 |
Application of Fuzzy Reasoning Spiking Neural P Systems to Fault Diagnosis
|
INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL |
| Ponencia | 2014 |
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 |
| Libro | 2014 |
Applications of membrane computing in systems and synthetic biology
|
APPLICATIONS OF MEMBRANE COMPUTING IN SYSTEMS AND SYNTHETIC BIOLOGY |
| Editorial | 2014 |
Applications of Membrane Computing in Systems and Synthetic Biology Preface
|
APPLICATIONS OF MEMBRANE COMPUTING IN SYSTEMS AND SYNTHETIC BIOLOGY |
| Artículo | 2014 |
Automatic design of deterministic and non-halting membrane systems by tuning syntactical ingredients
|
IEEE Transactions on NanoBioscience |
| Ponencia | 2014 |
Computational Efficiency and Universality of Timed P Systems with Membrane Creation
|
BIO-INSPIRED COMPUTING - THEORIES AND APPLICATIONS, BIC-TA 2014 |
| Artículo | 2014 |
Evolutionary membrane computing: A comprehensive survey and new results
|
INFORMATION SCIENCES |
| Ponencia | 2014 |
Extending SNP Systems Asynchronous Simulation Modes in P-Lingua
|
Twelfth Brainstorming Week on Membrane Computing |
| Ponencia | 2014 |
Fault Diagnosis Models for Electric Locomotive Systems Based on Fuzzy Reasoning Spiking Neural P Systems
|
MEMBRANE COMPUTING (CMC 2014) |
| Ponencia | 2014 |
Membrane Clustering: A Novel Clustering Algorithm under Membrane Computing
|
Twelfth Brainstorming Week on Membrane Computing |
| Capítulo | 2014 |
Membrane System-Based Models for Specifying Dynamical Population Systems
|
APPLICATIONS OF MEMBRANE COMPUTING IN SYSTEMS AND SYNTHETIC BIOLOGY |
| Editorial | 2014 |
Preface
|
Communications in Computer and Information Science |
| Ponencia | 2014 |
Probabilistic Guarded P Systems, A Formal De nition
|
Twelfth Brainstorming Week on Membrane Computing |
| Ponencia | 2014 |
Probabilistic Guarded P Systems, A Formal Definition
|
Twelfth Brainstorming Week on Membrane Computing Sevilla, February 3-7, 2014: RGNC REPORT 1/2014 |
| Ponencia | 2014 |
Probabilistic guarded P systems, a new formal modelling framework
|
MEMBRANE COMPUTING (CMC 2014) |
| Artículo | 2014 |
Small universal simple spiking neural P systems with weights
|
SCIENCE CHINA-INFORMATION SCIENCES |
| Artículo | 2014 |
The framework of P systems applied to solve optimal watermarking problem
|
SIGNAL PROCESSING |
| Artículo | 2014 |
The P versus NP Problem from the Membrane Computing View
|
EUROPEAN REVIEW |
| Ponencia | 2014 |
The Reduction Problem in CUDA and Its Simulation with P Systems
|
Twelfth Brainstorming Week on Membrane Computing |
| Ponencia | 2014 |
The relevance of the environment on the efficiency of tissue p systems
|
Lecture Notes in Computer Science |
| Artículo | 2014 |
The Role of the Direction in Tissue P Systems with Cell Separation
|
Journal Of Automata, Languages And Combinatorics |
| Artículo | 2014 |
Time-free solution to SAT problem using P systems with active membranes
|
THEORETICAL COMPUTER SCIENCE |
| Artículo | 2013 |
3-Col problem modelling using simple kernel P systems
|
INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS |
| Artículo | 2013 |
A novel image thresholding method based on membrane computing and fuzzy entropy
|
Journal of Intelligent & Fuzzy Systems |
| Artículo | 2013 |
A polynomial alternative to unbounded environment for tissue P systems with cell division
|
INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS |
| Ponencia | 2013 |
Analysing Gene Networks with PDP Systems. Arabidopsis thaliana, a Case Study
|
Eleventh Brainstorming Week on Membrane Computing |
| Artículo | 2013 |
Bridging Membrane and Reaction Systems - Further Results and Research Topics
|
FUNDAMENTA INFORMATICAE |
| Artículo | 2013 |
Characterizing the Parallel Simulation of P Systems on the GPU
|
INTERNATIONAL JOURNAL OF UNCONVENTIONAL COMPUTING |
| Editorial | 2013 |
Foreword
|
INTERNATIONAL JOURNAL OF UNCONVENTIONAL COMPUTING |
| Artículo | 2013 |
Fuzzy reasoning spiking neural P system for fault diagnosis
|
INFORMATION SCIENCES |
| Ponencia | 2013 |
Implementing Enzymatic Numerical P Systems for AI Applications by Means of Graphic Processing Units
|
BEYOND ARTIFICIAL INTELLIGENCE: CONTEMPLATIONS, EXPECTATIONS, APPLICATIONS |
| Ponencia | 2013 |
Kernel P Systems - Version 1
|
Eleventh Brainstorming Week on Membrane Computing |
| Artículo | 2013 |
Kernel P systems: Applications and Implementations
|
Advances in Intelligent Systems and Computing |
| Capítulo | 2013 |
Linear Time Solution to Prime Factorization by Tissue P Systems with Cell Division
|
Natural Computing for Simulation and Knowledge Discovery |
| Capítulo | 2013 |
Local Search with P Systems: A Case Study
|
Natural Computing for Simulation and Knowledge Discovery |
| Artículo | 2013 |
Modeling logic gene networks by means of probabilistic dynamic P systems
|
INTERNATIONAL JOURNAL OF UNCONVENTIONAL COMPUTING |
| Artículo | 2013 |
Population Dynamics P System (PDP) Models: A Standardized Protocol for Describing and Applying Novel Bio-Inspired Computing Tools
|
PLOS ONE |
| Artículo | 2013 |
RESEARCH FRONTIERS OF MEMBRANE COMPUTING: OPEN PROBLEMS AND RESEARCH TOPICS
|
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE |
| Ponencia | 2013 |
Simulating a Family of Tissue P Systems Solving SAT on the GPU
|
Eleventh Brainstorming Week on Membrane Computing |
| Editorial | 2013 |
Special Issue Membrane Computing Foreword
|
INTERNATIONAL JOURNAL OF UNCONVENTIONAL COMPUTING |
| Editorial | 2013 |
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ículo | 2013 |
Weighted Fuzzy Spiking Neural P Systems
|
IEEE TRANSACTIONS ON FUZZY SYSTEMS |
| Ponencia | 2012 |
A P-lingua based simulator for spiking neural P systems
|
Lecture Notes in Computer Science |
| Artículo | 2012 |
An infinite hierarchy of languages defined by dP systems
|
THEORETICAL COMPUTER SCIENCE |
| Ponencia | 2012 |
An Optimal Frontier of the Efficiency of Tissue P Systems with Cell Division
|
Tenth Brainstorming Week on Membrane Computing |
| Artículo | 2012 |
Comparing simulation algorithms for multienvironment probabilistic P systems over a standard virtual ecosystem
|
NATURAL COMPUTING |
| Ponencia | 2012 |
DCBA: Simulating population dynamics P systems with proportional object distribution
|
Lecture Notes in Computer Science |
| Ponencia | 2012 |
DP automata versus right-linear simple matrix grammars
|
Lecture Notes in Computer Science |
| Ponencia | 2012 |
Formal verification of p systems with active membranes through model checking
|
Lecture Notes in Computer Science |
| Ponencia | 2012 |
Frontiers of Membrane Computing: Open Problems and Research Topics
|
Tenth Brainstorming Week on Membrane Computing |
| Ponencia | 2012 |
Heterotic computing examples with optics, bacteria, and chemicals
|
Lecture Notes in Computer Science |
| Ponencia | 2012 |
Image Thresholding with Cell-like P Systems
|
Tenth Brainstorming Week on Membrane Computing |
| Artículo | 2012 |
Improving GPU Simulations of Spiking Neural P Systems
|
ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY |
| Ponencia | 2012 |
Improving the Efficiency of Tissue P Systems with Cell Separation
|
Tenth Brainstorming Week on Membrane Computing |
| Artículo | 2012 |
Languages and P Systems: Recent Developments
|
Computer science journal of Moldova |
| Artículo | 2012 |
P automata revisited
|
THEORETICAL COMPUTER SCIENCE |
| Ponencia | 2012 |
Parallel Simulation of Probabilistic P Systems on Multicore Platforms
|
Tenth Brainstorming Week on Membrane Computing |
| Ponencia | 2012 |
Population dynamics P systems on CUDA
|
Lecture Notes in Computer Science |
| Ponencia | 2012 |
Simulating Large-Scale ENPS Models by Means of GPU
|
Tenth Brainstorming Week on Membrane Computing |
| Artículo | 2012 |
Solving Common Algorithmic Problem by Recognizer Tissue P Systems
|
ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY |
| Ponencia | 2012 |
Spiking neural P systems with functional astrocytes
|
Lecture Notes in Computer Science |
| Ponencia | 2012 |
The efficiency of tissue P systems with cell separation relies on the environment
|
Lecture Notes in Computer Science |
| Artículo | 2012 |
The GPU on the simulation of cellular computing models
|
SOFT COMPUTING |
| Ponencia | 2012 |
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, |
| Ponencia | 2012 |
The Role of the Environment in Tissue P Systems with Cell Division ?
|
Tenth Brainstorming Week on Membrane Computing |
| Ponencia | 2012 |
Towards an Integrated Approach for Model Simulation, Property Extraction and Veri cation of P Systems
|
Tenth Brainstorming Week on Membrane Computing |
| Artículo | 2012 |
Towards bridging two cell-inspired models: P systems and R systems
|
THEORETICAL COMPUTER SCIENCE |
| Artículo | 2011 |
A bio-inspired computing model as a new tool for modeling ecosystems: The avian scavengers as a case study
|
ECOLOGICAL MODELLING |
| Artículo | 2011 |
A computational modeling for real ecosystems based on P systems
|
NATURAL COMPUTING |
| Artículo | 2011 |
A SIMULATION ALGORITHM FOR MULTIENVIRONMENT PROBABILISTIC P SYSTEMS: A FORMAL VERIFICATION
|
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE |
| Artículo | 2011 |
A Tissue P Systems Based Uniform Solution to Tripartite Matching Problem
|
FUNDAMENTA INFORMATICAE |
| Ponencia | 2011 |
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ículo | 2011 |
COMPUTATION OF RAMSEY NUMBERS BY P SYSTEMS WITH ACTIVE MEMBRANES
|
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE |
| Ponencia | 2011 |
dP Automata versus Right-Linear Simple Matrix Grammars
|
Ninth Brainstorming Week On Membrane Computing |
| Ponencia | 2011 |
Implementing Local Search with Membrane Computing
|
Ninth Brainstorming Week On Membrane Computing |
| Artículo | 2011 |
Linear time solution to prime factorization by tissue P systems with cell division
|
International Journal of Natural Computing Research |
| Artículo | 2011 |
Local Search with P Systems
|
International Journal of Natural Computing Research |
| Artículo | 2011 |
Looking for Small Efficient P Systems
|
FUNDAMENTA INFORMATICAE |
| Ponencia | 2011 |
Membrane computing (tutorial)
|
Lecture Notes in Computer Science |
| Artículo | 2011 |
ON A PARTIAL AFFIRMATIVE ANSWER FOR A PAUN'S CONJECTURE
|
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE |
| Artículo | 2011 |
P and dP Automata: a survey
|
RAINBOW OF COMPUTER SCIENCE |
| Editorial | 2011 |
SPECIAL ISSUE NATURAL COMPUTING: THEORY AND APPLICATIONS PREFACE
|
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE |
| Artículo | 2011 |
Spiking Neural dP Systems
|
FUNDAMENTA INFORMATICAE |
| Ponencia | 2011 |
Spiking neural P system simulations on a high performance GPU platform
|
ALGORITHMS AND ARCHITECTURES FOR PARALLEL PROCESSING, PT II |
| Artículo | 2011 |
Spiking neural P systems with neuron division and budding
|
SCIENCE CHINA-INFORMATION SCIENCES |
| Artículo | 2011 |
Spiking Neural P Systems with Several Types of Spikes
|
INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL |
| Artículo | 2011 |
The Spanish Network on Biomolecular and Biocellular Computing: Bio-inspired Natural Computing in Spain
|
ERCIM NEWS |
| Ponencia | 2011 |
Towards Bridging Two Cell-Inspired Models: P Systems and R Systems
|
Ninth Brainstorming Week On Membrane Computing |
| Ponencia | 2010 |
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ículo | 2010 |
A Linear Time Solution to the Partition Problem in a Cellular Tissue-Like Model
|
JOURNAL OF COMPUTATIONAL AND THEORETICAL NANOSCIENCE |
| Artículo | 2010 |
A New Characterization of NP, P, and PSPACE with Accepting Hybrid Networks of Evolutionary Processors
|
THEORY OF COMPUTING SYSTEMS |
| Ponencia | 2010 |
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 |
| Ponencia | 2010 |
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ículo | 2010 |
A P-Lingua based simulator for tissue P systems
|
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING |
| Ponencia | 2010 |
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 |
| Ponencia | 2010 |
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 |
| Ponencia | 2010 |
Array Tissue-like P Systems
|
Eighth Brainstorming Week on Membrane Computing |
| Ponencia | 2010 |
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ículo | 2010 |
Computational complexity of tissue-like P systems
|
JOURNAL OF COMPLEXITY |
| Ponencia | 2010 |
Depth-First Search with P Systems
|
Membrane computing: 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised selected papers |
| Ponencia | 2010 |
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 |
| Ponencia | 2010 |
Matrix representation of spiking neural P systems
|
Membrane computing: 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised selected papers |
| Ponencia | 2010 |
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 |
| Editorial | 2010 |
Membrane computing and programming
|
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING |
| Ponencia | 2010 |
Membrane Computing Meets Artificial Intelligence: A Case Study
|
Eighth Brainstorming Week on Membrane Computing |
| Libro | 2010 |
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 |
| Editorial | 2010 |
Membrane computing: Preface
|
Lecture Notes in Computer Science |
| Ponencia | 2010 |
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ículo | 2010 |
On Communication Complexity in Evolution-Communication P Systems
|
ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY |
| Artículo | 2010 |
On spiking neural P systems
|
NATURAL COMPUTING |
| Editorial | 2010 |
Preface
|
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE |
| Ponencia | 2010 |
Razonando sobre soluciones mecánicas, inductivas y cualitativas
|
Estudios de Lógica, Lenguaje y Epistemología |
| Ponencia | 2010 |
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ículo | 2010 |
Simulating a P system based efficient solution to SAT by using GPUs
|
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING |
| Ponencia | 2010 |
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ículo | 2010 |
Simulation of P systems with active membranes on CUDA
|
BRIEFINGS IN BIOINFORMATICS |
| Artículo | 2010 |
Solving Problems in a Distributed Way in Membrane Computing: dP Systems
|
INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL |
| Editorial | 2010 |
Special issue on membrane computing eighth: brainstorming week on membrane computing
|
ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY |
| Artículo | 2010 |
Spiking Neural P Systems with Weights
|
NEURAL COMPUTATION |
| Artículo | 2010 |
Thresholding 2D images with cell-like P systems
|
ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY |
| Ponencia | 2010 |
Tissue-like P Systems without Environment
|
Eighth Brainstorming Week on Membrane Computing |
| Artículo | 2009 |
A Computational Complexity Theory in Membrane Computing
|
Tenth Workshop on Membrane Computing |
| Artículo | 2009 |
A P System Based Model of an Ecosystem of Some Scavenger Birds
|
Tenth Workshop on Membrane Computing |
| Ponencia | 2009 |
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ículo | 2009 |
An approach to Ballistic deposition based on membrane computing
|
INTERNATIONAL JOURNAL OF UNCONVENTIONAL COMPUTING |
| Ponencia | 2009 |
Cell-like Versus Tissue-like P Systems by Means of Sevilla Carpets
|
Seventh Brainstorming Week on Membrane Computing |
| Ponencia | 2009 |
Characterizing the aperiodicity of irreducible Markow chains by using P systems
|
Seventh Brainstorming Week on Membrane Computing |
| Ponencia | 2009 |
Characterizing Tractability by Tissue-Like P Systems
|
Seventh Brainstorming Week on Membrane Computing |
| Ponencia | 2009 |
Characterizing Tractability by Tissue-Like P Systems
|
Tenth Workshop on Membrane Computing |
| Artículo | 2009 |
Complexity aspects of polarizationless membrane systems
|
NATURAL COMPUTING |
| Ponencia | 2009 |
Computing Backwards with P Systems
|
Seventh Brainstorming Week on Membrane Computing |
| Ponencia | 2009 |
Descriptional Complexity of Tissue-Like P Systems with Cell Division
|
UNCONVENTIONAL COMPUTATION, PROCEEDINGS |
| Ponencia | 2009 |
Efficiency of Tissue P Systems with Cell Separation
|
Seventh Brainstorming Week on Membrane Computing |
| Artículo | 2009 |
Efficient computation in rational-valued P systems
|
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE |
| Artículo | 2009 |
Efficient simulation of tissue-like P systems by transition cell-like P systems
|
NATURAL COMPUTING |
| Ponencia | 2009 |
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 |
| Ponencia | 2009 |
Membrane Computing Schema: A New Approach to Computation Using String Insertions
|
ALGORITHMIC BIOPROCESSES |
| Ponencia | 2009 |
Membrane Dissolution and Division in P
|
UNCONVENTIONAL COMPUTATION, PROCEEDINGS |
| Ponencia | 2009 |
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ículo | 2009 |
On the Efficiency of Cell-Like and Tissue-Like Recognizing Membrane Systems
|
INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS |
| Ponencia | 2009 |
P System Based Model of an Ecosystem of the Scavenger Birds
|
Seventh Brainstorming Week on Membrane Computing |
| Ponencia | 2009 |
P-Lingua 2.0: New Features and First Applications
|
Seventh Brainstorming Week on Membrane Computing |
| Ponencia | 2009 |
Searching Previous Configurations in Membrane Computing
|
Tenth Workshop on Membrane Computing |
| Artículo | 2009 |
Simulating Active Membrane Systems Using GPUs
|
Tenth Workshop on Membrane Computing |
| Ponencia | 2009 |
Simulation of P Systems with Active Membranes on CUDA
|
2009 INTERNATIONAL WORKSHOP ON HIGH PERFORMANCE COMPUTATIONAL SYSTEMS BIOLOGY, PROCEEDINGS |
| Ponencia | 2009 |
Simulation of Recognizer P Systems by Using Manycore GPUs
|
Seventh Brainstorming Week on Membrane Computing |
| Ponencia | 2009 |
Solving the Independent Set Problem by Using Tissue-Like P Systems with Cell Division
|
METHODS AND MODELS IN ARTIFICIAL AND NATURAL COMPUTATION, PT I |
| Ponencia | 2009 |
Solving the N-Queens Puzzle with P Systems
|
Seventh Brainstorming Week on Membrane Computing |
| Editorial | 2009 |
SPECIAL ISSUE Membrane Computing Fifth Brainstorming Week on Membrane Computing (BWMC5) Foreword
|
INTERNATIONAL JOURNAL OF UNCONVENTIONAL COMPUTING |
| Ponencia | 2009 |
Spiking Neural P Systems with Neuron Division and Budding
|
Seventh Brainstorming Week on Membrane Computing |
| Ponencia | 2009 |
Spiking Neural P Systems. Recent Results, Research Topics
|
ALGORITHMIC BIOPROCESSES |
| Libro | 2009 |
Tenth Workshop on Membrane Computing
|
Tenth Workshop on Membrane Computing |
| Artículo | 2009 |
Uniform solutions to SAT and Subset Sum by spiking neural P systems
|
NATURAL COMPUTING |
| Ponencia | 2008 |
A Fast Solution to the Partition Problem by Using Tissue-Like P Systems
|
2008 THIRD INTERNATIONAL CONFERENCE ON BIO-INSPIRED COMPUTING: THEORIES AND APPLICATIONS |
| Ponencia | 2008 |
A First Model for Hebbian Learning with Spiking Neural P Systems
|
Sixth Brainstorming Week on Membrane Computing |
| Artículo | 2008 |
A model of the quorum sensing system in vibrio fischeri using p systems
|
ARTIFICIAL LIFE |
| Ponencia | 2008 |
A P System Modeling an Ecosystem RElated to the Bearded Vulture
|
Sixth Brainstorming Week on Membrane Computing |
| Artículo | 2008 |
A software tool for verification of Spiking Neural P Systems
|
NATURAL COMPUTING |
| Artículo | 2008 |
A uniform family of tissue P systems with cell division solving 3-COL in a linear time
|
THEORETICAL COMPUTER SCIENCE |
| Artículo | 2008 |
Computational Efficiency of Cellular Division in Tissue-like Membrane Systems
|
ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY |
| Artículo | 2008 |
Editing configurations of P systems
|
FUNDAMENTA INFORMATICAE |
| Ponencia | 2008 |
Graphics and P Systems: Experiments with JPLANT
|
Sixth Brainstorming Week on Membrane Computing |
| Artículo | 2008 |
HIERARCHICAL CLUSTERING WITH MEMBRANE COMPUTING
|
COMPUTING AND INFORMATICS |
| Artículo | 2008 |
Modelling gene expression control using P systems: The Lac Operon, a case study
|
BIOSYSTEMS |
| Ponencia | 2008 |
On the Computational Efficiency of Polarizationless Recognizer P Systems with Strong Division and Disolution
|
Sixth Brainstorming Week on Membrane Computing |
| Artículo | 2008 |
On the Computational Efficiency of Polarizationless Recognizer P Systems with Strong Division and Dissolution
|
FUNDAMENTA INFORMATICAE |
| Ponencia | 2008 |
P-Lingua: A Programming Language for Membrane Computing
|
Sixth Brainstorming Week on Membrane Computing |
| Artículo | 2008 |
Representations and characterizations of languages in chomsky hierarchy by means of insertion-deletion systems
|
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE |
| Ponencia | 2008 |
Solving the Partition Problem By Using Tissue-like P Systems with Cell Division
|
Sixth Brainstorming Week on Membrane Computing |
| Ponencia | 2008 |
Sorting Omega Networks Simulated with P Systems: Optimal Data Layouts
|
Sixth Brainstorming Week on Membrane Computing |
| Editorial | 2008 |
Special issue on membrane computing: Fifth brainstorming week on membrane computing
|
FUNDAMENTA INFORMATICAE |
| Ponencia | 2008 |
Spiking neural P systems with extended rules: Universality and languages
|
NATURAL COMPUTING |
| Capítulo | 2008 |
Spiking neural P systems: An overview
|
Advancing Artificial Intelligence Through Biological Process Applications |
| Artículo | 2008 |
Tissue P systems with cell division
|
INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL |
| Ponencia | 2007 |
A Cellular Solution to Subset Sum Using Division of Non-elementary Membranes and Dissolution, with Time and Initial Resources Bounded by log k
|
WMC 2007: 8th Workshop on Membrane Computing (2007), pp. 301-315. |
| Ponencia | 2007 |
A Linear Solution for Subset Sum Problem with Tissue P Systems with Cell Division
|
Fifth Brainstorming Week on Membrane Computing |
| Artículo | 2007 |
A Linear-time Tissue P System Based Solution for the 3-coloring Problem
|
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE |
| Ponencia | 2007 |
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 |
| Ponencia | 2007 |
A Membrane Computing Model for Ballistic Depositions
|
Fifth Brainstorming Week on Membrane Computing |
| Artículo | 2007 |
A uniform solution to SAT using membrane creation
|
THEORETICAL COMPUTER SCIENCE |
| Artículo | 2007 |
Cellular modelling using P systems and process algebra
|
PROGRESS IN NATURAL SCIENCE-MATERIALS INTERNATIONAL |
| Capítulo | 2007 |
Computationally Hard Problems Addressed Through P Systems
|
Applications of Membrane Computing |
| Artículo | 2007 |
Computing morphisms by spiking neural P systems
|
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE |
| Editorial | 2007 |
Fourth Brainstorming Week on Membrane Computing
|
THEORETICAL COMPUTER SCIENCE |
| Artículo | 2007 |
How to express tumours using membrane systems
|
PROGRESS IN NATURAL SCIENCE-MATERIALS INTERNATIONAL |
| Ponencia | 2007 |
Membrane Computing Schema Based on String Insertions
|
Fifth Brainstorming Week on Membrane Computing |
| Ponencia | 2007 |
On a paun's conjecture in membrane systems
|
BIO-INSPIRED MODELING OF COGNITIVE TASKS, PT 1, PROCEEDINGS |
| Artículo | 2007 |
On string languages generated by spiking neural P systems
|
FUNDAMENTA INFORMATICAE |
| Artículo | 2007 |
On the degree of parallelism in membrane systems
|
THEORETICAL COMPUTER SCIENCE |
| Artículo | 2007 |
P systems with minimal parallelism
|
THEORETICAL COMPUTER SCIENCE |
| Ponencia | 2007 |
Polarizationless P Systems with Active Membranes Working in the Minimally Parallel Manner
|
Fifth Brainstorming Week on Membrane Computing |
| Ponencia | 2007 |
Polarizationless P systems with active membranes working in the minimally parallel mode
|
UNCONVENTIONAL COMPUTATION, PROCEEDINGS |
| Ponencia | 2007 |
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ículo | 2007 |
Simulating FAS-induced apoptosis by using P systems
|
PROGRESS IN NATURAL SCIENCE-MATERIALS INTERNATIONAL |
| Ponencia | 2007 |
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 |
| Ponencia | 2007 |
Solving subset sum in linear time by using tissue P systems with cell division
|
BIO-INSPIRED MODELING OF COGNITIVE TASKS, PT 1, PROCEEDINGS |
| Artículo | 2007 |
Spiking neural p systems: An early survey
|
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE |
| Ponencia | 2007 |
Uniform solution of QSAT using polarizationless active membranes
|
MACHINES, COMPUTATIONS, AND UNIVERSALITY, PROCEEDINGS |
| Ponencia | 2006 |
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 |
| Ponencia | 2006 |
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 |
| Ponencia | 2006 |
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 |
| Ponencia | 2006 |
An Approach to the Degree of Parallelism in P Systems
|
Fourth Brainstormming Week on Membrane Computing |
| Capítulo | 2006 |
Available Membrane Computing Software
|
Natural Computing Series |
| Ponencia | 2006 |
Cell-like and Tissue-like Membrane Systems as Recognizer Devices
|
Workshop on Nature Inspired Cooperative Strategies for Optimization, NICSO 2006, June 29-30, 2006, (2006) |
| Capítulo | 2006 |
CHARACTERIZING TRACTABILITY BY CELL-LIKE MEMBRANE SYSTEMS
|
FORMAL MODELS, LANGUAGES AND APPLICATIONS |
| Ponencia | 2006 |
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ículo | 2006 |
Computational efficiency of dissolution rules in membrane systems
|
INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS |
| Ponencia | 2006 |
Computing with spiking neural P systems: Traces and small universal systems
|
DNA COMPUTING |
| Ponencia | 2006 |
Fractals and P Systems
|
Fourth Brainstormming Week on Membrane Computing |
| Ponencia | 2006 |
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ículo | 2006 |
Handling Markov chains with membrane computing
|
UNCONVENTIONAL COMPUTATION, PROCEEDINGS |
| Artículo | 2006 |
Membrane computing: Brief introduction, recent results and applications
|
BIOSYSTEMS |
| Ponencia | 2006 |
Modeling signal transduction using P systems
|
Membrane computing: 7th International Workshop, WMC 2006, Leiden, Netherlands, July 17-21, 2006, revised, selected, and invited papers |
| Ponencia | 2006 |
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ículo | 2006 |
On simulating a class of parallel architectures
|
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE |
| Ponencia | 2006 |
On String Languages Generated by Spiking Neural P Systems
|
Fourth Brainstormming Week on Membrane Computing |
| Artículo | 2006 |
On the branching complexity of P systems
|
FUNDAMENTA INFORMATICAE |
| Ponencia | 2006 |
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 |
| Ponencia | 2006 |
P systems, a new computational modelling tool for Systems Biology
|
TRANSACTIONS ON COMPUTATIONAL SYSTEMS BIOLOGY VI |
| Ponencia | 2006 |
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 |
| Ponencia | 2006 |
Solving 3-COL with Tissue P Systems
|
Fourth Brainstormming Week on Membrane Computing |
| Editorial | 2006 |
Special issue - Membrane computing - Preface
|
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE |
| Artículo | 2006 |
Spike trains in spiking neural P systems
|
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE |
| Ponencia | 2006 |
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 |
| Ponencia | 2006 |
The Growth of Branching Structures with P Systems
|
Fourth Brainstormming Week on Membrane Computing |
| Ponencia | 2006 |
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 |
| Ponencia | 2006 |
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) |
| Ponencia | 2006 |
Uniform Solution to QSAT Using Polarizationless Active Membranes
|
Fourth Brainstormming Week on Membrane Computing |
| Editorial | 2005 |
"Second brainstorming week on membrane computing" in Sevilla 2004
|
SOFT COMPUTING |
| Artículo | 2005 |
A fast P system for finding a balanced 2-partition
|
SOFT COMPUTING |
| Artículo | 2005 |
A linear solution of subset sum problem by using membrane creation
|
MECHANISMS, SYMBOLS AND MODELS UNDERLYING COGNITION, PT 1, PROCEEDINGS |
| Ponencia | 2005 |
A Simulator for Confluent P Systems
|
Third Brainstorming Week on Membrane Computing |
| Artículo | 2005 |
A study of the robustness of the EGFR signalling cascade using continuous membrane systems
|
MECHANISMS, SYMBOLS AND MODELS UNDERLYING COGNITION, PT 1, PROCEEDINGS |
| Artículo | 2005 |
Accepting hybrid networks of evolutionary processors
|
DNA COMPUTING |
| Ponencia | 2005 |
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ículo | 2005 |
Attacking the common algorithmic problem by recognizer P systems
|
MACHINES, COMPUTATIONS, AND UNIVERSALITY |
| Capítulo | 2005 |
Automated reasoning systems and molecular computing
|
Recent results in natural computing |
| Libro | 2005 |
Cellular Computing (Complexity Aspects)
|
Cellular Computing (Complexity Aspects) |
| Libro | 2005 |
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ítulo | 2005 |
Cellular solutions to some numerical NP-complete problems: A prolog implementation
|
Molecular Computational Models: Unconventional Approaches |
| Ponencia | 2005 |
Characterizing tractability with membrane creation
|
Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Proceedings |
| Capítulo | 2005 |
Computational complexity aspects of membrane computing: Ideas, results, open problems
|
Cellular computing (complexity aspects): ESF PESC exploratory workshop Sevilla, January 31 - February 2, 2005 |
| Ponencia | 2005 |
Computational Complexity Aspects of Membrane Computing: Ideas, results, Open Problems
|
Cellular computing (complexity aspects): ESF PESC exploratory workshop Sevilla, January 31 - February 2, 2005 |
| Ponencia | 2005 |
Editing Configurations of P Systems
|
Third Brainstorming Week on Membrane Computing |
| Ponencia | 2005 |
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ítulo | 2005 |
Formal verifications of programs in molecular models with random access memory
|
Recent results in natural computing |
| Capítulo | 2005 |
Generating pairwise disjoint families through DNA computations
|
Recent results in natural computing |
| Editorial | 2005 |
Lecture Notes in Computer Science: Preface
|
Lecture Notes in Computer Science |
| Editorial | 2005 |
Lecture Notes in Computer Science: Preface
|
Lecture Notes in Computer Science |
| Capítulo | 2005 |
Membrane computing as production systems
|
Recent results in natural computing |
| Libro | 2005 |
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 |
| Ponencia | 2005 |
Multidimensional descriptional complexity of P systems
|
7th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2005 - Proceedings |
| Ponencia | 2005 |
Multidimensional Sevilla carpets Associated with P Systems
|
Cellular computing (complexity aspects): ESF PESC exploratory workshop Sevilla, January 31 - February 2, 2005 |
| Ponencia | 2005 |
On descriptive complexity of P systems
|
Membrane computing: 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, revised selected and invited papers |
| Ponencia | 2005 |
On P systems with bounded parallelism
|
Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Proceedings |
| Capítulo | 2005 |
On the branching complexity of P system
|
Cellular computing (complexity aspects): ESF PESC exploratory workshop Sevilla, January 31 - February 2, 2005 |
| Ponencia | 2005 |
On the Branching Complexity of P Systems
|
Cellular Computing (Complexity Aspects) |
| Ponencia | 2005 |
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 |
| Ponencia | 2005 |
P Systems with active membranes, without polarizations and without dissolution: A characterization of P
|
Lecture Notes in Computer Science |
| Ponencia | 2005 |
P Systems with Membrane Creation and Rule Input
|
Cellular computing (complexity aspects): ESF PESC exploratory workshop Sevilla, January 31 - February 2, 2005 |
| Ponencia | 2005 |
Simulating a Class of Parallel Architectures: A Broader Perspective
|
Cellular computing (complexity aspects): ESF PESC exploratory workshop Sevilla, January 31 - February 2, 2005 |
| Capítulo | 2005 |
Simulating a class of parallel architectures: A broader perspective
|
Cellular computing (complexity aspects): ESF PESC exploratory workshop Sevilla, January 31 - February 2, 2005 |
| Ponencia | 2005 |
Simulating Avascular Tumors With Membrane Systems
|
Third Brainstorming Week on Membrane Computing |
| Artículo | 2005 |
Solving the subset-sum problem by P systems with active membranes
|
NEW GENERATION COMPUTING |
| Artículo | 2005 |
Symport/antiport P systems with three objects are universal
|
FUNDAMENTA INFORMATICAE |
| Artículo | 2005 |
Tissue P systems with channel states
|
THEORETICAL COMPUTER SCIENCE |
| Artículo | 2005 |
Towards a Programming Language in Cellular Computing
|
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE |
| Ponencia | 2005 |
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 |
| Libro | 2005 |
Unconventional Computation 4th International Conference, UC 2005, Sevilla, Spain, October 3-7, Proceedings
|
Unconventional Computation 4th International Conference, UC 2005, Sevilla, Spain, October 3-7, Proceedings |
| Artículo | 2005 |
Using automated reasoning systems on molecular computing
|
DNA COMPUTING |
| Ponencia | 2004 |
A CLIPS Simulator for Recognizer P Systems with Active Membranes
|
Second Brainstorming Week On Membrane Computing |
| Ponencia | 2004 |
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ículo | 2004 |
A prolog simulator for deterministic P systems with active membranes
|
NEW GENERATION COMPUTING |
| Ponencia | 2004 |
An Efficient Cellular Solution for the Partition Problem
|
Second Brainstorming Week On Membrane Computing |
| Artículo | 2004 |
An efficient family of P systems for packing items into bins
|
JOURNAL OF UNIVERSAL COMPUTER SCIENCE |
| Ponencia | 2004 |
Computing partial recursive functions by transition P systems
|
Membrane computing: 4th International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003, revised papers |
| Ponencia | 2004 |
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 |
| Ponencia | 2004 |
Looking for P Truth
|
Second Brainstorming Week On Membrane Computing |
| Libro | 2004 |
Modelos de computación molecular, celular y cuántica
|
Modelos de computación molecular, celular y cuántica |
| Artículo | 2004 |
P systems with tables of rules
|
THEORY IS FOREVER: ESSAYS DEDICATED TO ARTO SALOMAA ON THE OCCASION OF HIS 70TH BIRTHDAY |
| Libro | 2004 |
Recent results in natural computing
|
Recent results in natural computing |
| Editorial | 2004 |
Second brainstorming week on membrane computing - J.UCS special issue
|
JOURNAL OF UNIVERSAL COMPUTER SCIENCE |
| Ponencia | 2004 |
Simulating Shuffle-Exchange Networks with P Systems
|
Second Brainstorming Week On Membrane Computing |
| Ponencia | 2004 |
Solving the BINPACKING Problem by Recognizer P Systems with Active Membranes
|
Second Brainstorming Week On Membrane Computing |
| Artículo | 2004 |
The P versus NP problem through cellular computing with membranes
|
ASPECTS OF MOLECULAR COMPUTING |
| Ponencia | 2004 |
Tissue P Systems with Cell Division
|
Second Brainstorming Week On Membrane Computing |
| Ponencia | 2004 |
Tissue-like P Systems with Channel-States
|
Second Brainstorming Week On Membrane Computing |
| Ponencia | 2004 |
Towards a Programming Language in Cellular Computing
|
Second Brainstorming Week On Membrane Computing |
| Ponencia | 2004 |
Weak Metrics on Configurations of a P System
|
Second Brainstorming Week On Membrane Computing |
| Ponencia | 2003 |
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ículo | 2003 |
An agent based approach of collective foraging
|
COMPUTATIONAL METHODS IN NEURAL MODELING, PT 1 |
| Artículo | 2003 |
Complexity classes in models of cellular computing with membranes
|
NATURAL COMPUTING |
| Artículo | 2003 |
Decision P systems and the P≠NP conjecture
|
Lecture Notes in Computer Science |
| Artículo | 2003 |
Hybrid networks of evolutionary processors
|
GENETIC AND EVOLUTIONARY COMPUTATION - GECCO 2003, PT I, PROCEEDINGS |
| Libro | 2003 |
Máquinas moleculares basadas en ADN
|
Máquinas moleculares basadas en ADN |
| Ponencia | 2003 |
On Sigma(N)-definability in arithmetic
|
PHILOSOPHICAL DIMENSIONS OF LOGIC AND SCIENCE |
| Artículo | 2003 |
Recent computability models inspired from biology: DNA and membrane computing
|
THEORIA-REVISTA DE TEORIA HISTORIA Y FUNDAMENTOS DE LA CIENCIA |
| Artículo | 2003 |
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ículo | 2002 |
A formalization of transition P systems
|
FUNDAMENTA INFORMATICAE |
| Libro | 2002 |
Computación celular con membranas: Un modelo no convencional
|
Computación celular con membranas: Un modelo no convencional |
| Artículo | 2002 |
Generation of diophantine sets by computing P systems with external output
|
UNCONVENTIONAL MODELS IN COMPUTATION, PROCEEDINGS |
| Artículo | 2002 |
Simulating Turing machines by P systems with external output
|
FUNDAMENTA INFORMATICAE |
| Ponencia | 2002 |
Solving knapsack problems in a sticker based model
|
Lecture Notes in Computer Science |
| Artículo | 2002 |
Specification of Adleman's restricted model using an automated reasoning system: Verification of Lipton's experiment
|
UNCONVENTIONAL MODELS IN COMPUTATION, PROCEEDINGS |
| Ponencia | 2002 |
Specification of Adleman’s restricted model using an automated reasoning system: Verification of Lipton’s experiment
|
Lecture Notes in Computer Science |
| Libro | 2002 |
Teoría de la complejidad en modelos de computación celular con membranas
|
Teoría de la complejidad en modelos de computación celular con membranas |
| Capítulo | 2001 |
Computación molecular sin memoria basada en ADN
|
Información : tratamiento y representación |
| Libro | 2001 |
Computación, computabilidad y programación
|
Computación, computabilidad y programación |
| Capítulo | 2001 |
NP-completitud y computación ADN
|
Actas del Encuentro de Matemáticos Andaluces |
| Ponencia | 1999 |
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ítulo | 1997 |
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 |
| Ponencia | 1997 |
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] |
| Ponencia | 1997 |
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ículo | 1996 |
On overspill principles and axiom schemes for bounded formulas
|
MATHEMATICAL LOGIC QUARTERLY |
| Capítulo | 1995 |
Introducción a la teoría de la complejidad
|
Lógica formal: Orígenes, métodos y aplicaciones |
| Capítulo | 1995 |
Razonamiento automático
|
Lógica formal: Orígenes, métodos y aplicaciones |
| Ponencia | 1994 |
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ículo | 1994 |
MAXIMUM SCHEMES IN ARITHMETIC
|
MATHEMATICAL LOGIC QUARTERLY |
| Ponencia | 1993 |
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) |
| Ponencia | 1992 |
"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) |
| Libro | 1992 |
Esquemas del máximo en la aritmética
|
Esquemas del máximo en la aritmética |
| Libro | 1988 |
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) |
