Electrocrystallization, crystal structure and physical properties of hexaperylene hexafluorphosphate, (C20H12)6+PF-6
Kuhs, W.; Mattern, G.; Brütting, W.; Dragan, H.; Burggraf, M.; Pilawa, B.; Dormann, E.
1994. Acta crystallogr. B50 (1994) S. 741-746 

Cycle classes as topological invariants of crystal structures
Beukemann, A.; Klee, W. E.
1994. Z. f. Kristallogr. 209 (1994) S. 709-713 

Experimentelle Untersuchungen zur Erzeugung eines elektrostatisch geladenen Sprays
Schmidt, M.; Löffler, F.
1994. Chem.-Ing.-Tech. 66 (1994) S. 543-546 

Dimethylzinndithioquadratat: Die Kristallstruktur des Benzol-Solvats und des Dimethylsulfoxid-Addukts
Engel, G.; Mattern, G.
1994. Z. f. anorg. u. allg. Chem. 620 (1994) S. 723-729 

Zur Bestimmung der Partikelwechselwirkungen in kolloidalen Suspensionen mit Hilfe der wellenlängenaufgelösten Lichtstreuung: Modellrechnungen und Vergleich mit experimentellen Resultaten. PhD dissertation
Apfel, U.
1994. Fak. f. Chemie, Diss. v. 14.12.1994., Universität Karlsruhe (TH) 

Another approach to mutation and learning in games
Berninghaus, S.; Amir, M.
1994. Mannheim 1994. (Discussion paper. Institut für Volkswirtschaftslehre und Statistik der Universität Mannheim. 497.) 

Sex for text. Anleitung zur Firmengründung oder Wie der amerikanische Literaturwissenschaftler John Fuegi einmal die Laken des Dichters Bertolt Brecht entzifferte
Knopf, J.
1994. Konkret. Politik u. Kultur 1994, H. 10. S. 53-55 

Brecht-Forschung. Die "Arbeitsstelle Bertolt Brecht" in Karlsruhe
Knopf, J.
1994. Dreigroschenh. 1994, Nr. 1. S. 28-31 

Zur Entstehung der Kriegsfibel (Nachwort)
Knopf, J.
1994. In: Kriegsfibel. 5.(1.erw.) Aufl. Bearb.: B. Brecht. Red.: D. Mohr. Berlin 1994 

Alkoholpannen. [Zu Friedrich Dürrenmatts Die Panne]
Knopf, J.
1994. In: Rausch und Künste. Hrsg.: J. Roth. Tübingen 1994. S. 43-49. (Konkursbuch. 29.) 

Amor, lieblos. Brechts Terzinen über die Liebe mit einem Ausblick auf die Marie A
Knopf, J.
1994. D. Deutschunterr. 1994, H. 6. S. 32-42 

Darstellung des Undarstellbaren. Am Beispiel von Peter Weiss’ Ästhetik des Widerstands
Knopf, J.
1994. Z. der Jura-Soyfer-Ges. 1994, Nr. 2. S. 14-16 

Europäische Kultur und Widerstand. Zur Einführung
Knopf, J.
1994. Z. der Jura-Soyfer-Ges. 1994, Nr. 2. S. 3 

Regelung von Dekantierzentrifugen mit Fuzzy- Logic
Stadager, C.; Gerl, S.; Stahl, W.
1994. Chem.-Ing.-Tech. 66 (1994) S. 529-531 

Bertolt Brecht. Der gute Mensch von Sezuan. 6. Aufl
Knopf, J.
1994. Frankfurt 1994. (Grundlagen und Gedanken zum Verständnis des Dramas) 

Nitric oxide reductase form Pseudomonas stutzeri, primary structure and gene organization of a novel bacterial cytochrome bc complex
Zumft, W. G.; Braun, C.; Cuypers, H.
1994. Eur. j. of biochem. 219 (1994) S. 481-490 

Current topics in the biochemistry and genetics of bacterial denitrification
Zumft, W. G.
1994. Nova Acta Leopoldina N.F. 70 (1994) S. 237- 249 

The heme-copper oxidase family consists of three distinct types of terminal oxidases and its related to nitric oxide reductase
Oost, J. van der; Boer, A. P. N. de; Gier, J.-W. de; Zumft, W. G.; Stouthamer, A. H.; Spanning, R. J. M. van
1994. FEMS microbiol. let. 121 (1994) S. 1-10 

Degradation of polycyclic aromatic hydrocarbons in the presence of synthetic surfactants
Thiem, A.
1994. Appl. and environ. microbiol. 60 (1994) S. 258-263 

Pf3 coat protein forms voltage-dependent ion channels in planar lipid bilayers
Pawlak, M.; Kuhn, A.; Vogel, H.
1994. Biochem. 33 (1994) S. 283-290 

A dual role for phosphatidylglycerol in protein translocation across the Escherichia coli inner membrane
Kusters, R.; Breukink, E.; Gallusser, A.; Kuhn, A.; Kruijff, B. de
1994. J. of biol. chem. 269 (1994) S. 1560-1563 

Evidence for a loop-like insertion mechanism of pro-OmpA into the inner membrane of Escherichia coli
Kuhn, A.; Kiefer, D.; Köhne, C.; Zhu, H.-Y.; Tschantz, W. R.; Dalbey, R. E.
1994. Eur. j. of biochem. 226 (1994) S. 891-897 

Nitric oxide reductase from Pseudomonas stutzeri, a novel cytochrome bc complex: phospholipid requirement, electron paramagnetic resonance and redox properties
Kastrau, D.; Heiss, B.; Kroneck, P. M. H.; Zumft, W. G.
1994. Eur. j. of biochem. 222 (1994) S. 293-303 

Degradation of pyrene at low defined oxygen concentrations by a Mycobacterium sp
Fritzsche, C.
1994. Appl. and environ. microbiol. 60 (1994) S. 1687-1689 

Neue Meßsysteme zur On-line-Steuerung von Schubzentrifugen
Stadager, C.; Stahl, W.
1994. Chem.-Ing.-Tech. 66 (1994) S. 526-529 

Synergistic insertion of two hydrophobic regions drives Sec-independent membrane protein assembly
Cao, G.; Shiyuan, C.; Whitley, P.; Heijne, G. von; Kuhn, A.; Dalbey, R. E.
1994. J. of biol. chem. 269 (1994) S. 26898-26903 

Ganzheitliches Lernen in der technischen Berufsausbildung. Ein lernpsychologisches Strukturmodell
Ott, B.
1994. D. berufsbildende Sch. 46 (1994) S. 199-204 

The historical context of the vocational training system: important reforms and debates on vocational training policy since enactment of the vocational training act
Lipsmeier, A.
1994. In: Vocational training in Germany: Modernisation and responsiveness. Paris : OECD 1994. S. 11-26 

Die Berufsbildungspolitik der Gemeinschaft für die 90er Jahre. Analyse der Stellungnahmen der EU-Mitgliedstaaten zum Memorandum der Kommission
Lipsmeier, A.; Münk, D.
1994. Bonn 1994. (Schriftenreihe Studien zur Bildung und Wissenschaft. 114.) 

Integration als Ziel beruflicher Bildung. Erfahrungen aus einem berufsqualifizierenden Modellprojekt für Aussiedler aus Osteuropa
Lipsmeier, A.; Dobischat, R.; Georg, W.; Wacker, M.
1994. Frankfurt 1994 

Fünf Thesen zur Reform von Berufsschullehrer-Lehrgängen
Lipsmeier, A.
1994. In: Gesellschaftlicher Wandel und Gewerbelehrerausbildung. Analysen und Beiträge für eine Studienreform. Hrsg.: J. Rützel. Alsbach 1994. S. 279-281 

History of vocational training
Lipsmeier, A.; Schröder, H.
1994. In: International encyclopedia of education. 2. ed. Vol. 11. Oxford 1994. S. 6678-6684 

Das duale System der Berufsausbildung. Zur Reformierbedürftigkeit eines Qualifizierungskonzeptes
Lipsmeier, A.
1994. In: Kasseler berufspädagogische Impulse. Festschrift für Helmut Nölker. Hrsg.: M. Kipp. Frankfurt 1994. S. 33-50 

Die Berufsschullehrerausbildung im Kontext der Reformierbarkeit von Hochschulen und Berufsschulen
Lipsmeier, A.
1994. In: Zwanzig Jahre Berufspädagogik an der Gesamthochschule Kassel. Hrsg.: M. Stach. Kassel 1994. S. 91-105 

Didactic reduction by theroy, with special attention to measurement education
Mesch, F.
1994. Measurement, 14 (1), 15–22 

Katalysierte Umsetzung chlorierter Kohlenwasserstoffe an Manganoxid- Katalysatoren
Weisweiler, W.; Lück, M.
1994. Chem.-Ing.-Tech. 66 (1994) S. 518-522 

Bildgebendes Luft-Ultraschall-System aus PVDF-Membranewandlern
Blessing, H.
1994. tm - Technisches Messen, 61 (2), 60–64 

Numerical toolbox for verified computing. Bd. 1. Basic numerical problems
Hammer, R.; Hocks, M.; Kulisch, U.; Ratz, D.
1994. Berlin 1993. (Springer series in computational mathematics. 21.) 

X-ray topographic study of Eifel sanidine (Volkesfeld)
Widder, W.; Wondratschek, H.; Fehlmann, M.; Klapper, H.
1994. Z. f. Kristallogr. 209 (1994) S. 206-209 

Dipolverteilungen im Gleichgewicht für das dreiachsige Ellipsoid. PhD dissertation
Ritter, S.
1994. Fak. f. Mathematik, Diss. v. 16.2.1994., Universität Karlsruhe (TH) 

Geometric concepts for geometric design
Boehm, W.; Prautzsch, H.
1994. Peters 

Using three dimensional hand-gesture recognition as a new 3D input technique
Bröckl-Fox, U.; Kettner, L.; Klingert, A.; Kobbelt, L.
1994. In: Artificial life and virtual reality. Ed.: N. Magnenat-Thalmann. Chichester 1994. S. 173-187 

Kunst aus der Maschine - gibt es "Computerkunst"?
Stösser, A.
1994. World media interactiv, CD-ROM-Ausg. 1994 Nr. 1 

Analysis of random polling dynamic load balancing
Sanders, P.
1994. Karlsruhe 1994. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1994,12.)  

Latency hiding in parallel systems: a quantitative approach
Warschko, T. M.; Herter, C. G.; Tichy, W. F.
1994. Karlsruhe 1994. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1994,10.)  

Project Triton: towards improved programmability of parallel computers
Philippsen, M.; Warschko, T. M.; Tichy, W. F.; Herter, C. G.; Heinz, E. A.; Lukowicz, P.
1994. The interaction of compilation technology and computer architecture. Ed.: D.J. Lilja, 249–281, Kluwer Acad. Publ  

Call-by-name, assignment, and the lambda calculus
Odersky, M.; Rabin, D.; Hudak, P.
1994. Proceedings. 20th ACM Symposium on Principles of Programming Languages, Charleston, SC 1993, 43–56  

A functional theory of local names
Odersky, M.
1994. Proceedings. 21st ACM Symposium on Principles of Programming Languages, Portland, Or. 1994, 48–59  

Membership for limited ET0L languages is not decidable
Fernau, H.
1994. Karlsruhe 1994. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1994,34.)  

Proving WAM compiler correctness
Schmitt, P. H.
1994. Karlsruhe 1994. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1994,33.)  

The call-by-need lambda calculus (unabridged)
Maraist, J.; Odersky, M.; Wadler, P.
1994. Karlsruhe 1994. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1994,28.)  

Process calculus foundation of sequential programming constructs
Odersky, M.
1994. Karlsruhe 1994. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1994,27.)  

Transformation paralleler Programme zur verteilten Ausführung auf einem Rechnernetz unter DCE
Dreier, B.; Ungerer, T.
1994. In: GI/ITG Workshop PARS, Potsdam 1994. S. 95-104. (PARS-Mitteilungen. 13.)  

Entwurf einer vielfädigen Prozessorarchitektur zum Einsatz in Distributed-Shared-Memory-Systemen
Bittnar, K.; Grünewald, W.; Ungerer, T.
1994. PARS-Workshop 1994. Workshop Potsdam, 19.+20. September 1994, 85–94  

Classification and performance evaluation of hybrid dataflow techniques with respect to matrix multiplication
Beck, M.; Ungerer, T.; Zehendner, E.
1994. In: Workshop Parallel-Algorithmen, -Rechnerstrukturen und -Systemsoftware, GI- Fachgruppen 3.1.2 (PARS) und ITG, Dresden 1993. S. 118-126. (PARS-Mitteilungen. 12.)  

Eine Basis für effiziente Konsistenzprüfung
Herzog, U.; Moerkotte, G.
1994. Karlsruhe 1994. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1994,7.)  

26. Jahresbericht. Institut für Siedlungswasserwirtschaft, Universität Karlsruhe. Tätigkeitsbericht für den Zeitraum von 01.01.1993 bis 31.12.1993
Institut für Siedlungswasserwirtschaft (Ed.)
1994. Universität Karlsruhe (TH). doi:10.5445/IR/57297  

The many-valued theorem prover 3TAP. 3rd. edition
Hähnle, R.; Beckert, B.; Gerberding, S.
1994. Karlsruhe 1994. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1994,30.)  

Mapping large-scale FEM-graphs to highly parallel computers with grid-like topology by self-organization
Dormanns, M.; Heiss, H.-U.
1994. Karlsruhe 1994. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1994,5.)  

CuPit - a parallel language for neural algorithms: language reference and tutorial
Prechelt, L.
1994. Karlsruhe 1994. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1994,4.)  

Observations on grammar and language families
Fernau, H.
1994. Karlsruhe 1994. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1994,22.)  

PROBEN 1 - a set of benchmarks and benchmarking rules for neural network training algorithms
Prechelt, L.
1994. Karlsruhe 1994. (Technical report. Fakultät für Informatik, Universität Karlsruhe. 1994,21.)  

A study of experimental evaluations of neural network learning algorithms: current research practice
Prechelt, L.
1994. Karlsruhe 1994. (Technical report. Fakultät für Informatik, Universität Karlsruhe. 1994,19.)  

Experimental evaluation in computer science: a quantitative study
Lukowicz, P.; Heinz, E. A.; Prechelt, L.; Tichy, W. F.
1994. Karlsruhe 1994. (Technical report. Fakultät für Informatik, Universität Karlsruhe. 1994,17.)  

Translating E/R-diagrams into consistent database specifications
Fuchss, T.
1994. Karlsruhe 1994. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1994,2.)  

The semantics of rational contractions
Giesl, J.; Neumann, I.
1994. Karlsruhe 1994. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1994,29.)  

Valid extensions of introspective systems: a foundation for reflective theorem provers
Schönegge, A.
1994. Karlsruhe 1994. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1994,26.)  

Translating inheritance nets to default logic
Neumann, I.
1994. Karlsruhe 1994. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1994,25.)  

Speech-language integration in a multi-lingual speech translation system
Suhm, B.; Coccaro, N.; Waibel, A.; et al.
1994. Workshop on Integration of Natural Language and Speech Processing, AAAI-94, 1994. Vol. 1, 92–99  

Dataflow equations for parallel programs that share memory
Vollmer, J.
1994. Universität Karlsruhe (TH). doi:10.5445/IR/369696  

Parallelism for free: efficient and optimal bitvector analyses for parallel programs
Knoop, J.; Steffen, B.; Vollmer, J.
1994. Passau  

Evaluation techniques as a part of the verification process
Eisenbiegler, D.; Kumar, R.
1994. Higher order logic theorem proving and its applications. HUG’94. Ed.: T.F. Melham, Springer-Verlag  

JANUS 93: towards spontaneous speech translation
Woszczyna, M.; Coccaro, N.; Kemp, T.; Rogina, I.; Schultz, T.; Waibel, A.; et al.
1994. 1994 IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP, Adelaide, Australia. Vol. 1. Piscataway, NJ 1994, I/345 - I/348 vol.1, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICASSP.1994.389285  

MIDI-Beschreibung - ArchE-Projektbericht Nr. 2
Hovestadt, V.; Muelle, J.; Sturm, R.
1994. Universität Karlsruhe (TH). doi:10.5445/IR/343694  

Accepting grammars and systems
Bordihn, H.; Fernau, H.
1994. Karlsruhe 1994. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1994,9.)  

A functional approach for formalizing regular hardware structures
Eisenbiegler, D.; Schneider, K.; Kumar, R.
1994. Higher order logic theorem proving and its applications. Ed.: J.J. Joyce, 101–114, Springer-Verlag  

Mechanisms for structuring knowledge-based systems
Landes, D.; Studer, R.
1994. Karlsruhe 1994. (Bericht. Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe (TH). 301.)  

INCOME/STAR: methodology and tools for the development of distributed information systems
Oberweis, A.; Scherrer, G.; Stucky, W.
1994. Information systems, 19 (8), 643–660  

A comparison of languages which operationalize and formalize KADS models of expertise
Fensel, D.; Harmelen, F. van
1994. Knowl. engng. rev. 9 (1994) S. 105-147  

Sinn und Unsinn formaler Spezifikationssprachen für wissensbasierte Systeme
Fensel, D.
1994. Künstl. Intell. (KI) 8 (1994) H. 4 S. 26-34  

ProMISE - a process model for information system evolution
Scherrer, G.; Oberweis, A.; Stucky, W.
1994. Proceedings of the 3rd Maghrebian Conference on Software Engineering and Artificial Intelligence, Rabat, Marocco, April, 1994, 27–36  

INCOME/STAR-ProMISE: process-centered information system development
Scherrer, G.
1994. In: Proceedings des KI-94 Workshops "Vorgehensmodelle und Methoden zur Entwicklung komplexer Software-Systeme", Saarbrücken 1994. S. 208-210  

The design process in MIKE
Landes, D.; Studer, R.
1994. In: Proceedings of the 8th Knowledge Acquisition for Knowledge-Based Systems (KAW ’94), Banff, Canada 1994. S. 33-1/34-1 

Mechanism for structuring knowledge-based systems
Landes, D.; Studer, R.
1994. In: Database and expert system applications. Ed.: D. Karagiannis. Berlin 1994. S. 488-497. (Lecture notes in computer science. 856.) 

DesignKARL - A language for the design of knowledge-based systems
Landes, D.
1994. Proceedings of the 6th International Conference on Software Engineering and Knowledge Engineering (SEKE ’94), Jurmala, Latvia, June 21-23, 1994, 78–85, Knowledge Systems Institute 

Addressing non-functional requirements in the development of knowledge-based systems
Landes, D.
1994. In: Proceedings of the 1st International Workshop on Requirements Engineering: Foundation of Software Quality (REFSQ ’94), Utrecht, Netherlands 1994. Ed.: K. Pohl. Aachen 1994. S. 64-70. (Aachener Beiträge zur Informatik.)  

Specification and verification of distributed technical systems with central control
Schellhorn, G.
1994. Karlsruhe 1994. (Technical report. Fakultät für Informatik, Universität Karlsruhe. 1994,3.)  

A comparison of two approaches to model-based knowledge acquisition
Fensel, D.; Poeck, K.
1994. In: A future for knowledge acquisition. EKAW ’94. Ed.: L. Steels. Berlin 1994. S. 46-62. (Lecture notes in computer science. 867. Lecture notes in artificial intelligence.)  

Integration of semiformal and formal methods for specifying knowledge-based systems
Fensel, D.; Neubert, S.
1994. In: Innovationen bei Rechen- und Kommunikationssystemen. Hrsg.: B. Wolfinger. Berlin 1994. S. 43-50. (GI-Jahrestagung. 24.)  

Integrating semiformal and formal methods in knowledge-based systems development
Fensel, D.; Landes, D.; Neubert, S.; Studer, R.
1994. In: Proceedings of the Japanese Knowledge Acquisition Workshop (JKAW-94), Hitachi, Japan 1994. S. 73-89  

Graphical and formal knowledge specification with KARL
Fensel, D.
1994. In: Proceedings of the International Conference on Expert Systems for Development, Bangkok, Thailand 1994. S. 112-118  

A model of expertise in KARL
Angele, J.; Fensel, D.; Studer, R.
1994. In: Proceedings of the 2nd World Congress on Expert Systems, Lisbon/Estoril, Portugal 1994. S. 20-30  

An approach to the design of knowledge-based systems
Landes, D.
1994. In: Software quality management II. Ed.: M. Ross. Southampton 1994. S. 707-722  

Informatik 2000. Workshopforum Praxis des Freundeskreises der Fakultät für Informatik, Würzbach/Schwarzwald 1993
Kottmann, D.; Keller, L.; Hellriegel, W.; Kammerer, U.; Baur, M. (Eds.)
1994. Karlsruhe 1994. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1994,1.)  

A fast adaptive layout algorithm for undirected graphs
Frick, A. K.; Mehldau, H.; Ludwig, A.
1994. Graph drawing. Ed.: R. Tamassia, 388–403, Springer-Verlag  

Pseudo differential operators and integrable systems in AXIOM
Seiler, W. M.
1994. Comput. phys. commun. 79 (1994) S. 329-340  

On the arbitrariness of the general solution of an involutive partial differential equation
Seiler, W. M.
1994. J. of math. phys. 35 (1994) S. 486-498  

CommonKADS and cooperating knowledge based systems
Weih, H.-P.; Schü, J.; Calmet, J.
1994. In: Proceedings of the 4th KADS User Meeting, Bonn 1994. Ed.: GMD. 1994. S. 1-17  

A knowledge-based type system for computer algebra
Tjandra, I. A.; Homann, K.; Calmet, J.
1994. In: Proceedings of the Rhine Workshop on Computer Algebra, Karlsruhe 1994. Ed.: J. Calmet. 1994. S. 60-66  

Towards an intelligent mathematical environment - bridging the gap between theorem proving and symbolic mathematical computing
Homann, K.; Calmet, J.
1994. In: Proceedings of Workshop from Theorem Provers to Mathematical Assistants, 11th European Conference on Artificial Intelligence (ECAI ’94), Amsterdam 1994. Ed.: F. Giunchiglia. 1994. S. 48-53