Using MTBDDs for composition and model checking of real-time systems
Ruf, J.; Kropf, T.
1998. In: Formal methods in computer-aided design. FMCAD ’98. Ed.: G. Gopalakrishnan. Berlin 1998. S. 185-202. (Lecture notes in computer science. 1522.) 

Strategy to disentangle multiple faults to identify random defects within test structures
Hess, C.; Weiland, L. H.
1998. In: Proceedings of the International Conference on Microelectronic Test Structures, ICMTS, Kanazawa, Japan 1998. S. 141-146 

Performance and performability evaluation of FMS using GSPN
Ziegler, P.; Szczerbicka, H.
1998. In: Proceedings of the International Conference on Systems, Man and Cybernetics, San Diego, CA 1998. IEEE 1998 

Datenbasierte Metamodellierung mit automatisch erzeugten Fuzzy-Regeln. PhD dissertation
Huber, K.-P.
1998. Düsseldorf 1998. (Fortschritt-Berichte VDI. Reihe 10, Nr.551.) Fak. f. Informatik, Diss. v. 6.2.1998., Universität Karlsruhe (TH) 

Partial order reductions for bisimulation checking
Huhn, M.; Niebert, P.; Wehrheim, H.
1998. Hildesheim 1998. (Hildesheimer Informatik-Berichte. 8/98.) 

Novel methodology to include all measured size values per defect to improve defect size distribution
Hess, C.; Weiland, L. H.
1998. In: Proceedings of the Advanced Semiconductor Manufacturing Conference, ASMC, Boston, MA 1998 

Modelling of business process using object-oriented Petri nets
Ziegler, P.; Szczerbicka, H.
1998. In: Proceedings of the 12th European Simulation Multiconference, Manchester, England 1998 

Modelling of a multithreaded processor pipeline using object-oriented Petri nets
Ziegler, P.; Szczerbicka, H.
1998. In: Proceedings of the 10th European Simulation Symposium & Exhibition, Nottingham, England 1998 

Model checking on product structures
Schneider, K.
1998. In: Formal methods in computer-aided design. FMCAD ’98. Ed.: G. Gopalakrishnan. Berlin 1998. S. 483-500. (Lecture notes in computer science. 1522.) 

Harp test structure to electrically determine size distributions of killer defects
Hess, C.; Weiland, L. H.
1998. IEEE trans. on semiconductor manufacturing 11 (1998) S. 194-203 

Hardware-optimal test register insertion
Stroele, A.; Wunderlich, H.-J.
1998. IEEE trans. on computer-aided des. of integrated circuits and syst. 17 (1998) S. 531-539 

Geräuscherkennung mittels Neuronaler Netze
Feldbusch, F.
1998. Z. f. Audiologie 37 (1998) H. 1 S. 30-36 

Formale Methoden bei der Spezifikation von Hardware
Grass, W.; Kropf, T.; Mutz, M.
1998. Informationstech. u. Tech. Informatik 40 (1998) H. 3 S. 13-17 

Entwurf selbsttestbarer Schaltungen
Stroele, A.
1998. Stuttgart 1998. (Teubner-Texte zur Informatik. 27.) 

Experimentell basierte Weiterentwicklung von Berechnungsmodellen der NOsub(x)-Emission technischer Verbrennungssysteme. PhD dissertation
Stapf, D.
1998. Düsseldorf 1998. (Fortschritt-Berichte VDI. Reihe 6, Nr. 395.) Fak. f. Chemieingenieurwesen, Diss. v. 20.2.1998., Universität Karlsruhe (TH) 

Embedded self-testing checkers for low-cost arithmetic codes
Tarnick, S.; Stroele, A.
1998. In: Proceedings of the IEEE International Test Conference, Washington, DC 1998. S. 514-523 

Configuring arithmetic pattern generators and response compactors from the RT-modules of a circuit
Mayer, F.; Stroele, A.
1998. In: Proceedings of the IEEE Asian Test Symposium, Singapore 1998. S. 15-20 

Bit serial pattern generation and response compaction using arithmetic functions
Stroele, A.
1998. In: Proceedings of the IEEE VLSI Test Symposium, Monterey, CA 1998. S. 78-84 

An algebraic semantics for message sequence chart documents
Gehrke, T.; Huhn, M.; Rensink, A.; Wehrheim, H.
1998. Hildesheim 1998. (Hildesheimer Informatik-Berichte. 5/98.) 

An algebraic semantics for message sequence chart
Gehrke, T.; Huhn, M.; Rensink, A.; Wehrheim, H.
1998. In: A process algebra semantics for message sequence charts documents. 8. GI/ITG- Fachgespräch "Formale Beschreibungstechniken für verteilte Systeme", Cottbus 1998. Aachen 1998 

A unified approach to the extraction on realistic multiple bridging and break faults
Spiegel, G.; Stroele, A.
1998. VLSI des. j. 7 (1998) H. 2 S. 163-176 

Zur Entstehung des Fakultätentages Informatik
Goerke, W.
1998. In: 25 Jahre Fakultätentag Informatik 1973 - 1998. Jubiläumsschrift. Karlsruhe 1998. S. 7-23 

Thread-basierte Ereignisbehandlung auf Java-Prozessoren in eingebetteten Systemen
Brinkschulte, U.; Ungerer, T.
1998. In: Tagungsband. Workshop JAVA und Eingebettete Systeme, Karlsruhe 1998. Hrsg.: A. Hergenhan. Karlsruhe 1998. S. 45-54. (FZI-Bericht. 4-13-9/98.) 

Strukturierte Daten in Software Distributed Shared Memory Systemen
Dreier, B.; Zahn, M.; Ungerer, T.
1998. In: Tagungsband des GI/ITG-Workshops "Parallel-Algorithmen, -Rechnerstrukturen und -Systemsoftware", PARS ’98, Karlsruhe 1998. S. 80-88 

Static speculation, dynamic resolution
Unger, A.; Ungerer, T.; Zehendner, E.
1998. In: Proceedings of the 7th Workshop on Compilers for Parallel Computers, Linköping, Sweden 1998 

Informationsgebäude. Ein Integrationsmodell für Architektur und Informationstechnologien. PhD dissertation
Hovestadt, V.
1998. Düsseldorf 1998. (Fortschritt-Berichte VDI. Reihe 20, Nr.276.) Fak. f. Architektur, Diss. v. 19.5.1998., Universität Karlsruhe (TH) 

Simultaneous simulation scheduling
Unger, A.; Ungerer, T.; Zehendner, E.
1998. Jena 1998. (Berichte zur Rechnerarchitektur. 4,11.) 

Beitrag zur Analyse mentaler Anforderungen bei rechnerunterstützter Werkstattsteuerung. PhD dissertation
Grundel, C.
1998. Aachen 1998. (Forschungsberichte aus dem Institut für Arbeitswissenschaft und Betriebsorganisation der Universität Karlsruhe. 15.) Fak. f. Maschinenbau, Diss. v. 19.06.1997., Universität Karlsruhe (TH) 

ReGTime-X: Nutzung entfernter Rechenleistung
Zahn, A.; Ungerer, T.
1998. In: Tagungsband des GI/ITG-Workshops "Parallel-Algorithmen, -Rechnerstrukturen und -Systemsoftware", PARS ’98, Karlsruhe 1998. S. 89-99 

Parallele Ausführung alternativer Programmpfade
Unger, A.; Ungerer, T.; Zehendner, E.
1998. In: Tagungsband des GI/ITG-Workshops "Parallel-Algorithmen, -Rechnerstrukturen und -Systemsoftware", PARS ’98, Karlsruhe 1998. S. 50-59 

Multimedia and simultaneous multithreading
Ungerer, T.
1998. In: Architectural and arithmetic support for multimedia. Ed.: G. Even. Wadern : IBFI 1998. S. 16. (Dagstuhl-Seminar-Report. 222.) 

Experiences and enhancements of ReGTime: a system for trading computing power
Zahn, A.; Ungerer, T.
1998. In: Proceedings of the Workshop on Distributed Computing on the WEB, Rostock 1998 

Das Rhamma-Projekt: Entwurf und Bewertung eines mehrfädigen RISC-Prozessors
Gruenewald, W.; Kreuzinger, J.; Ungerer, T.
1998. In: Tagungsband des GI/ITG-Workshops "Parallel-Algorithmen, -Rechnerstrukturen und -Systemsoftware", PARS ’98, Karlsruhe 1998. S. 40-49 

Beginn der Aktivitäten Universität Fridericiana Karlsruhe
Goerke, W.
1998. In: 25 Jahre Fakultätentag Informatik 1973 - 1998. Jubiläumsschrift. Karlsruhe 1998. S. 40-44 

Aufgaben, Mensch, Technik - Status und Trends
Faerber, G.; Goerke, W.; Polke, M.; Steusloff, H.
1998. In: Mensch - Prozeß - Kommunikation. Berlin 1998. S. 5-13. (GMA-Fachbericht. 6.) 

Allocating tasks between humans and machines in complex systems
Sujan, M. A.; Pasquini, A.
1998. In: Proceedings. 4th International Conference on Achieving Quality in Software, AQuIS’98, Venezia, Italy 1998. Ed.: C. Ghezzi. S. 173-184 

A compiler technique for speculative execution of alternative program paths targeting multithreaded architectures
Unger, A.; Ungerer, T.; Zehendner, E.
1998. In: Proceedings of the Yale Multithreaded Programming Workshop, New Haven, CT 1998 

Entwicklung eines Programms zur Berechnung von kompressiblen und imkompressiblen Strömungen. PhD dissertation
Spengler, C.
1998. Aachen 1998. (Berichte aus der Strömungstechnik.) Fak. f. Maschinenbau, Diss. v. 18.5.1998., Universität Karlsruhe (TH) 

A compiler technique for speculative execution of alternative program paths
Unger, A.; Ungerer, T.; Zehendner, E.
1998. Jena 1998. (Berichte zur Rechnerarchitektur. 4,10.) 

25 Jahre Fakultätentag Informatik 1973 - 1998. Jubiläumsschrift
Goerke, W.
1998. Karlsruhe 1998 

Retinol binding protein mRNA for studying endocrine disruptors
Scholpp, S.; Kloas, W.
1998. Exper. and clinical endocrinol. & diab. 106 (1998) Suppl. 1 S. 56 

Regulation of IGF-I expression by growth hormone in primary cultured hepatocytes of Oreochromis mossambicus
Schmid, A.; Kloas, W.; Reinecke, M.
1998. In: Proceedings of the European Conference on Fish Physiology, Turku, Finland 1998. S. 76 

Expression of IGF-I in primary cultured hepatocytes of the teleost Oreochromis mossambicus
Schmid, A.; Kloas, W.; Reinecke, M.
1998. In: Proceedings of the 19th Conference of European Comparative Endocrinologists, Nijmegen 1998. S. 61 

An immunohistochemical and morphometric analysis of insulin, insulin-like growth factor I, glucagon, somatostatin, and PP in the development of the gastro-entero- pancreatic system of Xenopus laevis
Maake, C.; Reinecke, M.; Hanke, W.
1998. Gen. and comp. endocrinol. 110 (1998) S. 182-195 

The gastro-enteric nervous and neurohumoral system in the neotenous axolotl and the effect of thyroid hormone
Maake, C.; Kloas, W.; Reinecke, M.
1998. In: Proceedings of the 19th Conference of European Comparative Endocrinologists, Nijmegen 1998. S. 45 

The gastro-enteric nervous and neurohumoral system of Ambystoma mexicanum, the axolotl: neotenic and thyroxin treated individuals
Maake, C.; Kloas, W.; Reinecke, M.
1998. Ann. of anat. 180 (1998) Suppl. S. 142-143 

Stress physiology of fish
Kloas, W.
1998. In: Proceedings of the 19th Conference of European Comparative Endocrinologists, Nijmegen 1998 

Endocrine disruptors and estrogenicity studied by an amphibian model
Lutz, I.; Bloedt, S.; Scholpp, S.; Kloas, W.
1998. In: Proceedings of the 19th Conference of European Comparative Endocrinologists, Nijmegen 1998. S. 45 

Zum elektronischen Transport in nanostrukturierten Cu:Mn-Metallschichten. PhD dissertation
Paschke, C.
1998. Göttingen 1998. Fak. f. Physik, Diss. v. 12.6.1998., Universität Karlsruhe (TH) 

Amphibians as a model to study endocrine disruptors
Lutz, I.; Kloas, W.
1998. Exper. and clinical endocrinol. & diab. 106 (1998) Suppl. 1 S. 9 

Umweltchemikalien mit endokrinen Wirkungen - Amphibien als Studienmodell
Kloas, W.; Bloedt, S.; Scholpp, S.; Lutz, I.
1998. In: Proceedings. Deutsche Ökologen Tagung, Ulm 1998. S. 22 

Characterization of corticosteroid receptors in two fish species: the euryhaline tilapia and the stenohaline carp
Kloas, W.; Stahl, L.; Hanke, W.
1998. In: Trends in comparative endocrinology and neurobiology: from molecular to integrative biology. Ed.: H. Vaudry. New York, NY 1998. S. 311-314. (Annals of the New York Academy of Sciences. 839.) 

Amphibians as model to study endocrine disruptors
Kloas, W.; Bloedt, S.; Lutz, I.
1998. In: Proceedings. Conference on Animal Physiology, Bogensee 1998. S. 55 

The control of the teleost (carp) adrenal by the autonomous nervous system
Kloas, W.; Hanke, W.
1998. In: Trends in comparative endocrinology and neurobiology: from molecular to integrative biology. Ed.: H. Vaudry. New York, NY 1998. S. 275-278. (Annals of the New York Academy of Sciences. 839.) 

Können Umweltchemikalien durch Interferenz mit endokrinen Funktionen (endocrine disruptors) zur Verweiblichung führen? - Ökotoxikologische Untersuchungen von Wasserproben aus Baden-Württemberg auf Amphibien
Kloas, W.
1998. In: Statuskolloquium der BMBF/BMBU- Projektträgerschaft "Umweltchemikalien mit endokrinen Wirkungen", Dresden 1998. S. 1-2 

Catecholamine secretion and functions in teleosts
Kloas, W.
1998. In: Proceedings of the Satellite Symposium of the 19th CECE Nijmegen "Fish Physiology in Perspectives", 1998. S. 3 

Corticosterone binding sites in plasma membrane of amphibian liver
Kloas, W.
1998. Zoology 101 (1998) Suppl. 1 S. 67 

Mehr-als-Kunst. Zur Kunstphilosophie Georg Simmels. PhD dissertation
Faath, U.
1998. Würzburg 1998. (Epistemata. Reihe Literaturwissenschaft. 238.) Fak. f. Geistes- und Sozialwissenschaften, Diss. v. 17.2.1997., Universität Karlsruhe (TH) 

In vivo and in vitro induction of c-fos in avian exocrine salt gland cells
Hildebrandt, J.-P.; Gerstberger, R.; Schwarz, M.
1998. Amer. j. of physiol., Cell physiol. 44 (1998) S. C951-C957 

The role of cytosolic calcium in c-fos induction in avian nasal salt gland cells
Hildebrandt, J.-P.
1998. Zoology 101 (1998) Suppl. 1 S. 60 

Interrenal gland, stress response and reproduction
Hanke, W.
1998. In: Encyclopedia of reproduction. Ed.: E. Knobil. Vol. 2. San Diego, Calif. 1998 

Steuerungs- und Regelungsphänomene. Systemische versus mechanistische Analyse an Beispielen
Hanke, W.
1998. In: Tagungsberichte zur 11. Bundesfachleitertagung Biologie 1998. S. 9-24. (Der mathematische und naturwissenschaftliche Unterricht. S.-H.) 

Development of function and physiological effects of the suprarenal gland in amphibia, the composition of interrenal and chromaffin tissue
Hanke, W.
1998. Animal biol. 6 (1998) S. 138-139 

Operatorenhalbgruppen und Operatorenideale. PhD dissertation
Blunck, S.
1998. Kiel, Univ., Diss., 1998 

Einsatz der Agententechnologie zur Planung eines Serviceroboters
Abeck, S.; Koeppel, A.
1998. Karlsruher Transfer 1998 H. 19 S. 10-15 

A management architecture for multi-agent systems
Abeck, S.; Koeppel, A.; Seitz, J.
1998. In: Proceedings of the 3rd IEEE Workshop on Systems Management, Newport, RI 1998. S. 133-138 

Kooperative Managementwerkzeuge für den effizienten Betrieb von vernetzten Systemen
Abeck, S.; Mayerl, C.
1998. In: Groupware und organisatorische Innovation. D-CSCW, Dortmund 1998. Hrsg.: T. Herrmann. Stuttgart 1998. (Berichte des German Chapter of the ACM. 51.) 

Prozeßorientiertes Qualitätsmanagement für IV-Dienstleister - ein Erfahrungsbericht
Wies, R.; Lohrmann, J.; Abeck, S.; Eckardt, T.
1998. Wirtschaftsinformatik 1998 H. 3 

Untersuchungen an hocheffizienten Excimerentladungslampen. PhD dissertation
Kling, R.
1998. Aachen 1998. (Berichte aus der Elektrotechnik.) Fak. f. Elektrotechnik, Diss. v. 11.12.1997., Universität Karlsruhe (TH) 

WB Neue Ortsmitte Berghausen-Pfinztal. 3. Preis
Kraenzle, N.; Fischer-Wasels, C.
1998. Wettbewerbe aktuell 1998 H. 10 S. 27 

WB Stephanplatz und Europaplatz. 3. Preis
Kraenzle, N.; Fischer-Wasels, C.; Bohnert, A.
1998. Wettbewerbe aktuell 1998 H. 9 S. 46 

WB Neubau der Physikalischen Institute der Uni Heidelberg. 3. Preis
Kraenzle, N.; Fischer-Wasels, C.; Bohnert, A.
1998. Wettbewerbe aktuell 1998 H. 3 S. 25 

Haus Vetter, Karlsruhe. Projektbeschreibung
Baurmann, H. M.
1998. Baumeister 93 (1996) H. 4, Exkursionsbeilage Karlsruhe und in: Architektur in Karlsruhe 1971-1996. Karlsruhe 1997. S. 142 

Lustgarten / Alter Markt BuGa 2001 Potsdam. Wettbewerbsbeitrag
Baurmann, H. M.
1998. Wettbewerbe aktuell 1997 H. 10 S. 62-63 

"Die Kunst der Fuge". Dachgeschossausbau, Karlsruhe. Projektbeschreibung
Baurmann, H. M.
1998. Neues Wohnen, Hamburg 1997 H. 6 S. 18-21 

Diskussionspapier. Institut für Regionalwissenschaft der Universität Karlsruhe. 27-30
Diskussionspapier. Institut für Regionalwissenschaft der Universität Karlsruhe. 27-30
1998. Karlsruhe 1998 

Kostengünstige Reihenhäuser Karlsruhe. Wettbewerbsbeitrag
Baurmann, H. M.
1998. Wettbewerbe aktuell 1998 H. 6 S. 98-99 

"Der Reiz des Unvollkommenen". Studio in Karlsruhe. Projektbeschreibung
Baurmann, H. M.
1998. Neues Wohnen, Hamburg 1998 H. 11 S. 100-103 

"Praxis Dr. Dietz", Kämpfelbach-Ersingen. Projektbeschreibung
Baurmann, H. M.
1998. In: BauKunst in Karlsruhe & Nordbaden. Neu-Isenburg 1998. S. 4-5 

Report of the institute. Institute for Information Processing Technology, including Research Department Electronic Systems and Microsystems at the Research Center for Information Technology (FZI). 1993 - 1998
Report of the institute. Institute for Information Processing Technology, including Research Department Electronic Systems and Microsystems at the Research Center for Information Technology (FZI). 1993 - 1998
1998. Karlsruhe 1998 

"Beim Bau sparen". Haus Vetter, Karlsruhe. Projektbeschreibung
Baurmann, H. M.
1998. Domus-Mag. 1998 H. 2 S. 18-21 

"Räume". (Werkauswahl)
Baurmann, H. M.
1998. In: Architekten in Baden-Württemberg. Hrsg.: P. Diemer. Wiesbaden 1998. S. 98-99 

Kindergarten in Ingolstadt
Humpert, P.
1998. Detail 1996 S. 519-523 

Alter Hafen und "Kulturspeicher" in Würzburg
Gudmundsdottir, A.
1998. Wettbewerbe aktuell 1996 H. 6 S. 87-100 

Harmonisch leben und lernen. Wettbewerb Salem-College entschieden
Lederer, A.
1998. Baumeister 1996 H. 6 S. 10-11 

Campus-College für die Kollegstufe der Schule Schloß Salem e.V
Lederer, A.
1998. Wettbewerbe aktuell 1996 H. 5 S. 93-101 

Industriebauten im Holzdesign
Lederer, A.
1998. Bauztg. 1996 H. 10 S. 53 

Wärmeschutz von Gebäuden
Haug, T.
1998. Der Architekt 1997 S. 243-245 

Monolithische Mauerwerkskonstruktionen der Außenwand
Haug, T.
1998. Der Architekt 1997 S. 121-124 

68 und danach
Lederer, A.
1998. Der Architekt 1997 S. 413 

A note on Holler and Packel’s axiomatization of the public good index (PGI)
Napel, S.
1998. Karlsruhe 1998. (Discussion paper. Institut für Wirtschaftstheorie und Operations Research, Universität Karlsruhe. 532.) 

Haus in Stuttgart-Bad Cannstadt. Architekturbüro Lederer Ragnorsdottir Oei
Lederer, A.
1998. Baumeister 1997 H. 6 S. 28-31 

Recursive treatment of one-dimensional interacting random walks
Dieterle, S.; Ziegler, K.
1998. In: Algoritmy’97, 14th Conference on Scientific Computing, West Tatra Mountains, Zuberec, Slovakia 1997. S. 23-31 

One-dimensional Raman scattering for determination of multi-point joint scalar PDFs in turbulent diffusion flames
Ebersohl, N.; Klos, T.; Suntz, R.; Bockhorn, H.
1998. In: 27th Symposium (International) on Combustion. Pittsburgh : The Combustion Inst. 1998. S. 997 

PIC formation during the combustion of simple hydrocarbons in inhomogeneous incineration systems
Procaccini, C.; Kraft, M.; Fey, H.; Bockhorn, H.; Longwell, J. P.; Sarofim, A. F.; Smith, K. A.
1998. In: 27th Symposium (International) on Combustion. Pittsburgh : The Combustion Inst. 1998. S. 1275 

Two-dimensional imaging of soot volume fractions, particle number densities and particle radii in laminar and turbulent diffusion flames
Geitlinger, H.; Streibel, T.; Suntz, R.; Bockhorn, H.
1998. In: 27th Symposium (International) on Combustion. Pittsburgh : The Combustion Inst. 1998. S. 1613 

Gasification of polystyrene as initial step in incineration, fires or smoldering of plastics
Bockhorn, H.; Hornung, A.; Hornung, U.
1998. In: 27th Symposium (International) on Combustion. Pittsburgh : The Combustion Inst. 1998. S. 1343 

Stepwise pyrolysis for recycling of plastic mixtures
Bockhorn, H.; Hornung, A.; Hornung, U.
1998. Macromolecular symposia 135 (1998) S. 35 

Laser-induced C2-fluorescence from laser vaporized soot in low pressure laminar premixed ethyne-oxygene-argon-flames
Haessler, O.; Jungfleisch, B.; Suntz, R.; Bockhorn, H.
1998. In: 27th Symposium (International) on Combustion. Abstracts of work in progress posters. Pittsburgh : The Combustion Inst. 1998. S. 536 

An updated model for the prediction of soot formation in laminar premixed flames
Appel, J.; Bockhorn, H.; Frenklach, M.
1998. In: 27th Symposium (International) on Combustion. Abstracts of work in progress posters. Pittsburgh : The Combustion Inst. 1998. S. 424