 | 2009 |
|---|
| 6 |       | Christoph Reichenbach,
Devin Coughlin,
Amer Diwan:
Program Metamorphosis.
ECOOP 2009: 394-418 |
| 5 | | Christoph Reichenbach,
Michael G. Burke,
Igor Peshansky,
Mukund Raghavachari:
Analysis of imperative XML programs.
Inf. Syst. 34(7): 624-642 (2009) |
| 2008 |
|---|
| 4 | | Johannes Henkel,
Christoph Reichenbach,
Amer Diwan:
Developing and debugging algebraic specifications for Java classes.
ACM Trans. Softw. Eng. Methodol. 17(3): (2008) |
| 3 | | Johannes Henkel,
Christoph Reichenbach,
Amer Diwan:
Errata for "Discovering Documentation for Java Container Classes".
IEEE Trans. Software Eng. 34(2): 303 (2008) |
| 2007 |
|---|
| 2 | | Michael G. Burke,
Igor Peshansky,
Mukund Raghavachari,
Christoph Reichenbach:
Analysis of Imperative XML Programs.
DBPL 2007: 216-230 |
| 1 | | Johannes Henkel,
Christoph Reichenbach,
Amer Diwan:
Discovering Documentation for Java Container Classes.
IEEE Trans. Software Eng. 33(8): 526-543 (2007) |
