| |
In ICFP '08: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming (2008), pp. 91-102.
|
| |
IEEE Transactions on Visualization and Computer Graphics, Vol. 12, No. 5. (2006), pp. 1245-1250.
|
| |
Parallel Computing, Vol. 26 (2000), pp. 200-0.
|
| |
Science of Computer Programming, Vol. 70, No. 1. (1 January 2008), pp. 1-30.
|
| |
In Scheme and Functional Programming 2006
|
| |
Semantic Multimedia (2006), pp. 56-70.
|
| |
|
| |
In PEPM '06: Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (2006), pp. 88-94.
|
| |
In IMC '06: Proceedings of the 6th ACM SIGCOMM on Internet measurement (2006), pp. 289-300.
|
| |
ACM Comput. Surv., Vol. 10, No. 1. (March 1978), pp. 35-71.
|
| |
SIGPLAN Not., Vol. 42, No. 9. (September 2007), pp. 315-326.
|
| |
|
| |
|
| |
ACM Transactions on Software Engineering and Methodology, Vol. 5, No. 3. (1996), pp. 231-261.
|
| |
In Intl Conf. on Software Engineering (1981), pp. 314-323.
|
| |
In International conference on Software engineering (1982), pp. 225-234.
|
| |
In Proceedings of the International Workshop on Time Constrained Requirements Engineering (T-CRE) (2002), pp. 9-19.
|
| |
In ICSE Workshop on Open source software engineering, Vol. 30, No. 4. (July 2005), pp. 1-6.
|
| |
Software Development Magazine, Vol. 7, No. 7. (July 1999)
|
| |
Proceedings of the IEEE, Vol. 74, No. 10. (1986), pp. 1431-1444.
|
| |
Crosstalk: Journal of Defence Software Engineering (December 1998), pp. 11-16.
|
| |
IEEE Computer, Vol. 34, No. 3. (2001), pp. 115-119.
|
| |
In IASTED Intl Conf on Software Engineering (17--19 February 2004), pp. 36-41.
|
| |
In CSMR '98: Proceedings of the 2nd Euromicro Conference on Software Maintenance and Reengineering ( CSMR'98) (1998)
|
| |
IEEE Micro, Vol. 23, No. 02. (March 2003), pp. 22-28.
|
| |
|
| |
|
| |
In BNCOD 17: Proceedings of the 17th British National Conferenc on Databases (2000), pp. 36-50.
|
| |
ACM Comput. Surv., Vol. 28, No. 1. (March 1996), pp. 121-123.
|
| |
In ICDT '97: Proceedings of the 6th International Conference on Database Theory (1997), pp. 1-18.
|
| |
|
| |
In SIGMOD '96: Proceedings of the 1996 ACM SIGMOD international conference on Management of data, Vol. 25, No. 2. (June 1996), pp. 505-516.
|
| |
|
| |
Tools with Artificial Intelligence, 1999. Proceedings. 11th IEEE International Conference on (1999), pp. 391-398.
|
| |
|
| |
|
| |
Lecture Notes in Computer Science : The Semantic Web: Research and Applications In The Semantic Web: Research and Applications (2005), pp. 455-470.
|
| |
International Journal of Human-Computer Studies, Vol. 46, No. 2-3. (1997), pp. 293-310.
|
| |
Lecture Notes in Computer Science : On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops (2006), pp. 181-188.
|
| |
SIGPLAN Not., Vol. 41, No. 10. (October 2006), pp. 57-74.
|
| |
|
| |
In ICICS (1999), pp. 39-53.
|
| |
In Workshop on Component-Oriented Programming (WCOP'2001) (June 2001)
|
| |
In Conference on Current Trends in Theory and Practice of Informatics (1999), pp. 360-368.
|
| |
In ICSE '03: Proceedings of the 25th International Conference on Software Engineering (2003), pp. 221-231.
|
| |
SIGPLAN Not., Vol. 41, No. 10. (October 2006), pp. 325-344.
|
| |
In SIGCSE '05: Proceedings of the 36th SIGCSE technical symposium on Computer science education (2005), pp. 7-11.
|
| |
|
| |
|
| |
Logic in Computer Science, 1989. LICS '89, Proceedings., Fourth Annual Symposium on (1989), pp. 14-23.
|
