PRESENTATIONS
Molecular
Programming with Stochastic Pi Calculus: Computer Representation of Biological
Processes. December 2001. [slides]
Modeling
Pathways with the pi-calculus and the ambient calculus. Invited talk at the Algorithmique et Biologie Seminar Series, Lion,
September 2001 [abstract]
, [slides]
Modeling
Pathways with the pi-calculus: Concurrent Processes Come Alive. Invited talk at
the 2nd
workshop on Computation of Biochemical Pathways and Genetic Networks,
Villa Bosch, Heidelberg June 2001 [slides]
The
BioSPI Project: Representation and Simulation of Molecular Pathways. Pacific Symposium on
Biocomputing 01, Hawaii, January 2001 [slides]
Compositional
Representation of Biochemical Processes Using Stochastic Process Algebra.
Seminar presented at Dept.
Frontier Informatics, University of Tokyo, Japan, November 2000 [abstract] , [slides]
Representing and Simulating
Biochemical Processes Using Non-Deterministic and Stochastic Process Algebra,
Invited Seminar at the Jackson Labs, October 2000 [abstract] , [slides]
Biomolecular Processes as Concurrent
Computation: Modeling Molecular Processes in the pi-Calculus Process Algebra, an invited talk at Bioinformatics
2000, Denmark, April 2000 [slides]
Representing Biomolecular Processes with Process
Algebra: pi-Calculus as a Formalism for Signal Transduction
Networks, given at INRIA/Rocquencourt, Hybrigenics Inc, and École normale supérieure, Paris, March
2000 [slides]
Cellular Communication: Biomolecular Processes as Concurrent
Computation, given at the Cohn
Institute for the Philosophy of Science and Ideas, Tel Aviv University,
March 2000 [slides]
Modeling Signal Transduction with
Process Algebra: Integrating Molecular Structure and Dynamics, given at the 3rd
Israel Bioinformatics Day, January 2000, and in the BigRoc
seminar at Weizmann Institute of Science, February 2000 [slides]