LEMMA or applying AI techniques to computer algebra
Homann, K.
1996. In: Proceedings of the Workshop on Automated Theorem Proving, 13th International Conference on Artificial Intelligence, IJCAI’93, 1993. Ed.: A. Bundy. S. 67  

Unified domains and abstract computational structures
Calmet, J.; Homann, K.; Tjandra, I. A.
1996. In: Artificial intelligence and symbolic mathematical computing. AISMC’92. Ed.: J. Calmet. Berlin 1993. S. 166-177  

Reasoning on knowledge in symbolic computing
Calmet, J.; Homann, K.; Tjandra, I. A.
1996. In: Proceedings of the 3rd International Symposium on Artificial Intelligence and Mathematics, AIM’94, 1994  

Algorithmic methods for Lie pseudogroups
Seiler, W. M.; Schue, J.; Calmet, J.
1996. In: Modern group analysis: advanced analytical and computational methods in mathematical physics. Ed.: N.H. Ibragimov. Dordrecht 1993. S. 337-344  

Formale Theorie partieller Differentialgleichungen
Seiler, W. M.
1996. In: Physik und Informatik - Informatik und Physik. Hrsg.: D. Krönig. Berlin 1992. S. 318-326. (Informatik-Fachberichte. 306.)  

Das Kooperative Gebäude - Studie zum Neubauvorhaben der GMD in Darmstadt
Hovestadt, L.; Hovestadt, V.; Friedrichs, K.
1996. Karlsruhe und Darmstadt  

Gentechnik bei Lebensmitteln - Fluch oder Segen?
Jany, K.-D.
1996  

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

Simulation halbgeordneter Petrinetz-Abläufe
Freytag, T.
1996. In: 3. Workshop Algorithmen und Werkzeuge für Petrinetze, Karlsruhe 1996. Hrsg.: J. Desel. Karlsruhe 1996. S. 14-20. (Bericht. Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe (TH). 341.)  

Applicability of formal synthesis illustrated via scheduling
Blumenroehr, C.; Eisenbiegler, D.; Kumar, R.
1996. IWLAS’96, Workshop on Logic and Architecture Synthesis, Grenoble, France 1996, 345–352  

Formal synthesis in circuit design - a classification and survey
Kumar, R.; Blumenroehr, C.; Eisenbiegler, D.; Schmid, D.
1996. Formal methods in computer-aided design. FMCAD ’96. Ed.: M. Srivas, 294–309, Springer-Verlag  

Implementation issues about the embedding of existing high level synthesis algorithms in HOL
Eisenbiegler, D.; Blumenroehr, C.; Kumar, R.
1996. Theorem proving in higher order logics. TPHOLs ’96. Ed.: J. von Wright, 157–172, Springer-Verlag  

Synthese von Verhaltensbeschreibungen in VHDL mittels logischer Transformationen
Eisenbiegler, D.; Kumar, R.
1996. Tagungsband des 4. GI-ITG-GME-Workshops Methoden des Entwurfs und der Verifikation Digitaler Systeme, Kreischa 1996. Hrsg.: B. Straube, 11–20., Shaker Verlag  

A formal model for a VHDL subset of synchronous circuits
Eisenbiegler, D.; Kumar, R.; Mueller, J.
1996. APCHDL’96, Asean Pacific Conference on Hardware Description Languages, Bangalore, India 1996  

Identification of rule-based fuzzy models using the RPROP optimization technique
Maennle, M.; Richard, A.; Doersam, T.
1996. Proceedings of EUFIT, Aachen, Germany 1996, 587–591  

Derivate
Schlag, C.
1996. Karlsruhe 1996. (Diskussionspapier. Institut für Entscheidungstheorie und Unternehmensforschung, Universität Karlsruhe (TH). 204.)  

Neural networks and the evaluation of derivatives. Some insights into the implied pricing mechanism of German stock index options
Herrmann, R.; Narr, A.
1996. Karlsruhe 1996. (Diskussionspapier. Institut für Entscheidungstheorie und Unternehmensforschung, Universität Karlsruhe (TH). 202.)  

Indexierung und Preisbildung. Eine empirische Studie am Beispiel des Deutschen Aktienindex (DAX)
Herrmann, R.
1996. Karlsruhe 1996. (Diskussionspapier. Institut für Entscheidungstheorie und Unternehmensforschung, Universität Karlsruhe (TH). 201.)  

Martingale restrictions and implied distributions for German stock index option prices
Neumann, M.; Schlag, C.
1996. Karlsruhe 1996. (Diskussionspapier. Institut für Entscheidungstheorie und Unternehmensforschung, Universität Karlsruhe (TH). 196.)  

Naive Diversifikation am deutschen Aktienmarkt - eine empirische Retrospektive
Hellevik, J. S.; Herrmann, R.
1996. Karlsruhe 1996. (Diskussionspapier. Institut für Entscheidungstheorie und Unternehmensforschung, Universität Karlsruhe (TH). 193.)  

Die Karlsruher Kapitalmarktdatenbank (KKMDB) - Eine Bilanz und ein Ausblick
Herrmann, R.
1996. Karlsruhe 1996. (Diskussionspapier. Institut für Entscheidungstheorie und Unternehmensforschung, Universität Karlsruhe (TH). 189.)  

An explorative investigation of intraday trading on the German stock market
Kirchner, T.; Schlag, C.
1996. Karlsruhe 1996. (Diskussionspapier. Institut für Entscheidungstheorie und Unternehmensforschung, Universität Karlsruhe (TH). 188.)  

Interactive translation of conversational speech
Waibel, A.
1996. Computer, IEEE Comput. Soc. 29 (1996) H. 7 S. 41-48  

A fast search technique for large vocabulary on-line handwriting recognition
Manke, S.; Finke, M.; Waibel, A.
1996. In: International Workshop on Frontiers in Handwriting Recognition, Univ. of Essex, Colchester, England 1996  

A modelbased gaze tracking system
Stiefelhagen, R.; Yang, J.; Waibel, A.
1996. In: IEEE International Joint Symposia on Intelligence and Systems - Image, Speech & Natural Language Systems, Maryland, USA 1996  

Adaptive bimodal sensor fusion for automatic speechreading
Meier, U.; Huerst, W.; Duchnowski, P.
1996. In: Conference proceedings. The 1996 International Conference on Acoustics, Speech and Signal Processing, ICASSP 96, Atlanta, Ga. 1996. Vol. 2. Piscataway, NJ 1996. S. 833-836  

Modelling unknown words in spontaneous speech
Kemp, T.; Jusek, A.
1996. Conference proceedings. The 1996 International Conference on Acoustics, Speech and Signal Processing, ICASSP 96, Atlanta, Ga. 1996. Vol. 1, 530–533, IEEE Service Center  

The bucket box intersection (BBI) algorithm for fast approximative evaluation of diagonal mixture Gaussians
Fritsch, J.; Rogina, I.
1996. In: Conference proceedings. The 1996 International Conference on Acoustics, Speech and Signal Processing, ICASSP 96, Atlanta, Ga. 1996. Vol. 2. Piscataway, NJ 1996. S. 837-840  

LVCSR-based language identification
Schultz, T.; Rogina, I.; Waibel, A.
1996. Conference proceedings. The 1996 International Conference on Acoustics, Speech and Signal Processing, May 7 - 10, Atlanta, Georgia, 1996; Vol. 2, 781–784, IEEE Service Center  

JANUS II translation of spontaneous conversational speech
Waibel, A.; Finke, M.; Kemp, T.; Maier, M.; Rogina, I.; Sloboda, T.; Woszczyna, M.; et al.
1996. In: Conference proceedings. The 1996 International Conference on Acoustics, Speech and Signal Processing, ICASSP 96, Atlanta, Ga. 1996. Vol. 1. Piscataway, NJ 1996. S. 409-412  

Dictionary learning for spontaneous speech recognition
Sloboda, T.; Waibel, A.
1996. Proceedings of the International Conference on Spoken Language Processing, ICSLP 96, Philadelphia, PA 1996. Vol. 4, 2328–2331, Appl. Science and Eng. Lab  

Class phrase models for language modeling
Ries, K.; Buoe, F. D.; Waibel, A.
1996. In: Proceedings of the International Conference on Spoken Language Processing, ICSLP 96, Philadelphia, PA 1996. Vol. 1. S. 398-401  

Recognition of spelled names over the telephone
Hild, H.; Waibel, A.
1996. In: Proceedings of the International Conference on Spoken Language Processing, ICSLP 96, Philadelphia, PA 1996. Vol. 1. S. 346-349  

Introducing linguistic constraints into statistical language modeling
Geutner, P.
1996. In: Proceedings of the International Conference on Spoken Language Processing, ICSLP 96, Philadelphia, PA 1996. Vol. 1. S. 402-405  

Learning to parse spontaneous speech
Buoe, F. D.; Waibel, A.
1996. In: Proceedings of the International Conference on Spoken Language Processing, ICSLP 96, Philadelphia, PA 1996. Vol. 2. S. 1153-1156  

End-to-end evaluation in JANUS: a speech-to-speech translation system
Gates, D.; Lavie, A.; Levin, L.; Waibel, A.; Gavalda, M.; Mayfield, L.; Woszczyna, M.; Zhan, P.
1996. In: Proceedings of the ECAI 96, Budapest 1996  

Search in a learnable spoken language parser
Buoe, F. D.; Waibel, A.
1996. In: Proceedings of the ECAI 96, Budapest 1996  

Feaspar: a feature structure parser learning to parse spoken language
Buoe, F. D.; Waibel, A.
1996. In: Proceedings. COLING-96, Copenhagen, Denmark 1996. Copenhagen 1996  

Automatische Identifizierung spontan gesprochener Sprachen mit neuronalen Netzen
Schultz, T.; Soltau, H.
1996. Natural language processing and speech technology. KONVENS 96. Ed.: D. Gibbon, 102–110, Mouton de Gruyter  

Regelbasiert generierte Aussprachevarianten für Spontansprache
Kemp, T.
1996. In: Natural language processing and speech technology. KONVENS 96. Ed.: D. Gibbon. Berlin 1996  

Methoden zur effizienten Berechnung komplexer Strömungen auf unstrukturierten Gittern. PhD dissertation
Rexroth, C.-H.
1996. Fak. f. Maschinenbau, Diss. v. 16.12.1996., Universität Karlsruhe (TH). doi:10.5445/IR/308396  

Modeling independent production buffers in discrete time queueing networks
Furmans, K.; Zillus, A.
1996. In: Proceedings of CIMAT ’96, Grenoble, France 1996. S. 275-280  

Global selection methods for SIMD computers
Branke, J.; Andersen, H. C.; Schmeck, H.
1996. Karlsruhe 1996. (Bericht. Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe (TH). 333.)  

Searching for shortest common supersequences by means of a heuristic-based genetic algorithm
Branke, J.; Middendorf, M.
1996. In: Proceedings of the 2nd Nordic Workshop on Genetic Algorithms, Univ. of Vaasa 1996. S. 105-113. (Proceedings of the University of Vaasa. 11.)  

A bidirectional ILP algorithm
Wiese, M.
1996. In: Proceedings of the MLnet Familiarization Workshop on Data Mining with Inductive Logic Programming (ILP for KDD), Bari, Italy 1996. S. 61-72  

Ontologies and the configurations of problem-solving methods
Studer, R.; Eriksson, H.; Gennari, J.; Tu, S.; Fensel, D.; Musen, M.
1996. In: Proceedings of the 10th Knowledge Acquisition for Knowledge-Based Systems Workshop, Banff, Canada 1996. S. 11/1-11/20  

Problem-solving methods: making assumptions for efficiency reasons
Fensel, D.; Straatmann, R.
1996. In: Advances in knowledge acquisition. EKAW ’96. Ed.: N. Shadbolt. Berlin 1996. S. 17-32. (Lecture notes in artificial intelligence. 1076.)  

Specification and verification of knowledge-based systems
Fensel, D.; Schoenegge, A.; Groenboom, R.; Wielinga, B.
1996. In: Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, Banff, Canada 1996. S. 4/1-4/20  

On parallel Turing machines with multi-head control units
Worsch, T.
1996. Karlsruhe 1996. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1996,11.)  

Assumptions in model-based diagnosis
Fensel, D.; Benjamins, R.
1996. In: Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, Banff, Canada 1996. S. 5/1-5/18  

Describing and integrating competence theories for problem solving components and machine learning algorithms
Engels, R.; Perkuhn, R.
1996. In: Position paper collection of the European Knowledge Acquisition Workshop, Matlock Bath, U.K. 1996. S. 127-140  

Planning tasks for knowledge discovery in databases. Performing task-oriented user-guidance
Engels, R.
1996. In: Proceedings of the 2nd International Conference on Knowledge Discovery in Databases, Portland, Or. 1996. S. 170-175  

A unifying view on business process modelling and knowledge engineering
Decker, S.; Erdmann, M.; Studer, R.
1996. In: Proceedings of the 10th Knowledge Acquisition for Knowledge-Based Systems Workshop, Banff, Canada 1996. S. 34/1-34/16  

Assumptions of problem-solving methods and their role in knowledge engineering
Benjamins, R.; Fensel, D.; Straatman, R.
1996. In: Proceedings. 12th European Conference on Artificial Intelligence, ECAI 96, Budapest, Hungary 1996. Ed.: W. Wahlster. Chichester 1996. S. 408-412  

Vergleich und Analyse von Ordnungseinschränkungen für freie Variablen Tableau
Pape, C.
1996. Karlsruhe 1996. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1996,30.)  

Domain and task modeling in MIKE
Angele, J.; Fensel, D.; Studer, R.
1996. In: Domain knowledge for interactive system design. Ed.: A.G. Sutcliffe. London 1996. S. 149-163  

Modeling problem-solving methods in new KARL
Angele, J.; Decker, S.; Perkuhn, R.; Studer, R.
1996. In: Proceedings of the 10th Knowledge Acquisition for Knowledge-Based Systems Workshop, Banff, Canada 1996. S. 1-18  

Combining KARL and CRLM for designing vertical transportation systems
Poeck, K.; Fensel, D.; Landes, D.; Angele, J.
1996. Int. j. on human-comput. studies 44 (1996) S. 435-467  

Conceptual and formal specifications of problem-solving methods
Fensel, D.; Eriksson, H.; Musen, M.; Studer, R.
1996. Int. j. of expert syst. 9 (1996) S. 507-532  

INCOME/STAR: facing the challenges for cooperative information system development environments
Oberweis, A.; Stucky, W.; Zimmermann, G.
1996. Distributed information systems in business. Ed.: W. König, 17–34, Springer-Verlag  

Das MMI-Verbundprojekt am TecO
Gessler, S.; Zwissler, S.
1996. Karlsruhe 1996. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1996,19.)  

Verification of a Prolog compiler - first steps with KIV
Schellhorn, G.; Ahrendt, W.
1996. Karlsruhe 1996. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1996,27.)  

Type inference with constrained types
Sulzmann, M.; Odersky, M.; Wehr, M.
1996. Karlsruhe 1996. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1996,28.)  

Java Seminarbeiträge
Philippsen, M. (Ed.)
1996. Karlsruhe 1996. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1996,24.)  

Netzwerkmanagement und Hochgeschwindigkeitskommunikation. Teil XIV
Dresler, S.; Schaefer, G.; Wiltfang, H.
1996. Karlsruhe 1996. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1996,23.)  

Datenverteilung als Konfigurationsproblem
Eisenbiegler, J.
1996. Karlsruhe 1996. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1996,22.)  

Dynamische Fuzzy-Systeme: Stabilitätsanalyse und Reglerentwurf
Schaefers, E.; Krebs, V.; Sackmann, M.
1996. In: Berichtsband. 6. Workshop "Fuzzy-Control" des GMA-UA 1.4.2, Dortmund 1996. Dortmund 1996. S. 43-56. (Forschungsberichte. Universität Dortmund, Fakultät für Elektrotechnik. 796.)  

Eine Strategie zur Gewinnung Neuronaler Modelle für nichtlineare dynamische Systeme
Schultz, J.
1996. In: Mess- und Automatisierungstechnik. GMA- Kongreá ’96. Düsseldorf 1996. S. 733-743. (VDI-Berichte. 1282.)  

Modeling and analysis of qualitative systems based on a new fuzzy inference approach
Schaefers, E.; Krebs, V.
1996. In: Intelligent systems. 2nd International Symposium, Sankt Petersburg 1996. S. 57-62  

Logical design of relational fuzzy controllers
Krebs, V.; Boehm, R.
1996. In: 2nd World Automation Congress, WAC’96, Montpellier 1996  

An evidential merit function to guide search in a semantic network based image analysis system
Quint, F.; Sties, M.
1996. In: Advances in structural and syntactical pattern recognition. SSPR ’96. Ed.: P. Perner. Berlin 1996. S. 140-149. (Lecture notes in computer science. 1121.)  

Evaluating model fidelity in an aerial image analysis system
Quint, F.; Sties, M.
1996. In: 18th Congress, International Society for Photogrammetry and Remote Sensing, Vienna, Austria 1996. Ed.: K. Kraus. Pt. B3. S. 669-674. (International archives of photogrammetry and remote sensing. 31,B3.)  

Colour aerial image segmentation using a Bayesian homogeneity predicate and map knowledge
Quint, F.; Landes, S.
1996. In: 18th Congress, International Society for Photogrammetry and Remote Sensing, Vienna, Austria 1996. Ed.: K. Kraus. Pt. B3. S. 663-668. (International archives of photogrammetry and remote sensing. 31,B3.)  

Architectural photogrammetry and picture processing for acquisition and documentation of a Brazilian town ensemble
Landes, S.; Baehr, H.-P.; Ringle, K.
1996. In: 18th Congress, International Society for Photogrammetry and Remote Sensing, Vienna, Austria 1996. Ed.: K. Kraus. Pt. B5. S. 309-312. (International archives of photogrammetry and remote sensing. 31,B5.)  

The EPOS speckle filter: a comparison with some well-known speckle reduction techniques
Hagg, W.; Sties, M.
1996. In: 18th Congress, International Society for Photogrammetry and Remote Sensing, Vienna, Austria 1996. Ed.: K. Kraus. Pt. B2. S. 135-140. (International archives of photogrammetry and remote sensing. 31,B2.)  

Bundesweite Landnutzungskartierung mit ERS-1 SAR-Bilddaten. DARA Projektabschluábericht, FKZ 50 QS 89105
Hagg, W.; Sties, M.
1996. Karlsruhe : Inst. f. Photogrammetrie u. Fernerkund., Univ. Karlsruhe 1996. doi:10.5445/IR/233296  

A-ordered tableaux
Haehnle, R.; Klingenbeck, S.
1996. Journal of Logic and Computation, 6, 819–834  

How does the solution of a Markov decision process depend on the transition probabilities?
Mueller, A.
1996. Karlsruhe 1996. (Technical report. Institut für Wirtschaftstheorie und Operations Research, Universität Karlsruhe. 474.)  

Netzwerk-Management und Hochgeschwindigkeits- Kommunikation. Teil XIII
Dorner, E.; Hofmann, M.; Schmidt, C.; Seitz, J. (Eds.)
1996. Karlsruhe 1996. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1996,14.)  

The ParaPC/ParaStation project: efficient parallel computing by clustering workstations
Warschko, T. M.; Blum, J. M.; Tichy, W. F.
1996. Karlsruhe 1996. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1996,13.)  

Implementing semantic tableaux
Posegga, J.; Schmitt, P. H.
1996. Karlsruhe 1996. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1996,12.)  

Common syntax of the DFG-Schwerpunktprogramm "Deduktion"
Haehnle, R.; Kerber, M.; Weidenbach, C.
1996. Karlsruhe 1996. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1996,10.)  

Delegating remote operation execution in a mobile computing environment
Kottmann, D.; Wittmann, R.; Posur, M.
1996. Universität Karlsruhe (TH). doi:10.5445/IR/22196  

Wissensgewinnung aus grossen Datenbasen. Seminar im Wintersemester 95/96
Bol, G.; Breitner, C.; Muelle, J.; Schloesser, J. (Eds.)
1996. Karlsruhe 1996. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1996,8.)  

On relations between arrays of processing elements of different dimensionality
Achilles, A.-C.; Kutrib, M.; Worsch, T.
1996. Karlsruhe 1996. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1996,6.)  

Randomized parallel motion planning for robot manipulators
Qin, C.; Henrich, D.
1996. Karlsruhe 1996. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1996,5.)  

Proving compiler correctness with evolving algebra specifications
Beckert, B.; Haehnle, R.
1996. Karlsruhe 1996. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1996,4.)  

Incremental theory reasoning methods for semantic tableaux
Beckert, B.; Pape, C.
1996. Karlsruhe 1996. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1996,2.)  

Formal analysis of the Cauchy problem for a system associated with the (2+1)-dimensional Krichever-Novikov equation
Seiler, W. M.; Vassiliou, P. J.; Rogers, C.
1996. Acta applicandae mathematicae 42 (1996) S. 249-265  

Quantization of the reduced phase space of two-dimensional dilaton gravity
Seiler, W. M.; Tucker, R. W.
1996. Phys. rev. D 52 (1996) S. 4366-4373  

Structures for symbolic mathematical reasoning and computation
Homann, K.; Calmet, J.
1996. In: Design and implementation of symbolic computation systems. DISCO’96. Ed.: J. Calmet. Berlin 1996. S. 216-227. (Lecture notes in computer science. 1128.)  

Languages for cooperative problem solving in mathematics
Homann, K.
1996. In: Proceedings of the 5th Rhine Workshop on Computer Algebra, RWCA’96, Saint-Louis 1996. Ed.: A. Carriere. Saint-Louis 1996. S. 27.1-27.3. (ISL report. PR 801.)  

Classification of communication and cooperation mechanisms for logical and symbolic computation systems
Calmet, J.; Homann, K.
1996. Frontiers of combining systems. Ed.: F. Baader, 133–146, Kluwer Academic  

An executable graphical representation of mediatory information systems
Calmet, J.; Debertin, D.; Jekutsch, S.; Schue, J.
1996. In: Proceedings of the 12th International Conference on Data Engineering, New Orleans, La. 1996. Ed.: S.Y.W. Su. Los Alamitos, Calif. 1996. S. 124-131  

Signed formula logic programming: operational semantics and applications
Calmet, J.; Lu, J.; Rodriguez, M.; Schue, J.
1996. In: Foundations of intelligent systems. ISMIS ’96. Ed.: Z.W. Ras. Berlin 1996. S. 202-211. (Lecture notes in computer science. 1079.)  

A review of subdivision direction selection in interval methods for global optimization
Csendes, T.; Ratz, D.
1996. In: Numerical analysis, scientific computing, computer analysis. ICIAM / GAMM 95. Ed.: G. Alefeld. Berlin 1996. S. 319-322. (Zeitschrift für angewandte Mathematik und Mechanik. 76, Suppl. 1.)  

Improved techniques for gap-treating and box-splitting in interval Newton Gauss-Seidel steps for global optimization with validation
Ratz, D.
1996. In: Numerical analysis, scientific computing, computer analysis. ICIAM / GAMM 95. Ed.: G. Alefeld. Berlin 1996. S. 323-326. (Zeitschrift für angewandte Mathematik und Mechanik. 76, Suppl. 1.)  

On branching rules in second-order branch- and-bound methods for global optimization
Ratz, D.
1996. In: Scientific computing and validated numerics. Ed.: G. Alefeld. Berlin 1996. S. 221-227. (Mathematical research. 90.)  

Conserving slave boson approximations for the Anderson model beyond NCA
Kroha, J.; Woelfle, P.; Costi, T. A.; Hirschfeld, P. J.; Muttalib, K. A.
1996. Czech. j. of phys. 46 (1996) Suppl. S4 S. 1897  

Disorder-enhanced electron correlations near the crystalline-amorphous transitions
Kroha, J.; Huck, A.; Kopp, T.
1996. Czech. j. of phys. 46 (1996) Suppl. S4 S. 2275