Are there published papers on BioBike?
• The original BioBike (BioLingua) paper in Bioinformatics [link out to Oxford U. Press site]. • A paper in the Open Source journal PLoS One, entitled: Deductive BioComputing, describes the way that SRI’s SNARK theorem prover can be used inside the BioBike platform to do complex biological reasoning. [link out to PLoSOne] • A paper for a special issue of the Journal of the History and Philosophy of Science which describes BioBike as a “trading zone” where biologists and engineers can collaborate. [preprint in PDF] • A commentary appearing in the June 6, 2005 issue of The Scientist describes our collaboration with the HyBrow team at Penn State.