Algorithmic systems biology

Authors:
Corrado Priami
Affiliations:
Microsoft Research-University of Trento Centre for Computational and Systems Biology
Venue:
Communications of the ACM - Security in the Browser
Year:
2009

Citing 21
Cited 15

Scalability of parallel machines

Communications of the ACM
The algorithmic analysis of hybrid systems

Theoretical Computer Science - Special issue on hybrid systems
Non-interleaving semantics for mobile processes

Theoretical Computer Science
Form and Content in Computer Science (1970 ACM turing lecture)

Journal of the ACM (JACM)
Application of a stochastic name-passing calculus to representation and simulation of molecular processes

Information Processing Letters
Handbook of Process Algebra

Handbook of Process Algebra
Great principles of computing

Communications of the ACM - Blueprint for the future of high-performance networking
Is computer science science?

Communications of the ACM - Transforming China
Recentering computer science

Communications of the ACM
Crisis and opportunity in computer science

Communications of the ACM
Computational thinking

Communications of the ACM - Self managed systems
Biologically uninspired computer science

Communications of the ACM - Entertainment networking
Systems Biology: Properties of Reconstructed Networks

Systems Biology: Properties of Reconstructed Networks
Statecharts in the making: a personal account

Proceedings of the third ACM SIGPLAN conference on History of programming languages
Computing is a natural science

Communications of the ACM - Creating a science of games
The crucial role of CS in systems and synthetic biology

Communications of the ACM - Web searching in a multilingual world
Web science: an interdisciplinary approach to understanding the web

Communications of the ACM - Web science
Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational 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
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
Communicating mobile processes

CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years

BlenX Static and Dynamic Semantics

CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
The Equivalence between Biology and Computation

CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
BlenX4Bio --- BlenX for Biologists

CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
P system model optimisation by means of evolutionary based search algorithms

Proceedings of the 12th annual conference on Genetic and evolutionary computation
Evolutionary symbolic discovery for bioinformatics, systems and synthetic biology

Proceedings of the 12th annual conference companion on Genetic and evolutionary computation
Discrete causal model view of biological networks

Proceedings of the 8th International Conference on Computational Methods in Systems Biology
Advances in new technologies, interactive interfaces and communicability: design, E-commerce, E-learning, E-health, E-tourism, web 2.0 and web 3.0

ADNTIIC'10 Proceedings of the First international conference on Advances in new technologies, interactive interfaces, and communicability
Biology as reactivity

Communications of the ACM
The only way is up

FM'11 Proceedings of the 17th international conference on Formal methods
Rewriting in practice

TLCA'11 Proceedings of the 10th international conference on Typed lambda calculi and applications
Modelling and analysis of the NF-κB pathway in bio-PEPA

Transactions on Computational Systems Biology XII
Composability: perspectives in ecological modeling

ANB'10 Proceedings of the 4th international conference on Algebraic and Numeric Biology
Evolving Bio-PEPA process algebra models using genetic programming

Proceedings of the 14th annual conference on Genetic and evolutionary computation
Executable Modeling of Morphogenesis: A Turing-Inspired Approach

Fundamenta Informaticae - Watching the Daisies Grow: from Biology to Biomathematics and Bioinformatics — Alan Turing Centenary Special Issue
On approximative reachability analysis of biochemical dynamical systems

Transactions on Computational Systems Biology XIV

Quantified Score

Hi-index	0.02

Visualization

Abstract

The convergence of CS and biology will serve both disciplines, providing each with greater power and relevance.