user- A gadget to search CiteULike inside Google's personalized homepage
- (2000)
- page 316--323. (2003)
- SoftVis '03: Proceedings of the 2003 ACM symposium on Software visualization, page 169--178. New York, NY, USA, ACM Press, (2003)
- Electronic Commerce Research and Applications 1(2):193--207 (2002)
- Parallel Computing 25(6):703--727 (June 1999)
- 0507. Christian-Albrechts-Universität zu Kiel, (2005)
- Information and Software Technology 46(5):287--292 (April 2004)
- Journal of Logic and Algebraic Programming (2004)
- Electronic Notes in Theoretical Computer Science 148(1):41--73 (February 2006)
- page 137--144. (2003)
- (2002)
- J. ACM 44(6):850--891 (November 1997)
- (1995)
- Verifix/Ulm/3.1. Universitat Ulm, (1996)
- SIGSOFT Softw. Eng. Notes 31(3):1--13 (May 2006)
- Formal Aspects of Computing 10(2):97--124 (February 1998)
- ESEC/FSE-13: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering, page 377--380. New York, NY, USA, ACM Press, (2005)
- Real-Time Systems 32(1-2):105--123 (February 2006)
- Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on 18(6):742--760 (1999)
- SAC '05: Proceedings of the 2005 ACM symposium on Applied computing, page 1546--1552. New York, NY, USA, ACM Press, (2005)
