Der Visionär mit dem Dickkopf Wuerth, R. 1994. In: Mit Visionen an die Spitze - Zukunftsorientiert Denken, Handeln und Führen. Hrsg.: H. Rückle. Wiesbaden 1994. S. 197-201
Flexible Automatisierung im Mauerwerksbau Spath, D.; Andres, J.; Bock, T.; Steffani, H. F. 1994. In: Autonome mobile Systeme 1994. Hrsg.: P. Levi. Berlin 1994. S. 306-315. (Informatik aktuell.)
Tidal data processing on a pc Wenzel, H.-G. 1994. In: Proceedings. 12th International Symposium on Earth Tides, Beijing 1993
A GPS-traverse in the Eastern Alps Vogel, M.; Mierlo, J. van; Oppen, S. 1994. In: Proceedings of the 8th International Symposium on Recent Crustal Movements (CRCM ’93), Kobe 1993. S. 163-166
Compiling C programs into threads Wedeck, J.; Rosenstiel, W. 1994. In: Massively parallel processing applications and development. Ed.: L. Dekker. Amsterdam 1994. S. 153-160
Simulation auf Systemebene beim Mikrosystementwurf Tanurhan, Y.; Schmerler, S.; Sax, E.; Müller-Glaser, K. D. 1994. In: 1. Methoden- und Werkzeugentwicklung für den Mikrosystementwurf, Karlsruhe 1994. Karlsruhe : Dipl.-Ing. W. John, Dr.-Ing. H. Eggert 1994. S. 46-56
EaSyVaDe: validation of system design by behavioural simulation Tanurhan, Y.; Gerlich, R.; Schaffer, C.; Debus, V. 1994. In: 3rd Workshop on Simulators for European Space Programmes, ESA-ESTEC, Nordwijk, NL 1994. Nordwijk, NL : ESTEC Conf. Bureau 1994. S. 11.3
Implementational issues for verifying RISC-pipeline conflicts in HOL Tahar, S.; Kumar, R. 1994. In: Higher order logic theorem proving and its applications. Ed.: T.F. Melham. Berlin 1994. S. 424-439. (Lecture notes in computer science. 859.) und Karlsruhe : Inst. f. Rechnerentw. u. Fehlertoleranz 1994. (Tech. Rep. SFB358-C2-14/94.)
Modelling a FPGA design flow in the JESSI-COMMON-Framework Seepold, R.; Schubert, J.; Kunzmann, A.; Weinmann, U. 1994. In: 10th ISPE/IFAC International Conference on CAD/CAM, Robotics and Factories of the Future CARs and FOF, Ottawa, Canada 1994. Ontario : OCRI Publ. 1994. S. 680-685
Hardware-Verifikation braucht mehr als Model-Checking Schneider, K.; Kropf, T.; Kumar, R. 1994. In: Anwendung formaler Methoden im Systementwurf. Frankfurt, M. 1994. (Interner Bericht. Fachbereich Informatik, Universität Frankfurt. 1994,6.)
Modules in object-oriented systems Rüping, A. 1994. In: Tools 14, Technology of Object-Oriented Languages and Systems, Santa Barbara, Calif. 1994. New York 1994. S. 127-139
FLOPPY: a flow manager for on-line processes in production systems Quellenberg, T.; Schubert, J.; Bültzingsloewen, G. von 1994. In: European Workshop on Integrated Manufacturing Systems Engineering, IMSE ’94, Univ. de Grenoble, Grenoble 1994. Ed.: F. Vernadat. 1994. S. 185-193