yusuke1997/dblp-id-title huggingface dataset:
Membrane Computing Inspired Approach for Executing Scientific Workflow in the Cloud
On Efficient Algorithms for SAT
An Introduction to BioModel Engineering, Illustrated for Signal Transduction Pathways
Modelling and Validating an Engineering Application in Kernel P Systems
Evolutionary Design of a Simple Membrane System
Computational Power of Protein Networks
Asynchronous Extended Spiking Neural P Systems with Astrocytes
Mobility in Computer Science and in Membrane Systems
Mitotic Oscillators as MP Graphs
Using the SRSim Software for Spatial and Rule-Based Modeling of Combinatorially Complex Biochemical Reaction Systems
Events, Causality, and Concurrency in Membrane Systems
A Membrane Algorithm for the Min Storage Problem
P Systems Generating Hexagonal Picture Languages
Reversing Steps in Membrane Systems Computations
Testing Identifiable Kernel P Systems Using an X-Machine Approach
Alan Turing and John von Neumann - Their Brains and Their Computers
Limits of the Power of Tissue P Systems with Cell Division
On Testing P Systems
On Structures and Behaviors of Spiking Neural P Systems and Petri Nets
Solving the ST-Connectivity Problem with Pure Membrane Computing Techniques
DCBA: Simulating Population Dynamics P Systems with Proportional Object Distribution
Implementing P Systems Parallelism by Means of GPUs
Computational Nature of Processes Induced by Biochemical Reactions
A Case Study in (Mem)Brane Computation: Generating Squares of Natural Numbers
How Redundant Is Your Universal Computation Device?
Basic Concurrency Resolution in Clock-Free P Systems
Hill Kinetics Meets P Systems: A Case Study on Gene Regulatory Networks as Computing Agents in silico and in vivo
P Systems and Petri Nets
Impacts of Membrane Computing on Theoretical Computer Science (Extended Abstract)
Parsing with Active P Automata
Certain State Sequences Defined by P Systems with Reactions
Applications of P Systems in Population Biology and Ecology: The Cases of MPP and APP Systems
Inhibiting/De-inhibiting Rules in P Systems
Membrane Systems and Hypercomputation
A Hybrid Approach to Modeling Biological Systems
Evolution and Oscillation in P Systems: Applications to Biological Phenomena
Goldbeter's Mitotic Oscillator Entirely Modeled by MP Systems
Automated Verification of Stochastic Spiking Neural P Systems
Towards a Complete Covering of SBML Functionalities
Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings
Dynamically Changing Environment for Generalized Communicating P Systems
Spiking Neural P Systems with Cooperating Rules
About One-Sided One-Symbol Insertion-Deletion P Systems
Spiking Neural P Systems with Structural Plasticity: Attacking the Subset Sum Problem
Flattening in (Tissue) P Systems
Flattening and Simulation of Asynchronous Divisionless P Systems with Active Membranes
Quantum Sequential P Systems with Unit Rules and Energy Assigned to Membranes
Transforming State-Based Models to P Systems Models in Practice
Behavioural Equivalences in Real-Time P Systems
P Colonies with Evolving Environment
Characterizing Tractability by Tissue-Like P Systems
Modeling Signal Transduction Using P Systems
Event-Driven Metamorphoses of P Systems
On the Dynamics of PB Systems with Volatile Membranes
Membrane Systems Using Noncooperative Rules with Unconditional Halting
Generalized P Colony Automata and Their Relation to P Automata
Spiking Neural P Systems with Functional Astrocytes
An Overview of P-Lingua 2.0
Trading Polarization for Bi-stable Catalysts in P Systems with Active Membranes
A Novel Variant of P Systems for the Modelling and Simulation of Biochemical Systems
P Systems with String Objects and with Communication by Request
A Small Universal Splicing P System
Membrane Computing - 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers
Towards a Characterization of P Systems with Minimal Symport/Antiport and Two Membranes
Quantitative Causality in Membrane Systems
Typed Membrane Systems
Counting Membrane Systems
Transition and Halting Modes in (Tissue) P Systems
On Two-Dimensional Mesh Networks and Their Simulation with P Systems
Transition Graphs of Reversible Reaction Systems
Array-Rewriting P Systems with Basic Puzzle Grammar Rules and Permitting Features
Encoding-Decoding Transitional Systems for Classes of P Systems
An Approach to Computational Complexity in Membrane Computing
Polynomial Complexity Classes in Spiking Neural P Systems
Tuning P Systems for Solving the Broadcasting Problem
Parallel Thinning with Complex Objects and Actors
Algebraic and Coalgebraic Aspects of Membrane Computing
OPERAS CC : An Instance of a Formal Framework for MAS Modeling Based on Population P Systems
Remarks on the Computational Power of Some Restricted Variants of P Systems with Active Membranes
On the Number of Agents in P Colonies
A P-Lingua Based Simulator for Spiking Neural P Systems
Implementing in Prolog an Effective Cellular Solution to the Knapsack Problem
Computationally Complete Generalized Communicating P Systems with Three Cells
Time and Space Complexity of P Systems - And Why They Matter
Bi-simulation Between P Colonies and P Systems with Multi-stable Catalysts
Time-Independent P Systems
(Tissue) P Systems with Hybrid Transition Modes
A View of P Systems from Information Theory
On Evolutionary Lineages of Membrane Systems
An Outline of MP Modeling Framework
Extended Simulation and Verification Platform for Kernel P Systems
On the Robust Power of Morphogenetic Systems for Time Bounded Computation
Categorised Counting Mediated by Blotting Membrane Systems for Particle-Based Data Mining and Numerical Algorithms
Translating Multiset Tree Automata into P Systems
Simulating Evolutional Symport/Antiport by Evolution-Communication and vice versa in Tissue P Systems with Parallel Communication
BioSimWare: A Software for the Modeling, Simulation and Analysis of Biological Systems
A Case-Study on the Influence of Noise to Log-Gain Principles for Flux Dynamic Discovery
A Membrane Computing System Mapped on an Asynchronous, Distributed Computational Environment
LMNtal: A Language Model with Links and Membranes
Energy-Based Models of P Systems
Boolean Circuits and a DNA Algorithm in Membrane Computing
P Systems with External Input and Learning Strategies
On Numerical 2D P Colonies with the Blackboard and the Gray Wolf Algorithm
First Steps Towards a Wet Implementation for t-DPP
Characterizing Membrane Structures Through Multiset Tree Automata
P Systems with Toxic Objects
Hebbian Learning from Spiking Neural P Systems View
Membrane Algorithms
A Spiking Neural P System Simulator Based on CUDA
Simulating FRSN P Systems with Real Numbers in P-Lingua on sequential and CUDA platforms
A New Approach for Solving SAT by P Systems with Active Membranes
Computing with Genetic Gates, Proteins, and Membranes
P Systems Generating Trees
Sorting Using Spiking Neural P Systems with Anti-spikes and Rules on Synapses
Randomized Gandy-Paun-Rozenberg Machines
Evolution and Observation: A New Way to Look at Membrane Systems
Flattening the Transition P Systems with Dissolution
P Automata: Concepts, Results, and New Aspects
Comparative Analysis of Statistical Model Checking Tools
Model Checking Kernel P Systems
Computing Partial Recursive Functions by Transition P Systems
An Integrated Approach to P Systems Formal Verification
Bridging Biology and Engineering Together with Spatial Computing
Matrix Representation of Spiking Neural P Systems
A Computational Complexity Theory in Membrane Computing
A Kernel P Systems Survey
P System Computational Model as Framework for Hybrid (Membrane-Quantum) Computations
P Automata
Triangular Array Token Petri Net and P System
On Generalized Communicating P Systems with One Symbol
Shallow Non-confluent P Systems
Reducing the Size of Extended Gemmating Systems
P Systems with Active Membranes Operating under Minimal Parallelism
On the Power of Dissolution in P Systems with Active Membranes
Proton Pumping P Systems
The Modeling and the Simulation of the Fluid Machines of Synthetic Biology
Maintenance of Chronobiological Information by P System Mediated Assembly of Control Units for Oscillatory Waveforms and Frequency
Formal Verification and Testing Based on P Systems
Kernel P Systems Modelling, Testing and Verification - Sorting Case Study
On Flip-Flop Membrane Systems with Proteins
On Descriptive Complexity of P Systems
Construction of Stable and Lightweight Technical Structures Inspired by Ossification of Bones Using Osteogenetic P Systems
Modelling of Surface Runoff Using 2D P Colonies
Quorum Sensing: A Cell-Cell Signalling Mechanism Used to Coordinate Behavioral Changes in Bacterial Populations
Solving a Special Case of the P Conjecture Using Dependency Graphs with Dissolution
On Reversibility and Determinism in P Systems
Membrane Computing - 21st International Conference, CMC 2020, Virtual Event, September 14-18, 2020, Revised Selected Papers
Some Open Problems about Catalytic, Numerical, and Spiking Neural P Systems - (Extended Abstract)
On the Rule Complexity of Universal Tissue P Systems
Membrane Systems with External Control
Membrane Computing - 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers
Asynchronous and Maximally Parallel Deterministic Controlled Non-cooperative P Systems Characterize NFIN and coNFIN
Tissue P Systems Can be Simulated Efficiently with Counting Oracles
Chemical Analog Computers for Clock Frequency Control Based on P Modules
P Systems Working in Maximal Variants of the Set Derivation Mode
On P Systems as a Modelling Tool for Biological Systems
Communicating Reaction Systems with Direct Communication
Membrane Computing - 19th International Conference, CMC 2018, Dresden, Germany, September 4-7, 2018, Revised Selected Papers
A Methodology Based on MP Theory for Gene Expression Analysis
The Relevance of the Environment on the Efficiency of Tissue P Systems
Hierarchical P Systems with Randomized Right-Hand Sides of Rules
Spiking Neural P Systems with Neuron Division
In Search of a Structure of Fractals by Using Membranes as Hyperedges
Simulating the Bitonic Sort Using P Systems
MetaPlab: A Computational Framework for Metabolic P Systems
Solving NP-Complete Problems by Spiking Neural P Systems with Budding Rules
Toward an MP Model of Non-Photochemical Quenching
Tau Leaping Stochastic Simulation Method in P Systems
Modeling Ecosystems Using P Systems: The Bearded Vulture, a Case Study
Chemistry-Inspired Adaptive Stream Processing
Membrane Computing - 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers
P Systems and Unique-Sum Sets
Synchrony and Asynchrony in Membrane Systems
Membrane Computing, 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers
Simulating R Systems by P Systems
Towards Modelling of Reactive, Goal-Oriented and Hybrid Intelligent Agents Using P Systems
Evolving by Maximizing the Number of Rules: Complexity Study
P Systems with Chained Rules
Expressing Control Mechanisms of Membranes by Rewriting Strategies
Computing Partial Recursive Functions by Virus Machines
Solving Numerical NP-Complete Problems with Spiking Neural P Systems
Conservative Computations in Energy-Based P Systems
From P Colonies to 2D P Colonies and Simulations of Multiagent Systems
Editing Distances Between Membrane Structures
Membrane Computing in Connex Environment
Fast Distributed DFS Solutions for Edge-Disjoint Paths in Digraphs
Conformon-P Systems with Negative Values
lambda-P Systems and Typed lambda-Calculus
On the Size of P Systems with Minimal Symport/Antiport
APCol Systems with Agent Creation
Membrane Computing - 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers
Computational Power of Symport/Antiport: History, Advances, and Open Problems
Pictures and Chomsky Languages in Array P System
Classifying States of a Finite Markov Chain with Membrane Computing
Cellular Automata and the Quest for Nontrivial Artificial Self-Reproduction
Membrane Computing, 8th International Workshop, WMC 2007, Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers
Symbol/Membrane Complexity of P Systems with Symport/Antiport Rules
On Communication Complexity of Some Hard Problems in ECPe Systems
Properties of Membrane Systems
Parallel and Distributed Algorithms in P Systems
Families of Languages Encoded by SN P Systems
Number of Protons/Bi-stable Catalysts and Membranes in P Systems. Time-Freeness
Sublinear-Space P Systems with Active Membranes
Active Membranes, Proteins on Membranes, Tissue P Systems: Complexity-Related Issues and Challenges
Searching Previous Configurations in Membrane Computing
Applications of Page Ranking in P Systems
Dual P Systems
Computational Complexity of P Systems with Active Membranes
P Machines: An Automata Approach to Membrane Computing
Probabilistic Guarded P Systems, A New Formal Modelling Framework
Towards Automated Analysis of Belousov-Zhabotinsky Reactions in a Petri Dish by Membrane Computing Using Optic Flow
Modeling the Dynamics of HIV Infection with Conformon-P Systems and Cellular Automata
Modeling Dynamical Parallelism in Bio-systems
Active Membrane Systems Without Charges and Using Only Symmetric Elementary Division Characterise P
The Family of Languages Generated by Non-cooperative Membrane Systems
An Efficient Simulation of Polynomial-Space Turing Machines by P Systems with Active Membranes
A Linear-Time Solution to the Knapsack Problem Using P Systems with Active Membranes
P System as a Computing Tool for Embedded Feature Selection and Classification Method for Microarray Cancer Data
Ultimately Confluent Rewriting Systems. Parallel Multiset-Rewriting with Permitting or Forbidding Contexts
A Membrane System for the Leukocyte Selective Recruitment
Solution to Motif Finding Problem in Membranes
The Efficiency of Tissue P Systems with Cell Separation Relies on the Environment
A P System Based Model of an Ecosystem of Some Scavenger Birds
Formalizing Spherical Membrane Structures and Membrane Proteins Populations
Roads to New Grand Challenges of Informatics - (Extended Abstract)
Exploring Computation Trees Associated with P Systems
Polarizationless P Systems with One Active Membrane
2D P Colonies
(Tissue) P Systems with Decaying Objects
A Faster P Solution for the Byzantine Agreement Problem
Collapsing Hierarchies of Parallel Rewriting P Systems without Target Conflicts
Towards a Petri Net Semantics for Membrane Systems
Circular Post Machines and P Systems with Exo-insertion and Deletion
Solving SAT by P Systems with Active Membranes in Linear Time in the Number of Variables
Causality in Membrane Systems
Event-Based Life in a Nutshell: How Evaluation of Individual Life Cycles Can Reveal Statistical Inferences Using Action-Accumulating P Systems
Continuation Passing Semantics for Membrane Systems
Sequential P Systems with Regular Control
MP Systems Approaches to Biochemical Dynamics: Biological Rhythms and Oscillations
Red-Green P Automata
A P-Lingua Programming Environment for Membrane Computing
Membrane Computing, 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers
About Models Derived from Colonies
Sequentiality Induced by Spike Number in SNP Systems: Small Universal Machines
On the Power of Computing with Proteins on Membranes
Evolutionary P Systems: The Notion and an Example
Effects of HIV-1 Proteins on the Fas-Mediated Apoptotic Signaling Cascade: A Computational Study of Latent CD4+ T Cell Activation
P Systems with Elementary Active Membranes: Beyond NP and coNP
Implementation of P Systems by Using Big Data Technologies
Controlled Reversibility in Reaction Systems
On Evolution-Communication P Systems with Energy Having Bounded and Unbounded Communication
Computationally Complete Spiking Neural P Systems without Delay: Two Types of Neurons Are Enough
Mobile Membranes with Objects on Surface as Colored Petri Nets
P Systems with Cutting/Recombination Rules Assigned to Membranes
Enzymatic Numerical P Systems Using Elementary Arithmetic Operations
APCol Systems with Verifier Agents
Membrane Computing, 7th International Workshop, WMC 2006, Leiden, The Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers
Balancing Performance, Flexibility, and Scalability in a Parallel Computing Platform for Membrane Computing Applications
Relational Membrane Systems
Regulating Rule Application with Membrane Boundaries in P Systems
Design of Specific P Systems Simulators on GPUs
Fast Hardware Implementations of P Systems
Structural Operational Semantics of P Systems
A Region-Oriented Hardware Implementation for Membrane Computing Applications
Modularity in P Colonies with Checking Rules
Partial Knowledge in Membrane Systems: A Logical Approach
Fault Diagnosis Models for Electric Locomotive Systems Based on Fuzzy Reasoning Spiking Neural P Systems
omega-P Automata with Communication Rules
About Splicing P Systems with Immediate Communication and Non-extended Splicing P Systems
Towards Probabilistic Model Checking on P Systems Using PRISM
Membrane Computing - 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers
Small Universal Spiking Neural P Systems with Cooperating Rules as Function Computing Devices
An Improved Quicksort Algorithm Based on Tissue-Like P Systems with Promoters
On the Power of Catalytic P Systems with One Catalyst
Walking Membranes: Grid-Exploring P Systems with Artificial Evolution for Multi-purpose Topological Optimisation of Cascaded Processes
Look-Ahead Evolution for P Systems
A Distributed Simulation of Transition P Systems
Membrane Computing at Twelve Years
An Improved Membrane Algorithm for Solving Time-Frequency Atom Decomposition
Membrane Computing - 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers
Turing's Three Pioneering Initiatives and Their Interplays
Optimizing Evolution Rules Application and Communication Times in Membrane Systems Implementation
A Bioinspired Computing Approach to Model Complex Systems
P Finite Automata and Regular Languages over Countably Infinite Alphabets
A Protein Substructure Based P System for Description and Analysis of Cell Signalling Networks
Testing Based on P Systems - An Overview
Observer/Interpreter P Systems
P Systems with Symport/Antiport: The Traces of RBCs
Communicative P Systems with Minimal Cooperation
An Integrated Model Checking Toolset for Kernel P Systems
Tissue P Systems with Rule Production/Removal
Distributed Evolutionary Algorithms Inspired by Membranes in Solving Continuous Optimization Problems
A Multiscale Modeling Framework Based on P Systems
Non-cooperative P Systems with Priorities Characterize PsET0L
Conformon P Systems and Topology of Information Flow
A P System for Annotation of Romanian Affixes
Some Recent Results Concerning Deterministic P Systems
Finite dP Automata versus Multi-head Finite Automata
Characterizations of Some Restricted Spiking Neural P Systems
Modelling Ecological Systems with the Calculus of Wrapped Compartments
Simulating Turing Machines with Polarizationless P Systems with Active Membranes
An Algorithm for Non-deterministic Object Distribution in P Systems and Its Implementation in Hardware
Organization Oriented Chemical Computing
Tissue P Systems with Communication Modes
Polymorphic P Systems with Non-cooperative Rules and No Ingredients
P Systems with Symport/Antiport and Time
Rewriting P Systems with Flat-Splicing Rules
Fast Synchronization in P Systems
Multiset Patterns and Their Application to Dynamic Causalities in Membrane Systems
Towards a Theory of Life
A Definition of Cellular Interface Problems
A New Strategy to Improve the Performance of PDP-Systems Simulators
On the Efficiency of P Systems with Active Membranes and Two Polarizations
An Adaptive Algorithm for P System Synchronization
Computing with Multi-membranes
Variants of Distributed P Automata and the Efficient Parallelizability of Languages
Solving QSAT in Sublinear Depth
Modeling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets
Graphical Modeling of Higher Plants Using P Systems
The Calculus of Looping Sequences for Modeling Biological Membranes
Causal Nets for Geometrical Gandy-Păun-Rozenberg Machines
An Agent-Based Behavioural Model of Monomorium Pharaonis Colonies
A Semantic Investigation of Spiking Neural P Systems
Membrane Computing - 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers
Identifying P Rules from Membrane Structures with an Error-Correcting Approach
APCol Systems with Teams
Simulation of Mobile Ambients by P Systems. Part 1
General Multi-fuzzy Sets and Fuzzy Membrane Systems
Modeling Plant Development with M Systems
Chemical Term Reduction with Active P Systems
Solving PP-Complete and #P-Complete Problems by P Systems with Active Membranes
Membrane Computing, International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003, Revised Papers
Adaptive P Systems
Approximating Non-discrete P Systems
On Symport/Antiport P Systems and Semilinear Sets
P Systems with Generalized Multisets Over Totally Ordered Abelian Groups
Simulating Boolean Circuits with P Systems
Extended Spiking Neural P Systems
Communication Rules Controlled by Generated Membrane Boundaries
Can Hyperbolic Geometry Be of Help for P Systems?
Information Theory in Genome Analysis
Unstable P Systems: Applications to Linguistics
Discovering the Membrane Topology of Hyperdag P Systems
Formal Verification of P Systems with Active Membranes through Model Checking
Simulating Elementary Active Membranes - with an Application to the P Conjecture
Turing Computability and Membrane Computing
P Systems with Memory
Defining and Executing P Systems with Structured Data in K
Priorities, Promoters and Inhibitors in Deterministic Non-cooperative P Systems
A Binary Data Structure for Membrane Processors: Connectivity Arrays
P Systems Simulating Oracle Computations
An Analysis of Correlative and Static Causality in P Systems
Computational Completeness of Tissue P Systems with Conditional Uniport
Modelling Dynamic Organization of Biology-Inspired Multi-agent Systems with Communicating X-Machines and Population P Systems
Multilevel Modeling of Morphogenesis
Regulation and Covering Problems in MP Systems
Agent-Based Simulation of Kernel P Systems with Division Rules Using FLAME
Generalized Gandy-Păun-Rozenberg Machines for Tile Systems and Cellular Automata
P Systems, Petri Nets, and Program Machines
Psim: A Computational Platform for Metabolic P Systems
On the Reachability Problem in P Systems with Mobile Membranes
Membrane Computing - 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers
P Systems Running on a Cluster of Computers
Tiling Rectangular Pictures with P Systems
The Biological Cell in Spectacle
Enumerating Membrane Structures
A Solution of Horn-SAT with P Systems Using Antimatter
Automatic Translation of MP ^+ V Systems to Register Machines
Bridging Deterministic P Systems and Conditional Grammars
A Logarithmic Bound for Solving Subset Sum with P Systems
Investigation of a Biological Repair Scheme
On the Communication Complexity of the Vertex Cover Problem and 3-Satisfiability Problem in ECP Systems
The Number of Membranes Matters
A Brute-Force Solution to the 27-Queens Puzzle Using a Distributed Computation
Promoters and Inhibitors in Purely Catalytic P Systems
Automated Verification of Quantitative Properties of Cardiac Pacemaker Software
Evaluating On-line Model Checking in UPPAAL-SMC using a Laser Tracheotomy Case Study
An Approach to Integrate Distributed Systems of Medical Devices in High Acuity Environments
Challenges and Opportunities in Design of Control Algorithm for Artificial Pancreas
OR.NET - Approaches for Risk Analysis and Measures of Dynamically Interconnected Medical Devices
Simulations of the Cardiovascular System Using the Cardiovascular Simulation Toolbox
A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary Proposal
A Domain Specific Language for Performance Evaluation of Medical Imaging Systems
Design Pillars for Medical Cyber-Physical System Middleware