| |
ACM SIGPLAN Notices In OOPSLA '07: Proceedings of the 22nd annual ACM SIGPLAN conference on Object oriented programming systems and applications, Vol. 42, No. 10. (21 October 2007), pp. 677-694.
|
| |
Information, Communications and Signal Processing, 2003 and the Fourth Pacific Rim Conference on Multimedia. Proceedings of the 2003 Joint Conference of the Fourth International Conference on, Vol. 1 (04 May 2004), pp. 6-10 Vol.1.
|
| |
Media Culture Society, Vol. 29, No. 6. (1 November 2007), pp. 972-993.
|
| |
Robotics & Automation Magazine, IEEE In Robotics & Automation Magazine, IEEE, Vol. 16, No. 1. (2009), pp. 9-15.
|
| |
Commun. ACM, Vol. 49, No. 1. (January 2006), pp. 88-95.
|
| |
|
| |
Science, Vol. 325, No. 5941. (7 August 2009), 664.
|
| |
Commun. ACM, Vol. 52, No. 1. (2009), pp. 25-26.
|
| |
In Proc. of UIST 2007 (2007), pp. 259-268.
|
| |
In SIGIR '04: Proceedings of the 27th annual international ACM SIGIR conference on Research and development in information retrieval (2004), pp. 210-217.
|
| |
Journal of Product Innovation Management, Vol. 26, No. 3. (2009), pp. 248-263.
|
| |
Static Analysis (2006), pp. 425-442.
|
| |
In VLDB '04: Proceedings of the Thirtieth international conference on Very large data bases (2004), pp. 1146-1157.
|
| |
In Proceedings of OZCHI 2003 (2003), pp. 34-43.
|
| |
In UIST '08: Proceedings of the 21st annual ACM symposium on User interface software and technology (2008), pp. 201-204.
|
| |
In EuroSys '07: Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems 2007 (2007), pp. 59-72.
|
| |
Tests and Proofs (2008), pp. 134-153.
|
| |
Software, IEEE In Software, IEEE, Vol. 25, No. 5. (2008), pp. 30-37.
|
| |
Model Checking Software (2008), pp. 9-25.
|
| |
Tests and Proofs (2008), pp. 171-181.
|
| |
Tools and Algorithms for the Construction and Analysis of Systems (2008), pp. 367-381.
|
| |
Software, IEEE In Software, IEEE, Vol. 23, No. 4. (July 2006), pp. 38-47.
|
| |
In ASE '06: Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE'06) (2006), pp. 365-368.
|
| |
In ESEC/FSE-13: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering (2005), pp. 253-262.
|
| |
In ICSE '08: Proceedings of the 30th international conference on Software engineering (2008), pp. 281-290.
|
| |
In WWW '08: Proceeding of the 17th international conference on World Wide Web (2008), pp. 655-664.
|
| |
|
| |
ACM Trans. Database Syst., Vol. 31, No. 1. (March 2006), pp. 133-160.
|
| |
Advanced Engineering Computing and Applications in Sciences, 2007. ADVCOMP 2007. International Conference on In Advanced Engineering Computing and Applications in Sciences, 2007. ADVCOMP 2007. International Conference on (2007), pp. 31-38.
|
| |
In MULTIMEDIA '02: Proceedings of the tenth ACM international conference on Multimedia (2002), pp. 235-238.
|
| |
Horizontal Interactive Human-Computer Systems, 2007. TABLETOP '07. Second Annual IEEE International Workshop on In Horizontal Interactive Human-Computer Systems, 2007. TABLETOP '07. Second Annual IEEE International Workshop on (2007), pp. 201-204.
|
| |
In Proc. of GI 2007 (2007), pp. 119-125.
|
| |
In ICMI '04: Proceedings of the 6th international conference on Multimodal interfaces (2004), pp. 69-76.
|
| |
In UIST '05: Proceedings of the 18th annual ACM symposium on User interface software and technology (2005), pp. 83-92.
|
| |
In Proc. of CHI 2006 (2006), pp. 1263-1272.
|
| |
Human-Computer Interaction, Vol. 6, No. 2. (1991), pp. 147-196.
|
| |
|
| |
In IPSN '07: Proceedings of the 6th international conference on Information processing in sensor networks (2007), pp. 410-419.
|
| |
SIGOPS Oper. Syst. Rev., Vol. 41, No. 2. (April 2007), pp. 88-93.
|
| |
|
| |
|
| |
In CSCW '00: Proceedings of the 2000 ACM conference on Computer supported cooperative work (2000), pp. 309-318.
|
| |
|
| |
INFOCOM 2005. 24th Annual Joint Conference of the IEEE Computer and Communications Societies. Proceedings IEEE, Vol. 4 (2005), pp. 2235-2245 vol. 4.
|
| |
In MULTIMEDIA '02: Proceedings of the tenth ACM international conference on Multimedia (2002), pp. 533-542.
|
| |
In SIGIR '03: Proceedings of the 26th annual international ACM SIGIR conference on Research and development in informaion retrieval (28 July 2003), pp. 72-79.
|
| |
ACM Trans. Inf. Syst., Vol. 23, No. 2. (April 2005), pp. 147-168.
|
| |
|
| |
|
| |
|
Search
