Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Theoretical Computer Science
Information Processing Letters
A Core Modeling Language for the Working Molecular Biologist (Abstract)
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
Theoretical Computer Science - Special issue: Computational systems biology
BioAmbients: an abstraction for biological compartments
Theoretical Computer Science - Special issue: Computational systems biology
Modeling and analysis of biological processes by mem(brane) calculi and systems
Proceedings of the 38th conference on Winter simulation
Proceedings of the 38th conference on Winter simulation
A Calculus of Looping Sequences for Modelling Microbiological Systems
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
P Systems with Proteins on Membranes
Fundamenta Informaticae
A rewriting logic framework for operational semantics of membrane systems
Theoretical Computer Science
Membrane Computing and Brane Calculi (Some Personal Notes)
Electronic Notes in Theoretical Computer Science (ENTCS)
Membrane Systems with Marked Membranes
Electronic Notes in Theoretical Computer Science (ENTCS)
Membrane Systems with Peripheral Proteins: Transport and Evolution
Electronic Notes in Theoretical Computer Science (ENTCS)
A Linear--time Tissue P System Based Solution for the 3--coloring Problem
Electronic Notes in Theoretical Computer Science (ENTCS)
Tissue P Systems and (Mem)Brane Systems with Mate and Drip Operations Working on Strings
Electronic Notes in Theoretical Computer Science (ENTCS)
Timed Concurrent Constraint Programming for Analysing Biological Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
A Simple Calculus for Proteins and Cells
Electronic Notes in Theoretical Computer Science (ENTCS)
The Decidability of the Structural Congruence for Beta-binders
Electronic Notes in Theoretical Computer Science (ENTCS)
Communication via Mobile Vesicles in Brane Calculi
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
An Intermediate Language for the Simulation of Biological Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes
Electronic Notes in Theoretical Computer Science (ENTCS)
BetaWB: modelling and simulating biological processes
Proceedings of the 2007 Summer Computer Simulation Conference
Editing Configurations of P Systems
Fundamenta Informaticae
Systemic computation: A model of interacting systems with natural characteristics
International Journal of Parallel, Emergent and Distributed Systems - Emergent Computation
Abstract interpretation and types for systems biology
Theoretical Computer Science
Theoretical Computer Science
Membrane computing and brane calculi. Old, new, and future bridges
Theoretical Computer Science
Membrane systems with proteins embedded in membranes
Theoretical Computer Science
Theoretical Computer Science
A uniform family of tissue P systems with cell division solving 3-COL in a linear time
Theoretical Computer Science
A simple calculus for proteins and cells
Theoretical Computer Science
On the decidability and complexity of the structural congruence for beta-binders
Theoretical Computer Science
An integrating view on DNA computing and membrane computing
EC'08 Proceedings of the 9th WSEAS International Conference on Evolutionary Computing
On the Computational Power of Enhanced Mobile Membranes
CiE '08 Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms
On Beta-Binders Communications
Concurrency, Graphs and Models
Graph Transformation for Topology Modelling
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Computing with cells: membrane systems-some complexity issues
International Journal of Parallel, Emergent and Distributed Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
On temporal logic constraint solving for analyzing numerical data time series
Theoretical Computer Science
Synapses as stochastic concurrent systems
Theoretical Computer Science
Undecidability of Model Checking in Brane Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
A Bounded-Optimistic, Parallel Beta-Binders Simulator
DS-RT '08 Proceedings of the 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications
Modeling biochemical pathways using an artificial chemistry
Artificial Life
Designing Biological Computers: Systemic Computation and Sensor Networks
Bio-Inspired Computing and Communication
Translating Stochastic CLS into Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
Control Flow Analysis for Brane Calculi
Electronic Notes in Theoretical Computer Science (ENTCS)
Modelling Biological Compartments in Bio-PEPA
Electronic Notes in Theoretical Computer Science (ENTCS)
Type Disciplines for Analysing Biologically Relevant Properties
Electronic Notes in Theoretical Computer Science (ENTCS)
An Abstract Machine for the Stochastic Bioambient calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Computational expressiveness of Genetic Systems
Theoretical Computer Science
Membrane computing with transport and embedded proteins
Theoretical Computer Science
Defining and Executing P Systems with Structured Data in K
Membrane Computing
Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways
Transactions on Computational Systems Biology IX
Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation
Electronic Notes in Theoretical Computer Science (ENTCS)
GridSPiM: A Framework for Simple Locality and Containment in the Stochastic π-Calculus
BICoB '09 Proceedings of the 1st International Conference on Bioinformatics and Computational Biology
Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors
Electronic Notes in Theoretical Computer Science (ENTCS)
A Control Flow Analysis for Beta-binders with and without static compartments
Theoretical Computer Science
Stochastic biological modelling in the presence of multiple compartments
Theoretical Computer Science
Turing Completeness Using Three Mobile Membranes
UC '09 Proceedings of the 8th International Conference on Unconventional Computation
A Higher-Order Graph Calculus for Autonomic Computing
Graph Theory, Computational Intelligence and Thought
Dynamic Compartments in the Imperative Π-Calculus
CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
On the computational power of BlenX
Theoretical Computer Science
Rule-based programming for integrative biological modeling
Natural Computing: an international journal
Biomolecular Agents as Multi-behavioural Concurrent Objects
Electronic Notes in Theoretical Computer Science (ENTCS)
Extending the calculus of looping sequences to model protein interaction at the domain level
ISBRA'07 Proceedings of the 3rd international conference on Bioinformatics research and applications
Semantic barbs and biorthogonality
FOSSACS'07 Proceedings of the 10th international conference on Foundations of software science and computational structures
Modeling static biological compartments with beta-binders
AB'07 Proceedings of the 2nd international conference on Algebraic biology
Deducing interactions in partially unspecified biological systems
AB'07 Proceedings of the 2nd international conference on Algebraic biology
Formulating membrane dynamics with the reaction of surface objects
ECAL'07 Proceedings of the 9th European conference on Advances in artificial life
On the analysis of numerical data time series in temporal logic
CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems biology
Stochastic simulation of biological systems with dynamical compartment structure
CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems biology
Expressive models for synaptic plasticity
CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems biology
The calculus of looping sequences for modeling biological membranes
WMC'07 Proceedings of the 8th international conference on Membrane computing
Modeling symport/antiport P systems with a class of hierarchical Petri nets
WMC'07 Proceedings of the 8th international conference on Membrane computing
On flip-flop membrane systems with proteins
WMC'07 Proceedings of the 8th international conference on Membrane computing
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Formal cell biology in biocham
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Membrane computing as a modeling framework: cellular systems case studies
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Process algebras in systems biology
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
The BlenX language: a tutorial
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
The calculus of looping sequences
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Model revision from temporal logic properties in computational systems biology
Probabilistic inductive logic programming
Fast bio-inspired computation using a GPU-based systemic computer
Parallel Computing
Process Algebra with Hooks for Models of Pattern Formation
Electronic Notes in Theoretical Computer Science (ENTCS)
Modular Verification of Interactive Systems with an Application to Biology
Electronic Notes in Theoretical Computer Science (ENTCS)
Fundamenta Informaticae - From Mathematical Beauty to the Truth of Nature: to Jerzy Tiuryn on his 60th Birthday
Saturated LTSs for adhesive rewriting systems
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Mobility in computer science and in membrane systems
CMC'10 Proceedings of the 11th international conference on Membrane computing
A semantic equivalence for Bio-PEPA based on discretisation of continuous values
Theoretical Computer Science
An overview of membrane computing
ICDCIT'11 Proceedings of the 7th international conference on Distributed computing and internet technology
Compartmental rule-based modeling of biochemical systems
Winter Simulation Conference
Modelling ammonium transporters in arbuscular mycorrhiza symbiosis
Transactions on computational systems biology XIII
Mutual mobile membranes with objects on surface
Natural Computing: an international journal
Hunting distributed malware with the κ-calculus
FCT'11 Proceedings of the 18th international conference on Fundamentals of computation theory
Adapting rule-based model descriptions for simulating in continuous and hybrid space
Proceedings of the 9th International Conference on Computational Methods in Systems Biology
Osteoporosis: a multiscale modeling viewpoint
Proceedings of the 9th International Conference on Computational Methods in Systems Biology
Multi-scale modelling of biological systems in process algebra with multi-way synchronisation
Proceedings of the 9th International Conference on Computational Methods in Systems Biology
Spatial Calculus of Looping Sequences
Theoretical Computer Science
Computational biology: a programming perspective
Formal modeling
Some notes on (mem)brane computation
PPSN'06 Proceedings of the 9th international conference on Parallel Problem Solving from Nature
Formalizing spherical membrane structures and membrane proteins populations
WMC'06 Proceedings of the 7th international conference on Membrane Computing
A case study in (mem)brane computation: generating squares of natural numbers
WMC'06 Proceedings of the 7th international conference on Membrane Computing
Modal logics for brane calculus
CMSB'06 Proceedings of the 2006 international conference on Computational Methods in Systems Biology
Deciding behavioural properties in brane calculi
CMSB'06 Proceedings of the 2006 international conference on Computational Methods in Systems Biology
Modelling cellular processes using membrane systems with peripheral and integral proteins
CMSB'06 Proceedings of the 2006 international conference on Computational Methods in Systems Biology
On the computational power of the mate/bud/drip brane calculus: interleaving vs. maximal parallelism
WMC'05 Proceedings of the 6th international conference on Membrane Computing
WMC'05 Proceedings of the 6th international conference on Membrane Computing
On the computational power of brane calculi
Transactions on Computational Systems Biology VI
Machine learning biochemical networks from temporal logic properties
Transactions on Computational Systems Biology VI
Simulating bacterial transcription and translation in a stochastic π calculus
Transactions on Computational Systems Biology VI
Bisimulation congruences in the calculus of looping sequences
ICTAC'06 Proceedings of the Third international conference on Theoretical Aspects of Computing
UPP'04 Proceedings of the 2004 international conference on Unconventional Programming Paradigms
Biocomputing: an insight from linguistics
Natural Computing: an international journal
P systems with proteins on membranes and membrane division
DLT'06 Proceedings of the 10th international conference on Developments in Language Theory
The attributed pi-calculus with priorities
Transactions on Computational Systems Biology XII
A language for biochemical systems: design and formal specification
Transactions on Computational Systems Biology XII
P automata: concepts, results, and new aspects
WMC'09 Proceedings of the 10th international conference on Membrane Computing
On the power of computing with proteins on membranes
WMC'09 Proceedings of the 10th international conference on Membrane Computing
Stochastic simulation of multiple process calculi for biology
Theoretical Computer Science
Simulation techniques for the calculus of wrapped compartments
Theoretical Computer Science
Measurable stochastics for Brane Calculus
Theoretical Computer Science
Typed stochastic semantics for the calculus of looping sequences
Theoretical Computer Science
Control Flow Analysis of Generalised Boolean Networks
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Containment in Rule-Based Models
Electronic Notes in Theoretical Computer Science (ENTCS)
P and dp automata: unconventional versus classical automata
DLT'12 Proceedings of the 16th international conference on Developments in Language Theory
Editing Configurations of P Systems
Fundamenta Informaticae
Coordinating parallel mobile ambients to solve SAT problem in polynomial number of steps
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
Linda in space-time: an adaptive coordination model for mobile ad-hoc environments
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
P Systems with Proteins on Membranes
Fundamenta Informaticae
A Calculus of Looping Sequences for Modelling Microbiological Systems
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
FCT'07 Proceedings of the 16th international conference on Fundamentals of Computation Theory
A stochastic semantics for bioambients
PaCT'07 Proceedings of the 9th international conference on Parallel Computing Technologies
An analysis for proving probabilistic termination of biological systems
Theoretical Computer Science
Spatial modeling in cell biology at multiple levels
Proceedings of the Winter Simulation Conference
Complex functional rates in rule-based languages for biochemistry
Transactions on Computational Systems Biology XIV
Complex Functional Rates in the Modeling of Nano Devices (Extended Abstract)
Electronic Notes in Theoretical Computer Science (ENTCS)
Simulating Signalling Pathways With BioWayS
Electronic Notes in Theoretical Computer Science (ENTCS)
An Analysis for Causal Properties of Membrane Interactions
Electronic Notes in Theoretical Computer Science (ENTCS)
Simulation of Spatial P system models
Theoretical Computer Science
Hi-index | 0.02 |
We introduce a family of process calculi with dynamic nested membranes. In contrast to related calculi, including some developed for biological applications, active entities here are tightly coupled to membranes, and can perform interactions on both sides of a membrane. That is, computation happens on the membrane, not inside of it.