Search for Author All Reviews
	Cook, Byron     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 3 of 3 reviews       At the interface of biology and computation Taylor A., Piterman N., Ishtiaq S., Fisher J., Cook B., Cockerton C., Bourton S., Benque D.  CHI 2013 (Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, Paris, France, Apr 27-May 2, 2013) 493-502, 2013.  Type: Proceedings As computational biology and systems biology become mature disciplines, they need the kind of research attempted here. Many computer scientists have built complex, robust, sophisticated tools to model and analyze biological systems; ov...... Sep 12 2013     Proving program termination Cook B., Podelski A., Rybalchenko A. Communications of the ACM 54(5): 88-98, 2011.  Type: Article For decades, the best approach to attacking the decision problem (proving whether a given program will terminate in a finite amount of time) has been to use monolithic ranking functions. These are usually a combination of a conditional...... Jul 8 2011     Software engineering and formal methods Hinchey M., Jackson M., Cousot P., Cook B., Bowen J., Margaria T. Communications of the ACM 51(9): 54-59, 2008.  Type: Article Weaving formal methods into the software engineering mainstream, this paper summarizes three keynote speeches from the fifth Institute of Electrical and Electronics Engineers (IEEE) International Conference on Software Engineering and ...... Oct 10 2008
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy