Language-based performance prediction for distributed and mobile systems
Information and Computation
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
Causal pi-Calculus for Biochemical Modelling
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
Enhanced Operational Semantics in Systems Biology
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
Graphs for Core Molecular Biology
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
Simulation and verification I: design environments for complex systems
Proceedings of the 35th conference on Winter simulation: driving innovation
Theoretical Computer Science - Special issue: Computational systems biology
Modelling biochemical pathways through enhanced π-calculus
Theoretical Computer Science - Special issue: Computational systems biology
BioAmbients: an abstraction for biological compartments
Theoretical Computer Science - Special issue: Computational systems biology
A brief history of process algebra
Theoretical Computer Science - Process algebra
Axioms for bigraphical structure
Mathematical Structures in Computer Science
Developing An Hierarchical Simulator for Beta-binders
Proceedings of the 20th Workshop on Principles of Advanced and Distributed Simulation
Ten top reasons for systems biology to get into model-driven engineering
Proceedings of the 2006 international workshop on Global integrated model management
Pure bigraphs: structure and dynamics
Information and Computation
Transition systems, link graphs and Petri nets
Mathematical Structures in Computer Science
Symbolic modeling of signal transduction in pathway logic
Proceedings of the 38th conference on Winter simulation
Simulation and verification for computational modelling of signalling pathways
Proceedings of the 38th conference on Winter simulation
Proceedings of the 38th conference on Winter simulation
Challenges for modeling and simulation methods in systems biology
Proceedings of the 38th conference on Winter simulation
Logical Analysis of Biological Systems
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
A Probabilistic Model for Molecular Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
Biological Transactions for Quantitative Models
Electronic Notes in Theoretical Computer Science (ENTCS)
The Decidability of the Structural Congruence for Beta-binders
Electronic Notes in Theoretical Computer Science (ENTCS)
Modelling of Biochemical Reactions by Stochastic Automata Networks
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
PML: Toward a High-Level Formal Language for Biological Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal Molecular Biology Done in CCS-R
Electronic Notes in Theoretical Computer Science (ENTCS)
Cell Cycle Control in Eukaryotes: A BioSpi model
Electronic Notes in Theoretical Computer Science (ENTCS)
Control Flow Analysis for BioAmbients
Electronic Notes in Theoretical Computer Science (ENTCS)
Crypto-fraglets: networking, biology and security
Proceedings of the 1st international conference on Bio inspired models of network, information and computing systems
Theoretical Computer Science
Probabilistic model checking of complex biological pathways
Theoretical Computer Science
An Intermediate Language for the Simulation of Biological Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
A Static Analysis for Beta-Binders
Electronic Notes in Theoretical Computer Science (ENTCS)
A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis
Electronic Notes in Theoretical Computer Science (ENTCS)
Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks
Electronic Notes in Theoretical Computer Science (ENTCS)
Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes
Electronic Notes in Theoretical Computer Science (ENTCS)
An Automatic Translation of SBML into Beta-Binders
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Quantitative analysis of biochemical signalling pathways
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
BetaWB: modelling and simulating biological processes
Proceedings of the 2007 Summer Computer Simulation Conference
International Journal of Data Mining and Bioinformatics
Performance evaluation comes to life: quantitative methods applied to biological systems
ACM SIGMETRICS Performance Evaluation Review
Using probabilistic model checking in systems biology
ACM SIGMETRICS Performance Evaluation Review
Modelling and simulation of biological processes in BlenX
ACM SIGMETRICS Performance Evaluation Review
Theoretical Computer Science
Relating continuous and discrete PEPA models of signalling pathways
Theoretical Computer Science
On the decidability and complexity of the structural congruence for beta-binders
Theoretical Computer Science
Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions
FMSB '08 Proceedings of the 1st international workshop on Formal Methods in Systems Biology
Rule-Based Modelling, Symmetries, Refinements
FMSB '08 Proceedings of the 1st international workshop on Formal Methods in Systems Biology
FMSB '08 Proceedings of the 1st international workshop on Formal Methods in Systems Biology
Modelling the Tunability of Early T Cell Signalling Events
ICARIS '08 Proceedings of the 7th international conference on Artificial Immune Systems
On the Computational Power of Biochemistry
AB '08 Proceedings of the 3rd international conference on Algebraic Biology
Immune Systems and Computation: An Interdisciplinary Adventure
UC '08 Proceedings of the 7th international conference on Unconventional Computing
Electronic Notes in Theoretical Computer Science (ENTCS)
HYPE Applied to the Modelling of Hybrid Biological Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Synapses as stochastic concurrent systems
Theoretical Computer Science
Evolving BlenX programs to simulate the evolution of biological networks
Theoretical Computer Science
nanoK: A calculus for the modeling and simulation of nano devices
Theoretical Computer Science
Integrated Analysis from Abstract Stochastic Process Algebra Models
CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
The Continuous π-Calculus: A Process Algebra for Biochemical Modelling
CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
Stochastic Analysis of Amino Acid Substitution in Protein Synthesis
CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
Modelling Intracellular Fate of FGF Receptors With BioAmbients
Electronic Notes in Theoretical Computer Science (ENTCS)
Translating Stochastic CLS into Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
External Control in Process Algebra for Systems Biology
Electronic Notes in Theoretical Computer Science (ENTCS)
Transactions on Computational Systems Biology X
Communications of the ACM - Security in the Browser
Investigation of a Biological Repair Scheme
Membrane Computing
Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways
Transactions on Computational Systems Biology IX
The BlenX Language with Biological Transactions
Transactions on Computational Systems Biology IX
Spatial Calculus of Looping Sequences
Electronic Notes in Theoretical Computer Science (ENTCS)
The Importance of Being (A Little Bit) Discrete
Electronic Notes in Theoretical Computer Science (ENTCS)
A Process Model of Actin Polymerisation
Electronic Notes in Theoretical Computer Science (ENTCS)
Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA
Electronic Notes in Theoretical Computer Science (ENTCS)
Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation
Electronic Notes in Theoretical Computer Science (ENTCS)
Modeling of Genetic Regulatory Network in Stochastic π-Calculus
BICoB '09 Proceedings of the 1st International Conference on Bioinformatics and Computational Biology
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
Stochastic Process Algebra Based Software Process Simulation Modeling
ICSP '09 Proceedings of the International Conference on Software Process: Trustworthy Software Development Processes
Evolving stochastic processes using feature tests and genetic programming
Proceedings of the 11th Annual conference on Genetic and evolutionary computation
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
Bio-PEPA: A framework for the modelling and analysis of biological systems
Theoretical Computer Science
An intermediate language for the stochastic simulation of biological systems
Theoretical Computer Science
A process model of Rho GTP-binding proteins
Theoretical Computer Science
An Efficient and Adaptive Mechanism for Parallel Simulation Replication
PADS '09 Proceedings of the 2009 ACM/IEEE/SCS 23rd Workshop on Principles of Advanced and Distributed Simulation
Categories of Timed Stochastic Relations
Electronic Notes in Theoretical Computer Science (ENTCS)
Equivalence and Discretisation in Bio-PEPA
CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
A Bayesian Approach to Model Checking Biological Systems
CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
Dynamic Compartments in the Imperative Π-Calculus
CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
From Biochemistry to Stochastic Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
On the computational power of BlenX
Theoretical Computer Science
Using genetic programming to synthesize monotonic stochastic processes
CI '07 Proceedings of the Third IASTED International Conference on Computational Intelligence
Biomolecular Agents as Multi-behavioural Concurrent Objects
Electronic Notes in Theoretical Computer Science (ENTCS)
Stochastic Simulation Methods Applied to a Secure Electronic Voting Model
Electronic Notes in Theoretical Computer Science (ENTCS)
Pure bigraphs: Structure and dynamics
Information and Computation
Bio-PEPA for Epidemiological Models
Electronic Notes in Theoretical Computer Science (ENTCS)
A core calculus for a comparative analysis of bio-inspired calculi
ESOP'07 Proceedings of the 16th European conference on Programming
ESOP'03 Proceedings of the 12th European conference on Programming
Hybrid dynamics of stochastic programs
Theoretical Computer Science
A stochastic pi calculus for concurrent objects
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
Stochastic simulation of biological systems with dynamical compartment structure
CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems biology
A formal and integrated framework to simulate evolution of biological pathways
CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems biology
An automated translation from a narrative language for biological modelling into process algebra
CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems biology
Modelization and simulation of nano devices in nanok calculus
CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems biology
Efficient, correct simulation of biological processes in the stochastic pi-calculus
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
Scalable simulation of cellular signaling networks
APLAS'07 Proceedings of the 5th Asian conference on Programming languages and systems
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
Cells in silico: a holistic approach
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
π@: a π-based process calculus for the implementation of compartmentalised bio-inspired calculi
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
Abstract interpretation of cellular signalling networks
VMCAI'08 Proceedings of the 9th international conference on Verification, model checking, and abstract interpretation
Transactions on computational systems biology VIII
Computational thinking in biology
Transactions on computational systems biology VIII
A flexible architecture for performance experiments with the pi-Calculus and its extensions
Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques
Abstract interpretation based verification of temporal properties for BioAmbients
Information and Computation
A generic abstract machine for stochastic process calculi
Proceedings of the 8th International Conference on Computational Methods in Systems Biology
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)
Structural analysis for stochastic process algebra models
AMAST'10 Proceedings of the 13th international conference on Algebraic methodology and software technology
A semantic equivalence for Bio-PEPA based on discretisation of continuous values
Theoretical Computer Science
Modelling ammonium transporters in arbuscular mycorrhiza symbiosis
Transactions on computational systems biology XIII
Refining dynamics of gene regulatory networks in a stochastic π-calculus framework
Transactions on computational systems biology XIII
Communications of the ACM
Spatial Calculus of Looping Sequences
Theoretical Computer Science
Equivalences for a biological process algebra
Theoretical Computer Science
Analysis of Calcium Spiking in Plant Root Epidermis through CWC Modeling
Electronic Notes in Theoretical Computer Science (ENTCS)
Some notes on (mem)brane computation
PPSN'06 Proceedings of the 9th international conference on Parallel Problem Solving from Nature
A bioambients based framework for chain-structured biomolecules modelling
CIS'04 Proceedings of the First international conference on Computational and Information Science
Representation of the signal transduction with aberrance using ipi calculus
CIS'04 Proceedings of the First international conference on Computational and Information Science
A modeling approach based on p systems with bounded parallelism
WMC'06 Proceedings of the 7th international conference on Membrane Computing
Secrecy of signals by typing in signal transduction
ICNC'06 Proceedings of the Second international conference on Advances in Natural Computation - Volume Part II
A new occurrence counting analysis for bioambients
APLAS'05 Proceedings of the Third Asian conference on Programming Languages and Systems
Bio-PEPAd: A non-Markovian extension of Bio-PEPA
Theoretical Computer Science
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
Probabilistic model checking of complex biological pathways
CMSB'06 Proceedings of the 2006 international conference on Computational Methods in Systems Biology
CMSB'06 Proceedings of the 2006 international conference on Computational Methods in Systems Biology
A formal approach to molecular docking
CMSB'06 Proceedings of the 2006 international conference on Computational Methods in Systems Biology
Feedbacks and oscillations in the virtual cell VICE
CMSB'06 Proceedings of the 2006 international conference on Computational Methods in Systems Biology
On p systems as a modelling tool for biological systems
WMC'05 Proceedings of the 6th international conference on Membrane Computing
On the computational power of brane calculi
Transactions on Computational Systems Biology VI
Analysis of signalling pathways using continuous time markov chains
Transactions on Computational Systems Biology VI
Simulating bacterial transcription and translation in a stochastic π calculus
Transactions on Computational Systems Biology VI
P systems, a new computational modelling tool for systems biology
Transactions on Computational Systems Biology VI
Multiple representations of biological processes
Transactions on Computational Systems Biology VI
An implementation for mapping SBML to BioSPI
FSKD'05 Proceedings of the Second international conference on Fuzzy Systems and Knowledge Discovery - Volume Part II
Typing aberrance in signal transduction
ICNC'05 Proceedings of the First international conference on Advances in Natural Computation - Volume Part III
Modeling kohn interaction maps with beta-binders: an example
Transactions on Computational Systems Biology III
Abstract machines of systems biology
Transactions on Computational Systems Biology III
Performance analysis of a UML micro-business case study
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
Beta binders for biological interactions
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Welcome to the jungle: a subjective guide to mobile process calculi
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Operational patterns in beta-binders
Transactions on Computational Systems Biology I
Transactions on Computational Systems Biology VII
Gene regulation in the pi calculus: simulating cooperativity at the lambda switch
Transactions on Computational Systems Biology VII
Translating SBML models into the stochastic π-calculus for stochastic simulation
Transactions on Computational Systems Biology VII
Graph theory for rule-based modeling of biochemical networks
Transactions on Computational Systems Biology VII
A graphical representation for biological processes in the stochastic pi-calculus
Transactions on Computational Systems Biology VII
The attributed pi-calculus with priorities
Transactions on Computational Systems Biology XII
Modelling self-assembly in BlenX
Transactions on Computational Systems Biology XII
Modelling and analysis of the NF-κB pathway in bio-PEPA
Transactions on Computational Systems Biology XII
An analysis for proving temporal properties of biological systems
APLAS'06 Proceedings of the 4th Asian conference on Programming Languages and Systems
Stochastic simulation of multiple process calculi for biology
Theoretical Computer Science
Simulation techniques for the calculus of wrapped compartments
Theoretical Computer Science
Foundational aspects of multiscale modeling of biological systems with process algebras
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)
Logical Analysis of Biological Systems
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
A Probabilistic Model for Molecular Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
A stochastic semantics for bioambients
PaCT'07 Proceedings of the 9th international conference on Parallel Computing Technologies
Rule-based modelling of cellular signalling
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
An analysis for proving probabilistic termination of biological systems
Theoretical Computer Science
Seven pitfalls in modeling and simulation research
Proceedings of the Winter Simulation Conference
Transactions on Computational Systems Biology XIV
BioScape: A Modeling and Simulation Language for Bacteria-Materials Interactions
Electronic Notes in Theoretical Computer Science (ENTCS)
Structural operational semantics for stochastic and weighted transition systems
Information and Computation
Simulating Anti-adhesive and Antibacterial Bifunctional Polymers for Surface Coating using BioScape
Proceedings of the International Conference on Bioinformatics, Computational Biology and Biomedical Informatics
Computational and mathematical models of the JAK-STAT signal transduction pathway
Proceedings of the 2013 Summer Computer Simulation Conference
| Hi-index | 0.93 |