| |
Bioinformatics, Vol. 25, No. 22. (15 November 2009), pp. 3026-3027.
|
| |
Mobile Networks and Applications, Vol. 10, No. 6. (2005), pp. 837-852.
|
| |
Progress in Cryptology – AFRICACRYPT 2008 (2008), pp. 40-49.
|
| |
Ad Hoc Networks, Vol. 4, No. 5. (September 2006), pp. 567-585.
|
| |
|
| |
In WGP 2008 (2008), pp. 13-24.
|
| |
Sensor Technologies and Applications, 2007. SensorComm 2007. International Conference on In Sensor Technologies and Applications, 2007. SensorComm 2007. International Conference on (2007), pp. 475-483.
|
| |
In Applied Formal Methods --- FM-Trends 98, Vol. 1641 (1999), pp. 168-183.
|
| |
In AOSD '08: Proceedings of the 7th international conference on Aspect-oriented software development (2008), pp. 180-190.
|
| |
In ICDE '05: Proceedings of the 21st International Conference on Data Engineering (2005), pp. 419-420.
|
| |
Journal of Automated Reasoning, Vol. 31, No. 3. (13 November 2003), pp. 303-334.
|
| |
Cluster Computing, IEEE International Conference on, Vol. 0 (2006), pp. 1-11.
|
| |
Cluster Computing, 2006 IEEE International Conference on In Cluster Computing, 2006 IEEE International Conference on (2006), pp. 1-9.
|
| |
In Haskell 2007 (2007), pp. 107-118.
|
| |
Natural Language Processing and Information Systems (2007), pp. 61-72.
|
| |
In Trends in Functional Programming, Vol. 7 (2006), pp. 199-216.
|
| |
In PPDP '06: Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming (2006), pp. 133-144.
|
| |
In Haskell '02: Proceedings of the ACM SIGPLAN workshop on Haskell (2002), pp. 90-104.
|
| |
ACM Trans. Comput. Syst., Vol. 9, No. 3. (August 1991), pp. 272-314.
|
| |
In SEKE '02: Proceedings of the 14th international conference on Software engineering and knowledge engineering (2002), pp. 635-640.
|
| |
ACM Trans. Comput. Syst., Vol. 21, No. 4. (November 2003), pp. 341-374.
|
| |
In OOPSLA '03: Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications, Vol. 38, No. 11. (November 2003), pp. 388-402.
|