| |
Electronic Commerce Research and Applications (22 April 2009)
|
| |
Informatik-Spektrum (17 November 2009)
|
| |
Lancet neurology, Vol. 8, No. 4. (April 2009), pp. 345-354.
|
| |
In CIKM '09: Proceeding of the 18th ACM conference on Information and knowledge management (2009), pp. 455-464.
|
| |
In CIKM '09: Proceeding of the 18th ACM conference on Information and knowledge management (2009), pp. 435-444.
|
| |
The Journal of Chemical Physics, Vol. 131, No. 11. (2009), 114906.
|
| |
Formal Methods and Software Engineering (2009), pp. 20-48.
|
| |
In EA '09: Proceedings of the 2009 ICSE Workshop on Aspect-Oriented Requirements Engineering and Architecture Design (2009), pp. 25-30.
by Harold Ossher, David Amid, Ateret A. Tavor, et al.Rachel Bellamy, Matt Callery, Michael Desmond, Jackie De Vries, Amit Fisher, Sophia Krasikov, Ian Simmonds, Cal Swart
|
| |
In EDBT, Vol. 360 (2009), pp. 24-35.
|
| |
IEEE Transactions on Software Engineering, Vol. 35, No. 4. (2009), pp. 470-483.
|
| |
In SIGMOD '09: Proceedings of the 35th SIGMOD international conference on Management of data (2009), pp. 905-908.
|
| |
In SIGMOD '09: Proceedings of the 35th SIGMOD international conference on Management of data (2009), pp. 879-880.
|
| |
In SIGMOD '09: Proceedings of the 35th SIGMOD international conference on Management of data (2009), pp. 863-870.
|
| |
In SIGMOD '09: Proceedings of the 35th SIGMOD international conference on Management of data (2009), pp. 841-846.
|
| |
In SIGMOD '09: Proceedings of the 35th SIGMOD international conference on Management of data (2009), pp. 309-320.
|
| |
In SIGMOD '09: Proceedings of the 35th SIGMOD international conference on Management of data (2009), pp. 297-308.
|
| |
In SIGMOD '09: Proceedings of the 35th SIGMOD international conference on Management of data (2009), pp. 283-296.
|
| |
In SIGMOD '09: Proceedings of the 35th SIGMOD international conference on Management of data (2009), pp. 165-178.
|
| |
In SIGMOD '09: Proceedings of the 35th SIGMOD international conference on Management of data (2009), pp. 59-72.
|
| |
PVLDB, Vol. 2, No. 2. (2009), pp. 1648-1653.
|
| |
PVLDB, Vol. 2, No. 2. (2009), pp. 1462-1473.
|
| |
PVLDB, Vol. 2, No. 2. (2009), pp. 1378-1389.
|
| |
PVLDB, Vol. 2, No. 2. (2009), pp. 1318-1329.
|
| |
PVLDB, Vol. 2, No. 1. (2009), pp. 373-384.
|
| |
PVLDB, Vol. 2, No. 1. (2009), pp. 361-372.
|
| |
PVLDB, Vol. 2, No. 1. (2009), pp. 277-288.
|
| |
|
| |
Information and Software Technology, Vol. 52, No. 1. (14 January 2010), pp. 110-125.
|
| |
Data & Knowledge Engineering (31 August 2009)
|
| |
Molecular Cell, Vol. 35, No. 6. (24 September 2009), pp. 726-728.
|
| |
Computer, Vol. 42, No. 9. (September 2009), pp. 30-36.
|
| |
Nature, Vol. 459, No. 7243. (18 March 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 Recent Advances in Applied Mathematics and Computational and Information Sciences, Vol. II (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.
|