Formal verification of pipeline conflicts in RISC-processors Tahar, S.; Kumar, R. 1994. In: Proceedings. EURO-DAC ’94, European Design Automation Conference with EURO-VHDL ’94, Grenoble, France 1994. Los Alamitos, Calif. 1994. S. 285-289. und Karlsruhe : Inst. f. Rechnerentw. u. Fehlertoleranz 1994. (Tech. Rep. SFB358-C2-15/94.)
Modelling of drivers’-behaviour König, R.; Saffran, A.; Breckle, H. 1994. In: Vehicle Navigation and Information Systems Conference, Yokohama 1994. IEEE Cat. 94CH35703, S. 371-376
Über den Sinn formaler Spezifikationssprachen Fensel, D. 1994. Karlsruhe 1994. (Bericht. Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe (TH). 293.)
Dynamic extensions of self-organizing maps Göppert, J.; Rosenstiel, W. 1994. In: Proceedings of the International Conference on Artificial Neural Networks. ICANN 94, Sorrento 1994. Ed.: M. Marinaro. Bd. 1. London 1994. S. 330-333
Learning control of a six-legged walking machine Berns, K.; Piekenbrock, S.; Dillmann, R. 1994. In: Robotics and manufacturing. Ed.: M. Jamshidi. New York 1994. S. 29-34. (ASME Press series. 5.)
Optimized bottom-up evaluation with equality Angele, J. 1994. Karlsruhe 1994. (Bericht. Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe (TH). 290.)
Aircraft intercomparison in the nested area during the TRACT Campaign Kossmann, M.; Corsmeier, U.; Vögtlin, R.; Jochum, A. M.; Strodl, C.; Willeke, H.; Neininger, B.; Fuchs, W.; Graber, W. 1994. In: The Eurotract annual report 1993. Part 10. Garmisch-Partenkirchen : Int. Sci. Secr. 1994. S. 94-102
The boundary layer evolution during TRACT Binder, H.-J.; Kalthoff, N.; Fiedler, F.; Kossmann, M.; Vögtlin, R.; Corsmeier, U. 1994. In: The Eurotract annual report 1993. Part 10. Garmisch-Partenkirchen : Int. Sci. Secr. 1994. S. 9-17
delta-r in the MSSM Chankowski, P. H.; Dabelstein, A.; Hollik, W.; Mösle, W. M.; Pokorski, S.; Rosiek, J. 1994. Nucl. phys. B (Proc. Suppl.) 37B (1994) S. 232-239