Stochastic Simulation of Multiple Process Calculi for Biology
Matthew R. Lakin, Loïc Paulevé, Andrew Phillips
Theoretical Computer Science | May 2012, 제 431 권: pp. 181-206
Stochastic Pi Machine
설립: November 21, 2008
출판물
-
-
-
-
A peptide filtering relation quantifies MHC class I peptide optimization
Neil Dalchau, Andrew Phillips, Leonard D Goldstein, Mark Howarth, Luca Cardelli, Stephen Emmott, Tim Elliott, Joern M Werner
PLoS Computational Biology | October 2011, 제 7 권(10): pp. e1002144
-
-
-
Stochastic Simulation of Process Calculi for Biology
Andrew Phillips, Matthew R. Lakin, Loïc Paulevé
Electronic Proceedings in Theoretical Computer Science | November 2010
-
A Generic Abstract Machine for Stochastic Process Calculi
Loïc Paulevé, Simon Youssef, Matthew R. Lakin, Andrew Phillips
Computational Methods in Systems Biology | September 2010, pp. 43-54
-
-
-
Computational Modeling of the EGFR Network Elucidates Control Mechanisms Regulating Signal Dynamics
Dennis YQ Wang, Luca Cardelli, Andrew Phillips, Nir Piterman, Jasmin Fisher
BMC Systems Biology | December 2009, 제 3 권: pp. 118
-
A Process Model of Rho GTP-binding Proteins
Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanogullari, Andrew Phillips
Theoretical Computer Science | August 2009, 제 410 권: pp. 3166-3185
-
A Process Model of Actin Polymerisation
Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanoğulları, Andrew Phillips
Electronic Notes in Theoretical Computer Science | February 2009, 제 229 권(1): pp. 127-144
-
A Visual Process Calculus for Biology
Andrew Phillips
Symbolic Systems Biology: Theory and Methods | 글쓴이 Jones and Bartlett Publishers | 2009 | Symbolic Systems Biology: Theory and Methods edition
-
An Abstract Machine for the Stochastic Bioambient Calculus
Andrew Phillips
Electronic Notes in Theoretical Computer Science | January 2009, 제 227 권: pp. 143-159
-
-
-
Compositionality, Stochasticity and Cooperativity in Dynamic Models of Gene Regulation
Ralf Blossey, Luca Cardelli, Andrew Phillips
HFSP Journal | February 2008, 제 2 권: pp. 17-28
-
A Chart Semantics for the Pi-calculus
Johannes Borgström, Andy Gordon, Andrew Phillips
Electronic Notes in Theoretical Computer Science | January 2008, 제 194 권: pp. 3-29
-
-
-
Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus
Andrew Phillips, Luca Cardelli
Computational Methods in Systems Biology | September 2007, 제 4695 권: pp. 184-199
-
-
-
A Graphical Representation for Biological Processes in the Stochastic Pi-calculus
Andrew Phillips, Luca Cardelli, Giuseppe Castagna
Transactions in Computational Systems Biology | November 2006, 제 4230 권: pp. 123-152
-
A Compositional Approach to the Stochastic Dynamics of Gene Networks
Ralf Blossey, Luca Cardelli, Andrew Phillips
Transactions in Computational Systems Biology | January 2006, 제 3939 권: pp. 99-122
ISBN: 3-540-33245-6
-
-
-
A Correct Abstract Machine for the Stochastic Pi-calculus
Andrew Phillips, Luca Cardelli
Concurrent Models in Molecular Biology | August 2004
-
-
-
Stochastic Simulation of Multiple Process Calculi for Biology
Matthew R. Lakin, Loïc Paulevé, Andrew Phillips
Theoretical Computer Science | May 2012, 제 431 권: pp. 181-206
-
A peptide filtering relation quantifies MHC class I peptide optimization
Neil Dalchau, Andrew Phillips, Leonard D Goldstein, Mark Howarth, Luca Cardelli, Stephen Emmott, Tim Elliott, Joern M Werner
PLoS Computational Biology | October 2011, 제 7 권(10): pp. e1002144
-
A Process Model of Rho GTP-binding Proteins
Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanogullari, Andrew Phillips
Theoretical Computer Science | August 2009, 제 410 권: pp. 3166-3185
-
A Process Model of Actin Polymerisation
Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanoğulları, Andrew Phillips
Electronic Notes in Theoretical Computer Science | February 2009, 제 229 권(1): pp. 127-144
-
An Abstract Machine for the Stochastic Bioambient Calculus
Andrew Phillips
Electronic Notes in Theoretical Computer Science | January 2009, 제 227 권: pp. 143-159
-
A Visual Process Calculus for Biology
Andrew Phillips
Symbolic Systems Biology: Theory and Methods | 글쓴이 Jones and Bartlett Publishers | 2009 | Symbolic Systems Biology: Theory and Methods edition
-
A Chart Semantics for the Pi-calculus
Johannes Borgström, Andy Gordon, Andrew Phillips
Electronic Notes in Theoretical Computer Science | January 2008, 제 194 권: pp. 3-29
-
A Compositional Approach to the Stochastic Dynamics of Gene Networks
Ralf Blossey, Luca Cardelli, Andrew Phillips
Transactions in Computational Systems Biology | January 2006, 제 3939 권: pp. 99-122
ISBN: 3-540-33245-6
-
A Correct Abstract Machine for the Stochastic Pi-calculus
Andrew Phillips, Luca Cardelli
Concurrent Models in Molecular Biology | August 2004
-
-
-
Stochastic Simulation of Process Calculi for Biology
Andrew Phillips, Matthew R. Lakin, Loïc Paulevé
Electronic Proceedings in Theoretical Computer Science | November 2010
-
-
-
A Generic Abstract Machine for Stochastic Process Calculi
Loïc Paulevé, Simon Youssef, Matthew R. Lakin, Andrew Phillips
Computational Methods in Systems Biology | September 2010, pp. 43-54
-
Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus
Andrew Phillips, Luca Cardelli
Computational Methods in Systems Biology | September 2007, 제 4695 권: pp. 184-199
-
-
-
Computational Modeling of the EGFR Network Elucidates Control Mechanisms Regulating Signal Dynamics
Dennis YQ Wang, Luca Cardelli, Andrew Phillips, Nir Piterman, Jasmin Fisher
BMC Systems Biology | December 2009, 제 3 권: pp. 118
-
Compositionality, Stochasticity and Cooperativity in Dynamic Models of Gene Regulation
Ralf Blossey, Luca Cardelli, Andrew Phillips
HFSP Journal | February 2008, 제 2 권: pp. 17-28
-
A Compositional Approach to the Stochastic Dynamics of Gene Networks
Ralf Blossey, Luca Cardelli, Andrew Phillips
Transactions in Computational Systems Biology | January 2006, 제 3939 권: pp. 99-122
ISBN: 3-540-33245-6
-
-
-
A Graphical Representation for Biological Processes in the Stochastic Pi-calculus
Andrew Phillips, Luca Cardelli, Giuseppe Castagna
Transactions in Computational Systems Biology | November 2006, 제 4230 권: pp. 123-152
-
-
-
Stochastic Simulation of Multiple Process Calculi for Biology
Matthew R. Lakin, Loïc Paulevé, Andrew Phillips
Theoretical Computer Science | May 2012, 제 431 권: pp. 181-206
-
A peptide filtering relation quantifies MHC class I peptide optimization
Neil Dalchau, Andrew Phillips, Leonard D Goldstein, Mark Howarth, Luca Cardelli, Stephen Emmott, Tim Elliott, Joern M Werner
PLoS Computational Biology | October 2011, 제 7 권(10): pp. e1002144
-
A Generic Abstract Machine for Stochastic Process Calculi
Loïc Paulevé, Simon Youssef, Matthew R. Lakin, Andrew Phillips
Computational Methods in Systems Biology | September 2010, pp. 43-54
-
Computational Modeling of the EGFR Network Elucidates Control Mechanisms Regulating Signal Dynamics
Dennis YQ Wang, Luca Cardelli, Andrew Phillips, Nir Piterman, Jasmin Fisher
BMC Systems Biology | December 2009, 제 3 권: pp. 118
-
A Process Model of Rho GTP-binding Proteins
Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanogullari, Andrew Phillips
Theoretical Computer Science | August 2009, 제 410 권: pp. 3166-3185
-
A Process Model of Actin Polymerisation
Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanoğulları, Andrew Phillips
Electronic Notes in Theoretical Computer Science | February 2009, 제 229 권(1): pp. 127-144
-
An Abstract Machine for the Stochastic Bioambient Calculus
Andrew Phillips
Electronic Notes in Theoretical Computer Science | January 2009, 제 227 권: pp. 143-159
-
Compositionality, Stochasticity and Cooperativity in Dynamic Models of Gene Regulation
Ralf Blossey, Luca Cardelli, Andrew Phillips
HFSP Journal | February 2008, 제 2 권: pp. 17-28
-
A Chart Semantics for the Pi-calculus
Johannes Borgström, Andy Gordon, Andrew Phillips
Electronic Notes in Theoretical Computer Science | January 2008, 제 194 권: pp. 3-29
-
Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus
Andrew Phillips, Luca Cardelli
Computational Methods in Systems Biology | September 2007, 제 4695 권: pp. 184-199
-
A Graphical Representation for Biological Processes in the Stochastic Pi-calculus
Andrew Phillips, Luca Cardelli, Giuseppe Castagna
Transactions in Computational Systems Biology | November 2006, 제 4230 권: pp. 123-152
-
A Compositional Approach to the Stochastic Dynamics of Gene Networks
Ralf Blossey, Luca Cardelli, Andrew Phillips
Transactions in Computational Systems Biology | January 2006, 제 3939 권: pp. 99-122
ISBN: 3-540-33245-6
-
-
-
Stochastic Simulation of Process Calculi for Biology
Andrew Phillips, Matthew R. Lakin, Loïc Paulevé
Electronic Proceedings in Theoretical Computer Science | November 2010
-
A Correct Abstract Machine for the Stochastic Pi-calculus
Andrew Phillips, Luca Cardelli
Concurrent Models in Molecular Biology | August 2004
-
-
-
A Visual Process Calculus for Biology
Andrew Phillips
Symbolic Systems Biology: Theory and Methods | 글쓴이 Jones and Bartlett Publishers | 2009 | Symbolic Systems Biology: Theory and Methods edition
-