journal of symbolic computation (8)
international journal on software tools for technology transfer (4)
new phytologist (4)
science of computer programming (4)
communications biology (3)
embo journal (3)
international journal of molecular sciences (3)
journal of integrative plant biology (3)
nature communications (3)
nature plants (3)
formal methods & software engineering (9783642169007) (2)
formal methods & software engineering: 15th international conference on formal engineering methods, icfem 2013, queenstown, new zealand, october 29 - november 1, 2013, proceedings (2)
journal of electroanalytical chemistry (2)
molecular breeding (2)
molecular plant (cell press) (2)
plant, cell & environment (2)
proceedings of the national academy of sciences of the united states of america (2)
12th ieee international conference on engineering complex computer systems (iceccs 2007), engineering complex computer systems, 2007. 12th ieee international conference on (1)
2008 15th asia-pacific software engineering conference, software engineering conference, 2008. apsec '08. 15th asia-pacific (1)
2009 third ieee international symposium on theoretical aspects of software engineering, theoretical aspects of software engineering, 2009. tase 2009. third ieee international symposium on (1)
2012 35th annual ieee software engineering workshop (1)
2012 35th annual ieee software engineering workshop, software engineering workshop (sew), 2012 35th annual ieee (1)
2012 sixth international symposium on theoretical aspects of software engineering (1)
2012 sixth international symposium on theoretical aspects of software engineering, theoretical aspects of software engineering (tase), 2012 sixth international symposium on (1)
2016 9th international congress on image and signal processing, biomedical engineering and informatics (cisp-bmei), image and signal processing, biomedical engineering and informatics (cisp-bmei), international congress on (1)
automated technology for verification & analysis (9783642047602) (1)
fm 2011: formal methods (1)
ieice transactions on information and systems (1)
molecular breeding: new strategies in plant improvement (1)
plant communications (1)
programming languages & systems (9783642005893) (1)
theories of programming & formal methods (1)