CTL and equivalent sublanguages of CTL Schneider, K. 1997. In: Hardware description languages and their applications. Ed.: C. Delgado Kloos. London 1997. S. 40-59
Verificationbench: Formale Spezifikation in VHDL Reetz, R.; Schneider, K.; Kropf, T. 1997. In: Proceedings. 3. GI/ITG/GME Workshop on Hardwarebeschreibungssprachen und Modellierungsparadigmen, Holzhau b. Freiberg 1997. Ed.: D. Monjau
Testzeitverkürzung beim Selbsttest mit Akkumulatoren Mayer, F.; Stroele, A. P. 1997. In: Entwurf integrierter Schaltungen. 8. E.I.S.-Workshop, Hamburg 1997. Hrsg.: L. Peters. Sankt Augustin 1997. S. 77-86. (GMD-Studien. 318.)
Simulation data analysis using fuzzy graphs Huber, K.-P.; Berthold, M. 1997. In: Advances in intelligent data analysis. IDA-97. Ed.: X. Liu. Berlin 1997. S. 347-358. (Lecture notes in computer science. 1280.)
Visually servoed gripping of a used car battery Tonko, M.; Schuermann, J.; Schaefer, K.; Nagel, H.-H. 1997. In: Proceedings. IEEE/RSJ International Conference on Intelligent Robots and Systems, Grenoble, France 1997. Vol. 1. S. 49-54
Polycular visual servoing for disassembly of used cars Tonko, M.; Heimes, F.; Schaefer, K.; Nagel, H.-H. 1997. In: Proceedings. IEEE/RSJ/INRIA Workshop on New Trends in Image-Based Robot Servoing, Grenoble, France 1997. Ed.: R. Horaud. Le Chesnay, France : INRIA 1997. S. 93-101
Towards visually servoed manipulation of car engine parts Tonko, M.; Schaefer, K.; Heimes, F.; Nagel, H.-H. 1997. In: Proceedings. 1997 IEEE International Conference on Robotics and Automation, Albuquerque, NM 1997. Ed.: R.W. Harrigan. Vol. 4. Piscataway, NJ 1997. S. 3166-3171
Reactive sensor control for a mobile robot Wallner, F.; Dillmann, R.; Crowley, J. 1997. In: Jahresbericht. Deutsch-Französisches Institut für Automation und Robotik. 1996. Karlsruhe 1997. S. 117-123
Robust predictive control design for automatic steering Mueller, N.; Majjad, R.; Kiencke, U.; Ramirez-Mendoza, R. A.; M’SAAD, M.; Dugard, L. 1997. In: Jahresbericht. Deutsch-Französisches Institut für Automation und Robotik. 1996. Karlsruhe 1997. S. 73-79
Selbständig lernende neuronale Steuerungen. PhD dissertation Riedmiller, M. 1997. Düsseldorf 1997. (Fortschritt-Berichte VDI. Reihe 8, Nr. 626.) Fak. f. Informatik, Diss. v. 22.11.1996., Universität Karlsruhe (TH)
Bemessung von Erdstoff-Filtern unter besonderer Berücksichtigung der Parameterstreuung. PhD dissertation Schuler, U. 1997. Karlsruhe 1997. (Veröffentlichungen des Institutes für Bodenmechanik und Felsmechanik der Universität Fridericiana in Karlsruhe. 143.) Fak. f. Bauingenieur- und Vermessungswesen, Diss. v. 11.7.1997., Universität Karlsruhe (TH)
Toleranz- und Kongruenzrelationen in relationalen Datenbanken. PhD dissertation Kaldeich, C. 1997. Sankt Augustin 1997. (Dissertationen zu Datenbanken und Informationssystemen. 30.) Fak. f. Wirtschaftswissenschaften, Diss. v. 27.6.1996., Universität Karlsruhe (TH)
Kartengestützte Interpretation monokularer Luftbilder. PhD dissertation Quint, F. 1997. München 1997. (Deutsche Geodätische Kommission bei der Bayerischen Akademie der Wissenschaften. Reihe C, Nr. 477.) Fak. f. Bauingenieur- und Vermessungswesen, Diss. v. 27.6.1997., Universität Karlsruhe (TH)