Data and process alignment in Modula-2* Philippsen, M.; Mock, M. U. 1994. Automatic parallelization - new approaches to code generation, data distribution, and performance prediction. Ed.: C.W. Kessler, 177–191, Vieweg Verlag
Efficient deduction in many-valued logics Hähnle, R. 1994. Proceedings of the 24th International Symposium on Multiple-Valued Logic, May 25 - 27, 1994, Boston, Mass., 240–249, IEEE Computer Society
On anti-links Beckert, B.; Hähnle, R.; Murray, N.; Ramesh, A. 1994. Logic programming and automated reasoning. Ed.: F. Pfenning, 275–289, Springer Verlag
Feasibility studies of the EU home team on the manufacture of ECW sources for ITER Tran, M. Q.; Tran, T. M.; Whaley, D. R.; Heidinger, R.; Iatrou, C.; Kern, S.; Möbius, A.; Nickel, H. U.; Norajitra, P.; Piosczyk, B.; Pretterebner, J.; Thumm, M.; Wien, A.; Verhoeven, A. G. A.; Urbanus, W. H.; Pain, M.; Tonon, G. 1994. NET Report Nr. 105 (June 94)
Natürliche Analoga für HAW-Abfallgebinde Grambow, B. 1994. Leyrer, M. [Hrsg.] Sammlung der Vorträge anläßlich des Workshops Natürliche Analoga zur Endlagerung radioaktiver Abfälle Karlsruhe, 4.-5. November 1993 KfK-5323 (April 94)