Publications

2016

  • DOI BibTeX
    G. Misirli, M. Cavaliere, W. Waites, M. Pocock, C. Madsen, O. Gilfellon, R. Honorato-Zimmer, P. Zuliani, V. Danos, A. Wipat
    Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualization
    in Bioinformatics, 32(6):908-917, March 2016
    @ARTICLE{Misirli2015,
      title = {Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualization},
      author = {Misirli, Goksel and Cavaliere, Matteo and Waites, William and Pocock, Matthew and Madsen, Curtis and Gilfellon, Owen and Honorato-Zimmer, Ricardo and Zuliani, Paolo and Danos, Vincent and Wipat, Anil},
      year = 2016,
      doi = {10.1093/bioinformatics/btv660},
      month = mar,
      journal = {Bioinformatics},
      volume = {32},
      number = {6},
      pages = {908--917}
    }
    
  • DOI BibTeX
    A. Best, K. James, G. Hysenaj, A. Tyson-Capper, D.J. Elliott
    Transformer2 proteins protect breast cancer cells from accumulating replication stress by ensuring productive splicing of checkpoint kinase 1
    in Frontiers of Chemical Science and Engineering, 10(2):186-195, June 2016
    @ARTICLE{Best2015,
      title = {Transformer2 proteins protect breast cancer cells from accumulating replication stress by ensuring productive splicing of checkpoint kinase 1},
      author = {Best, Andrew and James, Katherine and Hysenaj, Gerald and Tyson-Capper, Alison and Elliott, David J.},
      year = 2016,
      doi = {10.1007/s11705-015-1540-4},
      month = jun,
      journal = {Frontiers of Chemical Science and Engineering},
      volume = {10},
      number = {2},
      pages = {186--195}
    }
    
  • DOI BibTeX
    N. Lazzarini, P. Widera, S. Williamson, R. Heer, N. Krasnogor, J. Bacardit
    Functional networks inference from rule-based machine learning models
    in BioData Mining, 9(1), December 2016
    @ARTICLE{Lazzarini2016,
      title = {Functional networks inference from rule-based machine learning models},
      author = {Lazzarini, Nicola and Widera, Paweł and Williamson, Stuart and Heer, Rakesh and Krasnogor, Natalio and Bacardit, Jaume},
      year = 2016,
      doi = {10.1186/s13040-016-0106-4},
      month = dec,
      journal = {BioData Mining},
      volume = {9},
      number = {1}
    
  • DOI BibTeX
    F. Shmarov, P. Zuliani
    Probabilistic Hybrid Systems Verification via SMT and Monte Carlo Techniques
    in Hardware and Software: Verification and Testing, Lecture Notes in Computer Science 10028, p.152-168, 2016
    @INCOLLECTION{Shmarov2016,
      title = {Probabilistic Hybrid Systems Verification via SMT and Monte Carlo Techniques},
      author = {Shmarov, Fedor and Zuliani, Paolo},
      year = 2016,
      doi = {10.1007/978-3-319-49052-6_10},
      booktitle = {Hardware and Software: Verification and Testing},
      publisher = {Springer International Publishing},
      volume = {10028},
      series = {Lecture Notes in Computer Science},
      pages = {152--168}
    }
    

2015

  • DOI eprint code BibTeX
    D. Sanassy, P. Widera, N. Krasnogor
    Meta-Stochastic Simulation of Biochemical Models for Systems and Synthetic Biology
    in ACS Synthetic Biology, 4(1):39-47, January 2015
    @ARTICLE{Sanassy2014,
      title = {Meta-Stochastic Simulation of Biochemical Models for Systems and Synthetic Biology},
      author = {Sanassy, Daven and Widera, Paweł and Krasnogor, Natalio},
      year = 2015,
      doi = {10.1021/sb5001406},
      month = jan,
      journal = {ACS Synthetic Biology},
      volume = {4},
      number = {1},
      pages = {39--47}
    }
    
  • DOI BibTeX
    S. Konur, M. Gheorghe, C. Dragomir, L. Mierla, F. Ipate, N. Krasnogor
    Qualitative and Quantitative Analysis of Systems and Synthetic Biology Constructs using P Systems
    in ACS Synthetic Biology, 4(1):83-92, January 2015
    @ARTICLE{Konur2015,
      title = {Qualitative and Quantitative Analysis of Systems and Synthetic Biology Constructs using P Systems},
      author = {Konur, Savas and Gheorghe, Marian and Dragomir, Ciprian and Mierla, Laurentiu and Ipate, Florentin and Krasnogor, Natalio},
      year = 2015,
      doi = {10.1021/sb500134w},
      month = jan,
      journal = {ACS Synthetic Biology},
      volume = {4},
      number = {1},
      pages = {83--92}
    }
    

2014

  • DOI eprint code BibTeX
    C. Winterhalter, P. Widera, N. Krasnogor
    JEPETTO: a Cytoscape plugin for gene set enrichment and topological analysis based on interaction networks
    in Bioinformatics, 30(7):1029-1030, April 2014
    @ARTICLE{Winterhalter2013,
      title = {JEPETTO: a Cytoscape plugin for gene set enrichment and topological analysis based on interaction networks},
      author = {Winterhalter, C. and Widera, P. and Krasnogor, N.},
      year = 2014,
      doi = {10.1093/bioinformatics/btt732},
      month = apr,
      journal = {Bioinformatics},
      volume = {30},
      number = {7},
      pages = {1029--1030}
    }
    
  • DOI BibTeX
    A. Best, K. James, C. Dalgliesh, E. Hong, M. Kheirolahi-Kouhestani, T. Curk, Y. Xu, M. Danilenko, R. Hussain, B. Keavney, A. Wipat, R. Klinck, I.G. Cowell, K. Cheong Lee, C.A. Austin, J.P. Venables, B. Chabot, M. Santibanez Koref, A. Tyson-Capper, D.J. Elliott
    Human Tra2 proteins jointly control a CHEK1 splicing switch among alternative and constitutive target exons
    in Nature Communications, 5:4760, September 2014
    @ARTICLE{Best2014,
      title = {Human Tra2 proteins jointly control a CHEK1 splicing switch among alternative and constitutive target exons},
      author = {Best, Andrew and James, Katherine and Dalgliesh, Caroline and Hong, Elaine and Kheirolahi-Kouhestani, Mahsa and Curk, Tomaz and Xu, Yaobo and Danilenko, Marina and Hussain, Rafiq and Keavney, Bernard and Wipat, Anil and Klinck, Roscoe and Cowell, Ian G. and Cheong Lee, Ka and Austin, Caroline A. and Venables, Julian P. and Chabot, Benoit and Santibanez Koref, Mauro and Tyson-Capper, Alison and Elliott, David J.},
      year = 2014,
      doi = {10.1038/ncomms5760},
      month = sep,
      journal = {Nature Communications},
      volume = {5},
      pages = {4760}
    }
    
  • DOI BibTeX
    S. Konur, M. Gheorge, C. Dragomir, F. Ipate, N. Krasnogor
    Conventional verification for unconventional computing: a genetic XOR gate example
    in Fundamenta Informaticae, 134(1-2):97-110, November 2014
    @ARTICLE{Konur2014,
      title = {Conventional verification for unconventional computing: a genetic XOR gate example},
      author = {Konur, Savas and Gheorge, Marian and Dragomir, Ciprian and Ipate, Florin and Krasnogor, Natalio},
      year = 2014,
      doi = {10.3233/FI-2014-1093},
      month = nov,
      journal = {Fundamenta Informaticae},
      volume = {134},
      number = {1-2},
      pages = {97--110}
    }
    
  • DOI BibTeX
    R. Bauer, M. Kaiser, E. Stoll
    A Computational Model Incorporating Neural Stem Cell Dynamics Reproduces Glioma Incidence across the Lifespan in the Human Population
    in PLoS ONE, 9(11):e111219, November 2014
    @ARTICLE{Bauer2014a,
      title = {A Computational Model Incorporating Neural Stem Cell Dynamics Reproduces Glioma Incidence across the Lifespan in the Human Population},
      author = {Bauer, Roman and Kaiser, Marcus and Stoll, Elizabeth},
      year = 2014,
      doi = {10.1371/journal.pone.0111219},
      month = nov,
      journal = {PLoS ONE},
      volume = {9},
      number = {11},
      pages = {e111219}
    }
    
  • DOI BibTeX
    R. Bauer, F. Zubler, S. Pfister, A. Hauri, M. Pfeiffer, D.R. Muir, R.J. Douglas
    Developmental Self-Construction and -Configuration of Functional Neocortical Neuronal Networks
    in PLoS Computational Biology, 10(12):e1003994, December 2014
    @ARTICLE{Bauer2014b,
      title = {Developmental Self-Construction and -Configuration of Functional Neocortical Neuronal Networks},
      author = {Bauer, Roman and Zubler, Frédéric and Pfister, Sabina and Hauri, Andreas and Pfeiffer, Michael and Muir, Dylan R. and Douglas, Rodney J.},
      year = 2014,
      doi = {10.1371/journal.pcbi.1003994},
      month = dec,
      journal = {PLoS Computational Biology},
      volume = {10},
      number = {12},
      pages = {e1003994}
    }
    
  • DOI BibTeX
    B. Liu, S. Kong, S. Gao, P. Zuliani, E.M. Clarke
    Parameter Synthesis for Cardiac Cell Hybrid Models Using δ-Decisions
    in Computational Methods in Systems Biology, Lecture Notes in Computer Science 8859, p.99-113, 2014
    @INCOLLECTION{Liu2014,
      title = {Parameter Synthesis for Cardiac Cell Hybrid Models Using δ-Decisions},
      author = {Liu, Bing and Kong, Soonho and Gao, Sicun and Zuliani, Paolo and Clarke, Edmund M.},
      year = 2014,
      doi = {10.1007/978-3-319-12982-2_8},
      booktitle = {Computational Methods in Systems Biology},
      publisher = {Springer International Publishing},
      volume = {8859},
      series = {Lecture Notes in Computer Science},
      pages = {99--113}
    }
    
  • DOI BibTeX
    R. Gross, I. Fouxon, D. Lancet, O. Markovitch
    Quasispecies in population of compositional assemblies
    in BMC Evolutionary Biology, 14(1):265, 2014
    @ARTICLE{Gross2014,
      title = {Quasispecies in population of compositional assemblies},
      author = {Gross, Renan and Fouxon, Itzhak and Lancet, Doron and Markovitch, Omer},
      year = 2014,
      doi = {10.1186/s12862-014-0265-1},
      journal = {BMC Evolutionary Biology},
      volume = {14},
      number = {1},
      pages = {265}
    }
    
  • URL BibTeX
    G. Misirli, J. Hallinan, R. Röttger, J. Baumbach, A. Wipat
    BacillusRegNet: A transcriptional regulation database and analysis platform for Bacillus species
    in Journal of Integrative Bioinformatics, 11(2):244, 2014
    @ARTICLE{Misirli2014,
      title = {BacillusRegNet: A transcriptional regulation database and analysis platform for Bacillus species},
      author = {Misirli, G. and Hallinan, J. and Röttger, R. and Baumbach, J. and Wipat, A.},
      year = 2014,
      url = {http://journal.imbio.de/article.php?aid=244},
      journal = {Journal of Integrative Bioinformatics},
      volume = {11},
      number = {2},
      pages = {244}
    }
    
  • DOI BibTeX
    J. Blakes, J. Twycross, S. Konur, F.J. Romero-Campero, N. Krasnogor, M. Gheorghe
    Infobiotics Workbench: A P Systems Based Tool for Systems and Synthetic Biology
    in Applications of Membrane Computing in Systems and Synthetic Biology, Emergence, Complexity and Computation 7, p.1-41, 2014
    @INCOLLECTION{Blakes2014a,
      title = {Infobiotics Workbench: A P Systems Based Tool for Systems and Synthetic Biology},
      author = {Blakes, Jonathan and Twycross, Jamie and Konur, Savas and Romero-Campero, Francisco Jose and Krasnogor, Natalio and Gheorghe, Marian},
      year = 2014,
      doi = {10.1007/978-3-319-03191-0_1},
      booktitle = {Applications of Membrane Computing in Systems and Synthetic Biology},
      publisher = {Springer International Publishing},
      volume = {7},
      series = {Emergence, Complexity and Computation},
      pages = {1--41}
    }
    

2013

  • DOI BibTeX
    H. Gong, P. Zuliani, E. M. Clarke
    Model Checking a Synchronous Diabetes-Cancer Logical Network
    in Current Bioinformatics, 8(1):9-15, February 2013
    @ARTICLE{Gong2013,
      title = {Model Checking a Synchronous Diabetes-Cancer Logical Network},
      author = {Gong, Haijun and Zuliani, Paolo and M. Clarke, Edmund},
      year = 2013,
      doi = {10.2174/157489313804871542},
      month = feb,
      journal = {Current Bioinformatics},
      volume = {8},
      number = {1},
      pages = {9--15}
    }
    
  • DOI BibTeX
    B.J.W. Dekkers, S. Pearce, R.P. van Bolderen-Veldkamp, A. Marshall, P. Widera, J. Gilbert, H.-. Drost, G.W. Bassel, K. Muller, J.R. King, A.T.A. Wood, I. Grosse, M. Quint, N. Krasnogor, G. Leubner-Metzger, M.J. Holdsworth, L. Bentsink
    Transcriptional Dynamics of Two Seed Compartments with Opposing Roles in Arabidopsis Seed Germination
    in PLANT PHYSIOLOGY, 163(1):205-215, September 2013
    @ARTICLE{Dekkers2013,
      title = {Transcriptional Dynamics of Two Seed Compartments with Opposing Roles in Arabidopsis Seed Germination},
      author = {Dekkers, B. J. W. and Pearce, S. and van Bolderen-Veldkamp, R. P. and Marshall, A. and Widera, P. and Gilbert, J. and Drost, H. -g. and Bassel, G. W. and Muller, K. and King, J. R. and Wood, A. T. A. and Grosse, I. and Quint, M. and Krasnogor, N. and Leubner-Metzger, G. and Holdsworth, M. J. and Bentsink, L.},
      year = 2013,
      doi = {10.1104/pp.113.223511},
      month = sep,
      journal = {PLANT PHYSIOLOGY},
      volume = {163},
      number = {1},
      pages = {205--215}
    }
    
  • DOI BibTeX
    G. Misirli, A. Wipat, J. Mullen, K. James, M. Pocock, W. Smith, N. Allenby, J. Hallinan
    BacillOndex: An Integrated Data Resource for Systems and Synthetic Biology
    in Journal of Integrative Bioinformatics, 10(2):224, 2013
    @ARTICLE{Misirli2013,
      title = {BacillOndex: An Integrated Data Resource for Systems and Synthetic Biology},
      author = {Misirli, G. and Wipat, A. and Mullen, J. and James, K. and Pocock, M. and Smith, W. and Allenby, N. and Hallinan, J.},
      year = 2013,
      doi = {10.2390/biecoll-jib-2013-224},
      journal = {Journal of Integrative Bioinformatics},
      volume = {10},
      number = {2},
      pages = {224}
    }
    

2012

  • DOI BibTeX
    E. Glaab, A. Baudot, N. Krasnogor, R. Schneider, A. Valencia
    EnrichNet: network-based gene set enrichment analysis
    in Bioinformatics, 28(18):i451-i457, September 2012
    @ARTICLE{Glaab2012a,
      title = {EnrichNet: network-based gene set enrichment analysis},
      author = {Glaab, E. and Baudot, A. and Krasnogor, N. and Schneider, R. and Valencia, A.},
      year = 2012,
      doi = {10.1093/bioinformatics/bts389},
      month = sep,
      journal = {Bioinformatics},
      volume = {28},
      number = {18},
      pages = {i451--i457}
    }
    
  • DOI BibTeX
    O. Markovitch, D. Sorek, L.T. Lui, D. Lancet, N. Krasnogor
    Is There an Optimal Level of Open-Endedness in Prebiotic Evolution?
    in Origins of Life and Evolution of Biospheres, 42(5):469-474, October 2012
    @ARTICLE{Markovitch2012,
      title = {Is There an Optimal Level of Open-Endedness in Prebiotic Evolution?},
      author = {Markovitch, Omer and Sorek, Daniel and Lui, Leong Ting and Lancet, Doron and Krasnogor, Natalio},
      year = 2012,
      doi = {10.1007/s11084-012-9309-y},
      month = oct,
      journal = {Origins of Life and Evolution of Biospheres},
      volume = {42},
      number = {5},
      pages = {469--474}
    }
    
  • DOI BibTeX
    H. Gong, P. Zuliani, A. Komuravelli, J.R. Faeder, E.M. Clarke
    Computational Modeling and Verification of Signaling Pathways in Cancer
    in Algebraic and Numeric Biology, Lecture Notes in Computer Science 6479, p.117-135, 2012
    @INCOLLECTION{Gong2012,
      title = {Computational Modeling and Verification of Signaling Pathways in Cancer},
      author = {Gong, Haijun and Zuliani, Paolo and Komuravelli, Anvesh and Faeder, James R. and Clarke, Edmund M.},
      year = 2012,
      doi = {10.1007/978-3-642-28067-2_7},
      booktitle = {Algebraic and Numeric Biology},
      publisher = {Springer Berlin Heidelberg},
      volume = {6479},
      series = {Lecture Notes in Computer Science},
      pages = {117--135}
    }
    
  • DOI BibTeX
    K. James, A. Wipat, J. Hallinan
    Is newer better?—evaluating the effects of data curation on integrated analyses in Saccharomyces cerevisiae
    in Integrative Biology, 4(7):715, 2012
    @ARTICLE{James2012,
      title = {Is newer better?—evaluating the effects of data curation on integrated analyses in Saccharomyces cerevisiae},
      author = {James, Katherine and Wipat, Anil and Hallinan, Jennifer},
      year = 2012,
      doi = {10.1039/c2ib00123c},
      journal = {Integrative Biology},
      volume = {4},
      number = {7},
      pages = {715}
    }
    

2011

  • DOI
    N. Swainston, D. Waltemath, N. Swainston, A. Lister, F. Bergmann, R. Henkel, S. Hoops, M. Hucka, N. Juty, S. Keating, C. Knuepfer, F. Krause, C. Laibe, W. Liebermeister, C. Lloyd, G. Misirli, M. Schulz, M. Taschuk, N. Le Novère
    SBML Level 3 Package Proposal: Annotation
    in Nature Precedings, available online since January 2011
  • DOI BibTeX
    G.W. Bassel, H. Lan, E. Glaab, D.J. Gibbs, T. Gerjets, N. Krasnogor, A.J. Bonner, M.J. Holdsworth, N.J. Provart
    Genome-wide network model capturing seed germination reveals coordinated regulation of plant cellular phase transitions
    in Proceedings of the National Academy of Sciences, 108(23):9709-9714, June 2011
    @ARTICLE{Bassel2011a,
      title = {Genome-wide network model capturing seed germination reveals coordinated regulation of plant cellular phase transitions},
      author = {Bassel, G. W. and Lan, H. and Glaab, E. and Gibbs, D. J. and Gerjets, T. and Krasnogor, N. and Bonner, A. J. and Holdsworth, M. J. and Provart, N. J.},
      year = 2011,
      doi = {10.1073/pnas.1100958108},
      month = jun,
      journal = {Proceedings of the National Academy of Sciences},
      volume = {108},
      number = {23},
      pages = {9709--9714}
    }
    
  • DOI BibTeX
    H.O. Habashy, D.G. Powe, E. Glaab, G. Ball, I. Spiteri, N. Krasnogor, J.M. Garibaldi, E.A. Rakha, A.R. Green, C. Caldas, I.O. Ellis
    RERG (Ras-like, oestrogen-regulated, growth-inhibitor) expression in breast cancer: a marker of ER-positive luminal-like subtype
    in Breast Cancer Research and Treatment, 128(2):315-326, July 2011
    @ARTICLE{Habashy2011,
      title = {RERG (Ras-like, oestrogen-regulated, growth-inhibitor) expression in breast cancer: a marker of ER-positive luminal-like subtype},
      author = {Habashy, Hany Onsy and Powe, Desmond G. and Glaab, Enrico and Ball, Graham and Spiteri, Inmaculada and Krasnogor, Natalio and Garibaldi, Jonathan M. and Rakha, Emad A. and Green, Andrew R. and Caldas, C. and Ellis, Ian O.},
      year = 2011,
      doi = {10.1007/s10549-010-1073-y},
      month = jul,
      journal = {Breast Cancer Research and Treatment},
      volume = {128},
      number = {2},
      pages = {315--326}
    }
    
  • DOI BibTeX
    F. Dupeux, J. Santiago, K. Betz, J. Twycross, S. Park, L. Rodriguez, M. Gonzalez-Guzman, M.R. Jensen, N. Krasnogor, M. Blackledge, M. Holdsworth, S.R. Cutler, P.L. Rodriguez, J.A. Márquez
    A thermodynamic switch modulates abscisic acid receptor sensitivity
    in The EMBO Journal, 30(20):4171-4184, October 2011
    @ARTICLE{Dupeux2011,
      title = {A thermodynamic switch modulates abscisic acid receptor sensitivity},
      author = {Dupeux, Florine and Santiago, Julia and Betz, Katja and Twycross, Jamie and Park, Sang-Youl and Rodriguez, Lesia and Gonzalez-Guzman, Miguel and Jensen, Malene Ringkjøbing and Krasnogor, Natalio and Blackledge, Martin and Holdsworth, Michael and Cutler, Sean R and Rodriguez, Pedro L and Márquez, José Antonio},
      year = 2011,
      doi = {10.1038/emboj.2011.294},
      month = oct,
      journal = {The EMBO Journal},
      volume = {30},
      number = {20},
      pages = {4171--4184}
    }
    
  • DOI BibTeX
    H. Gong, P. Zuliani, Q. Wang, E.M. Clarke
    Formal analysis for logical models of pancreatic cancer
    in IEEE Conference on Decision and Control and European Control Conference, p.4855-4860, Orlando, FL, USA, December 2011
    @INPROCEEDINGS{Gong2011,
      title = {Formal analysis for logical models of pancreatic cancer},
      author = {Gong, Haijun and Zuliani, Paolo and Wang, Qinsi and Clarke, Edmund M.},
      year = 2011,
      doi = {10.1109/CDC.2011.6161052},
      month = dec,
      booktitle = {IEEE Conference on Decision and Control and European Control Conference},
      pages = {4855--4860},
      address = {Orlando, FL, USA}
    }
    

2010

  • DOI BibTeX
    H. Cao, F.J. Romero-Campero, S. Heeb, M. Cámara, N. Krasnogor
    Evolving cell models for systems and synthetic biology
    in Systems and Synthetic Biology, 4(1):55-84, March 2010
    @ARTICLE{Cao2010,
      title = {Evolving cell models for systems and synthetic biology},
      author = {Cao, Hongqing and Romero-Campero, Francisco J. and Heeb, Stephan and Cámara, Miguel and Krasnogor, Natalio},
      year = 2010,
      doi = {10.1007/s11693-009-9050-7},
      month = mar,
      journal = {Systems and Synthetic Biology},
      volume = {4},
      number = {1},
      pages = {55--84}
    }
    
  • DOI eprint BibTeX
    E. Glaab, A. Baudot, N. Krasnogor, A. Valencia
    TopoGSA: network topological gene set analysis
    in Bioinformatics, 26(9):1271-1272, May 2010
    @ARTICLE{Glaab2010a,
      title = {TopoGSA: network topological gene set analysis},
      author = {Glaab, E. and Baudot, A. and Krasnogor, N. and Valencia, A.},
      year = 2010,
      doi = {10.1093/bioinformatics/btq131},
      month = may,
      journal = {Bioinformatics},
      volume = {26},
      number = {9},
      pages = {1271--1272}
    }
    
  • DOI BibTeX
    E. Glaab, A. Baudot, N. Krasnogor, A. Valencia
    Extending pathways and processes using molecular interaction networks to analyse cancer genome data
    in BMC Bioinformatics, 11(1):597, 2010
    @ARTICLE{Glaab2010,
      title = {Extending pathways and processes using molecular interaction networks to analyse cancer genome data},
      author = {Glaab, Enrico and Baudot, Anaïs and Krasnogor, Natalio and Valencia, Alfonso},
      year = 2010,
      doi = {10.1186/1471-2105-11-597},
      journal = {BMC Bioinformatics},
      volume = {11},
      number = {1},
      pages = {597}
    }
    
  • DOI BibTeX
    H. Gong, P. Zuliani, A. Komuravelli, J.R. Faeder, E.M. Clarke
    Analysis and verification of the HMGB1 signaling pathway
    in BMC Bioinformatics, 11(Suppl 7):S10, 2010
    @ARTICLE{Gong2010,
      title = {Analysis and verification of the HMGB1 signaling pathway},
      author = {Gong, Haijun and Zuliani, Paolo and Komuravelli, Anvesh and Faeder, James R and Clarke, Edmund M},
      year = 2010,
      doi = {10.1186/1471-2105-11-S7-S10},
      journal = {BMC Bioinformatics},
      volume = {11},
      number = {Suppl 7},
      pages = {S10}
    }
    
  • DOI BibTeX
    J. Twycross, L.R. Band, M.J. Bennett, J.R. King, N. Krasnogor
    Stochastic and deterministic multiscale models for systems biology: an auxin-transport case study
    in BMC Systems Biology, 4(1):34, 2010
    @ARTICLE{Twycross2010,
      title = {Stochastic and deterministic multiscale models for systems biology: an auxin-transport case study},
      author = {Twycross, Jamie and Band, Leah R and Bennett, Malcolm J and King, John R and Krasnogor, Natalio},
      year = 2010,
      doi = {10.1186/1752-0509-4-34},
      journal = {BMC Systems Biology},
      volume = {4},
      number = {1},
      pages = {34}
    }
    
  • DOI BibTeX
    C. García-Martínez, C. Lima, J. Twycross, N. Krasnogor, M. Lozano
    P system model optimisation by means of evolutionary based search algorithms
    in Proceedings of the 12th annual conference on Genetic and evolutionary computation - GECCO '10, p.187, Portland, Oregon, USA, 2010
    @INPROCEEDINGS{Garcia-Martinez2010,
      title = {P system model optimisation by means of evolutionary based search algorithms},
      author = {García-Martínez, Carlos and Lima, Claudio and Twycross, Jamie and Krasnogor, Natalio and Lozano, Manuel},
      year = 2010,
      doi = {10.1145/1830483.1830517},
      booktitle = {Proceedings of the 12th annual conference on Genetic and evolutionary computation - GECCO '10},
      pages = {187},
      address = {Portland, Oregon, USA}
    }
    

2009

  • DOI BibTeX
    F.J. Romero-Campero, J. Twycross, M. Cámara, M. Bennett, M. Gheorghe, N. Krasnogor
    Modular Assembly Of Cell Systems Biology Models Using P Systems
    in International Journal of Foundations of Computer Science, 20(03):427-442, June 2009
    @ARTICLE{Romero-Campero2009,
      title = {Modular Assembly Of Cell Systems Biology Models Using P Systems},
      author = {Romero-Campero, Francisco J. and Twycross, Jamie and Cámara, Miguel and Bennett, Malcolm and Gheorghe, Marian and Krasnogor, Natalio},
      year = 2009,
      doi = {10.1142/S0129054109006668},
      month = jun,
      journal = {International Journal of Foundations of Computer Science},
      volume = {20},
      number = {03},
      pages = {427--442}
    }
    
  • DOI BibTeX
    F.J. Romero-Campero, J. Twycross, H. Cao, J. Blakes, N. Krasnogor
    A Multiscale Modeling Framework Based on P Systems
    in Membrane Computing, Lecture Notes in Computer Science 5391, p.63-77, 2009
    @INCOLLECTION{Romero-Campero2009a,
      title = {A Multiscale Modeling Framework Based on P Systems},
      author = {Romero-Campero, Francisco José and Twycross, Jamie and Cao, Hongqing and Blakes, Jonathan and Krasnogor, Natalio},
      year = 2009,
      doi = {10.1007/978-3-540-95885-7_5},
      booktitle = {Membrane Computing},
      publisher = {Springer Berlin Heidelberg},
      volume = {5391},
      series = {Lecture Notes in Computer Science},
      pages = {63--77}
    }
    
  • DOI BibTeX
    S.K. Jha, E.M. Clarke, C.J. Langmead, A. Legay, A. Platzer, P. Zuliani
    A Bayesian Approach to Model Checking Biological Systems
    in Computational Methods in Systems Biology, Lecture Notes in Computer Science 5688, p.218-234, 2009
    @INCOLLECTION{Jha2009,
      title = {A Bayesian Approach to Model Checking Biological Systems},
      author = {Jha, Sumit K. and Clarke, Edmund M. and Langmead, Christopher J. and Legay, Axel and Platzer, André and Zuliani, Paolo},
      year = 2009,
      doi = {10.1007/978-3-642-03845-7_15},
      booktitle = {Computational Methods in Systems Biology},
      publisher = {Springer Berlin Heidelberg},
      volume = {5688},
      series = {Lecture Notes in Computer Science},
      pages = {218--234}
    }
    
  • DOI BibTeX
    K. James, A. Wipat, J. Hallinan
    Integration of Full-Coverage Probabilistic Functional Networks with Relevance to Specific Biological Processes
    in Data Integration in the Life Sciences, Lecture Notes in Computer Science 5647, p.31-46, 2009
    @INCOLLECTION{James2009,
      title = {Integration of Full-Coverage Probabilistic Functional Networks with Relevance to Specific Biological Processes},
      author = {James, Katherine and Wipat, Anil and Hallinan, Jennifer},
      year = 2009,
      doi = {10.1007/978-3-642-02879-3_4},
      booktitle = {Data Integration in the Life Sciences},
      publisher = {Springer Berlin Heidelberg},
      volume = {5647},
      series = {Lecture Notes in Computer Science},
      pages = {31--46}
    }
    
  • DOI BibTeX
    E. Glaab, J.M. Garibaldi, N. Krasnogor
    ArrayMining: a modular web-application for microarray analysis combining ensemble and consensus methods with cross-study normalization
    in BMC Bioinformatics, 10(1):358, 2009
    @ARTICLE{Glaab2009,
      title = {ArrayMining: a modular web-application for microarray analysis combining ensemble and consensus methods with cross-study normalization},
      author = {Glaab, Enrico and Garibaldi, Jonathan M and Krasnogor, Natalio},
      year = 2009,
      doi = {10.1186/1471-2105-10-358},
      journal = {BMC Bioinformatics},
      volume = {10},
      number = {1},
      pages = {358}
    }
    

2008

  • DOI eprint BibTeX
    N. Krasnogor, A. Shah, D. Barthel, P. Lukasiak, J. Blazewicz
    Web and Grid Technologies in Bioinformatics, Computational and Systems Biology: A Review
    in Current Bioinformatics, 3(1):10-31, January 2008
    @ARTICLE{Krasnogor2008b,
      title = {Web and Grid Technologies in Bioinformatics, Computational and Systems Biology: A Review},
      author = {Krasnogor, Natalio and Shah, Azhar and Barthel, Daniel and Lukasiak, Piotr and Blazewicz, Jacek},
      year = 2008,
      doi = {10.2174/157489308783329850},
      month = jan,
      journal = {Current Bioinformatics},
      volume = {3},
      number = {1},
      pages = {10--31}
    }
    
  • DOI eprint BibTeX
    F.J. Romero-Campero, H. Cao, M. Camara, N. Krasnogor
    Structure and parameter estimation for cell systems biology models
    in Proceedings of the 10th annual conference on Genetic and evolutionary computation - GECCO '08, p.331, Atlanta, GA, USA, 2008
    @INPROCEEDINGS{Romero-Campero2008,
      title = {Structure and parameter estimation for cell systems biology models},
      author = {Romero-Campero, Francisco J. and Cao, Hongqing and Camara, Miguel and Krasnogor, Natalio},
      year = 2008,
      doi = {10.1145/1389095.1389153},
      booktitle = {Proceedings of the 10th annual conference on Genetic and evolutionary computation - GECCO '08},
      pages = {331},
      address = {Atlanta, GA, USA}
    }
    
  • DOI BibTeX
    J. Smaldon, J. Blakes, N. Krasnogor, D. Lancet
    A multi-scaled approach to artificial life simulation with P systems and dissipative particle dynamics
    in Proceedings of the 10th annual conference on Genetic and evolutionary computation - GECCO '08, p.249, Atlanta, GA, USA, 2008
    @INPROCEEDINGS{Smaldon2008,
      title = {A multi-scaled approach to artificial life simulation with P systems and dissipative particle dynamics},
      author = {Smaldon, James and Blakes, Jonathan and Krasnogor, Natalio and Lancet, Doron},
      year = 2008,
      doi = {10.1145/1389095.1389134},
      booktitle = {Proceedings of the 10th annual conference on Genetic and evolutionary computation - GECCO '08},
      pages = {249},
      address = {Atlanta, GA, USA}
    }
    

2007

  • DOI eprint BibTeX
    F. Bernardini, M. Gheorghe, N. Krasnogor
    Quorum sensing P systems
    in Theoretical Computer Science, 371(1-2):20-33, February 2007
    @ARTICLE{Bernardini2007,
      title = {Quorum sensing P systems},
      author = {Bernardini, Francesco and Gheorghe, Marian and Krasnogor, Natalio},
      year = 2007,
      doi = {10.1016/j.tcs.2006.10.012},
      month = feb,
      journal = {Theoretical Computer Science},
      volume = {371},
      number = {1-2},
      pages = {20--33}
    }
    

2006

  • DOI BibTeX
    F. Bernardini, M. Gheorghe, N. Krasnogor, R.C. Muniyandi, M.J. Pérez-Jímenez, F.J. Romero-Campero
    On P Systems as a Modelling Tool for Biological Systems
    in Membrane Computing, Lecture Notes in Computer Science 3850, p.114-133, 2006
    @INCOLLECTION{Bernardini2006,
      title = {On P Systems as a Modelling Tool for Biological Systems},
      author = {Bernardini, Francesco and Gheorghe, Marian and Krasnogor, Natalio and Muniyandi, Ravie C. and Pérez-Jímenez, Mario J. and Romero-Campero, Francisco José},
      year = 2006,
      doi = {10.1007/11603047_8},
      booktitle = {Membrane Computing},
      publisher = {Springer Berlin Heidelberg},
      volume = {3850},
      series = {Lecture Notes in Computer Science},
      pages = {114--133}
    }
    
  • DOI BibTeX
    L. Bianco, D. Pescini, P. Siepmann, N. Krasnogor, F.J. Romero-Campero, M. Gheorghe
    Towards a P Systems Pseudomonas Quorum Sensing Model
    in Membrane Computing, Lecture Notes in Computer Science 4361, p.197-214, 2006
    @INCOLLECTION{Bianco2006,
      title = {Towards a P Systems Pseudomonas Quorum Sensing Model},
      author = {Bianco, Luca and Pescini, Dario and Siepmann, Peter and Krasnogor, Natalio and Romero-Campero, Francisco J. and Gheorghe, Marian},
      year = 2006,
      doi = {10.1007/11963516_13},
      booktitle = {Membrane Computing},
      publisher = {Springer Berlin Heidelberg},
      volume = {4361},
      series = {Lecture Notes in Computer Science},
      pages = {197--214}
    }
    

2005

  • DOI eprint BibTeX
    G. Terrazas, N. Krasnogor, M. Gheorghe, F. Bernardini, S. Diggle, M. Cámara
    An Environment Aware P-System Model of Quorum Sensing
    in New Computational Paradigms, Lecture Notes in Computer Science 3526, p.479-485, 2005
    @INCOLLECTION{Terrazas2005,
      title = {An Environment Aware P-System Model of Quorum Sensing},
      author = {Terrazas, German and Krasnogor, Natalio and Gheorghe, Marian and Bernardini, Francesco and Diggle, Steve and Cámara, Miguel},
      year = 2005,
      doi = {10.1007/11494645_59},
      booktitle = {New Computational Paradigms},
      publisher = {Springer Berlin Heidelberg},
      volume = {3526},
      series = {Lecture Notes in Computer Science},
      pages = {479--485}
    }