| |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 8 |       | Johannes Henkel, Christoph Reichenbach, Amer Diwan: Developing and debugging algebraic specifications for Java classes. ACM Trans. Softw. Eng. Methodol. 17(3): (2008) |
| 7 | | Johannes Henkel, Christoph Reichenbach, Amer Diwan: Errata for "Discovering Documentation for Java Container Classes". IEEE Trans. Software Eng. 34(2): 303 (2008) |
| 6 | | Johannes Henkel, Christoph Reichenbach, Amer Diwan: Discovering Documentation for Java Container Classes. IEEE Trans. Software Eng. 33(8): 526-543 (2007) |
| 5 | | Johannes Henkel, Amer Diwan: CatchUp!: capturing and replaying refactorings to support API evolution. ICSE 2005: 274-283 |
| 4 | | Johannes Henkel, Amer Diwan: A Tool for Writing and Debugging Algebraic Specifications. ICSE 2004: 449-458 |
| 3 | | Johannes Henkel, Amer Diwan: Discovering Algebraic Specifications from Java Classes. ECOOP 2003: 431-456 |
| 2 | | Martin Hirzel, Johannes Henkel, Amer Diwan, Michael Hind: Understanding the connectivity of heap objects. MSP/ISMM 2002: 143-156 |
| 1 | | Martin Hirzel, Amer Diwan, Johannes Henkel: On the usefulness of type and liveness accuracy for garbage collection and leak detection. ACM Trans. Program. Lang. Syst. 24(6): 593-624 (2002) |
Selection of 8 from 8 records - Johannes Henkel has 4 coauthors
Copyright © 2009-12-01 by Michael Ley (ley@uni-trier.de)