| |
SIGKDD Explor. Newsl., Vol. 6, No. 2. (December 2004), pp. 43-52.
|
| |
In WWW '03: Proceedings of the twelfth international conference on World Wide Web (2003), pp. 568-576.
|
| |
In WWW '04: Proceedings of the 13th international conference on World Wide Web (2004), pp. 491-501.
|
| |
|
| |
|
| |
In 2nd International Symposium on Programming (April 1976), pp. 106-130.
|
| |
|
| |
|
| |
|
| |
Computer, Vol. 31, No. 5. (1998), pp. 32-40.
|
| |
|
| |
ACM Transactions on Programming Languages and Systems, Vol. 13, No. 4. (October 1991), pp. 451-490.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 12, No. 1. (January 1990), pp. 26-60.
|
| |
|
| |
In ICSM (1998), pp. 228-237.
|
| |
Perform. Eval., Vol. 53, No. 3-4. (2003), pp. 225-253.
|
| |
Parallel and Distributed Systems: Workshops, Seventh International Conference on, 2000 (2000), pp. 61-66.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 23, No. 6. (November 2001), pp. 685-746.
|
| |
In Conference on Object-Oriented (1997), pp. 108-124.
|
| |
In SAS '95: Proceedings of the Second International Symposium on Static Analysis (1995), pp. 314-329.
|
| |
In ILPS '97: Proceedings of the 1997 international symposium on Logic programming (1997), pp. 5-19.
|
| |
In POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 228-241.
|
| |
|
| |
|
| |
|
| |
In PODC '04: Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing (2004), pp. 179-188.
|
| |
In ECDL '99: Proceedings of the Third European Conference on Research and Advanced Technology for Digital Libraries (1999), pp. 443-452.
|
| |
|
| |
|
| |
|
| |
J. Mach. Learn. Res., Vol. 3 (2003), pp. 1157-1182.
|
| |
In DL '99: Proceedings of the fourth ACM conference on Digital libraries (1999), pp. 254-255.
|
| |
In WIDM '03: Proceedings of the 5th ACM international workshop on Web information and data management (2003), pp. 50-53.
|
| |
|
| |
|
| |
|
| |
|
| |
In CCS '03: Proceedings of the 10th ACM conference on Computer and communications security (2003), pp. 251-261.
|
| |
In CCS '04: Proceedings of the 11th ACM conference on Computer and communications security (2004), pp. 21-30.
|
| |
Nature, Vol. 433, No. 7024. (27 January 2005), pp. 392-395.
|
| |
The VLDB Journal, Vol. 10, No. 4. (December 2001), pp. 334-350.
|
| |
Knowledge-Based Systems, Vol. 15, No. 3. (March 2002), pp. 147-167.
|
| |
In Protocol Specification Testing and Verification (1995), pp. 3-18.
|
| |
In ISSTA '00: Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis (2000), pp. 14-25.
|
| |
|
| |
Software: Practice and Experience, Vol. 30, No. 7. (2 May 2000), pp. 775-802.
|
| |
J. Comput. Secur., Vol. 9, No. 3. (January 2001), pp. 217-250.
|
| |
In OOPSLA '97: Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, Vol. 32, No. 10. (October 1997), pp. 108-124.
|
| |
In PLDI '88: Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation, Vol. 23, No. 7. (July 1988), pp. 35-46.
|
| |
|
Search
