| |
FM 2009: Formal Methods (2009), pp. 483-498.
|
| |
|
| |
|
| |
|
| |
|
| |
Bioinformatics, Vol. 25, No. 22. (15 November 2009), pp. 3012-3019.
|
| |
GeoSpatial Semantics (2007), pp. 114-127.
|
| |
|
| |
Bioinformatics, Vol. 25, No. 17. (1 September 2009), pp. 2263-2270.
|
| |
|
| |
BMC Bioinformatics, Vol. 10, No. 1. (23 October 2009), 349.
|
| |
In WWW '09: Proceedings of the 18th international conference on World wide web (2009), pp. 641-650.
|
| |
Transactions in GIS, Vol. 12, No. s1. (2008), pp. 59-73.
|
| |
|
| |
IEEE Internet Computing, Vol. 10, No. 5. (2006), pp. 42-52.
|
| |
|
| |
|
| |
Acta Psychologica, Vol. 129, No. 1. (September 2008), pp. 112-120.
|
| |
In Proceedings of the Joint Conference of the 47th Annual Meeting of the ACL and the 4th International Joint Conference on Natural Language Processing of the AFNLP (August 2009), pp. 91-99.
|
| |
GeoInformatica, Vol. 11, No. 2. (1 June 2007), pp. 217-237.
|
| |
Journal on Data Semantics III, Vol. 3534 (2005), pp. 1-24.
|
| |
GeoInformatica (October 2009)
|
| |
In SIGMOD '08: Proceedings of the 2008 ACM SIGMOD international conference on Management of data (2008), pp. 729-738.
|
| |
Nat Biotech, Vol. 26, No. 10. (09 October 2008), pp. 1155-1160.
by Markus J. Herrgard, Neil Swainston, Paul Dobson, et al.Warwick B. Dunn, K. Yalcin Arga, Mikko Arvas, Nils Buthgen, Simon Borger, Roeland Costenoble, Matthias Heinemann, Michael Hucka, Nicolas Le Novere, Peter Li, Wolfram Liebermeister, Monica L. Mo, Ana P. Oliveira, Dina Petranovic, Stephen Pettifer, Evangelos Simeonidis, Kieran Smallbone, Irena Spasie, Dieter Weichart, Roger Brent, David S. Broomhead, Hans V. Westerhoff, Betul Kurdar, Merja Penttila, Edda Klipp, Bernhard O. Palsson, Uwe Sauer, Stephen G. Oliver, Pedro Mendes, Jens Nielsen, Douglas B. Kell
|
| |
Advanced Information Systems Engineering In CAiSE '09: Proceedings of the 21st International Conference on Advanced Information Systems Engineering, Vol. 5565 (2009), pp. 125-140.
|
| |
BMC Bioinformatics, Vol. 10, No. Suppl 10. (2009), S11.
|
| |
The Journal of Philosophy, Vol. 78, No. 11. (1981), pp. 668-691.
|
| |
In SPAA '08: Proceedings of the twentieth annual symposium on Parallelism in algorithms and architectures (2008), pp. 314-325.
|
| |
In OPODIS '08: Proceedings of the 12th International Conference on Principles of Distributed Systems (2008), pp. 275-294.
|
| |
In Wirtschaftsinformatik (1) (2007), pp. 423-440.
edited by Andreas Oberweis, Christof Weinhardt, Henner Gimpel, et al.Agnes Koschmider, Victor Pankratius, Björn Schnizler, Andreas Oberweis, Christof Weinhardt, Henner Gimpel, Agnes Koschmider, Victor Pankratius, Björn Schnizler
|
| |
Algebra and Coalgebra in Computer Science (2009), pp. 367-382.
|
| |
Model Driven Engineering Languages and Systems (2009), pp. 586-590.
|
| |
Business Information Systems (2009), pp. 1-12.
|
| |
Fundamental Approaches to Software Engineering (2008), pp. 377-391.
|
| |
Journal of the American Society for Information Science and Technology, Vol. 9999, No. 9999. (2009), n/a.
|
| |
|
| |
|
| |
ACM Trans. Comput. Logic, Vol. 7, No. 3. (2006), pp. 499-562.
|
| |
In CSCW '06: Proceedings of the 2006 20th anniversary conference on Computer supported cooperative work (2006), pp. 181-190.
|
| |
Mind, Vol. 67, No. 266. (1958), pp. 166-173.
|
| |
International Journal of Intelligent Systems, Vol. 5, No. 5. (1990), pp. 549-564.
|
| |
In Higher Order Operational Techniques in Semantics, Publications of the Newton Institute (1997), pp. 175-226.
|
| |
Journal of biomedical informatics, Vol. 42, No. 2. (13 April 2009), pp. 390-405.
|
| |
BMC Genomics, Vol. 10, No. 1. (2009), 360.
|
| |
Psychophysiology, Vol. 46, No. 3. (May 2009), pp. 551-565.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 29, No. 2. (2007), 13.
|
| |
Trustworthy Global Computing (2008), pp. 57-72.
|
| |
|
| |
Synthese, Vol. 58, No. 2. (1 February 1984), pp. 153-202.
|
| |
eScience, 2008. eScience '08. IEEE Fourth International Conference on (06 January 2009), pp. 111-118.
|