| |
In PLAS '07: Proceedings of the 2007 workshop on Programming languages and analysis for security (2007), pp. 61-66.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 254 (28 October 2009), pp. 85-103.
|
| |
In In FTfJP, Vol. 5 (2005), pp. 5-29.
|
| |
Image Processing and its Applications, 1992., International Conference on In Image Processing and its Applications, 1992., International Conference on (1992), pp. 494-497.
|
| |
IEEE Transactions on Geoscience and Remote Sensing In Geoscience and Remote Sensing, IEEE Transactions on, Vol. 39, No. 10. (October 2001), pp. 2235-2243.
|
| |
IEEE Transactions on Signal Processing In Signal Processing, IEEE Transactions on [see also Acoustics, Speech, and Signal Processing, IEEE Transactions on], Vol. 56, No. 2. (February 2008), pp. 576-587.
|
| |
Journal of Mathematical Imaging and Vision, Vol. 21, No. 3. (November 2004), 235.
|
| |
In SIGSOFT '06/FSE-14: Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering (2006), pp. 69-80.
|
| |
Signal Processing Magazine, IEEE, Vol. 24, No. 2. (2007), pp. 116-125.
|
| |
In Symposium on Principles of Programming Languages (1998), pp. 121-133.
|
| |
In 2001 ACM {SIGPLAN}-{SIGSOFT} Workshop on Program Analysis for Software Tools and Engineering ({PASTE}'01) (2001)
|
| |
In PLDI '94: Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation, Vol. 29, No. 6. (June 1994), pp. 230-241.
|
| |
Lecture Notes in Computer Science, Vol. 1782 (2000), pp. 366-??.
|
| |
Lecture Notes in Computer Science, Vol. 2071 (2001), pp. 177-??.
|
| |
Lecture Notes in Computer Science, Vol. 2071 (2001)
|
| |
Lecture Notes in Computer Science, Vol. 1782 (2000)
|
Search
