Biology as reactivity

Authors:
Jasmin Fisher;David Harel;Thomas A. Henzinger
Affiliations:
Microsoft Research Cambridge, Cambridge, UK;Weizmann Institute of Science, Rehovot, Israel;University of California, Berkeley
Venue:
Communications of the ACM
Year:
2011

Citing 38
Cited 5

Statecharts: A visual formalism for complex systems

Science of Computer Programming
On the synthesis of a reactive module

POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On the development of reactive systems

Logics and models of concurrent systems
Automata on infinite objects

Handbook of theoretical computer science (vol. B)
Temporal and modal logic

Handbook of theoretical computer science (vol. B)
Operational and algebraic semantics of concurrent processes

Handbook of theoretical computer science (vol. B)
Reactive Modules

Formal Methods in System Design - Special issue on The First Federated Logic Conference (FLOC'96), part II
Communicating and mobile systems: the &pgr;-calculus

Communicating and mobile systems: the &pgr;-calculus
LSCs: Breathing Life into Message Sequence Charts

Formal Methods in System Design
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Application of a stochastic name-passing calculus to representation and simulation of molecular processes

Information Processing Letters
A Calculus of Communicating Systems

A Calculus of Communicating Systems
Petri Net Theory and the Modeling of Systems

Petri Net Theory and the Modeling of Systems
Executable Object Modeling with Statecharts

Computer
Automata For Modeling Real-Time Systems

ICALP '90 Proceedings of the 17th International Colloquium on Automata, Languages and Programming
PRISM: Probabilistic Symbolic Model Checker

TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
Counterexample-guided abstraction refinement for symbolic model checking

Journal of the ACM (JACM)
Formalization of the Protein Production by Means of Petri Nets

ICIIS '99 Proceedings of the 1999 International Conference on Information Intelligence and Systems
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
Reactive Animation: Realistic Modeling of Complex Dynamic Systems

Computer
BioNetGen: software for rule-based modeling of signal transduction based on the interactions of molecular domains

Bioinformatics
Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli

Bioinformatics
BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge

Bioinformatics
Simulation and verification for computational modelling of signalling pathways

Proceedings of the 38th conference on Winter simulation
The Discipline of Embedded Systems Design

Computer
GemCell: A generic platform for modeling multi-cellular biological systems

Theoretical Computer Science
Toward Verified Biological Models

IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
The temporal logic of programs

SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
Algorithmic systems biology

Communications of the ACM - Security in the Browser
Approximation of Event Probabilities in Noisy Cellular Processes

CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
Formalisms for Specifying Markovian Population Models

RP '09 Proceedings of the 3rd International Workshop on Reachability Problems
Fast Adaptive Uniformization of the Chemical Master Equation

HIBI '09 Proceedings of the 2009 International Workshop on High Performance Computational Systems Biology
The pathalyzer: a tool for analysis of signal transduction pathways

RECOMB'05 Proceedings of the 2005 joint annual satellite conference on Systems biology and regulatory genomics
Hybrid numerical solution of the chemical master equation

Proceedings of the 8th International Conference on Computational Methods in Systems Biology
Simulation distances

CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Abstract machines of systems biology

Transactions on Computational Systems Biology III
Rule-based modelling of cellular signalling

CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory

Standing on the shoulders of a giant: one persons experience of turings impact

ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part II
Natural algorithms and influence systems

Communications of the ACM
Approximate bisimulations for sodium channel dynamics

CMSB'12 Proceedings of the 10th international conference on Computational Methods in Systems Biology
Synthesis of biological models from mutation experiments

POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
At the interface of biology and computation

Proceedings of the SIGCHI Conference on Human Factors in Computing Systems

Quantified Score

Hi-index	48.24

Visualization

Abstract

Exploring the connection of biology with reactive systems to better understand living systems.