Jinny X. Zhang, Boyan Yordanov, Alexander Gaunt, Michael X. Wang, Peng Dai, Yuan-Jyue Chen, Kerou Zhang, John Z. Fang, Neil Dalchau, Jiaming Li, Andrew Phillips, David Yu Zhang
Nature Communications | July 2021, 제 12 권
Trevor Y. H. Ho, Alexander Shao, Zeyu Lu, Harri Savilahti, Filippo Menolascina, Lei Wang, Neil Dalchau, Baojun Wang
Nature Communications | April 2021, 제 12 권(1): pp. 2200-2200
Paul Grant, Gregory Szep, Om Patange, Jacob Halatek, Valerie Coppard, Attila Csikasz-Nagy, Jim Haseloff, James C. W. Locke, Neil Dalchau, Andrew Phillips
Nature Communications | November 2020, 제 11 권(5545)
Andrew L. Krause, Vaclav Klika, Jacob Halatek, Paul Grant, Thomas L. Woolley, Neil Dalchau, Eamonn A. Gaffney
Bulletin of Mathematical Biology | October 2020, 제 82 권(136)
Matthew R. Lakin, Andrew Phillips
ACS Synthetic Biology | June 2020, 제 9 권(7): pp. 1499-1513
Eugene Nadezhdin, Niall Murphy, Neil Dalchau, Andrew Phillips, James C. W. Locke
Nature Communications | February 2020, 제 11 권: pp. 950
Carlo Spaccasassi, Boyan Yordanov, Andrew Phillips, Neil Dalchau
Computational Methods for Systems Biology (CMSB) | September 2019
편집자: Luca Bortolussi, Guido Sanguinetti
Geoffrey Roeder, Paul Grant, Andrew Phillips, Neil Dalchau, Ted Meeds
ICML 2019 | June 2019
Alex Joesaar, Shuo Yang, Bas Bögels, Ardjan van der Linden, Pascal Pieters, B. V. V. S. Pavan Kumar, Neil Dalchau, Andrew Phillips, Stephen Mann, Tom F. A. de Greef
Nature Nanotechnology | March 2019
Sara-Jane Dunn, Meng Amy Li, Elena Carbognin, Austin Smith, Graziano Martello
The EMBO Journal | November 2018, 제 e100003 권
Carlo Spaccasassi, Matthew R. Lakin, Andrew Phillips
ACS Synthetic Biology | October 2018
Om Patange, Christian Schwall, Matt Jones, Casandra Villava, Douglas A. Griffith, Andrew Phillips, James C.W. Locke
Nature Communications | September 2018, 제 53 권(33)
Hillel Kugler, Sara-Jane Dunn, Boyan Yordanov
CMSB | September 2018
Niall Murphy, Rasmus Petersen, Andrew Phillips, Boyan Yordanov, Neil Dalchau
Journal of the Royal Society Interface | August 2018
Denise S. M. Boulanger, Ruth C. Eccleston, Andrew Phillips, Peter V. Coveney, T. Elliott, Neil Dalchau
Frontiers in Immunology | July 2018, 제 9 권: pp. 1538
Neil Dalchau, Gregory Szep, Rosa Hernansaiz-Ballesteros, Chris P Barnes, Luca Cardelli, Andrew Phillips, Attila Csikasz-Nagy
Natural Computing | June 2018
Stephen Smith, Neil Dalchau
Journal of the Royal Society Interface | March 2018, 제 15 권
Jinny X. Zhang, John Z. Fang, Wei Duan, Lucia R. Wu, Angela W. Zhang, Neil Dalchau, Boyan Yordanov, Rasmus Petersen, Andrew Phillips, David Yu Zhang
Nature Chemistry | November 2017
Ruth Charlotte Eccleston, Peter V. Coveney, Neil Dalchau
Scientific Reports | October 2017, 제 7 권: pp. 14367
Ajay Mishra, Benedicte Oules, Angela Oliveira Pisco, Tony Ly, Kifayathullah Liakath-Ali, Gernot Walko, Priyalakshmi Viswanathan, Matthieu Tihy, Jagdeesh Nijjher, Sara-Jane Dunn, Angus I Lamond, Fiona M Watt
eLife | October 2017, 제 6:e27356 권
Matthew R. Lakin, Andrew Phillips
International Conference on DNA Computing and Molecular Programming | September 2017
Gourab Chatterjee, Neil Dalchau, Richard A. Muscat, Andrew Phillips, Georg Seelig
Nature Nanotechnology | July 2017
Ruth Charlotte Eccleston, Shunzhou Wan, Neil Dalchau, Peter V. Coveney
Frontiers in Immunology | July 2017
Luca Cardelli, Rosa D Hernansaiz-Ballesteros, Neil Dalchau, Attila Csikasz-Nagy
PLoS Computational Biology | January 2017, 제 13 권: pp. e1005100
Kathryn Atwell, Sara-Jane Dunn, James M. Osborne, Hillel Kugler, E. Jane Albert Hubbard
Molecular Reproduction and Development | September 2016
Boyan Yordanov, Sara-Jane Dunn, Hillel Kugler, Austin Smith, Graziano Martello, Stephen Emmott
Systems Biology and Applications | July 2016, 제 2 권
Peter Backeman, Sara-Jane Dunn, Boyan Yordanov, Christoph M. Wintersteiger, Sara-Jane Dunn, Boyan Yordanov, Christoph M. Wintersteiger
Proceedings of the 14th International Workshop on Satisfiability Modulo Theories (SMT) | July 2016
Rasmus Petersen, Matthew R Lakin, Andrew Phillips
Theoretical Computer Science | June 2016, 제 632 권: pp. 43-73
Matthew R Lakin, Darko Stefanovic, Andrew Phillips
Theoretical Computer Science | June 2016, 제 632 권: pp. 21
Yoli Shavit, Boyan Yordanov, Sara-Jane Dunn, Christoph M. Wintersteiger, Tomoki Otani, Frederick J. Livesey, Hillel Kugler
Biosystems | May 2016, 제 146 권: pp. 26-34
Sara-Jane Dunn, James M. Osborne, Inke S. Nathke
Molecular Biology of the Cell | April 2016, 제 27 권: pp. 1863-1874
Rosa Hernansaiz-Ballesteros, Neil Dalchau, Luca Cardelli, Attila Csikasz-Nagy
Proceedings of the Evry Spring School on Advances in Systems and Synthetic Biology | March 2016
Attila Csikasz-Nagy, Neil Dalchau, Mirco Tribastone, Max Tschaikowski, Luca Cardelli
Scientific Reports | February 2016, 제 6 권: pp. 20214
Alistair Bailey, Neil Dalchau, Rachel Carter, Stephen Emmott, Andrew Phillips, Jörn M. Werner, Tim Elliott
Scientific Reports | October 2015, 제 5 권: pp. 14928
Timothy J. Rudge, James R. Brown, Fernan Federici, Neil Dalchau, Andrew Phillips, James W Ajioka, Jim Haseloff
ACS Synthetic Biology | October 2015
Neil Dalchau, Niall Murphy, Rasmus Petersen, Boyan Yordanov
International Conference on DNA Computing and Molecular Programming | August 2015, 제 9211 권
Neil Dalchau, Harish Chandran, Nikhil Gopalkrishnan, Andrew Phillips, John Reif
ACS Synthetic Biology | June 2015, 제 4 권: pp. 898-913
Michael Pedersen, Andrew Phillips, Gordon D. Plotkin
PLoS ONE | June 2015, 제 10 권(6): pp. e0114296
Camille Guilbaud, Neil Dalchau, Drew Purves, Lindsay Turnbull
New Phytologist | January 2015, 제 205 권: pp. 918-927
Attila Csikász-Nagy, Neil Dalchau
MSR-TR-2014-134 | September 2014
Essays for the Luca Cardelli Fest
Matthew R. Lakin, Rasmus Petersen, Kathryn E. Gray, Andrew Phillips
International Conference on DNA Computing and Molecular Programming | September 2014
Neil Dalchau, Georg Seelig, Andrew Phillips
International Conference on DNA Computing and Molecular Programming | September 2014
Alberto Carignano, Ye Yuan, Neil Dalchau, Alex AR Webb, Jorge M Goncalves
A Systems Theoretic Approach to Systems and Synthetic Biology I: Models and System Characterizations, 9 | 글쓴이 Springer | 2014 | A Systems Theoretic Approach to Systems and Synthetic Biology I: Models and System Characterizations edition
Nicola Paoletti, Boyan Yordanov, Youssef Hamadi, Christoph M. Wintersteiger, Hillel Kugler
26th International Conference on Computer Aided Verification (CAV) | July 2014
Boyan Yordanov, Jongmin Kim, Rasmus L. Petersen, Angelina Shudy, Vishwesh V. Kulkarni, Andrew Phillips
ACS Synthetic Biology | July 2014, 제 3 권: pp. 600-616
Sara-Jane Dunn, Graziano Martello, Boyan Yordanov, Stephen Emmott, Austin Smith
Science | June 2014, 제 344 권: pp. 1156
Neil Dalchau, Boyan Yordanov, Paul Grant, Michael Pedersen, Stephen Emmott, Jim Haseloff, Andrew Phillips
ACS Synthetic Biology | March 2014, 제 3 권(8): pp. 578-588
James Osborne, Miguel Bernabeu, Maria Bruna, Ben Calderhead, Jonathan Cooper, Neil Dalchau, Sara-Jane Dunn, Alexander Fletcher, Derek Groen, Bernhard Knapp, Gary Mirams, Joe Pitt-Francis, Biswa Sengupta, David Wright, Christian Yates, David Gavaghan, Stephen Emmott, Charlotte Deane
PLoS Computational Biology | March 2014, pp. e1003506
Michael Pedersen, Nicolas Oury, Andrew Phillips
Bioinformatics | January 2014, 제 30 권: pp. 1491-1492
Matthew R Lakin, Andrew Phillips
Practical Aspects of Declarative Languages - 16th International Symposium | January 2014
Hillel Kugler
IEEE 9th International Conference on e-Science | October 2013
Yuan-Jyue Chen, Neil Dalchau, Niranjan Srnivas, Andrew Phillips, Luca Cardelli, David Soloveichik, Georg Seelig
Nature Nanotechnology | September 2013, 제 8 권: pp. 755-762
Antony N Dodd, Neil Dalchau, Michael J Gardner, Seong Jin Baek, Alex AR Webb
New Phytologist | September 2013, 제 201 권(1): pp. 168-179
Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Andrew Phillips, Hillel Kugler
International Conference on DNA Computing and Molecular Programming | September 2013
Matthew R. Lakin, Andrew Phillips, Darko Stefanovic
International Conference on DNA Computing and Molecular Programming | September 2013, 제 8141 권: pp. 133-146
Paul Grant, Jim Haseloff, Stephen Emmott, Boyan Yordanov, Neil Dalchau, Andrew Phillips
International Workshop on Biodesign Automation | July 2013
Boyan Yordanov, Youssef Hamadi, Hillel Kugler, Christoph M. Wintersteiger
SMT'13 | July 2013
Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Hillel Kugler
NASA Formal Methods Symposium 2013 | May 2013
G. R. Mirams, C. J. Arthurs, M. O. Bernabeu, R. Bordas, J. Cooper, A. Corrias, Y. Davit, Sara-Jane Dunn, A. G. Fletcher, D. G. Harvey, M. E. Marsh, J. M. Osborne, P. Pathmanathan, J. Pitt-Francis, J. Southern, N. Zemzemi, D. J. Gavaghan
PLOS Comput. Biol. | March 2013
Kaylene M. Young, Konstantina Psachoulia, Richa B. Tripathi, Sara-Jane Dunn, Lee Cossell, David Attwell, Koujiro Tohyama, William D. Richardson
Neuron | March 2013
Timothy J. Rudge, Paul J. Steiner, Andrew Phillips, Jim Haseloff
ACS Synthetic Biology | July 2012, 제 1 권: pp. 345-352
Matthew R. Lakin,, David Parker, Luca Cardelli, Marta Kwiatkowska, Andrew Phillips
Journal of the Royal Society Interface | July 2012, 제 9 권: pp. 1470-1485
Sara-Jane Dunn, Paul L. Appleton, Scott A. Nelson, Inke S. Nathke, David J. Gavaghan, James M. Osborne
PLoS Computational Biology | May 2012
Matthew R. Lakin, Loïc Paulevé, Andrew Phillips
Theoretical Computer Science | May 2012, 제 431 권: pp. 181-206
Neil Dalchau, Matthew Smith, Samuel Martin, James R Brown, Stephen Emmott, Andrew Phillips
Journal of the Royal Society Interface | May 2012, 제 9 권: pp. 2883-2898
Boyan Yordanov, Youssef Hamadi, Hillel Kugler, Christoph M. Wintersteiger
MSR-TR-2012-31 | March 2012
Matthew R Lakin, Simon Youssef, Luca Cardelli, Andrew Phillips
Journal of the Royal Society Interface | March 2012, 제 9 권(68): pp. 470-486
Neil Dalchau
New Phytologist | March 2012, 제 193 권(4): pp. 852-858
Hillel Kugler
Development | January 2012, 제 139 권: pp. 47
Sara-Jane Dunn, Alexander G. Fletcher, S. Jonathan Chapman, David J. Gavaghan, James M. Osborne
Journal of Theoretical Biology | December 2011
Matthew R Lakin, Simon Youssef, Filippo Polo, Stephen Emmott, Andrew Phillips
Bioinformatics | November 2011, 제 27 권: pp. 3211-3213
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
Yaki Setty, Chih-Chun Chen, Maria Secrier, Nikita Skoblov, Dimitrios Kalamatianos, Stephen Emmott
BMC Systems Biology | September 2011
Harish Chandran, Nikhil Gopalkrishnan, Andrew Phillips, John Reif
International Conference on DNA Computing and Molecular Programming | September 2011, 제 6937 권: pp. 64-83
Andrew Phillips, Matthew R Lakin
International Conference on DNA Computing and Molecular Programming | September 2011
Hillel Kugler, Cory Plock, Andy Roberts
Computer Aided Verification (CAV'11) | July 2011
Aleksandar Milicevic, Hillel Kugler
Nasa Formal Methods Symposium | April 2011
Nasa Formal Methods Symposium
Neil Dalchau, Seong Jin Baek, Helen M Briggs, Fiona C Robertson, Antony N Dodd, Michael J Gardner, Matthew A Stancombe, Michael J Haydon, Guy-Bart Stan, Jorge M Goncalves, Alex AR Webb
Proceedings of the National Academy of Sciences | March 2011
Neil Dalchau, Alex AR Webb
Biochemist | February 2011, 제 33 권(1): pp. 12-15
Andrew Phillips, Matthew R. Lakin, Loïc Paulevé
Electronic Proceedings in Theoretical Computer Science | November 2010
Andy van Hateren, Ed James, Alistair Bailey, Andrew Phillips, Neil Dalchau, Tim Elliott
Tissue Antigens | October 2010, 제 76 권(4): pp. 259
Loïc Paulevé, Simon Youssef, Matthew R. Lakin, Andrew Phillips
Computational Methods in Systems Biology | September 2010, pp. 43-54
Sara-Jane Dunn, Jonathan P. Whiteley
Annals of Biomedical Engineering | September 2010, 제 38 권: pp. 2988-2999
Hillel Kugler, Antti Larjo, David Harel
Journal of the Royal Society Interface | July 2010, 제 7 권: pp. 1015-1024
Published online December 2009
Neil Dalchau, Katharine E Hubbard, Fiona C Robertson, Carlos T Hotta, Helen M Briggs, Guy-Bart Stan, Jorge M Goncalves, Alex A R Webb
Proceedings of the National Academy of Sciences | July 2010
Paul Grant, Cecilia Moens
Neural Development | March 2010, 제 5 권
David Harel, Hillel Kugler, Shahar Maoz, Itai Segali
SOFSEM 2010: Theory and Practice of Computer Science | January 2010
Mathew G Lewsey, Alex M Murphy, Daniel MacLean, Neil Dalchau, Jack H Westwood, Keith Macaulay, Mark H Bennett, Michael Moulin, David E Hanke, Glen Powell, Alison G Smith, John P Carr
Molecular Plant-Microbe Interations | January 2010, 제 23 권: pp. 835-845
David Harel, Hillel Kugler
Essays in Memory of Amir Pnueli | January 2010
Dedicated to the dear memory of Amir Pnueli: Friend, mentor, colleague, and a truly towering figure in computer science
Dennis YQ Wang, Luca Cardelli, Andrew Phillips, Nir Piterman, Jasmin Fisher
BMC Systems Biology | December 2009, 제 3 권: pp. 118
Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanogullari, Andrew Phillips
Theoretical Computer Science | August 2009, 제 410 권: pp. 3166-3185
Katharine E. Hubbard, Fiona C. Robertson, Neil Dalchau, Alex A. R. Webb
Molecular Biosystems | August 2009, 제 5 권: pp. 1502-1511
Andrew Phillips, Luca Cardelli
Journal of the Royal Society Interface | June 2009, 제 6 권: pp. S419-S436
Michael Pedersen, Andrew Phillips
Journal of the Royal Society Interface | April 2009, 제 6 권: pp. S437-S450
Hillel Kugler
Tools and Algorithms for the Construction and Analysis of Systems (TACAS'09) | March 2009
Hillel Kugler, Cory Plock, Amir Pnueli
Fundamental Approaches to Software Engineering (FASE'09) | March 2009
Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanoğulları, Andrew Phillips
Electronic Notes in Theoretical Computer Science | February 2009, 제 229 권(1): pp. 127-144
Andrew Phillips
Symbolic Systems Biology: Theory and Methods | 글쓴이 Jones and Bartlett Publishers | 2009 | Symbolic Systems Biology: Theory and Methods edition
Andrew Phillips
Electronic Notes in Theoretical Computer Science | January 2009, 제 227 권: pp. 143-159
David Harel, Hillel Kugler, Shahar Maoz, Itai Segall
Perspectives in Concurrency Theory (Festschrift for P.S. Thiagarajan), (K. Lodaya et al, eds.), University Press (India) | January 2009
Perspectives in Concurrency Theory (Festschrift for P.S. Thiagarajan), (K. Lodaya et al, eds.), University Press (India)
Jinny X. Zhang, Boyan Yordanov, Alexander Gaunt, Michael X. Wang, Peng Dai, Yuan-Jyue Chen, Kerou Zhang, John Z. Fang, Neil Dalchau, Jiaming Li, Andrew Phillips, David Yu Zhang
Nature Communications | July 2021, 제 12 권
Geoffrey Roeder, Paul Grant, Andrew Phillips, Neil Dalchau, Ted Meeds
ICML 2019 | June 2019
Jinny X. Zhang, Boyan Yordanov, Alexander Gaunt, Michael X. Wang, Peng Dai, Yuan-Jyue Chen, Kerou Zhang, John Z. Fang, Neil Dalchau, Jiaming Li, Andrew Phillips, David Yu Zhang
Nature Communications | July 2021, 제 12 권
Trevor Y. H. Ho, Alexander Shao, Zeyu Lu, Harri Savilahti, Filippo Menolascina, Lei Wang, Neil Dalchau, Baojun Wang
Nature Communications | April 2021, 제 12 권(1): pp. 2200-2200
Paul Grant, Gregory Szep, Om Patange, Jacob Halatek, Valerie Coppard, Attila Csikasz-Nagy, Jim Haseloff, James C. W. Locke, Neil Dalchau, Andrew Phillips
Nature Communications | November 2020, 제 11 권(5545)
Matthew R. Lakin, Andrew Phillips
ACS Synthetic Biology | June 2020, 제 9 권(7): pp. 1499-1513
Eugene Nadezhdin, Niall Murphy, Neil Dalchau, Andrew Phillips, James C. W. Locke
Nature Communications | February 2020, 제 11 권: pp. 950
Alex Joesaar, Shuo Yang, Bas Bögels, Ardjan van der Linden, Pascal Pieters, B. V. V. S. Pavan Kumar, Neil Dalchau, Andrew Phillips, Stephen Mann, Tom F. A. de Greef
Nature Nanotechnology | March 2019
Sara-Jane Dunn, Meng Amy Li, Elena Carbognin, Austin Smith, Graziano Martello
The EMBO Journal | November 2018, 제 e100003 권
Carlo Spaccasassi, Matthew R. Lakin, Andrew Phillips
ACS Synthetic Biology | October 2018
Om Patange, Christian Schwall, Matt Jones, Casandra Villava, Douglas A. Griffith, Andrew Phillips, James C.W. Locke
Nature Communications | September 2018, 제 53 권(33)
Hillel Kugler, Sara-Jane Dunn, Boyan Yordanov
CMSB | September 2018
Denise S. M. Boulanger, Ruth C. Eccleston, Andrew Phillips, Peter V. Coveney, T. Elliott, Neil Dalchau
Frontiers in Immunology | July 2018, 제 9 권: pp. 1538
Jinny X. Zhang, John Z. Fang, Wei Duan, Lucia R. Wu, Angela W. Zhang, Neil Dalchau, Boyan Yordanov, Rasmus Petersen, Andrew Phillips, David Yu Zhang
Nature Chemistry | November 2017
Ruth Charlotte Eccleston, Peter V. Coveney, Neil Dalchau
Scientific Reports | October 2017, 제 7 권: pp. 14367
Ajay Mishra, Benedicte Oules, Angela Oliveira Pisco, Tony Ly, Kifayathullah Liakath-Ali, Gernot Walko, Priyalakshmi Viswanathan, Matthieu Tihy, Jagdeesh Nijjher, Sara-Jane Dunn, Angus I Lamond, Fiona M Watt
eLife | October 2017, 제 6:e27356 권
Matthew R. Lakin, Andrew Phillips
International Conference on DNA Computing and Molecular Programming | September 2017
Gourab Chatterjee, Neil Dalchau, Richard A. Muscat, Andrew Phillips, Georg Seelig
Nature Nanotechnology | July 2017
Ruth Charlotte Eccleston, Shunzhou Wan, Neil Dalchau, Peter V. Coveney
Frontiers in Immunology | July 2017
Luca Cardelli, Rosa D Hernansaiz-Ballesteros, Neil Dalchau, Attila Csikasz-Nagy
PLoS Computational Biology | January 2017, 제 13 권: pp. e1005100
Kathryn Atwell, Sara-Jane Dunn, James M. Osborne, Hillel Kugler, E. Jane Albert Hubbard
Molecular Reproduction and Development | September 2016
Boyan Yordanov, Sara-Jane Dunn, Hillel Kugler, Austin Smith, Graziano Martello, Stephen Emmott
Systems Biology and Applications | July 2016, 제 2 권
Peter Backeman, Sara-Jane Dunn, Boyan Yordanov, Christoph M. Wintersteiger, Sara-Jane Dunn, Boyan Yordanov, Christoph M. Wintersteiger
Proceedings of the 14th International Workshop on Satisfiability Modulo Theories (SMT) | July 2016
Yoli Shavit, Boyan Yordanov, Sara-Jane Dunn, Christoph M. Wintersteiger, Tomoki Otani, Frederick J. Livesey, Hillel Kugler
Biosystems | May 2016, 제 146 권: pp. 26-34
Sara-Jane Dunn, James M. Osborne, Inke S. Nathke
Molecular Biology of the Cell | April 2016, 제 27 권: pp. 1863-1874
Alberto Carignano, Ye Yuan, Neil Dalchau, Alex AR Webb, Jorge M Goncalves
A Systems Theoretic Approach to Systems and Synthetic Biology I: Models and System Characterizations, 9 | 글쓴이 Springer | 2014 | A Systems Theoretic Approach to Systems and Synthetic Biology I: Models and System Characterizations edition
Nicola Paoletti, Boyan Yordanov, Youssef Hamadi, Christoph M. Wintersteiger, Hillel Kugler
26th International Conference on Computer Aided Verification (CAV) | July 2014
James Osborne, Miguel Bernabeu, Maria Bruna, Ben Calderhead, Jonathan Cooper, Neil Dalchau, Sara-Jane Dunn, Alexander Fletcher, Derek Groen, Bernhard Knapp, Gary Mirams, Joe Pitt-Francis, Biswa Sengupta, David Wright, Christian Yates, David Gavaghan, Stephen Emmott, Charlotte Deane
PLoS Computational Biology | March 2014, pp. e1003506
Hillel Kugler
IEEE 9th International Conference on e-Science | October 2013
Boyan Yordanov, Youssef Hamadi, Hillel Kugler, Christoph M. Wintersteiger
SMT'13 | July 2013
Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Hillel Kugler
NASA Formal Methods Symposium 2013 | May 2013
G. R. Mirams, C. J. Arthurs, M. O. Bernabeu, R. Bordas, J. Cooper, A. Corrias, Y. Davit, Sara-Jane Dunn, A. G. Fletcher, D. G. Harvey, M. E. Marsh, J. M. Osborne, P. Pathmanathan, J. Pitt-Francis, J. Southern, N. Zemzemi, D. J. Gavaghan
PLOS Comput. Biol. | March 2013
Kaylene M. Young, Konstantina Psachoulia, Richa B. Tripathi, Sara-Jane Dunn, Lee Cossell, David Attwell, Koujiro Tohyama, William D. Richardson
Neuron | March 2013
Sara-Jane Dunn, Paul L. Appleton, Scott A. Nelson, Inke S. Nathke, David J. Gavaghan, James M. Osborne
PLoS Computational Biology | May 2012
Boyan Yordanov, Youssef Hamadi, Hillel Kugler, Christoph M. Wintersteiger
MSR-TR-2012-31 | March 2012
Hillel Kugler
Development | January 2012, 제 139 권: pp. 47
Sara-Jane Dunn, Alexander G. Fletcher, S. Jonathan Chapman, David J. Gavaghan, James M. Osborne
Journal of Theoretical Biology | December 2011
Yaki Setty, Chih-Chun Chen, Maria Secrier, Nikita Skoblov, Dimitrios Kalamatianos, Stephen Emmott
BMC Systems Biology | September 2011
Hillel Kugler, Cory Plock, Andy Roberts
Computer Aided Verification (CAV'11) | July 2011
Andy van Hateren, Ed James, Alistair Bailey, Andrew Phillips, Neil Dalchau, Tim Elliott
Tissue Antigens | October 2010, 제 76 권(4): pp. 259
Sara-Jane Dunn, Jonathan P. Whiteley
Annals of Biomedical Engineering | September 2010, 제 38 권: pp. 2988-2999
Hillel Kugler, Antti Larjo, David Harel
Journal of the Royal Society Interface | July 2010, 제 7 권: pp. 1015-1024
Published online December 2009
Paul Grant, Cecilia Moens
Neural Development | March 2010, 제 5 권
David Harel, Hillel Kugler
Essays in Memory of Amir Pnueli | January 2010
Dedicated to the dear memory of Amir Pnueli: Friend, mentor, colleague, and a truly towering figure in computer science
Dennis YQ Wang, Luca Cardelli, Andrew Phillips, Nir Piterman, Jasmin Fisher
BMC Systems Biology | December 2009, 제 3 권: pp. 118
Hillel Kugler, Cory Plock, Amir Pnueli
Fundamental Approaches to Software Engineering (FASE'09) | March 2009
Hillel Kugler
Tools and Algorithms for the Construction and Analysis of Systems (TACAS'09) | March 2009
Paul Grant, Gregory Szep, Om Patange, Jacob Halatek, Valerie Coppard, Attila Csikasz-Nagy, Jim Haseloff, James C. W. Locke, Neil Dalchau, Andrew Phillips
Nature Communications | November 2020, 제 11 권(5545)
Matthew R. Lakin, Andrew Phillips
International Conference on DNA Computing and Molecular Programming | September 2017
Attila Csikasz-Nagy, Neil Dalchau, Mirco Tribastone, Max Tschaikowski, Luca Cardelli
Scientific Reports | February 2016, 제 6 권: pp. 20214
Nicola Paoletti, Boyan Yordanov, Youssef Hamadi, Christoph M. Wintersteiger, Hillel Kugler
26th International Conference on Computer Aided Verification (CAV) | July 2014
Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Andrew Phillips, Hillel Kugler
International Conference on DNA Computing and Molecular Programming | September 2013
Aleksandar Milicevic, Hillel Kugler
Nasa Formal Methods Symposium | April 2011
Nasa Formal Methods Symposium
Andrew Phillips, Matthew R. Lakin, Loïc Paulevé
Electronic Proceedings in Theoretical Computer Science | November 2010
David Harel, Hillel Kugler, Shahar Maoz, Itai Segali
SOFSEM 2010: Theory and Practice of Computer Science | January 2010
Andrew Phillips, Luca Cardelli
Journal of the Royal Society Interface | June 2009, 제 6 권: pp. S419-S436
David Harel, Hillel Kugler, Shahar Maoz, Itai Segall
Perspectives in Concurrency Theory (Festschrift for P.S. Thiagarajan), (K. Lodaya et al, eds.), University Press (India) | January 2009
Perspectives in Concurrency Theory (Festschrift for P.S. Thiagarajan), (K. Lodaya et al, eds.), University Press (India)
Andrew L. Krause, Vaclav Klika, Jacob Halatek, Paul Grant, Thomas L. Woolley, Neil Dalchau, Eamonn A. Gaffney
Bulletin of Mathematical Biology | October 2020, 제 82 권(136)
Niall Murphy, Rasmus Petersen, Andrew Phillips, Boyan Yordanov, Neil Dalchau
Journal of the Royal Society Interface | August 2018
Stephen Smith, Neil Dalchau
Journal of the Royal Society Interface | March 2018, 제 15 권
Rasmus Petersen, Matthew R Lakin, Andrew Phillips
Theoretical Computer Science | June 2016, 제 632 권: pp. 43-73
Matthew R Lakin, Darko Stefanovic, Andrew Phillips
Theoretical Computer Science | June 2016, 제 632 권: pp. 21
Yoli Shavit, Boyan Yordanov, Sara-Jane Dunn, Christoph M. Wintersteiger, Tomoki Otani, Frederick J. Livesey, Hillel Kugler
Biosystems | May 2016, 제 146 권: pp. 26-34
Rosa Hernansaiz-Ballesteros, Neil Dalchau, Luca Cardelli, Attila Csikasz-Nagy
Proceedings of the Evry Spring School on Advances in Systems and Synthetic Biology | March 2016
Attila Csikasz-Nagy, Neil Dalchau, Mirco Tribastone, Max Tschaikowski, Luca Cardelli
Scientific Reports | February 2016, 제 6 권: pp. 20214
Alistair Bailey, Neil Dalchau, Rachel Carter, Stephen Emmott, Andrew Phillips, Jörn M. Werner, Tim Elliott
Scientific Reports | October 2015, 제 5 권: pp. 14928
Timothy J. Rudge, James R. Brown, Fernan Federici, Neil Dalchau, Andrew Phillips, James W Ajioka, Jim Haseloff
ACS Synthetic Biology | October 2015
Neil Dalchau, Niall Murphy, Rasmus Petersen, Boyan Yordanov
International Conference on DNA Computing and Molecular Programming | August 2015, 제 9211 권
Neil Dalchau, Harish Chandran, Nikhil Gopalkrishnan, Andrew Phillips, John Reif
ACS Synthetic Biology | June 2015, 제 4 권: pp. 898-913
Michael Pedersen, Andrew Phillips, Gordon D. Plotkin
PLoS ONE | June 2015, 제 10 권(6): pp. e0114296
Camille Guilbaud, Neil Dalchau, Drew Purves, Lindsay Turnbull
New Phytologist | January 2015, 제 205 권: pp. 918-927
Attila Csikász-Nagy, Neil Dalchau
MSR-TR-2014-134 | September 2014
Essays for the Luca Cardelli Fest
Neil Dalchau, Georg Seelig, Andrew Phillips
International Conference on DNA Computing and Molecular Programming | September 2014
Matthew R. Lakin, Rasmus Petersen, Kathryn E. Gray, Andrew Phillips
International Conference on DNA Computing and Molecular Programming | September 2014
Alberto Carignano, Ye Yuan, Neil Dalchau, Alex AR Webb, Jorge M Goncalves
A Systems Theoretic Approach to Systems and Synthetic Biology I: Models and System Characterizations, 9 | 글쓴이 Springer | 2014 | A Systems Theoretic Approach to Systems and Synthetic Biology I: Models and System Characterizations edition
Nicola Paoletti, Boyan Yordanov, Youssef Hamadi, Christoph M. Wintersteiger, Hillel Kugler
26th International Conference on Computer Aided Verification (CAV) | July 2014
Boyan Yordanov, Jongmin Kim, Rasmus L. Petersen, Angelina Shudy, Vishwesh V. Kulkarni, Andrew Phillips
ACS Synthetic Biology | July 2014, 제 3 권: pp. 600-616
Sara-Jane Dunn, Graziano Martello, Boyan Yordanov, Stephen Emmott, Austin Smith
Science | June 2014, 제 344 권: pp. 1156
Neil Dalchau, Boyan Yordanov, Paul Grant, Michael Pedersen, Stephen Emmott, Jim Haseloff, Andrew Phillips
ACS Synthetic Biology | March 2014, 제 3 권(8): pp. 578-588
Michael Pedersen, Nicolas Oury, Andrew Phillips
Bioinformatics | January 2014, 제 30 권: pp. 1491-1492
Matthew R Lakin, Andrew Phillips
Practical Aspects of Declarative Languages - 16th International Symposium | January 2014
Yuan-Jyue Chen, Neil Dalchau, Niranjan Srnivas, Andrew Phillips, Luca Cardelli, David Soloveichik, Georg Seelig
Nature Nanotechnology | September 2013, 제 8 권: pp. 755-762
Antony N Dodd, Neil Dalchau, Michael J Gardner, Seong Jin Baek, Alex AR Webb
New Phytologist | September 2013, 제 201 권(1): pp. 168-179
Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Andrew Phillips, Hillel Kugler
International Conference on DNA Computing and Molecular Programming | September 2013
Matthew R. Lakin, Andrew Phillips, Darko Stefanovic
International Conference on DNA Computing and Molecular Programming | September 2013, 제 8141 권: pp. 133-146
Paul Grant, Jim Haseloff, Stephen Emmott, Boyan Yordanov, Neil Dalchau, Andrew Phillips
International Workshop on Biodesign Automation | July 2013
Matthew R. Lakin,, David Parker, Luca Cardelli, Marta Kwiatkowska, Andrew Phillips
Journal of the Royal Society Interface | July 2012, 제 9 권: pp. 1470-1485
Timothy J. Rudge, Paul J. Steiner, Andrew Phillips, Jim Haseloff
ACS Synthetic Biology | July 2012, 제 1 권: pp. 345-352
Matthew R. Lakin, Loïc Paulevé, Andrew Phillips
Theoretical Computer Science | May 2012, 제 431 권: pp. 181-206
Neil Dalchau, Matthew Smith, Samuel Martin, James R Brown, Stephen Emmott, Andrew Phillips
Journal of the Royal Society Interface | May 2012, 제 9 권: pp. 2883-2898
Matthew R Lakin, Simon Youssef, Luca Cardelli, Andrew Phillips
Journal of the Royal Society Interface | March 2012, 제 9 권(68): pp. 470-486
Neil Dalchau
New Phytologist | March 2012, 제 193 권(4): pp. 852-858
Hillel Kugler
Development | January 2012, 제 139 권: pp. 47
Matthew R Lakin, Simon Youssef, Filippo Polo, Stephen Emmott, Andrew Phillips
Bioinformatics | November 2011, 제 27 권: pp. 3211-3213
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
Andrew Phillips, Matthew R Lakin
International Conference on DNA Computing and Molecular Programming | September 2011
Harish Chandran, Nikhil Gopalkrishnan, Andrew Phillips, John Reif
International Conference on DNA Computing and Molecular Programming | September 2011, 제 6937 권: pp. 64-83
Neil Dalchau, Seong Jin Baek, Helen M Briggs, Fiona C Robertson, Antony N Dodd, Michael J Gardner, Matthew A Stancombe, Michael J Haydon, Guy-Bart Stan, Jorge M Goncalves, Alex AR Webb
Proceedings of the National Academy of Sciences | March 2011
Neil Dalchau, Alex AR Webb
Biochemist | February 2011, 제 33 권(1): pp. 12-15
Neil Dalchau, Katharine E Hubbard, Fiona C Robertson, Carlos T Hotta, Helen M Briggs, Guy-Bart Stan, Jorge M Goncalves, Alex A R Webb
Proceedings of the National Academy of Sciences | July 2010
Mathew G Lewsey, Alex M Murphy, Daniel MacLean, Neil Dalchau, Jack H Westwood, Keith Macaulay, Mark H Bennett, Michael Moulin, David E Hanke, Glen Powell, Alison G Smith, John P Carr
Molecular Plant-Microbe Interations | January 2010, 제 23 권: pp. 835-845
Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanogullari, Andrew Phillips
Theoretical Computer Science | August 2009, 제 410 권: pp. 3166-3185
Katharine E. Hubbard, Fiona C. Robertson, Neil Dalchau, Alex A. R. Webb
Molecular Biosystems | August 2009, 제 5 권: pp. 1502-1511
Michael Pedersen, Andrew Phillips
Journal of the Royal Society Interface | April 2009, 제 6 권: pp. S437-S450
Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanoğulları, Andrew Phillips
Electronic Notes in Theoretical Computer Science | February 2009, 제 229 권(1): pp. 127-144
Andrew Phillips
Electronic Notes in Theoretical Computer Science | January 2009, 제 227 권: pp. 143-159
Andrew Phillips
Symbolic Systems Biology: Theory and Methods | 글쓴이 Jones and Bartlett Publishers | 2009 | Symbolic Systems Biology: Theory and Methods edition
Carlo Spaccasassi, Boyan Yordanov, Andrew Phillips, Neil Dalchau
Computational Methods for Systems Biology (CMSB) | September 2019
편집자: Luca Bortolussi, Guido Sanguinetti
Loïc Paulevé, Simon Youssef, Matthew R. Lakin, Andrew Phillips
Computational Methods in Systems Biology | September 2010, pp. 43-54
Neil Dalchau, Gregory Szep, Rosa Hernansaiz-Ballesteros, Chris P Barnes, Luca Cardelli, Andrew Phillips, Attila Csikasz-Nagy
Natural Computing | June 2018
Jinny X. Zhang, Boyan Yordanov, Alexander Gaunt, Michael X. Wang, Peng Dai, Yuan-Jyue Chen, Kerou Zhang, John Z. Fang, Neil Dalchau, Jiaming Li, Andrew Phillips, David Yu Zhang
Nature Communications | July 2021, 제 12 권
Trevor Y. H. Ho, Alexander Shao, Zeyu Lu, Harri Savilahti, Filippo Menolascina, Lei Wang, Neil Dalchau, Baojun Wang
Nature Communications | April 2021, 제 12 권(1): pp. 2200-2200
Paul Grant, Gregory Szep, Om Patange, Jacob Halatek, Valerie Coppard, Attila Csikasz-Nagy, Jim Haseloff, James C. W. Locke, Neil Dalchau, Andrew Phillips
Nature Communications | November 2020, 제 11 권(5545)
Andrew L. Krause, Vaclav Klika, Jacob Halatek, Paul Grant, Thomas L. Woolley, Neil Dalchau, Eamonn A. Gaffney
Bulletin of Mathematical Biology | October 2020, 제 82 권(136)
Matthew R. Lakin, Andrew Phillips
ACS Synthetic Biology | June 2020, 제 9 권(7): pp. 1499-1513
Eugene Nadezhdin, Niall Murphy, Neil Dalchau, Andrew Phillips, James C. W. Locke
Nature Communications | February 2020, 제 11 권: pp. 950
Alex Joesaar, Shuo Yang, Bas Bögels, Ardjan van der Linden, Pascal Pieters, B. V. V. S. Pavan Kumar, Neil Dalchau, Andrew Phillips, Stephen Mann, Tom F. A. de Greef
Nature Nanotechnology | March 2019
Sara-Jane Dunn, Meng Amy Li, Elena Carbognin, Austin Smith, Graziano Martello
The EMBO Journal | November 2018, 제 e100003 권
Carlo Spaccasassi, Matthew R. Lakin, Andrew Phillips
ACS Synthetic Biology | October 2018
Om Patange, Christian Schwall, Matt Jones, Casandra Villava, Douglas A. Griffith, Andrew Phillips, James C.W. Locke
Nature Communications | September 2018, 제 53 권(33)
Niall Murphy, Rasmus Petersen, Andrew Phillips, Boyan Yordanov, Neil Dalchau
Journal of the Royal Society Interface | August 2018
Denise S. M. Boulanger, Ruth C. Eccleston, Andrew Phillips, Peter V. Coveney, T. Elliott, Neil Dalchau
Frontiers in Immunology | July 2018, 제 9 권: pp. 1538
Neil Dalchau, Gregory Szep, Rosa Hernansaiz-Ballesteros, Chris P Barnes, Luca Cardelli, Andrew Phillips, Attila Csikasz-Nagy
Natural Computing | June 2018
Stephen Smith, Neil Dalchau
Journal of the Royal Society Interface | March 2018, 제 15 권
Jinny X. Zhang, John Z. Fang, Wei Duan, Lucia R. Wu, Angela W. Zhang, Neil Dalchau, Boyan Yordanov, Rasmus Petersen, Andrew Phillips, David Yu Zhang
Nature Chemistry | November 2017
Ruth Charlotte Eccleston, Peter V. Coveney, Neil Dalchau
Scientific Reports | October 2017, 제 7 권: pp. 14367
Ajay Mishra, Benedicte Oules, Angela Oliveira Pisco, Tony Ly, Kifayathullah Liakath-Ali, Gernot Walko, Priyalakshmi Viswanathan, Matthieu Tihy, Jagdeesh Nijjher, Sara-Jane Dunn, Angus I Lamond, Fiona M Watt
eLife | October 2017, 제 6:e27356 권
Gourab Chatterjee, Neil Dalchau, Richard A. Muscat, Andrew Phillips, Georg Seelig
Nature Nanotechnology | July 2017
Ruth Charlotte Eccleston, Shunzhou Wan, Neil Dalchau, Peter V. Coveney
Frontiers in Immunology | July 2017
Luca Cardelli, Rosa D Hernansaiz-Ballesteros, Neil Dalchau, Attila Csikasz-Nagy
PLoS Computational Biology | January 2017, 제 13 권: pp. e1005100
Kathryn Atwell, Sara-Jane Dunn, James M. Osborne, Hillel Kugler, E. Jane Albert Hubbard
Molecular Reproduction and Development | September 2016
Boyan Yordanov, Sara-Jane Dunn, Hillel Kugler, Austin Smith, Graziano Martello, Stephen Emmott
Systems Biology and Applications | July 2016, 제 2 권
Rasmus Petersen, Matthew R Lakin, Andrew Phillips
Theoretical Computer Science | June 2016, 제 632 권: pp. 43-73
Matthew R Lakin, Darko Stefanovic, Andrew Phillips
Theoretical Computer Science | June 2016, 제 632 권: pp. 21
Yoli Shavit, Boyan Yordanov, Sara-Jane Dunn, Christoph M. Wintersteiger, Tomoki Otani, Frederick J. Livesey, Hillel Kugler
Biosystems | May 2016, 제 146 권: pp. 26-34
Sara-Jane Dunn, James M. Osborne, Inke S. Nathke
Molecular Biology of the Cell | April 2016, 제 27 권: pp. 1863-1874
Attila Csikasz-Nagy, Neil Dalchau, Mirco Tribastone, Max Tschaikowski, Luca Cardelli
Scientific Reports | February 2016, 제 6 권: pp. 20214
Alistair Bailey, Neil Dalchau, Rachel Carter, Stephen Emmott, Andrew Phillips, Jörn M. Werner, Tim Elliott
Scientific Reports | October 2015, 제 5 권: pp. 14928
Timothy J. Rudge, James R. Brown, Fernan Federici, Neil Dalchau, Andrew Phillips, James W Ajioka, Jim Haseloff
ACS Synthetic Biology | October 2015
Neil Dalchau, Niall Murphy, Rasmus Petersen, Boyan Yordanov
International Conference on DNA Computing and Molecular Programming | August 2015, 제 9211 권
Neil Dalchau, Harish Chandran, Nikhil Gopalkrishnan, Andrew Phillips, John Reif
ACS Synthetic Biology | June 2015, 제 4 권: pp. 898-913
Michael Pedersen, Andrew Phillips, Gordon D. Plotkin
PLoS ONE | June 2015, 제 10 권(6): pp. e0114296
Camille Guilbaud, Neil Dalchau, Drew Purves, Lindsay Turnbull
New Phytologist | January 2015, 제 205 권: pp. 918-927
Boyan Yordanov, Jongmin Kim, Rasmus L. Petersen, Angelina Shudy, Vishwesh V. Kulkarni, Andrew Phillips
ACS Synthetic Biology | July 2014, 제 3 권: pp. 600-616
Sara-Jane Dunn, Graziano Martello, Boyan Yordanov, Stephen Emmott, Austin Smith
Science | June 2014, 제 344 권: pp. 1156
Neil Dalchau, Boyan Yordanov, Paul Grant, Michael Pedersen, Stephen Emmott, Jim Haseloff, Andrew Phillips
ACS Synthetic Biology | March 2014, 제 3 권(8): pp. 578-588
James Osborne, Miguel Bernabeu, Maria Bruna, Ben Calderhead, Jonathan Cooper, Neil Dalchau, Sara-Jane Dunn, Alexander Fletcher, Derek Groen, Bernhard Knapp, Gary Mirams, Joe Pitt-Francis, Biswa Sengupta, David Wright, Christian Yates, David Gavaghan, Stephen Emmott, Charlotte Deane
PLoS Computational Biology | March 2014, pp. e1003506
Michael Pedersen, Nicolas Oury, Andrew Phillips
Bioinformatics | January 2014, 제 30 권: pp. 1491-1492
Yuan-Jyue Chen, Neil Dalchau, Niranjan Srnivas, Andrew Phillips, Luca Cardelli, David Soloveichik, Georg Seelig
Nature Nanotechnology | September 2013, 제 8 권: pp. 755-762
Antony N Dodd, Neil Dalchau, Michael J Gardner, Seong Jin Baek, Alex AR Webb
New Phytologist | September 2013, 제 201 권(1): pp. 168-179
Matthew R. Lakin, Andrew Phillips, Darko Stefanovic
International Conference on DNA Computing and Molecular Programming | September 2013, 제 8141 권: pp. 133-146
G. R. Mirams, C. J. Arthurs, M. O. Bernabeu, R. Bordas, J. Cooper, A. Corrias, Y. Davit, Sara-Jane Dunn, A. G. Fletcher, D. G. Harvey, M. E. Marsh, J. M. Osborne, P. Pathmanathan, J. Pitt-Francis, J. Southern, N. Zemzemi, D. J. Gavaghan
PLOS Comput. Biol. | March 2013
Kaylene M. Young, Konstantina Psachoulia, Richa B. Tripathi, Sara-Jane Dunn, Lee Cossell, David Attwell, Koujiro Tohyama, William D. Richardson
Neuron | March 2013
Matthew R. Lakin,, David Parker, Luca Cardelli, Marta Kwiatkowska, Andrew Phillips
Journal of the Royal Society Interface | July 2012, 제 9 권: pp. 1470-1485
Timothy J. Rudge, Paul J. Steiner, Andrew Phillips, Jim Haseloff
ACS Synthetic Biology | July 2012, 제 1 권: pp. 345-352
Sara-Jane Dunn, Paul L. Appleton, Scott A. Nelson, Inke S. Nathke, David J. Gavaghan, James M. Osborne
PLoS Computational Biology | May 2012
Matthew R. Lakin, Loïc Paulevé, Andrew Phillips
Theoretical Computer Science | May 2012, 제 431 권: pp. 181-206
Neil Dalchau, Matthew Smith, Samuel Martin, James R Brown, Stephen Emmott, Andrew Phillips
Journal of the Royal Society Interface | May 2012, 제 9 권: pp. 2883-2898
Matthew R Lakin, Simon Youssef, Luca Cardelli, Andrew Phillips
Journal of the Royal Society Interface | March 2012, 제 9 권(68): pp. 470-486
Neil Dalchau
New Phytologist | March 2012, 제 193 권(4): pp. 852-858
Hillel Kugler
Development | January 2012, 제 139 권: pp. 47
Sara-Jane Dunn, Alexander G. Fletcher, S. Jonathan Chapman, David J. Gavaghan, James M. Osborne
Journal of Theoretical Biology | December 2011
Matthew R Lakin, Simon Youssef, Filippo Polo, Stephen Emmott, Andrew Phillips
Bioinformatics | November 2011, 제 27 권: pp. 3211-3213
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
Yaki Setty, Chih-Chun Chen, Maria Secrier, Nikita Skoblov, Dimitrios Kalamatianos, Stephen Emmott
BMC Systems Biology | September 2011
Harish Chandran, Nikhil Gopalkrishnan, Andrew Phillips, John Reif
International Conference on DNA Computing and Molecular Programming | September 2011, 제 6937 권: pp. 64-83
Neil Dalchau, Alex AR Webb
Biochemist | February 2011, 제 33 권(1): pp. 12-15
Andy van Hateren, Ed James, Alistair Bailey, Andrew Phillips, Neil Dalchau, Tim Elliott
Tissue Antigens | October 2010, 제 76 권(4): pp. 259
Loïc Paulevé, Simon Youssef, Matthew R. Lakin, Andrew Phillips
Computational Methods in Systems Biology | September 2010, pp. 43-54
Sara-Jane Dunn, Jonathan P. Whiteley
Annals of Biomedical Engineering | September 2010, 제 38 권: pp. 2988-2999
Hillel Kugler, Antti Larjo, David Harel
Journal of the Royal Society Interface | July 2010, 제 7 권: pp. 1015-1024
Published online December 2009
Paul Grant, Cecilia Moens
Neural Development | March 2010, 제 5 권
Mathew G Lewsey, Alex M Murphy, Daniel MacLean, Neil Dalchau, Jack H Westwood, Keith Macaulay, Mark H Bennett, Michael Moulin, David E Hanke, Glen Powell, Alison G Smith, John P Carr
Molecular Plant-Microbe Interations | January 2010, 제 23 권: pp. 835-845
Dennis YQ Wang, Luca Cardelli, Andrew Phillips, Nir Piterman, Jasmin Fisher
BMC Systems Biology | December 2009, 제 3 권: pp. 118
Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanogullari, Andrew Phillips
Theoretical Computer Science | August 2009, 제 410 권: pp. 3166-3185
Katharine E. Hubbard, Fiona C. Robertson, Neil Dalchau, Alex A. R. Webb
Molecular Biosystems | August 2009, 제 5 권: pp. 1502-1511
Andrew Phillips, Luca Cardelli
Journal of the Royal Society Interface | June 2009, 제 6 권: pp. S419-S436
Michael Pedersen, Andrew Phillips
Journal of the Royal Society Interface | April 2009, 제 6 권: pp. S437-S450
Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanoğulları, Andrew Phillips
Electronic Notes in Theoretical Computer Science | February 2009, 제 229 권(1): pp. 127-144
Andrew Phillips
Electronic Notes in Theoretical Computer Science | January 2009, 제 227 권: pp. 143-159
Carlo Spaccasassi, Boyan Yordanov, Andrew Phillips, Neil Dalchau
Computational Methods for Systems Biology (CMSB) | September 2019
편집자: Luca Bortolussi, Guido Sanguinetti
Geoffrey Roeder, Paul Grant, Andrew Phillips, Neil Dalchau, Ted Meeds
ICML 2019 | June 2019
Hillel Kugler, Sara-Jane Dunn, Boyan Yordanov
CMSB | September 2018
Matthew R. Lakin, Andrew Phillips
International Conference on DNA Computing and Molecular Programming | September 2017
Peter Backeman, Sara-Jane Dunn, Boyan Yordanov, Christoph M. Wintersteiger, Sara-Jane Dunn, Boyan Yordanov, Christoph M. Wintersteiger
Proceedings of the 14th International Workshop on Satisfiability Modulo Theories (SMT) | July 2016
Rosa Hernansaiz-Ballesteros, Neil Dalchau, Luca Cardelli, Attila Csikasz-Nagy
Proceedings of the Evry Spring School on Advances in Systems and Synthetic Biology | March 2016
Neil Dalchau, Georg Seelig, Andrew Phillips
International Conference on DNA Computing and Molecular Programming | September 2014
Matthew R. Lakin, Rasmus Petersen, Kathryn E. Gray, Andrew Phillips
International Conference on DNA Computing and Molecular Programming | September 2014
Nicola Paoletti, Boyan Yordanov, Youssef Hamadi, Christoph M. Wintersteiger, Hillel Kugler
26th International Conference on Computer Aided Verification (CAV) | July 2014
Matthew R Lakin, Andrew Phillips
Practical Aspects of Declarative Languages - 16th International Symposium | January 2014
Hillel Kugler
IEEE 9th International Conference on e-Science | October 2013
Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Andrew Phillips, Hillel Kugler
International Conference on DNA Computing and Molecular Programming | September 2013
Paul Grant, Jim Haseloff, Stephen Emmott, Boyan Yordanov, Neil Dalchau, Andrew Phillips
International Workshop on Biodesign Automation | July 2013
Boyan Yordanov, Youssef Hamadi, Hillel Kugler, Christoph M. Wintersteiger
SMT'13 | July 2013
Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Hillel Kugler
NASA Formal Methods Symposium 2013 | May 2013
Andrew Phillips, Matthew R Lakin
International Conference on DNA Computing and Molecular Programming | September 2011
Hillel Kugler, Cory Plock, Andy Roberts
Computer Aided Verification (CAV'11) | July 2011
Aleksandar Milicevic, Hillel Kugler
Nasa Formal Methods Symposium | April 2011
Nasa Formal Methods Symposium
Neil Dalchau, Seong Jin Baek, Helen M Briggs, Fiona C Robertson, Antony N Dodd, Michael J Gardner, Matthew A Stancombe, Michael J Haydon, Guy-Bart Stan, Jorge M Goncalves, Alex AR Webb
Proceedings of the National Academy of Sciences | March 2011
Andrew Phillips, Matthew R. Lakin, Loïc Paulevé
Electronic Proceedings in Theoretical Computer Science | November 2010
Neil Dalchau, Katharine E Hubbard, Fiona C Robertson, Carlos T Hotta, Helen M Briggs, Guy-Bart Stan, Jorge M Goncalves, Alex A R Webb
Proceedings of the National Academy of Sciences | July 2010
David Harel, Hillel Kugler, Shahar Maoz, Itai Segali
SOFSEM 2010: Theory and Practice of Computer Science | January 2010
David Harel, Hillel Kugler
Essays in Memory of Amir Pnueli | January 2010
Dedicated to the dear memory of Amir Pnueli: Friend, mentor, colleague, and a truly towering figure in computer science
Hillel Kugler, Cory Plock, Amir Pnueli
Fundamental Approaches to Software Engineering (FASE'09) | March 2009
Hillel Kugler
Tools and Algorithms for the Construction and Analysis of Systems (TACAS'09) | March 2009
David Harel, Hillel Kugler, Shahar Maoz, Itai Segall
Perspectives in Concurrency Theory (Festschrift for P.S. Thiagarajan), (K. Lodaya et al, eds.), University Press (India) | January 2009
Perspectives in Concurrency Theory (Festschrift for P.S. Thiagarajan), (K. Lodaya et al, eds.), University Press (India)
Attila Csikász-Nagy, Neil Dalchau
MSR-TR-2014-134 | September 2014
Essays for the Luca Cardelli Fest
Boyan Yordanov, Youssef Hamadi, Hillel Kugler, Christoph M. Wintersteiger
MSR-TR-2012-31 | March 2012
Alberto Carignano, Ye Yuan, Neil Dalchau, Alex AR Webb, Jorge M Goncalves
A Systems Theoretic Approach to Systems and Synthetic Biology I: Models and System Characterizations, 9 | 글쓴이 Springer | 2014 | A Systems Theoretic Approach to Systems and Synthetic Biology I: Models and System Characterizations edition
Andrew Phillips
Symbolic Systems Biology: Theory and Methods | 글쓴이 Jones and Bartlett Publishers | 2009 | Symbolic Systems Biology: Theory and Methods edition
