Henkel, Johannes
170  Ergebnisse:
Personensuche X
?
1

Modelling the diffusion of innovative heating systems in Ge.. 

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

Life cycle assessment of carbon dioxide capture and storage..:

Pehnt, Martin ; Henkel, Johannes
International Journal of Greenhouse Gas Control.  3 (2009)  1 - p. 49-66 , 2009
 
?
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

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
 
?
8

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
 
?
9

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
 
?
10

Understanding the connectivity of heap objects:

Hirzel, Martin ; Henkel, Johannes ; Diwan, Amer.
ACM SIGPLAN Notices.  38 (2002)  2 supplement - p. 36-49 , 2002
 
?
11

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
 
?
12

Understanding the connectivity of heap objects:

, In: Proceedings of the 3rd international symposium on Memory management,
 
?
13

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

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

Wenn der Husten vom Bauch kommt:

Haak, Fabian ; Henkel, Maurice Johannes ; Oertli, Daniel.
Forum Médical Suisse ‒ Swiss Medical Forum.  , 2018
 
1-15