| |
|
| |
|
| |
|
| |
Physical Review Letters, Vol. 88, No. 4. (2002)
|
| |
|
| |
|
| |
|
| |
SIGPLAN Not., Vol. 39, No. 10. (October 2004), pp. 50-68.
|
| |
|
| |
|
| |
|
| |
|
| |
In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2006), pp. 232-244.
|
| |
|
| |
|
| |
IEEE Micro, Vol. 23, No. 02. (March 2003), pp. 22-28.
|
| |
|
| |
|
| |
|
| |
In ERLANG '03: Proceedings of the 2003 ACM SIGPLAN workshop on Erlang (2003), pp. 43-55.
|
| |
Journal of Artificial Intelligence Research, Vol. 11 (1999), pp. 1-94.
|
| |
In ERLANG '05: Proceedings of the 2005 ACM SIGPLAN workshop on Erlang (2005), pp. 9-16.
|
| |
|
| |
|
| |
|
| |
In CHI '06: Proceedings of the SIGCHI conference on Human Factors in computing systems (2006), pp. 275-284.
|
| |
|
| |
In Applications of Categories in Computer Science: Proceedings LMS Symp., Durham, {UK}, 20--30 July 1991, Vol. 177 (1992), pp. 1-44.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XXII), Vol. 158 (5 May 2006), pp. 219-236.
|
| |
J. ACM, Vol. 53, No. 3. (May 2006), pp. 379-405.
|
| |
|
| |
|
| |
|
| |
Nature, Vol. 324, No. 6096. (4 December 1986), pp. 446-449.
|
| |
SIGMETRICS Perform. Eval. Rev., Vol. 32, No. 1. (June 2004), pp. 25-36.
|
| |
|
| |
|
| |
Engineering of Computer-Based Systems, 2005. ECBS '05. 12th IEEE International Conference and Workshops on the (2005), pp. 331-338.
|
| |
In Workshop on Multiparadigm Programming with Object-Oriented Languages (June # 2001)
|
| |
|
| |
In Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (1992), pp. 1-14.
|
| |
|
| |
|
| |
|
| |
In Workshop on Algorithms and Data Structures (1989), pp. 437-449.
|
| |
In Graphics Interface '97 (1997), pp. 37-46.
|
| |
|
| |
Image Analysis and Processing, 1999. Proceedings. International Conference on (1999), pp. 1166-1171.
|
| |
|
| |
Signal Processing, IEEE Transactions on In Signal Processing, IEEE Transactions on, Vol. 50, No. 2. (2002), pp. 174-188.
|
