- Theor. Comput. Sci. (2012)
- ESANN, (2009)
- ICSE, page 421-430. ACM, (2011)
- Morgan Kaufmann, San Francisco, Calif., (1998)
- Morgan Kaufmann, San Francisco, Calif., (1998)
- ICDE, page 26-35. IEEE, (2007)
- ICDE, page 833-842. IEEE, (2008)
- AMCIS, page 151. Association for Information Systems, (2004)
- AMCIS, page 255. Association for Information Systems, (2007)
- FOGA, page 307-328. Morgan Kaufmann, (2002)
- FOGA, page 127-141. Morgan Kaufmann, (2000)
- CHI 95 Conference Companion, page 331. ACM, (1995)
- CHI 95 Conference Companion, page 391-392. ACM, (1995)
- CHI Extended Abstracts, page 136. ACM, (1997)
- CHI Extended Abstracts, page 184-185. ACM, (1997)
- CHI Extended Abstracts, page 164-165. ACM, (1997)
- Proceedings of 8th Verification, Model Checking, and Abstract Interpretation International Conference VMCAI 2007, volume 4349/2007 of Lecture Notes in Computer Science, Nice, France, Springer, (January 2007)
- VTC Fall, page 1-5. IEEE, (2011)
- ASE, page 372-375. IEEE, (2011)
- IEEE Data Eng. Bull. 34(4):36-43 (2011)


author