Lesezeichen (verstecken)4
- A gadget to search CiteULike inside Google's personalized homepage
Publikationen (verstecken)2270
- (2000)
- Seite 316--323. (2003)
- SoftVis '03: Proceedings of the 2003 ACM symposium on Software visualization, Seite 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 (Juni 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 (Februar 2006)
- Seite 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 (Mai 2006)
- Formal Aspects of Computing, 10 (2): 97--124 (Februar 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, Seite 377--380. New York, NY, USA, ACM Press, (2005)
- Real-Time Systems, 32 (1-2): 105--123 (Februar 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, Seite 1546--1552. New York, NY, USA, ACM Press, (2005)
