| |
|
| |
Proceedings of the National Academy of Sciences of the United States of America, Vol. 102, No. 33. (16 August 2005), pp. 11629-11634.
|
| |
|
| |
|
| |
In Proceedings of the 32nd ACM Symposium on Theory of Computing (# 2000)
|
| |
ACM Trans. Inter. Tech., Vol. 5, No. 1. (February 2005), pp. 92-128.
|
| |
Journal of the American Society of Information Science, Vol. 41, No. 6. (1990), pp. 391-407.
|
| |
|
| |
In Proceedings 5th ACM Conf.\ on Functional Programming Languages and Computer Architecture, {FPCA}'91, Cambridge, {MA}, {USA}, 26--30 Aug 1991, Vol. 523 (1991), pp. 124-144.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
In Proceedings of the 1990 ACM Conference on LISP and Functional Programming, Nice (1990), pp. 61-78.
|
| |
Communications of the ACM, Vol. 13, No. 7. (1970), pp. 422-426.
|
| |
In Workshop on Algorithms and Data Structures (1989), pp. 437-449.
|
| |
Inf. Process. Manage., Vol. 24, No. 5. (1988), pp. 513-523.
|
| |
In CHI '06: Proceedings of the SIGCHI conference on Human Factors in computing systems (2006), pp. 275-284.
|
| |
|
| |
J. ACM, Vol. 53, No. 3. (May 2006), pp. 379-405.
|
| |
|
| |
SIGIR Forum, Vol. 39, No. 1. (June 2005), pp. 55-56.
|
| |
ACM Trans. Inf. Syst., Vol. 22, No. 1. (January 2004), pp. 5-53.
|
| |
|
| |
In Proceedings of ACM ASPLOS (November 2000)
by John Kubiatowicz, David Bindel, Yan Chen, et al.Patrick Eaton, Dennis Geels, Ramakrishna Gummadi, Sean Rhea, Hakim Weatherspoon, Westly Weimer, Christopher Wells, Ben Zhao
|
| |
|
| |
|
| |
In Graphics Interface '97 (1997), pp. 37-46.
|
| |
|
| |
|
| |
|
| |
|
| |
In SIGCOMM '01: Proceedings of the 2001 conference on Applications, technologies, architectures, and protocols for computer communications, Vol. 31, No. 4. (October 2001), pp. 149-160.
|
| |
|
| |
|
| |
Computer Networks and ISDN Systems, Vol. 30, No. 1-7. (April 1998), pp. 107-117.
|
| |
Phys Rev E Stat Nonlin Soft Matter Phys, Vol. 64, No. 2 Pt 2. (August 2001)
|
| |
In Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (1992), pp. 1-14.
|
| |
Science, Vol. 298, No. 5594. (25 October 2002), pp. 824-827.
|
| |
In SIGMOD '07: Proceedings of the 2007 ACM SIGMOD international conference on Management of data (2007), pp. 1029-1040.
|
| |
Information Processing Letters, Vol. 98, No. 4. (31 May 2006), pp. 156-158.
|
| |
Proc R Soc Lond B Biol Sci, Vol. 268, No. 1482. (7 November 2001), pp. 2261-2265.
|
| |
Journal of Physics A Mathematical General, Vol. 38 (May 2005), pp. 4589-4595.
|
| |
In Proceedings of the 2001 ACM SIGCOMM Conference (2001), pp. 149-160.
|
| |
In WWW '02: Proceedings of the 11th international conference on World Wide Web (2002), pp. 136-147.
|
| |
Dependable and Secure Computing, IEEE Transactions on, Vol. 3, No. 1. (2006), pp. 2-12.
|
| |
Commun. ACM, Vol. 20, No. 10. (October 1977), pp. 762-772.
|
| |
|
| |
In Proc. UK Joint Framework for Information Technology ({JFIT}) Technical Conference (93)
|
| |
In Proceedings of the13th ACM Symposium on Operating Systems Principle (1991), pp. 122-136.
|
| |
|
| |
In PODS '89: Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems (1989), pp. 253-258.
|
| |
|
| |
In Proceedings of ICML-00, 17th International Conference on Machine Learning (2000), pp. 303-310.
|
| |
In International Conference on Machine Learning (1995), pp. 313-321.
|
| |
In Proceedings of the Ninth AAAI National Conference on Artificial Intelligence (1991), pp. 572-577.
|
| |
In Handbook of Logic in Computer Science, Volumes 1 (Background: Mathematical Structures) and 2 (Background: Computational Structures), Abramsky \& Gabbay \& Maibaum (Eds.), Clarendon, Vol. 2 (1992)
|
| |
ACM Comput. Surv., Vol. 31, No. 3. (September 1999), pp. 264-323.
|
| |
PLoS Biol, Vol. 2, No. 11. (November 2004)
|
| |
In LFP '82: Proceedings of the 1982 ACM symposium on LISP and functional programming (1982), pp. 216-225.
|
| |
SIGACT News, Vol. 31, No. 1. (March 2000), pp. 77-86.
|
| |
|
| |
In Proof, Language and Interaction: Essays in Honour of Robin Milner (2000)
|
| |
|
| |
|
| |
Nature Biotechnology, Vol. 23, No. 9. (07 September 2005), pp. 1099-1103.
|
| |
|
| |
|
| |
In Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages (1989), pp. 281-292.
|
| |
|
| |
|
| |
|
| |
Image Analysis and Processing, 1999. Proceedings. International Conference on (1999), pp. 1166-1171.
|
| |
No. LIX/RR/89/03, 79--106. (1989)
|
| |
In WWW '05: Proceedings of the 14th international conference on World Wide Web (2005), pp. 575-582.
|
| |
SIAM Rev., Vol. 41, No. 2. (June 1999), pp. 335-362.
|
| |
|
| |
In ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming, Vol. 34, No. 1. (January 1998), pp. 261-272.
|
| |
|
| |
ACM Comput. Surv., Vol. 28, No. 4. (December 1996), pp. 626-643.
|
| |
In Symposium on Interactive 3D Graphics (1995), pp. 181-188, 217.
|
| |
Computer Graphics, Vol. 28, No. Annual Conference Series. (1994), pp. 23-34.
|
| |
|
| |
J. ACM, Vol. 50, No. 1. (January 2003), pp. 100-105.
|
| |
|
| |
|
| |
|
| |
|
| |
In Symposium on Principles of Database Systems (2002), pp. 39-52.
|
| |
Machine Learning and Cybernetics, 2004. Proceedings of 2004 International Conference on, Vol. 2 (2004), pp. 1233-1237 vol.2.
|
| |
Bulletin of Symbolic Logic, Vol. 3, No. 3. (1997), pp. 181-215.
|
| |
In Handbook of Logic in Computer Science Volume 3 (1994), pp. 1-168.
|
| |
In ERLANG '03: Proceedings of the 2003 ACM SIGPLAN workshop on Erlang (2003), pp. 43-55.
|
| |
ACM Comput. Surv., Vol. 38, No. 1. (2006)
|
| |
In LFP '84: Proceedings of the 1984 ACM Symposium on LISP and functional programming (1984), pp. 293-298.
|
| |
|
| |
In Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) (1990), pp. 243-320.
|
| |
Computer Networks In Management in Peer-to-Peer Systems, Vol. 50, No. 4. (15 March 2006), pp. 472-484.
|
| |
ACM Comput. Surv., Vol. 21, No. 3. (September 1989), pp. 323-357.
|
Search
