Henkel, Thilo Johannes
103  Ergebnisse:
Personensuche X
?
3

Modelling the diffusion of innovative heating systems in Ge.. 

decision criteria, influence of policy instruments and vint... 
 
?
5

Developing and debugging algebraic specifications for Java ..:

Henkel, Johannes ; Reichenbach, Christoph ; Diwan, Amer
ACM Transactions on Software Engineering and Methodology (TOSEM).  17 (2008)  3 - p. 1-37 , 2008
 
?
6

Developing and debugging algebraic specifications for Java ..:

Henkel, Johannes ; Reichenbach, Christoph ; Diwan, Amer
ACM Transactions on Software Engineering and Methodology.  17 (2008)  3 - p. 1-37 , 2008
 
?
7

CatchUp! : capturing and replaying refactorings to suppo..:

, In: Proceedings of the 27th international conference on Software engineering,
Henkel, Johannes ; Diwan, Amer - p. 274-283 , 2005
 
?
8

A Tool for Writing and Debugging Algebraic Specifications:

, In: Proceedings of the 26th International Conference on Software Engineering,
Henkel, Johannes ; Diwan, Amer - p. 449-458 , 2004
 
?
9

On the usefulness of type and liveness accuracy for garbage..:

Hirzel, Martin ; Diwan, Amer ; Henkel, Johannes
ACM Transactions on Programming Languages and Systems (TOPLAS).  24 (2002)  6 - p. 593-624 , 2002
 
?
11

Candidatus Sulfurimonas marisnigri sp. nov. and Candidatus ..:

Henkel, Jan V. ; Vogts, Angela ; Werner, Johannes...
Systematic and Applied Microbiology.  44 (2021)  1 - p. 126155 , 2021
 
1-15