| |
Nature, Vol. 459, No. 7243. (7 May 2009), pp. 108-112.
by Nathaniel D. Heintzman, Gary C. Hon, R. David Hawkins, et al.Pouya Kheradpour, Alexander Stark, Lindsey F. Harp, Zhen Ye, Leonard K. Lee, Rhona K. Stuart, Christina W. Ching, Keith A. Ching, Jessica E. Antosiewicz-Bourget, Hui Liu, Xinmin Zhang, Roland D. Green, Victor V. Lobanenkov, Ron Stewart, James A. Thomson, Gregory E. Crawford, Manolis Kellis, Bing Ren
|
| |
Web Information Systems Engineering - WISE 2009 (2009), pp. 589-596.
|
| |
Integrated Formal Methods In Integrated Formal Methods, Vol. 5423 (2009), pp. 151-166.
|
| |
Foundations and Applications of Security Analysis In Foundations and Applications of Security Analysis, Vol. 5511 (2009), pp. 1-17.
|
| |
Commun. ACM, Vol. 52, No. 10. (2009), pp. 56-67.
by Krste Asanovic, Rastislav Bodik, James Demmel, et al.Tony Keaveny, Kurt Keutzer, John Kubiatowicz, Nelson Morgan, David Patterson, Koushik Sen, John Wawrzynek, David Wessel, Katherine Yelick
|
| |
In CIS'09: Proceedings of the international conference on Computational and information science 2009 (2009), pp. 437-440.
|
| |
Formal Methods: Foundations and Applications (2009), pp. 118-133.
|
| |
Formal Methods: Foundations and Applications In SBMF, Vol. 5902 (2009), pp. 236-250.
|
| |
Formal Methods: Foundations and Applications, Vol. 5902 (2009), pp. 204-219.
|
| |
PLoS computational biology, Vol. 5, No. 6. (26 June 2009), e1000369.
|
| |
In WWW '09: Proceedings of the 18th international conference on World wide web (2009), pp. 491-500.
|
| |
FM 2009: Formal Methods (2009), pp. 89-105.
|
| |
FM 2009: Formal Methods (2009), pp. 579-595.
|
| |
FM 2009: Formal Methods (2009), pp. 757-772.
|
| |
FM 2009: Formal Methods (2009), pp. 140-156.
|
| |
FM 2009: Formal Methods (2009), pp. 483-498.
|
| |
Formal Methods: Foundations and Applications (2009), pp. 282-289.
|
| |
IEEE Transactions on Knowledge and Data Engineering, Vol. 21, No. 5. (2009), pp. 681-698.
|
| |
J. Artif. Int. Res., Vol. 34, No. 1. (2009), pp. 443-498.
|
| |
In CIKM '08: Proceeding of the 17th ACM conference on Information and knowledge management (2008), pp. 1003-1012.
|
| |
In CIKM '08: Proceeding of the 17th ACM conference on Information and knowledge management (2008), pp. 1033-1042.
|
| |
In CIKM '08: Proceeding of the 17th ACM conference on Information and knowledge management (2008), pp. 1013-1022.
|
| |
In GECCO '09: Proceedings of the 11th Annual Conference Companion on Genetic and Evolutionary Computation Conference (2009), pp. 2523-2530.
|
| |
In GECCO '09: Proceedings of the 11th Annual Conference Companion on Genetic and Evolutionary Computation Conference (2009), pp. 2515-2522.
|
| |
Computational Science – ICCS 2009 (2009), pp. 893-903.
|
| |
Genome Research, Vol. 19, No. 1. (January 2009), pp. 24-32.
|
| |
Nat Chem Biol, Vol. 5, No. 11. (19 November 2009), pp. 797-807.
|
| |
Physical Review B (Condensed Matter and Materials Physics), Vol. 80, No. 14. (2009), 140516.
|
| |
Communications in Soil Science and Plant Analysis, Vol. 40, No. 15. (2009), pp. 2372-2388.
|
| |
Proteins: Structure, Function, and Bioinformatics, Vol. 9999, No. 9999. (11 September 2009), NA.
|
| |
Journal of medicinal chemistry (23 October 2009)
|
| |
BMC Bioinformatics, Vol. 10, No. 1. (30 October 2009), 365.
|
| |
Bioorganic & medicinal chemistry (21 October 2009)
|
| |
Trends in biochemical sciences (16 October 2009)
|
| |
Nature Chemical Biology, Vol. 5, No. 11. (10 October 2009), pp. 789-796.
|
| |
In FOSD '09: Proceedings of the First International Workshop on Feature-Oriented Software Development (2009), pp. 19-26.
|
| |
Applied Physics Letters, Vol. 95, No. 4. (2009), 042507.
|
| |
Nucl. Acids Res., Vol. 37, No. suppl_2. (1 July 2009), pp. W202-208.
|
| |
In AAMAS '09: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems (2009), pp. 1125-1126.
|
| |
IEEE Software, Vol. 26, No. 6. (2009), pp. 56-59.
|
| |
IEEE Software, Vol. 26, No. 6. (2009), pp. 88-91.
|
| |
In ICSE '09: Proceedings of the 2009 IEEE 31st International Conference on Software Engineering (2009), pp. 485-495.
|
| |
Software, IET, Vol. 3, No. 5. (02 October 2009), pp. 395-409.
|
| |
Recent Advances in Parallel Virtual Machine and Message Passing Interface In Recent Advances in Parallel Virtual Machine and Message Passing Interface, Vol. 5759 (2009), pp. 116-123.
|
| |
Commun. ACM, Vol. 52, No. 11. (2009), pp. 60-67.
by Mitchel Resnick, John Maloney, Andrés M. Hernández, et al.Natalie Rusk, Evelyn Eastmond, Karen Brennan, Amon Millner, Eric Rosenbaum, Jay Silver, Brian Silverman, Yasmin Kafai
|
| |
Bioorganic & Medicinal Chemistry Letters (20 October 2009)
|
| |
Journal of Systems and Software (01 September 2009)
|
| |
Physical Review B (Condensed Matter and Materials Physics), Vol. 80, No. 1. (2009), 012509.
|
| |
Sozial Extra, Vol. 33, No. 1. (1 January 2009), pp. 18-20.
|
| |
Sozial Extra, Vol. 33, No. 1. (1 January 2009), pp. 10-13.
|