Present status of ECH window development at FZK
Thumm, M.; Braz, O.; Haefner, H. E.; Heidinger, R.; Norajitra, P.; Soudee, G.
1995. In: 3rd Biennial International Workshop on ECH Transmission Systems, Cocoa Beach, Fla. 1995 

Numerische Bestimmung von Feldverteilungen für die Materialprozeßtechnik mit Millimeterwellen
Feher, L.; Thumm, M.
1995. In: Klausurtagung Mikrowelleneinsatz in den Materialwissenschaften der chemischen Verfahrenstechnik und in der Festkörperchemie, Dortmund 1995 

Moderne Mikro- und Millimeterwellenquellen für die Materialprozeßtechnik
Thumm, M.
1995. In: Klausurtagung Mikrowelleneinsatz in den Materialwissenschaften der chemischen Verfahrenstechnik und in der Festkörperchemie, Dortmund 1995 

Application of mm-wave radiation for processing of piezoceramics
Bykov, Y. V.; Eremeev, A. G.; Holopsev, V.; Guenther, E.; Link, G.; Ritzhaupt-Kleissl, H.; Thumm, M.
1995. In: Proceedings. 4th Conference of the European Ceramic Society, Riccione, Italy 1995. Vol. 5. S. 159-164 

Estudio de la Posibilidad de utilizar Modos de orden superior en Guias de Onda cuasi- opticas
Del Rio, C.; Gonzalo, R.; Marin, M.; Sorolla, M.; Moebius, A.; Thumm, M.
1995. In: Proceedings. 10th Spanish U.R.S.I. Meeting, Valladoid 1995. S. 603-606 

Antenas de Bocina optimizadas para Acoplar Modos Gaussianos de orden superior
Del Rio, C.; Gonzalo, R.; Sorolla, M.; Thumm, M.
1995. In: Proceedings. 10th Spanish U.R.S.I. Meeting, Valladoid 1995. S. 597-601 

Ökologische Steuerreform. Eine mikroökonomisch fundierte Simulationsstudie. PhD dissertation
Oepping, H.
1995. Wiesbaden 1995. (Gabler Edition Wissenschaft.) Fak. f. Wirtschaftswissenschaften, Diss. v. 10.2.1995 u.d.T.: Ökologische Steuerreform. Eine theoretische und empirische Analyse der gesamtwirtschaftlichen und fiskalischen Wirkungen., Universität Karlsruhe (TH) 

Theoretical aspects for microwave ray tracing calculations in screened structures
Feher, L.; Link, G.; Thumm, M.
1995. In: Proceedings. Latsis Symposium 1995 on Computational Electromagnetics, ETH Zürich, Switzerland 1995. S. 236-241 

Einsatz von mm-Wellen-Heizung für die Herstellung von keramischen Formteilen
Thumm, M.; Feher, L.; Kuntze, M.; Link, G.
1995. In: Workshop "Schmelz- und Texturierungs- Prozesse für die YBCO-Dickschicht- Herstellung", Karlsruhe 1995 

Development of advanced high-power 140 GHz gyrotrons for ECW applications
Kuntze, M.; Braz, O.; Dammertz, G.; Iatrou, C. T.; Kern, S.; Moebius, A.; Piosczyk, B.; Soudee, G.; Thumm, M.; Wien, A.
1995. In: Intense microwave pulses III. SPIE’s 40th Annual Meeting, International Symposium on Optical Sciences, Engineering and Instrumentation, San Diego 1995. Bellingham, Wash. 1995. S. 347-355. (SPIE proceedings. 2557.) 

Ray tracing calculations for large overmoded millimeter wave resonators for industrial applications
Feher, L.; Link, G.; Thumm, M.
1995. In: Proceedings of the 7th Joint Russian- German Meeting on ECRH and Gyrotrons, Karlsruhe, Stuttgart, Garching 1995. Ed.: M. Thumm. Karlsruhe : FZK 1995. S. 213-218 

Transmission losses of various modes in a gap in an oversized waveguide
Wagner, D.; Kasparek, W.; Mueller, G. A.; Thumm, M.; Braz, O.
1995. In: Proceedings of the 7th Joint Russian- German Meeting on ECRH and Gyrotrons, Karlsruhe, Stuttgart, Garching 1995. Ed.: M. Thumm. Karlsruhe : FZK 1995. S. 163-170 

Rectangular windows for 170 GHz, 1 MW, CW operation on ITER
Thumm, M.; Norajitra, P.
1995. In: Proceedings of the 7th Joint Russian- German Meeting on ECRH and Gyrotrons, Karlsruhe, Stuttgart, Garching 1995. Ed.: M. Thumm. Karlsruhe : FZK 1995. S. 147-158 

Numerical investigations on quasi-optical mode converters in gyrotrons
Wien, A.; Thumm, M.
1995. In: Proceedings of the 7th Joint Russian- German Meeting on ECRH and Gyrotrons, Karlsruhe, Stuttgart, Garching 1995. Ed.: M. Thumm. Karlsruhe : FZK 1995. S. 79-88 

Influence of inner rod misalignment on the output of a coaxial cavity gyrotron
Zhang, S. C.; Thumm, M.
1995. In: Proceedings of the 7th Joint Russian- German Meeting on ECRH and Gyrotrons, Karlsruhe, Stuttgart, Garching 1995. Ed.: M. Thumm. Karlsruhe : FZK 1995. S. 71-78 

Design of a 165 GHz, 1.3 MW, TEsub(31,17) mode coaxial cavity gyrotron
Iatrou, C. T.; Kern, S.; Piosczyk, B.; Thumm, M.; Wien, A.
1995. In: Proceedings of the 7th Joint Russian- German Meeting on ECRH and Gyrotrons, Karlsruhe, Stuttgart, Garching 1995. Ed.: M. Thumm. Karlsruhe : FZK 1995. S. 57-70 

Local load balancing according to a simple liquid model
Henrich, D.
1995. PARS Workshop Stuttgart. 9.-11. Oktober 1995, Ges. für Informatik  

Herausforderung Software-Engineering: Beobachten und Messen auáerhalb des Labors
Baer, D.
1995. Experimentelle Methoden in der Informatik, 49–57, Universität Karlsruhe (TH) 

Natur-, Ingenieur- und Humanwissenschaften: Unterschiede im experimentellen Arbeiten
Benke, O.
1995. Experimentelle Methoden in der Informatik. Hrsg.: D. Bär, 40–48, Universität Karlsruhe (TH) 

Über die Aussagekraft von Experimenten, oder: "Fluádiagramme besser als Pseudokode?"
Veigel, U.
1995. In: Experimentelle Methoden in der Informatik. D. Bär ... Karlsruhe 1995. S. 32-39. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,38.) 

Ein Experiment zur Kosteneffektivität von Inspektionsverfahren
Redeke, I.
1995. In: Experimentelle Methoden in der Informatik. D. Bär ... Karlsruhe 1995. S. 26-31. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,38.) 

Grundlagen der Wissenschaftstheorie
Reussner, R.
1995. In: Experimentelle Methoden in der Informatik. D. Bär ... Karlsruhe 1995. S. 17-25. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,38.) 

Die Grundlagen wissenschaftlicher Arbeit
Schmidt, M.
1995. In: Experimentelle Methoden in der Informatik. D. Bär ... Karlsruhe 1995. S. 10-16. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,38.) 

Ein beispielhaftes Experiment in der Informatik - und die Folgen
Brueckner, T.
1995. Experimentelle Methoden in der Informatik. Hrsg.: D. Bär, 3–9, Universität Karlsruhe (TH) 

Einführung
Prechelt, L.
1995. In: Experimentelle Methoden in der Informatik. D. Bär ... Karlsruhe 1995. S. 1-2. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,38.) 

Experimentelle Methoden in der Informatik
Baer, D.; Brueckner, T.; Prechelt, L.; Redeke, I.; Reussner, R.; Schmidt, M.; Veigel, U.
1995. Karlsruhe 1995. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,38.)  

Local model checking in Park’s my--calculus
Kick, A.
1995. Karlsruhe 1995. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,51.)  

Any two countable, densely ordered sets without endpoints are isomorphic - a formal proof with KIV
Giese, M.; Schoenegge, A.
1995. Karlsruhe 1995. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,50.)  

CogPiT - Configuration of Protocols in TIP
Stiller, B.
1995. In: Forschungs- und Arbeitsgebiete des Instituts für Telematik. Hrsg.: G. Krüger. Karlsruhe 1995. S. 115-120. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,22.) 

Some implementations results on random polling dynamic load balancing
Sanders, P.
1995. Karlsruhe 1995. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,40.)  

SFB 346: Rechnerintegrierte Produktion und Fertigung von Bauteilen
Grosse, A. G.; Keller, L.; Kottmann, D. A.
1995. In: Forschungs- und Arbeitsgebiete des Instituts für Telematik. Hrsg.: G. Krüger. Karlsruhe 1995. S. 111-114. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,22.) 

Multimediale Online-Dienste nach dem kombinierten WWW-Ansatz
Gessler, S.; Wicke, R.
1995. In: Forschungs- und Arbeitsgebiete des Instituts für Telematik. Hrsg.: G. Krüger. Karlsruhe 1995. S. 109-110. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,22.) 

Das BerKom-II-Projekt MMT
Hofmann, M.; Schmidt, C.
1995. In: Forschungs- und Arbeitsgebiete des Instituts für Telematik. Hrsg.: G. Krüger. Karlsruhe 1995. S. 105-108. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,22.) 

Der BERKOM Multimedia Multimedia Mail Teledienst (MMM)
Gessler, S.
1995. In: Forschungs- und Arbeitsgebiete des Instituts für Telematik. Hrsg.: G. Krüger. Karlsruhe 1995. S. 101-103. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,22.) 

Mensch-Maschine Interface im multimedialen Verwaltungsbüro
Zwissler, S.
1995. In: Forschungs- und Arbeitsgebiete des Instituts für Telematik. Hrsg.: G. Krüger. Karlsruhe 1995. S. 97-100. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,22.) 

Multimedia Collaboration
Sievert, J.
1995. In: Forschungs- und Arbeitsgebiete des Instituts für Telematik. Hrsg.: G. Krüger. Karlsruhe 1995. S. 95-96. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,22.) 

Mobile Community & Workflow Initiative (MCW)
Gessler, S.
1995. In: Forschungs- und Arbeitsgebiete des Instituts für Telematik. Hrsg.: G. Krüger. Karlsruhe 1995. S. 91-93. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,22.) 

Kommerzielle Nutzung von Netzen
Zwissler, S.
1995. In: Forschungs- und Arbeitsgebiete des Instituts für Telematik. Hrsg.: G. Krüger. Karlsruhe 1995. S. 85-88. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,22.) 

Moderne Hochleistungsnetze am Institut für Telematik
Wiltfang, H.
1995. In: Forschungs- und Arbeitsgebiete des Instituts für Telematik. Hrsg.: G. Krüger. Karlsruhe 1995. S. 81-84. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,22.) 

Visualisierung vernetzter Systeme
Vogelmann, V.
1995. In: Forschungs- und Arbeitsgebiete des Instituts für Telematik. Hrsg.: G. Krüger. Karlsruhe 1995. S. 75-79. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,22.) 

Generation of counterexamples for the my--calculus
Kick, A.
1995. Karlsruhe 1995. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,37.)  

Signaling in ATM networks - features and protocols
Stiller, B.
1995. In: Forschungs- und Arbeitsgebiete des Instituts für Telematik. Hrsg.: G. Krüger. Karlsruhe 1995. S. 69-74. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,22.) 

Unterstützung von Kooperation in verteilten Systemen
Sievert, J.
1995. In: Forschungs- und Arbeitsgebiete des Instituts für Telematik. Hrsg.: G. Krüger. Karlsruhe 1995. S. 65-68. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,22.) 

Integration des Netzwerkmanagements in das Management verteilter Anwendungen
Seitz, J.
1995. In: Forschungs- und Arbeitsgebiete des Instituts für Telematik. Hrsg.: G. Krüger. Karlsruhe 1995. S. 61-64. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,22.) 

Anwendungsorientierte Kommunikationsdienste
Schmidt, C.
1995. In: Forschungs- und Arbeitsgebiete des Instituts für Telematik. Hrsg.: G. Krüger. Karlsruhe 1995. S. 57-60. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,22.) 

CHIMPSY: Ein modulares Prozessorsystem für die Hochleistungskommunikation
Schiller, J.
1995. In: Forschungs- und Arbeitsgebiete des Instituts für Telematik. Hrsg.: G. Krüger. Karlsruhe 1995. S. 51-55. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,22.) 

Einsatz des OSI-Management-Framework im Bereich Anwendungsmanagement
Schaefer, G.
1995. In: Forschungs- und Arbeitsgebiete des Instituts für Telematik. Hrsg.: G. Krüger. Karlsruhe 1995. S. 47-50. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,22.) 

Abgekoppelte Objekte im Mobile Computing
Kottmann, D.
1995. In: Forschungs- und Arbeitsgebiete des Instituts für Telematik. Hrsg.: G. Krüger. Karlsruhe 1995. S. 43-46. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,22.) 

Zuverlässige Dienste in offenen Systemen: Anforderungen und Konzepte
Keller, L.
1995. In: Forschungs- und Arbeitsgebiete des Instituts für Telematik. Hrsg.: G. Krüger. Karlsruhe 1995. S. 39-42. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,22.) 

Dienstgüteunterstützung für Gruppenkommunikation
Hofmann, M.
1995. In: Forschungs- und Arbeitsgebiete des Instituts für Telematik. Hrsg.: G. Krüger. Karlsruhe 1995. S. 35-38. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,22.) 

Kooperation autonomer Agenten
Hartroth, J.
1995. In: Forschungs- und Arbeitsgebiete des Instituts für Telematik. Hrsg.: G. Krüger. Karlsruhe 1995. S. 31-34. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,22.) 

Would you ever risk non-monomorphic specification?
Schoenegge, A.
1995. Karlsruhe 1995. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,33.)  

Evolution in der Datenbanktechnologie
Grosse, A. G.
1995. In: Forschungs- und Arbeitsgebiete des Instituts für Telematik. Hrsg.: G. Krüger. Karlsruhe 1995. S. 27-30. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,22.) 

Informationen in mobiler Umgebung
Gessler, S.
1995. In: Forschungs- und Arbeitsgebiete des Instituts für Telematik. Hrsg.: G. Krüger. Karlsruhe 1995. S. 23-26. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,22.) 

Softwaretechnik für flexible und multimodale interaktive Anwendungen
Gellersen, H.-W.
1995. In: Forschungs- und Arbeitsgebiete des Instituts für Telematik. Hrsg.: G. Krüger. Karlsruhe 1995. S. 19-22. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,22.) 

Anwender-Kooperation in verteilten, multimedialen Umgebungen
Frick, O.
1995. In: Forschungs- und Arbeitsgebiete des Instituts für Telematik. Hrsg.: G. Krüger. Karlsruhe 1995. S. 15-18. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,22.) 

ATM und IPng
Dresler, S.
1995. In: Forschungs- und Arbeitsgebiete des Instituts für Telematik. Hrsg.: G. Krüger. Karlsruhe 1995. S. 11-14. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,22.) 

Zuverlässige Gruppenkommunikationsdienste in ATM-Netzen
Carle, G.
1995. In: Forschungs- und Arbeitsgebiete des Instituts für Telematik. Hrsg.: G. Krüger. Karlsruhe 1995. S. 7-10. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,22.) 

Protokollimplementierung mit Integrated Layer Processing
Braun, T.
1995. Forschungs- und Arbeitsgebiete des Instituts für Telematik. Hrsg.: G. Krüger, 3–6, Universität Karlsruhe (TH) 

Forschungs- und Arbeitsgebiete des Instituts für Telematik. Klausurtagung
Krueger, G.; Schaefer, G. (Eds.)
1995. Karlsruhe 1995. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,22.)  

Proof obligations for monomorphicity
Schoenegge, A.
1995. Karlsruhe 1995. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,34.)  

OPTIMIX language report for OPTIMIX 7.0
Assmann, U.
1995. Karlsruhe 1995. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,31.). doi:10.5445/IR/6395  

Netzwerk-Management und Hochgeschwindigkeits- Kommunikation. Teil XI. Seminar WS 1994/95
Hofmann, M.; Schaefer, G.; Schmidt, C.; Seitz, J. (Eds.)
1995. Karlsruhe 1995. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,18.)  

Netzwerk-Management und Hochgeschwindigkeits- Kommunikation. Teil XII
Dresler, S.; Schaefer, G.; Wiltfang, H. (Eds.)
1995. Karlsruhe 1995. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,35.)  

Extending dynamic logic for reasoning about evolving algebras
Schoenegge, A.
1995. Karlsruhe 1995. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,49.)  

From tableaux to witnesses for the my--calculus
Kick, A.
1995. Karlsruhe 1995. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,46.)  

Netzwerkmanagement: Neue Strukturen für die Zukunft. Seminar WS 94/95
Schreiner, G.; Zorn, W. (Eds.)
1995. Karlsruhe 1995. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,12.)  

A second look at overloading
Odersky, M.; Wadler, P.; Wehr, M.
1995. Karlsruhe 1995. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,3.)  

Reduced witnesses for the my--calculus
Kick, A.
1995. Karlsruhe 1995. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,47.)  

27. Jahresbericht. Institut für Siedlungswasserwirtschaft, Universität Karlsruhe (TH). Bericht für den Zeitraum von 01.01.1994 bis 31.12.1994
Institut für Siedlungswasserwirtschaft (Ed.)
1995. Universität Karlsruhe (TH). doi:10.5445/IR/57397  

Optimal selection from distributions with unknown parameters: robustness of Bayesian models
Mueller, A.
1995. Karlsruhe 1995. (Technical report. Institut für Wirtschaftstheorie und Operations Research, Universität Karlsruhe. 464.)  

Integral probability metrics and their generating classes of functions
Mueller, A.
1995. Karlsruhe 1995. (Technical report. Institut für Wirtschaftstheorie und Operations Research, Universität Karlsruhe. 463.)  

Stochastic orders generated by integrals: a unified study
Mueller, A.
1995. Karlsruhe 1995. (Technical report. Institut für Wirtschaftstheorie und Operations Research, Universität Karlsruhe. 462.)  

Innere-Punkt-Methoden und automatische Ergebnisverifikation in der Linearen Optimierung. PhD dissertation
Hocks, M.
1995. Universität Karlsruhe (TH). doi:10.5445/IR/42595  

Lastverteilung für feinkörnig parallelisiertes Branch-and-Bound. PhD dissertation
Henrich, D.
1995. Sankt Augustin. doi:10.5445/IR/42395  

Parallelism for free: bitvector analyses rightarrow no state explosion!
Knoop, J.; Steffen, B.; Vollmer, J.
1995. Proceedings of the Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS, Aarhus, Denmark 1995. Ed.: U.H. Engberg, 319–333, University of Aarhus  

Une modélisation à base de règles flous
Maennle, M.
1995. Nancy  

Life cycle models of buildings - a new approach
Kohler, N.
1995. In: EuropIA ’95, 5th International Conference on the Application of Artificial Intelligence to Architecture and Civil Engineering, Lyon 1995  

Design principles for secure integration of information
Calmet, J.; Schue, J.
1995. In: Proceedings of the 3rd Interdisciplinary Information Management Talks, IDIMT-95, Zadov/Czech Republ. 1995  

A confluent calculus for concurrent constraint programming with guarded choice
Marriott, K.; Odersky, M.
1995. Principles and practice of constraint programming - CP ’95. Ed.: U. Montanari, Springer-Verlag  

A second look at overloading
Odersky, M.; Wadler, P.; Wehr, M.
1995. Proceedings. ACM Conference on Functional Programming and Computer Architecture, 1995, 135–146  

A call-by-need lambda calculus
Ariola, Z. M.; Felleisen, M.; Maraist, J.; Odersky, M.; Wadler, P.
1995. Proceedings. 22nd ACM Symposium on Principles of Programming Languages, POPL 95, 1995, 233–246  

Högdalenverket: applying ILP in an industrial setting
Engels, R.
1995. In: Proceedings of the Intelligent Adaptive Systems Workshop, IAS ’95, Melbourne-Beach, Fla. 1995  

Programmverifikationssystem Tatzelwurm. Weiterentwicklung während des KORSO-Projekts
Deussen, P.; Hansmann, A.; Kaeufl, T.; Klingenbeck, S.
1995. Karlsruhe 1995. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,7.)  

Towards better algorithms for parallel backtracking
Sanders, P.
1995. Karlsruhe 1995. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,6.)  

The treatment of non-functional requirements in MIKE
Landes, D.; Studer, R.
1995. Software engineering : proceedings, ESEC ’95, 5th European Software Engineering Conference, Sitges, Spain, September 25 - 28, 1995. Ed.: W. Schäfer, 294–306, Springer-Verlag  

Assumptions and limitations of a problem- solving method: a case study
Fensel, D.
1995. In: Proceedings of the 9th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, Banff, Canada 1995. S. 1-19 

AIFB Jahresbericht. Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe (TH). 1994
Schmeck, H.; Seese, D.; Stucky, W.; Studer, R. (Eds.)
1995. AIFB. doi:10.5445/IR/360196  

Formula dependent model reduction through elimination of invisible transitions for checking fragments of CTL
Kick, A.
1995. Karlsruhe 1995. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,27.)  

A-ordered tableaux
Haehnle, R.; Klingenbeck, S.
1995. Karlsruhe 1995. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,26.)  

leanEA. A poor man’s evolving algebra compiler
Beckert, B.; Posegga, J.
1995. Karlsruhe 1995. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,25.)  

Fast subsumption checks using anti-links
Ramesh, A.; Murray, N. V.; Beckert, B.; Haehnle, R.
1995. Karlsruhe 1995. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,24.)  

Efficient parallel computation on workstation clusters
Warschko, T. M.; Tichy, W. F.; Herter, C. G.
1995. Karlsruhe 1995. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,21.)  

Flexible and transparent fault tolerance for distributed object-oriented applications
Kottmann, D.; Schill, A. B.
1995. Karlsruhe 1995. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,20.)  

Data flow analysis of parallel programs
Vollmer, J.
1995. Karlsruhe 1995. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,19.)  

Applying AXIOM to partial differential equations
Seiler, W. M.
1995. Karlsruhe 1995. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,17.)  

Multi-object cooperation in distributed object bases
Kottmann, D.; Lockemann, P. C.; Walter, H.-D.
1995. Karlsruhe 1995. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,16.)  

From radial to rectangular basis functions. A new approach for rule learning from large datasets
Berthold, M. R.; Huber, K.-P.
1995. Karlsruhe 1995. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,15.)  

The German equity market: risk, return, and liquidity
Goeppl, H.; Luedecke, T.; Schlag, C.; Schuetz, H.
1995. Karlsruhe 1995. (Diskussionspapier. Institut für Entscheidungstheorie und Unternehmensforschung, Universität Karlsruhe. 183.)  

The CuPit compiler for the MasPar MP-1 and MP-2: a literate programming document
Prechelt, L.
1995. Karlsruhe 1995. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,1.)