In Silico Synthesis György Pirok, Nóra Máté. Elements of the Virtual Synthesis Technology A language for describing chemical rules –Chemical Terms A library.
Supporting Adaptation Patterns in the Event-driven Business Process Modelling Paradigm
Cellular Energy pt.1
Biomolecular Processes as Concurrent Computation: Modeling Molecular Processes in the -calculus Process Algebra.
Computational Modeling for the Activation Cycle of G-proteins by G-protein-coupled Receptors Student: Yifei Bao 1, Tommy E. White 2, Advisor: Adriana B.
The BioPSI Project: Concurrent Processes Come Alive aviv.
faculteit technologie management Steps Towards Formal Verification of Agent-based E-Business Applications Nick Szirbik & Gerd Wagner Eindhoven University.
McAfee Data Protection Total Protection Suite for Data (ToPS Data)
TRANSLATOR: A TRANSlator from LAnguage TO Rules David Hirtle David R. Cheriton School of Computer Science University of Waterloo (Work done at the University.
Dynamics and MetaDynamics in Biological and Chemical Networks Hugues Bersini IRIDIA Universite Libre de Bruxelles.
Modeling Signal Transduction with Process Algebra: Integrating Molecular Structure and Dynamics
The Joy of Computational Biology Nancy Griffeth. Outline What will we be doing Why I think computational biology is fun.
