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
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
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