☰

Johannes Henkel, Ph.D. - Publications

Affiliations: 
2004 University of Colorado, Boulder, Boulder, CO, United States 
Area:
Computer Science
Tree Info Similar researchers PubMed Report error

6 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2008 Henkel J, Reichenbach C, Diwan A. Developing and debugging algebraic specifications for Java classes Acm Transactions On Software Engineering and Methodology. 17. DOI: 10.1145/1363102.1363105  0.629
2008 Henkel J, Reichenbach C, Diwan A. Errata for "Discovering Documentation for Java Container Classes" [Aug 07 526-543] Ieee Transactions On Software Engineering. 34: 303-303. DOI: 10.1109/Tse.2008.22  0.608
2005 Henkel J, Diwan A. CatchUp! capturing and replaying refactorings to support API evolution Proceedings - 27th International Conference On Software Engineering, Icse05. 274-283.  0.505
2004 Henkel J, Diwan A. A tool for writing and debugging algebraic specifications Proceedings - International Conference On Software Engineering. 26: 449-458.  0.491
2003 Henkel J, Diwan A. Discovering algebraic specifications from Java classes Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2743: 431-456.  0.552
2002 Hirzel M, Diwan A, Henkel J. On the usefulness of type and liveness accuracy for garbage collection and leak detection Acm Transactions On Programming Languages and Systems. 24: 593-624. DOI: 10.1145/586088.586089  0.587
Show low-probability matches.