Mitteilungsblatt. Universität Karlsruhe. Nr. 148-151
Mitteilungsblatt. Universität Karlsruhe. Nr. 148-151
1994. Karlsruhe 1994 

Erste Satzung zur Änderung der Promotionsordnung der Universität Karlsruhe für die Fakultät für Architektur. Vom 15. Juli 1994
Erste Satzung zur Änderung der Promotionsordnung der Universität Karlsruhe für die Fakultät für Architektur. Vom 15. Juli 1994
1994. Amtl. Bekanntm. d. Univ. Karlsruhe (TH) 1994 Nr. 11 S. 78-79 

Erste Satzung zur Änderung der Promotionsordnung der Universität Karlsruhe für die Fakultät für Wirtschaftswissenschaften. Vom 5. September 1994
Erste Satzung zur Änderung der Promotionsordnung der Universität Karlsruhe für die Fakultät für Wirtschaftswissenschaften. Vom 5. September 1994
1994. Amtl. Bekanntm. d. Univ. Karlsruhe (TH) 1994 Nr. 11 S. 77-78 

Richtlinien zum Erwerb des Zertifikats "Fachsprache" des Sprachenzentrums der Universität Karlsruhe (TH). Vom 15. September 1994
Richtlinien zum Erwerb des Zertifikats "Fachsprache" des Sprachenzentrums der Universität Karlsruhe (TH). Vom 15. September 1994
1994. Amtl. Bekanntm. d. Univ. Karlsruhe (TH) 1994 Nr. 10 S. 74-76 

Richtlinien der Universität Karlsruhe zum Erwerb des Zertifikats "Begleitstudium Angewandte Kulturwissenschaft". Vom 5. September 1994
Richtlinien der Universität Karlsruhe zum Erwerb des Zertifikats "Begleitstudium Angewandte Kulturwissenschaft". Vom 5. September 1994
1994. Amtl. Bekanntm. d. Univ. Karlsruhe (TH) 1994 Nr. 9 S. 64-71 

Prüfungsordnung der Universität Karlsruhe für den Diplomstudiengang Chemie. Vom 16. Juli 1986. In der Fassung der ersten Änderungssatzung vom 20. Juni 1994
Prüfungsordnung der Universität Karlsruhe für den Diplomstudiengang Chemie. Vom 16. Juli 1986. In der Fassung der ersten Änderungssatzung vom 20. Juni 1994
1994. Amtl. Bekanntm. d. Univ. Karlsruhe (TH) 1994 Nr. 8 S. 49-61 

Zweite Satzung zur Änderung der Prüfungsordnung der Universität Karlsruhe für die Diplomstudiengänge Wirtschafts- und Technomathematik. Vom 10. Juni 1994
Zweite Satzung zur Änderung der Prüfungsordnung der Universität Karlsruhe für die Diplomstudiengänge Wirtschafts- und Technomathematik. Vom 10. Juni 1994
1994. Amtl. Bekanntm. d. Univ. Karlsruhe (TH) 1994 Nr. 7 S. 48 

Erste Satzung zur Änderung der Prüfungsordnung der Universität Karlsruhe für den Diplomstudiengang Mathematik. Vom 10. Juni 1994
Erste Satzung zur Änderung der Prüfungsordnung der Universität Karlsruhe für den Diplomstudiengang Mathematik. Vom 10. Juni 1994
1994. Amtl. Bekanntm. d. Univ. Karlsruhe (TH) 1994 Nr. 7 S. 48 

Prüfungsordnung der Universität Karlsruhe für den Diplomstudiengang Vermessungswesen. Vom 1. Oktober 1987. In der Fassung der ersten Satzung zur Änderung der Prüfungsordnung vom 8. Juli 1994
Prüfungsordnung der Universität Karlsruhe für den Diplomstudiengang Vermessungswesen. Vom 1. Oktober 1987. In der Fassung der ersten Satzung zur Änderung der Prüfungsordnung vom 8. Juli 1994
1994. Amtl. Bekanntm. d. Univ. Karlsruhe (TH) 1994 Nr. 6 S. 39-45 

Prüfungsordnung der Universität Karlsruhe für den Diplomstudiengang Mineralogie. Vom 20. Juni 1994
Prüfungsordnung der Universität Karlsruhe für den Diplomstudiengang Mineralogie. Vom 20. Juni 1994
1994. Amtl. Bekanntm. d. Univ. Karlsruhe (TH) 1994 Nr. 5 S. 31-37 

Indikatoren für die in-Situ Spannungen in der ozeanischen und kontinentalen Kruste - Spannungsinduzierte Bohrloch- und Bohrkerninstabilitäten am Beispiel KTB und ODP/504B
Roeckel, T.
1994. In: Abstracts. Kolloquium DFG/ODP, Köln 1994 

Erste Satzung zur Änderung der Prüfungsordnung der Universität Karlsruhe für die Diplom-Studiengänge Physik, Geophysik und Meteorologie. Vom 25. Mai 1994
Erste Satzung zur Änderung der Prüfungsordnung der Universität Karlsruhe für die Diplom-Studiengänge Physik, Geophysik und Meteorologie. Vom 25. Mai 1994
1994. Amtl. Bekanntm. d. Univ. Karlsruhe (TH) 1994 Nr. 4 S. 29-30 

Prüfungsordnung für den Diplomstudiengang Biologie. Vom 17. März 1994
Prüfungsordnung für den Diplomstudiengang Biologie. Vom 17. März 1994
1994. Amtl. Bekanntm. d. Univ. Karlsruhe (TH) 1994 Nr. 3 S. 19-28 

Erste Satzung zur Änderung der Promotionsordnung der Universität Karlsruhe (TH) für die Fakultät für Maschinenbau. Vom 20. Juli 1993
Erste Satzung zur Änderung der Promotionsordnung der Universität Karlsruhe (TH) für die Fakultät für Maschinenbau. Vom 20. Juli 1993
1994. Amtl. Bekanntm. d. Univ. Karlsruhe (TH) 1994 Nr. 1 S. 1-4 

Amtliche Bekanntmachungen der Universität Karlsruhe (TH). 1994, Nr. 1-11
Amtliche Bekanntmachungen der Universität Karlsruhe (TH). 1994, Nr. 1-11
1994. Karlsruhe 1994 

Der Funke. Magazin der Fachschaft Elektrotechnik, Universität Karlsruhe. Nr. 97-101
Der Funke. Magazin der Fachschaft Elektrotechnik, Universität Karlsruhe. Nr. 97-101
1994. Karlsruhe 1994 

UB informiert. Datenbank-Angebot auf CD-ROM ergänzt
UB informiert. Datenbank-Angebot auf CD-ROM ergänzt
1994. Uni-Inform. Karlsruhe 25 (1994) Nr. 194 S. 28 

Universitätsbibliothek (UB) auf der Buchmesse Frankfurt. Online- Informationssystem OLIX vorgestellt
Mönnich, M. W.
1994. Uni-Information Karlsruhe, 25 (194), 28 

Uni-Information Karlsruhe. Hrsg. im Auftrag des Rektors von der Pressestelle der Universität Karlsruhe. Jg. 25, Nr. 191-195
Uni-Information Karlsruhe. Hrsg. im Auftrag des Rektors von der Pressestelle der Universität Karlsruhe. Jg. 25, Nr. 191-195
1994. Karlsruhe 1994 

Small and medium enterprises - the motors of development in rural areas
Kowalski, J.; Cappellin, R.; Funck, R. H.
1994. Strasbourg : CEDRE, Cent. Eur. du Dev. Regional 1994 

The role of intermediate firms in the Three Veneto region and the economic relationships between Italy and Germany. [in Italian]
Kowalski, J.; Funck, R. H.
1994. Verona : Banco Popolare di Verona 1994 

Some results concerning the development of Ksub(o) during one-dimensional creep of peat
Krieg, S.; Goldscheider, M.
1994. In: Advances in understanding and modelling the mechanical behaviour of peat. Ed.: E. den Haan. Rotterdam 1994. S. 71-75 

Linear or nonlinear utility functions in logit models? The impact of German high speed rail demand forecasts
Rothengatter, W.; Gaudry, M.; Mandel, B.
1994. 1993. (CRT-report. 837.) und Transportat. res. A 28 (1994) 

Do external benefits of transport compensate for external costs?
Rothengatter, W.
1994. Transportat. res. A 28 (1994) S. 321-328 

Evaluating external costs of transport by applying the prevention concept
Rothengatter, W.
1994. Brussels : Commission of EU 1994 

External effects of transport
Rothengatter, W.
1994. Paris : UIC, Int. Union of Railways 1994 

Entwicklung eines Verkehrserzeugungs- und -verteilungsmodells. Development of an integrated generation / distribution model for intercity traffic
Rothengatter, W.
1994. Bonn : Ministry of Transport 1994 

Privatisierung der Autobahnen in der Bundesrepublik Deutschland. Privatisation of the German motorways
Rothengatter, W.
1994. Bonn : Ministry of Transport 1994 

The use of fuzzy set techniques in the context of welfare decisions
Böttcher, H.
1994. In: Models and measurement of welfare and inequality. Ed.: W. Eichhorn. Berlin 1994 

Komplizierte Komplexplanung
Funck, R. H.
1994. In: Was - Zeitschrift für Kultur und Politik. 72: Komplexe. Hrsg.: Sperl. Graz 1993. S. 41-43 

Regionale Identität im offenen Europa. Beiträge zu den August-Lösch-Tagen 1992 [Konferenz]
Funck, R. H. (Ed.)
1994. Heidenheim an der Brenz 

Klanglandschaften - Anwendungen angewandter Kulturwissenschaft? Anmerkungen zu Sabine Schäfers TopoPhonien
Funck, R. H.
1994. In: TopoPhonien - ein künstlerisches Entwicklungsvorhaben. Hrsg.: S. Schäfer. Karlsruhe 1994. S. 23-24 

FPGA partitioning under timing constraints
Weinmann, U.
1994. In: International Workshop on Field Programmable Logic (FPL), Oxford, England 1993. Oxford 1994 

Ökologische Bewertung von Infrastrukturinvestitionen im Stadtverkehr
Funck, R. H.
1994. In: Forschungsverbund Lebensraum Stadt. Hrsg.: D. Sauberzweig. Bd. 4. Berlin 1994. S. 177-203 

Objektorientierte Modellierung zeitlicher Spezifikationsdaten beim Entwurf digitaler Systeme
Weber, J.; Pihulak, B.; Müller-Glaser, K. D.
1994. In: Tagungsband. Internationaler Kongreß SMT/ASIC/Hybrid, Nürnberg 1994 

ARTUS - an open framework for logic synthesis
Steuber, O. von; Lipp, H. M.
1994. Microprocessors and microsyst. 18 (1994) S. 469-472 

Miniaturized laser-Doppler-velocimeter using microoptic elements
Stork, W.; Müller-Glaser, K. D.; Schmidt, J.; Wagner, A.; Yajima, H.
1994. In: Proceedings of Micro System Technologies 94. Berlin 1994 

VHDL - Esperanto der CAE-Branche
Müller-Glaser, K. D.
1994. Elektron. plus 1994 Nr. 1 S. 1 

Die goldene Mitte - Kopplung von rechnergestützten Werkzeugen für den Mikrosystementwurf. Teil I + II
Müller-Glaser, K. D.
1994. Elektron. 43 (1994) Nr. 21 S. 84-96 u. Nr. 23 S. 114-122 

Entwurfsunterstützung durch Abschätzung von Chipfläche, Signallaufzeiten und Verlustleistung in frühen Entwurfsphasen
Kirsch, K.; Müller-Glaser, K. D.
1994. In: Tagungsband. Internationaler Kongreß SMT/ASIC/Hybrid, Nürnberg 1994 

Abschätzung des Flächenbedarfs und der maximalen Taktrate von Steuerwerken während der Studienphase eines ASIC-Entwurfs
Frickel, J.; Müller-Glaser, K. D.
1994. In: Tagungsband. Internationaler Kongreß SMT/ASIC/Hybrid, Nürnberg 1994 

Embedding large finite state machines into programmable devices
Dudziak, H.; Reither, F.; Lipp, H. M.
1994. Microelectron. j. 25 (1994) S. 171-182 

Toward an environment for system specification and design
Bortolazzi, J.; Tanurhan, Y.; Müller-Glaser, K. D.
1994. In: Codesign: computer-aided software/ hardware engineering. Ed.: J. Rozenblit. Piscataway, USA 1994. S. 281-298 

Justitia - a generic benchmark for the OODBMS selection
Schreiber, H.
1994. In: 4th International Conference on Data and Knowledge Systems in Manufacturing and Engineering, Chinese Univ. of Hong Kong, Shatin, Hong Kong 1994. S. 324-331 

An integrated environment for specification, design and simulation of embedded control applications
Bortolazzi, J.; Tanurhan, Y.; Müller-Glaser, K. D.
1994. In: EUROSPACE. On-Board Data Management Symposium, Rome 1994. S. 299-314 

Schaltungsdesign mit VHDL
Lehmann, G.; Wunder, B.; Selz, M.
1994. Franzis  

Baugrundverbesserung und Setzungskompensation durch Einpressen
Kudella, P.
1994. In: Geotechnik in der Denkmalpflege. Hrsg.: G. Gudehus. Berlin 1994. S. 105-122 

Parallele Algorithmen
Umland, T.
1994. Prax. d. Informationsverarb. u. Kommunik. 17 (1994) H. 2 S. 105-110 

Parallel sorting revisited
Umland, T.
1994. Parallel computing 20 (1994) S. 115-124 

Infinite iterated function systems
Fernau, H.
1994. Math. Nachr. 169 (1994) S. 79-91 

Accepting grammars with regulation
Bordihn, H.; Fernau, H.
1994. Int. j. of comput. math. 53 (1994) S. 1-18 

Ein flexibles Multiuser-, Multiprozessor- Transputersystem
Scheeder, P.; Umland, T.; Dosch, R.
1994. In: Abstraktband der Kurzvorträge. TAT’94, Aachen 1994. Hrsg.: R. Grebe 

Portable parallele Baumsuchverfahren: Entwurf einer effizienten Bibliothek
Sanders, P.
1994. In: Transputer-Anwendertreffen ’94, TAT ’94, Aachen 1994. Hrsg.: R. Flieger. Amsterdam 1994. S. 168-177 

Klassische und High-Level-Synthese eines einfachen Mikroprozessors
Thole, P.; Kebschull, U.; Rosenstiel, W.
1994. In: Entwurf integrierter Schaltungen. Hrsg.: R. Camposano. Sankt Augustin 1994. S. 107-115. (GMD-Studien. 227.) 

Massively parallel search for transition tables of polyautomata
Sanders, P.
1994. In: Parcella ’94. Proceedings of the 6th International Workshop on Parallel Processing by Cellular Automata and Arrays, Potsdam 1994. Ed.: C. Jesshope. Berlin 1994. S. 99-108. (Mathematical research. 81.) 

Flaschenhalsfreie parallele Priority queues
Sanders, P.
1994. In: Tagungsband. PARS-Workshop, Potsdam 1994. Erlangen : GI-PARS 1994. S. 10-19. (PARS-Mitteilungen. 13.) 

Emulating MIMD-behaviour on SIMD-machines
Sanders, P.
1994. In: Massively parallel processing applications and development. Ed.: L. Dekker. Amsterdam 1994 

A detailed analysis of random polling dynamic load balancing
Sanders, P.
1994. In: Proceedings. ISPAN 94, International Symposium on Parallel Architectures, Algorithms and Networks, Kanazawa, Japan 1994. Ed.: S. Horiguchi. Los Alamitos, Calif. 1994. S. 382-389 

Investigation of different input modes for cellular automata
Kutrib, M.; Worsch, T.
1994. In: Parcella ’94. Proceedings of the 6th International Workshop on Parallel Processing by Cellular Automata and Arrays, Potsdam 1994. Ed.: C. Jesshope. Berlin 1994. S. 141-150. (Mathematical research. 81.) 

Lösung dreidimensionaler linearer Probleme der Bodendynamik mit der Randelementmethode. PhD dissertation
Neidhart, T.
1994. Karlsruhe 1994. (Veröffentlichungen des Institutes für Bodenmechanik und Felsmechanik der Universität Fridericiana in Karlsruhe. 131.) Fak. f. Bauingenieur- und Vermessungswesen, Diss. v. 10.1.1994., Universität Karlsruhe (TH) 

Bewertungen regulärer Ausdrücke, Zusammenhänge mit strenger Eindeutigkeit regulärer Ausdrücke sowie Anwendungen bei der Berechnung der Hausdorff-Dimension von Fraktalen, die mit regulären Ausdrücken beschrieben werden
Fernau, H.
1994. In: 3. Theorietag "Automaten und Formale Sprachen", Schloß Dagstuhl 1993. Hrsg.: V. Diekert. Stuttgart 1994. S. 18-19. (Bericht. Universität Stuttgart, Fakultät Informatik. 1994,1.) 

Parallelisierung eines Programms zur Lösung eines diskreten mathematischen Problems
Dold, A.; Worsch, T.
1994. In: Tagungsband. PARS-Workshop, Potsdam 1994. Erlangen : GI-PARS 1994. S. 40-49. (PARS-Mitteilungen. 13.) 

Zuverlässigkeit und Verantwortung
Rust, H.
1994. Braunschweig 1994. (DuD-Fachbeiträge. 21.) 

Valuations and unambiguity of languages, with applications to fractal geometry
Fernau, H.; Staiger, L.
1994. In: Automata, languages and programming. ICALP 94. Ed.: S. Abiteboul. Berlin 1994. S. 11-22. (Lecture notes in computer science. 820.) 

Remarks on adult languages of propagating systems with restricted parallelism
Fernau, H.
1994. In: Developments in language theory. Ed.: G. Rozenberg. Singapore 1994. S. 90-101 

Parallele Implementierungen Neuronaler Netze: Anforderungen und Vergleich
Speckmann, H.; Rosenstiel, W.
1994. In: Entwurf integrierter Schaltungen. Hrsg.: R. Camposano. Sankt Augustin 1994. S. 183-197. (GMD-Studien. 227.) 

IIFS and codes
Fernau, H.
1994. In: Developments in theoretical computer science. Ed.: J. Dassow. Basel 1994. S. 141-152. (Topics in computer mathematics. 6.) 

Logic flow in active data
Sapaty, P. S.
1994. In: VLSI for artificial intelligence and neural networks. Ed.: J.G. Delgado-Frias. New York 1991. S. 79-91 

WAVE: a new technology for intelligent control in communication networks
Sapaty, P. S.; Corbin, M.; Borst, P. M.; Went, A.
1994. In: Proceedings of the conference and exhibition. The Applications of RF, Microwave and Millimetre Technologies, M’94, Nexus Bus. Comm. Ltd., Wembley, UK 1994. S. 434-439 

Using the WAVE paradigm for modelling and control of dynamic multi-agent systems
Sapaty, P. S.; Corbin, M.; Borst, P. M.
1994. In: Artificial life IV. Ed.: R.A. Brooks. Cambridge, Mass. 1994 

Parallel knowledge processing in open networks
Borst, P. M.; Götz, H.-T.; Sapaty, P. S.; Zorn, W.
1994. In: High performance computing and networking. HPCN Europe 1994. Ed.: W. Gentzsch. Vol. 2. Berlin 1994. S. 24-29. (Lecture notes in computer science. 797.) 

WAVE processing of networks and distributed simulation
Borst, P. M.; Corbin, M.; Sapaty, P. S.
1994. In: Proceedings of the 3rd IEEE International Symposium on High-Performance Distributed Computing, HPDC-3, San Francisco, CA 1994. S. 61-69 

The WAVE control protocol for distributed interactive simulation
Bic, L.; Borst, P. M.; Corbin, M.; Sapaty, P. S.
1994. In: Proceedings of the 11th DIS Workshop on Standards for the Interoperability of Distributed Simulations, Orlando, Fla. 1994. S. 519-533 

Classification and representation using conjoint data
Baier, D.; Gaul, W.
1994. Karlsruhe 1994. (Diskussionspapier. Institut für Entscheidungstheorie und Unternehmensforschung, Universität Karlsruhe. 182.) 

Analysis of sales data: a neural net approach
Wartenberg, F.; Decker, R.
1994. Karlsruhe 1994. (Diskussionspapier. Institut für Entscheidungstheorie und Unternehmensforschung, Universität Karlsruhe. 181.) 

Validierung eines Werbewirkungsmodells für Expertensysteme
Neibecker, B.
1994. Karlsruhe 1994. (Diskussionspapier. Institut für Entscheidungstheorie und Unternehmensforschung, Universität Karlsruhe. 180.) 

Effizienter Entwurf leistungsfähiger Datenpfadkomponenten mit LORTGEN
Brand, H.-J.; Müller, D.
1994. In: Entwurf integrierter Schaltungen. Hrsg.: R. Camposano. Sankt Augustin 1994. (GMD-Studien. 227.) 

A unifying approach for benefit segmentation and product line design based on rankorder conjoint data
Aust, E.; Gaul, W.
1994. Universität Karlsruhe (TH) 

Is beta- dead? Results for the German stock market
Schlag, C.; Wohlschiess, V.
1994. Karlsruhe 1994. (Diskussionspapier. Institut für Entscheidungstheorie und Unternehmensforschung, Universität Karlsruhe. 178.) 

Analyse von Panel- und POS-Scanner-Daten mit Neuronalen Netzen
Gaul, W.; Decker, R.; Wartenberg, F.
1994. Karlsruhe 1994. (Diskussionspapier. Institut für Entscheidungstheorie und Unternehmensforschung, Universität Karlsruhe. 177.) 

Gewinnorientierte Produktliniengestaltung unter Berücksichtigung des Kundennutzens
Gaul, W.; Aust, E.; Baier, D.
1994. Karlsruhe 1994. (Diskussionspapier. Institut für Entscheidungstheorie und Unternehmensforschung, Universität Karlsruhe. 176.) 

Zur Bewertung von Aktienindex- Optionsscheinen - empirische Ergebnisse für DAX-Optionsscheine
Müller, F.; Schütz, H.
1994. Karlsruhe 1994. (Diskussionspapier. Institut für Entscheidungstheorie und Unternehmensforschung, Universität Karlsruhe. 175.) 

Computerbasierte Entscheidungsunterstützung im Marketing mit Neuronalen Netzen
Wartenberg, F.; Gaul, W.; Decker, R.
1994. Karlsruhe 1994. (Diskussionspapier. Institut für Entscheidungstheorie und Unternehmensforschung, Universität Karlsruhe. 174.) 

Die Abscheidung von Rußpartikeln aus Pkw- Dieselmotorabgasen
Wadenpohl, C.; Löffler, F.
1994. In: Ingenierie de l’Environnement, Umwelttechnik. EUCOR Kolloquium, Universite de Haute Alsace, Mulhouse 1994 

Concepts pour la prevention et la reduction integrees de la pollution dans l’industrie
Rentz, O.; Ruch, M.; Spengler, T.
1994. In: Ingenierie de l’Environnement, Umwelttechnik. EUCOR Kolloquium, Universite de Haute Alsace, Mulhouse 1994 

Modellierung der Eigenschaften filamentierter, mikrowellenbetriebener Hochdruckgasentladungen. PhD dissertation
Merkel, H.
1994. Fak. f. Elektrotechnik, Diss. v. 19.12.1994., Universität Karlsruhe (TH) 

Ein automatentheoretischer Ansatz zur Strukturabstraktion für die hierarchische Verifikation
Schneider, K.
1994. Karlsruhe : Inst. f. Rechnerentw. u. Fehlertoleranz, Univ. Karlsruhe 1994. (Tech. Rep. SFB358-C2-16/94.) 

An intelligent predictor for urban traffic
Logi, F.; Wild, D.
1994. In: 2nd Meeting of the Euro Working Group on Urban Traffic and Transportation, Paris 1993. 1994 

Verifikation eines digitalen Netzwerkes mit Hilfe des Beweissystems HOL
Schneider, A.; Straube, B.; Schneider, K.; Kropf, T.
1994. Karlsruhe : Inst. f. Rechnerentw. u. Fehlertoleranz, Univ. Karlsruhe 1994. (Tech. Rep. SFB358-C-1/94.) 

A flowgraph semantics of VHDL: toward a VHDL verification workbench in HOL
Reetz, R.; Kropf, T.
1994. Karlsruhe : Inst. f. Rechnerentw. u. Fehlertoleranz, Univ. Karlsruhe 1994. (Tech. Rep. SFB358-C2-11/94.) 

Simplifying deep embedding: generating formal compilers in HOL
Reetz, R.; Kropf, T.
1994. Karlsruhe : Inst. f. Rechnerentw. u. Fehlertoleranz, Univ. Karlsruhe 1994. (Tech. Rep. SFB358-C2-7/94.) 

A first-order calculus based on propositional BDDs
Posegga, J.; Schneider, K.
1994. In: Anwendung formaler Methoden im Systementwurf. Frankfurt, M. 1994. (Interner Bericht. Fachbereich Informatik, Universität Frankfurt. 1994,6.) 

Benchmark-circuits for hardware-verification
Kropf, T.
1994. Karlsruhe : Inst. f. Rechnerentw. u. Fehlertoleranz, Univ. Karlsruhe 1994. (Tech. Rep. SFB358-C2-4/94.) 

Layout-driven formal verification of MOS transistor circuits
Frössl, J.; Kropf, T.
1994. Karlsruhe : Inst. f. Rechnerentw. u. Fehlertoleranz, Univ. Karlsruhe 1994. (Tech. Rep. SFB358-C2-12/94.) 

Verifikation des Zeitverhaltens von MOS- Transistor-Schaltungen durch Model Checking
Frössl, J.; Kropf, T.
1994. In: Anwendung formaler Methoden im Systementwurf. Frankfurt, M. 1994. (Interner Bericht. Fachbereich Informatik, Universität Frankfurt. 1994,6.) und Karlsruhe : Inst. f. Rechnerentw. u. Fehlertoleranz 1994. (Tech. Rep. SFB358-C2-3/94.) 

Implementierung des DLX RISC-Processors in einer Standardzellen-Entwurfsumgebung
Dehof, M.; Tahar, S.
1994. Karlsruhe : Inst. f. Rechnerentw. u. Fehlertoleranz, Univ. Karlsruhe 1994. (Tech. Rep. SFB358-C2-1/94.) 

Steuerungsstrategien für kommunale Kläranlagen
Hilligardt, D.
1994. In: 25. Jahresbericht 1992. Institut für Siedlungswasserwirtschaft, Universität Karlsruhe. Karlsruhe 1992. S. 20 

Veränderung der chemisch-physikalischen Situation im Interstitial kleiner Fließgewässer und ihre ökologische Relevanz
Fuchs, S.
1994. In: 25. Jahresbericht 1992. Institut für Siedlungswasserwirtschaft, Universität Karlsruhe. Karlsruhe 1992. S. 19 

The use of FPGA for educational purposes in VLSI microprocessor design
Schubert, E.; Kebschull, U.
1994. In: International Workshop on Field Programmable Logic (FPL), Oxford, England 1993. Oxford 1994 

Entwicklung einer schnellen, umweltfreundlichen Meßmethode zur summarischen Bestimmung von Kohlenwasserstoffen
Ripp, C.
1994. In: 25. Jahresbericht 1992. Institut für Siedlungswasserwirtschaft, Universität Karlsruhe. Karlsruhe 1992. S. 18