Universal technology mapping for table-lookup FPGAs Weinmann, U.; Rosenstiel, W. 1993. In: International IFIP Workshop on Logic and Architecture Synthesis, Grenoble, France 1993. INPG Grenoble. S. 103-116
A model of expertise in KARL Angele, J.; Fensel, D.; Studer, R. 1993. Karlsruhe 1993. (Bericht. Institut fuer Angewandte Informatik und Formale Beschreibungsverfahren, Universitaet Karlsruhe (TH). 272.)
A hardware supported system for Kohonen’s selforganizing map Thole, P.; Speckmann, H. 1993. In: Proceedings of the International Conference on Artificial Neural Networks, ICANN ’93, Amsterdam, The Netherlands 1993. Ed.: S. Gielen. London; Heidelberg 1993. S. 1040-1044
Interface specification and synthesis for VHDL processes Gutberlet, P.; Rosenstiel, W. 1993. In: Proceedings. EURO-DAC ’93, European Design Automation Conference with EURO-VHDL ’93, Hamburg, Germany 1993. Los Alamitos, Calif. 1993. S. 152-157
RJ: An environment for learning by example Fensel, D.; Klein, J.; Neubronner, U. 1993. Karlsruhe 1993. (Bericht. Institut fuer Angewandte Informatik und Formale Beschreibungsverfahren, Universitaet Karlsruhe (TH). 271.)
Design-for-testability techniques for FPGAs Kunzmann, A.; Weinmann, U. 1993. In: 5th International Symposium on IC Technology, Systems & Applications, Singapore Nanyang Tech. Univ. 1993. S. 86-90
Knowledge models for a design consultant in CAD frameworks Kunzmann, A.; Kwee-Christoph, E.; Haberl, O.; Kumar, R. 1993. In: 5th International Symposium on IC Technology, Systems & Applications, Singapore Nanyang Tech. Univ. 1993. S. 391-395
The reconciliation of symbol and knowledge level Fensel, D. 1993. Karlsruhe 1993. (Bericht. Institut fuer Angewandte Informatik und Formale Beschreibungsverfahren, Universitaet Karlsruhe (TH). 266.)
Formal object oriented methods Lewerentz, C.; Casais, E.; Lindner, T.; Weber, F. 1993. In: Tutorial proceedings. TOOLS Europe ’93, Versailles 1993. S. 1-67
Demonstrating coherent design: a data structure catalogue Rueping, A.; Weber, F.; Zimmer, W. 1993. Karlsruhe 1993. (FZI report. 1993,1.) und In: Tools 11 - Technology of Object-oriented Languages and Systems. Ed.: R. Ege. New York 1993. S. 363-378
Joker: ein KBMS-Toolkit Bueltzingsloewen, G. von; Boss, B.; Danner, C. 1993. Karlsruhe 1993. (FZI-Bericht. 1993,3.)
Interval arithmetic in staggered correction format Lohner, R. 1993. In: Scientific computing with automatic result verification. Ed.: E. Adams. Boston 1993. S. 301-321. (Mathematics in science and engineering. 189.)