Article

Amundsen, Per A. and Jakubaßa-Amundsen, Doris H. (1983): Charge transfer at large scattering angles in the strong potential Born approximation. In: Journal of Physics, Vol. B, No. 17: pp. 2671-2686

Amundsen, Per A. and Jakubaßa-Amundsen, Doris H. (1980): Charge transfer in asymmetric heavy-ion collisions. In: Journal of Physics, Vol. B, No. 13: L467

Amundsen, Per A. and Jakubaßa-Amundsen, Doris H. (1984): Charge transfer to a fast projectile in the presence of a nuclear resonance. In: Physical Review Letters, No. 53: pp. 222-225

Amundsen, Per A. and Jakubaßa-Amundsen, Doris H. (1988): Coupled subshell approximation for L-shell ionisation. In: Journal of Physics, Vol. B, No. 21: L99-L105

Anholt, R. and Jakubaßa-Amundsen, Doris H. and Amundsen, Per A. and Ashamar, K. (1983): Direct pair production in heavy-ion-atom collisions. In: Physical review, Vol. A, No. 27: pp. 680-690

Brinkhoff, Thomas and Kriegel, Hans-Peter (1994): Approximations for a Multi-Step Processing of Spatial Joins. In: Lecture Notes in Computer Science, No. 884: pp. 25-34

Bry, François (1981): Note on a theorem of J. Folkman on transversals of infinite families with finitely many infinite members. In: Journal of Combinatorial Theory - Series B, Vol. 30, No. 1: pp. 100-102

Bry, François (1981): Note on a theorem of J. Folkman on transversals of infinite families with finitely many infinite members. In: Journal of Combinatorial Theory - Series B, Vol. 30, No. 1: pp. 100-102

Bry, François (1983): On the Factorization of Graphs with Exactly One Vertex of Infinite Degree. In: Discrete Mathematics, Vol. 43, No. 2-3: pp. 317-320

Bry, François (1983): On the Number of 1-Factors of Locally Finite Graphs. In: Journal of combinatorial theory, Vol. 34, No. 1: pp. 48-57

Bry, François (1990): Query Evaluation in Deductive Databases. Bottom-up and Top-down Reconciled. In: Data & knowledge engineering, Vol. 5, No. 4: pp. 289-312

Bry, François (1983): Sur les Couplages dans les Graphes localement finis. In: Annals of Discrete Mathematics, Vol. 17: pp. 143-147

Bry, François and Kneißl, Fabian and Weiand, Klara and Furche, Tim (2012): Term-Specific Eigenvector-Centrality in Multi-Relation Networks. In: International Journal of Social Network Mining, Vol. 1, No. 2: pp. 141-159

Bry, François and Kraus, Michael (2002): Perspectives for Electronic Books in the World Wide Web Age. In: The Electronic Library, Vol. 20, No. 4: pp. 275-287

Bry, François and Las Vergnas, Michel (1982): The Edmonds-Gallai Decomposition for Matchings in Locally Finite Graphs. In: Combinatorica, Vol. 2, No. 3: pp. 229-235

Bry, François and Nagel, Wolfgang E. and Schroeder, Michael (2004): Grid-Computing. In: Informatik-Spektrum, Vol. 27, No. 6: pp. 542-545

Bry, François and Thauront, Gérard (1986): Gestion Interne de Données Statistiques. In: Modèles et Bases de Données, Vol. 4: pp. 25-38

Buchholz, Wilfried (1986): A new system of proof-theoretic ordinal functions. In: Annals of pure and applied logic, Vol. 32: pp. 195-207

Buchholz, Wilfried (1987): An independence result for (II1-CA)+BI. In: Annals of pure and applied logic, Vol. 33: pp. 131-155

Buchholz, Wilfried (1975): Ein ausgezeichnetes Modell für die intuitionistische Typenlogik. In: Archiv für mathematische Logik und Grundlagenforschung, Vol. 17: pp. 55-60

Buchholz, Wilfried (1988): Induktive Definitionen und Dilatoren. In: Archive for Mathematical Logic, No. 27: pp. 51-60

Buchholz, Wilfried (1991): Notation systems for infinitary derivations. In: Archive for Mathematical Logic, No. 30: pp. 277-296

Buchholz, Wilfried (1976): Über Teilsysteme von _. In: Archiv für mathematische Logik und Grundlagenforschung, Vol. 18: pp. 85-98

Buchholz, Wilfried and Cichon, A. and Weiermann, A. (1994): A uniform approach to fundamental sequences and hierarchies. In: Mathematical Logic Quarterly, No. 40: pp. 273-286

Buchholz, Wilfried and Pohlers, W. (1978): Provable wellorderings of formal theories for transfinitely iterated inductive definitions. In: Journal of symbolic logic, Vol. 43, No. 1: pp. 118-125

Buchholz, Wilfried and Schütte, K. (1976): Die Beziehungen zwischen den Ordinalsystemen und. In: Archiv für mathematische Logik und Grundlagenforschung, Vol. 17: pp. 179-190

Böckl, H. and Spies, R. and Bell, F. and Jakubaßa-Amundsen, Doris H. (1984): Inverted cusps in electron spectra near zero electron velocity in inelastic ion-atom collisions. In: Physical Review, Vol. A, No. 29: pp. 983-984

Eckert, Michael and Bry, François (2009): Aktuelles Schlagwort "Complex Event Processing (CEP)". In: Informatik-Spektrum, Vol. 32, No. 2: pp. 163-167

Eckert, Michael and Bry, François (2009): Complex Event Processing (CEP).

Egidy, T. v. and Jakubaßa-Amundsen, Doris H. and Hartmann, F. (1984): Calculation of muonic Coulomb capture probabilities from electron binding energies. In: Physical Review, Vol. A, No. 29: pp. 455-461

Fahrmeir, Ludwig and Gössl, C. (2002): Semiparametric Bayesian models for human brain mapping. In: Statistical Modelling, Vol. 2, No. 3: pp. 235-249

Fritsch, Rudolf (1990): 200 Jahre französische Revolution. Problem und Satz von Napoleon mit Variationen. In: Didaktik der Mathematik, No. 18: pp. 15-29

Fritsch, Rudolf (1985): A categorys quotient category of isomorphism types versus its skeleton. In: Glasnik Matematički, No. 20: pp. 297-300

Fritsch, Rudolf (1976): An approximation theorem for maps into Kan fibrations. In: Pacific Journal of Mathematics, No. 65: pp. 347-351

Fritsch, Rudolf (1994): An optimization oddity. In: The college mathematics journal, No. 25: pp. 227-229

Fritsch, Rudolf (1985): Aufgaben für Mathematikzirkel mit Mittelstufenschülern. In: Der mathematische und naturwissenschaftliche Unterricht, No. 38: p. 448

Fritsch, Rudolf (1987): Bemerkung zu "Dien-te Potenz der Summe zweier Quadrate ist die Summe zweier Quadrate" von K.H. Metzger. In: Der mathematische und naturwissenschaftliche Unterricht, No. 40: p. 180

Fritsch, Rudolf (1978): Bemerkungen zur Axiomatik affiner Räume. In: Mitteilungen aus dem Mathematischen Seminar Gießen, No. 132: pp. 23-28

Fritsch, Rudolf (1971): Charakterisierung semisimplizialer Mengen durch Unterteilung und Graphen. In: Manuscripta Mathematica, No. 5: pp. 213-227

Fritsch, Rudolf (1992): Der Satz von Bodenmiller-Steiner. In: Die Wurzel, No. 26: pp. 47-52

Fritsch, Rudolf (1982): Die Quadratur des Kreises - unmöglich! In: Um-bits, No. 12: pp. 4-7

Fritsch, Rudolf (1981): Dreiecks-Ungleichungen für Tetraeder. In: Der mathematische und naturwissenschaftliche Unterricht, No. 34: pp. 274-278

Fritsch, Rudolf (1978): Ein affiner Beweis des Satzes von v. Staudt-Schleiermacher. In: Montashefte für Mathematik, No. 86: pp. 177-184

Fritsch, Rudolf (1975): Einbettung affiner Räume. In: Mathematisch - Physikalische Semesterberichte, No. 22: pp. 146-157

Fritsch, Rudolf (1980): Eine geometrische Hinführung zum inneren Produkt. In: Didaktik der Mathematik, No. 8: pp. 133-147

Fritsch, Rudolf (1984): Energietetraeder? In: Mitteilungen aus dem mathematischen Seminar Gießen, No. 163: pp. 151-177

Fritsch, Rudolf (1976): Ext á la Yoneda without the Schanuel Lemma. In: Proceedings of the american mathematical society, No. 57: pp. 39-42

Fritsch, Rudolf (1990): Fortbildungsaktivitäten für Mathematiklehrer an Gymnasien. In: Mitteilungen der deutschen Mathematiker-Vereinigung, No. 1: pp. 8-9

Fritsch, Rudolf (1988): Grußwort zum Gedenkkolloquium für Professor Dr. Robert Brückner. In: Münchener Blätter zur Versicherngsmathematik, No. 9: pp. 1-3

Fritsch, Rudolf (1992): Gudermann, Bodenmiller und der Satz von Bodenmiller-Steiner. In: Didaktik der Mathematik, No. 20: pp. 165-187

Fritsch, Rudolf (1986): Historische Anmerkungen zu "affin-reguläre n-Ecke und ihre regulären Komponenten". In: Der mathematische und naturwissenschaftliche Unterricht, Vol. 39, No. 8: p. 502

Fritsch, Rudolf (1976): Höhenschnittpunkte für n-Simplizes. In: Elemente der Mathematik, No. 31: pp. 1-8

Fritsch, Rudolf (1985): Kantenkugeln. Geometrische Anwendungen der linearen Algebra. In: Mathematische Semesterberichte, No. 32: pp. 84-109

Fritsch, Rudolf (1973): Kategorien, Funktoren, natürliche Transformationen. In: Der mathematische und naturwissenschaftliche Unterricht, No. 26: pp. 65-68

Fritsch, Rudolf (1976): Mehrtafelprojektionen in der Inzidenzgeometrie. In: Abhandlungen aus dem mathematischen Seminar der Universität Hamburg, No. 45: pp. 61-67

Fritsch, Rudolf (1983): Merkwürdige Kugeln am Tetraeder. Teil 1. In: Didaktik der Mathematik, No. 11: pp. 262-269

Fritsch, Rudolf (1985): Raumgeometrie in Schule und Forschung. In: Berichte aus der Forschung (UM-Interna, Ludwig-Maximilians-Universität), No. 22: pp. 28-32

Fritsch, Rudolf (1974): Relative semisimpliziale approximation. In: Archiv der Mathematik, No. 25: pp. 75-78

Fritsch, Rudolf (1982): Remark on the simpliclical-cosimplical tensor product. In: Proceedings of the American Mathematical Society, No. 87: pp. 200-202

Fritsch, Rudolf (1993): Remarks on Bodenmillers theorem. In: Journal of Geometry, No. 47: pp. 23-31

Fritsch, Rudolf (1977): Response to query 111. In: Notices of the American Mathematical Society, No. 24: p. 222

Fritsch, Rudolf (1982): Rezension von "Ein Trainingskurs für das Mathematik-Abitur" von Alfred Walther. In: Zentralblatt für Didaktik der Mathematik, Vol. 14: pp. 290-291

Fritsch, Rudolf (1983): Rezension von "Geometric Topology in Dimensions 2 and 3"von E.E. Moise. In: Jahresbericht der Deutschen Mathematiker-Vereinigung, No. 85: pp. 43-45

Fritsch, Rudolf (1985): Rezension von "Kugelgeometrie" von Hans-Günther Bigalke. In: Zentralblat für Didaktik der Mathematik, Vol. 17: pp. 99-104

Fritsch, Rudolf (1972): Simpliziale und semisimpliziale Mengen. In: Bulletin de l`Acadèmie Polonaise des Sciences, Sèrie des Sciences Mathèmatiques, Astronomiques et Physiques, Vol. 20, No. 2: pp. 159-168

Fritsch, Rudolf (1970): Some remarks on S. Weingram: On the trinagulation of a semisimplicial complex [8]. In: Illinois Journal of Mathematics, No. 14: pp. 529-535

Fritsch, Rudolf (1974): Synthetische Einbettung Desarguesscher Ebenen in Räume. In: Mathematisch - Physikalische Semesterberichte, No. 21: pp. 237-249

Fritsch, Rudolf (1980): Topologische Räume, semisimpliziale Mengen und kleine Kategorien. In: Mitteilungen der Mathematischen Gesellschaft der Deutschen Demokratischen Republik, No. 4: pp. 53-57

Fritsch, Rudolf (1989): Transzendenz von e im Leistungskurs? In: Der mathematische und naturwissenschaftliche Unterricht, No. 42: pp. 75-80

Fritsch, Rudolf (1972): Variations on the theorems of Jordan-Hölder and Schreier. In: Journal of pure and applied algebra, No. 2: pp. 209-229

Fritsch, Rudolf (1986): Vorschläge für Raumgeometrie in der Mittelstufe. In: Der mathematische und naturwissenschaftliche Unterricht, No. 39: pp. 339-348

Fritsch, Rudolf (1993): Wer hats gemerkt? Geometrische Beweislücke über 400 Jahre unentdeckt? In: Didaktik der Mathematik, No. 21: pp. 157-160

Fritsch, Rudolf (1974): Werner Bos. In: Didaktik der Mathematik, No. 2: p. 61

Fritsch, Rudolf (1990): Wie wird der Vierfarbensatz bewiesen? In: Der mathematische und naturwissenschaftliche Unterricht, No. 43: pp. 80-87

Fritsch, Rudolf (1981): Winkelverteilung am Tetraeder. In: Didaktik der Mathematik, No. 9: pp. 276-290

Fritsch, Rudolf (1987): Zahlen in der allgemeinbildenden Schule. In: Wissenschaftsmagazin (Technische Universität Berlin), No. 10: pp. 68-74

Fritsch, Rudolf (1989): Zum 50. Todestag des Mathematikers Ferdinand von Lindemann. Vortrga im Rahmen der Wissenschaftlichen Jahrestagung der Altpreußischen Gesellschaft für Wissenschaft, Kunst und Literatur im Haus der Ost- und Westpreußen in Oberschleißheim bei München am 4.11.1989. In: Acta Borussica, No. 4: pp. 224-237

Fritsch, Rudolf (1983): Zum 60. Geburtstag von Herbert Zeitler. In: Didaktik der Mathematik, No. 11: pp. 233-235

Fritsch, Rudolf (1985): Zur Kantenwinkelsumme der regulären Pyramiden. In: Elemente der Mathematik, No. 40: pp. 68-75

Fritsch, Rudolf (1969): Zur Unterteilung semisimplizialer Mengen. , No. 108: pp. 329-367

Fritsch, Rudolf and Brinkmann, Hans-Berndt and Kamps, Klaus Heiner and Wolff, Gerhard (1976): Werner Bos 1924-1973. In: Jahresbericht der Deutschen Mathematiker-Vereinigung, No. 78: pp. 67-77

Fritsch, Rudolf and Eddy, Roland H. (1994): The conics of Ludwig Kiepert. A comprehensive lesson in the geometry of the tringle. In: Mathematics magazine, No. 67: pp. 188-205

Fritsch, Rudolf and Egger, Thomas and Seebach, Karl (1983): Zum Winkelsummensatz für Tetraeder. In: Didaktik der Mathematik, No. 11: pp. 14-35

Fritsch, Rudolf and Flachsmeyer, Jürgen (1993): Redaktionelle Bemerkung des wissenschaftlichen Beirats. In: Didaktik der Mathematik, No. 21: pp. 154-156

Fritsch, Rudolf and Fritsch, Gerda (1991): Augustus de Morgan (1806 - 1871). In: Didaktik der Mathematik, No. 19: pp. 247-251

Fritsch, Rudolf and Latch, Dana May (1981): Homotopy inverses for nerve. In: Mathematische Zeitschrift, No. 177: pp. 147-179

Fritsch, Rudolf and Latch, Dana May (1979): Homotopy inverses for nerve (Research announcement). In: Bulletin of the American Mathematical Society, No. 1: pp. 258-262

Fritsch, Rudolf and Piccinini, Renzo A. (1993): CW-complexes and Euclidean spaces. In: Rendiconti del circolo matematico di Palermo, Vol. 2, No. 24: pp. 79-95

Fritsch, Rudolf and Prestel, Alexander (1982): Bewertungsfortsetzungen und nicht-injektive Kollineationen. In: Geometriae Dedicata, No. 13: pp. 107-111

Fritsch, Rudolf and Puppe, Dieter (1967): Die Homöomorphie der geometrischen Realisierungen einer semisimplizialen Menge und ihrer Normalunterteilung. In: Archiv der Mathematik, No. 18: pp. 508-512

Fritsch, Rudolf and Wolff, Gerhard (1978): Strukturen für die Menge der affinen Endomorphismen eines Moduls bzw. eines affinen Raumes. In: Mitteilungen aus dem mathematischen Seminar Gießen, No. 130: pp. 93-106

Fritsch, Rudolf and Wyler, Oswald (1971): The Schreier refinement theorem for categories. In: Archiv der Mathematik, No. 22: pp. 570-572

Gonzalez, Orland and Gronau, Susanne and Pfeiffer, Friedhelm and Mendoza, Eduardo and Zimmer, Ralf and Oesterhelt, Dieter (2009): Systems analysis of bioenergetics and growth of the extreme halophile Halobacterium salinarum. In: PLoS computational biology, Vol. 5, No. 4: e1000332

Gonzalez, Orland and Oberwinkler, Tanja and Mansueto, Locedie and Pfeiffer, Friedhelm and Mendoza, Eduardo and Zimmer, Ralf and Oesterhelt, Dieter (2010): Characterization of growth and metabolism of the haloalkaliphile Natronomonas pharaonis. In: PLoS computational biology, Vol. 6, No. 6: e1000799

Herberich, Esther and Sikorski, Johannes and Hothorn, Torsten (2010): A robust procedure for comparing multiple means under heteroscedasticity in unbalanced designs. In: PloS one, Vol. 5, No. 3: e9788

Hinz, Andreas M. (2010): A straightened proof for the uncountability of R. In: Elem. Math., Vol. 65: pp. 26-28

Jakubaßa-Amundsen, Doris H. (1992): A systematic study of relativistic (e, 2e) collisions in comparison with experiment. In: Journal of Physics, Vol. B, No. 25: pp. 1297-1305

Jakubaßa-Amundsen, Doris H. (1975): Bremsstrahlung in heavy-ion reactions. In: Zeitschrift für Physik, Vol. A, No. 273: p. 29

Jakubaßa-Amundsen, Doris H. (1974): Calculation on the 0+ and 2+ giant resonances in Ni58. In: Zeitschrift für Physik, No. 286: p. 409

Jakubaßa-Amundsen, Doris H. (1973): Calculation on the nuclear breathing modes. In: Zeitschrift für Physik, No. 261: p. 305

Jakubaßa-Amundsen, Doris H. (1980): Charge transfer in heavy-ion collisions at relativistic velocities. In: Zeitschrift für Physik, Vol. A, No. 298: p. 13

Jakubaßa-Amundsen, Doris H. (1987): Comment on magnetic e+e- resonances in a central field. In: Physical Letters, Vol. A, No. 120: pp. 407-412

Jakubaßa-Amundsen, Doris H. (1987): Distorted wave Born theory for electron capture during resonant nuclear scattering. In: Journal of Physics, Vol. B, No. 20: L705-L709

Jakubaßa-Amundsen, Doris H. (1977): Dynamical screening of ions passing through solids. In: Journal of Physics, Vol. C, No. 10: p. 4491

Jakubaßa-Amundsen, Doris H. (1983): Electron emission in asymmetric collisions with fast heavy projectiles via continuum charge transfer. In: Journal of Physics, Vol. B, No. 16: pp. 1767-1781

Jakubaßa-Amundsen, Doris H. (1980): Electron loss from medium-energy projectiles in collisions with heavy target atoms. In: Journal of Physics, Vol. B, No. 13: p. 2099

Jakubaßa-Amundsen, Doris H. (1979): Gamma-electrons from k- and l-shell ionisation in relativistic systems. In: Zeitschrift für Physik, Vol. A, No. 293: p. 281

Jakubaßa-Amundsen, Doris H. (1990): Influence of nuclear reactions on electron transfer in energetic ion-atom collisions. In: Physical Review Letters, No. 65: pp. 2247-2250

Jakubaßa-Amundsen, Doris H. (1994): Influence of the projectile field on free target electrons. In: Physical Review, Vol. A, No. 49: pp. 2634-2641

Jakubaßa-Amundsen, Doris H. (1988): Ipulse approximation for cusp electron production from target K and L shell. In: Physical Review, Vol. A, No. 34: pp. 70-81

Jakubaßa-Amundsen, Doris H. (1991): Momentum distribution of an electron scattered from a screened potential. In: Physical Letters, Vol. A, No. 158: pp. 129-134

Jakubaßa-Amundsen, Doris H. (1985): Nonadiabatic sliding model for rearrangement collisions. In: Physical Review, Vol. A, No. 32: pp. 2166-2174

Jakubaßa-Amundsen, Doris H. (1984): On the anisotropy of Gamma-electrons from slow heavy-ion collisions in the emission angles theta f and phi f. In: Zeitschrift für Physik, Vol. A, No. 315: pp. 21-27

Jakubaßa-Amundsen, Doris H. (1987): On the applicability of the impulse approximation for radiative capture into bound and continuum states. In: Journal of Physics, Vol. B, No. 20: pp. 325-336

Jakubaßa-Amundsen, Doris H. (1984): On the effect of off-shell wavefunctuons on K and L shell charge transfer in fast, asymmetric collisions. In: Zeitschrift für Physik, Vol. A, No. 316: pp. 161-167

Jakubaßa-Amundsen, Doris H. (1985): Radiative electron capture accompanying resonant neclear scattering. In: Zeitschrift für Physik, Vol. A, No. 322: pp. 191-197

Jakubaßa-Amundsen, Doris H. (1989): Relativistic motion in a time-dependent two-center model potential. In: Zeitschrift für Physik, Vol. D, No. 11: pp. 305-313

Jakubaßa-Amundsen, Doris H. (1990): Relativistic second Born theory for electron capture. In: Physical Review, Vol. A, No. 42: pp. 653-654

Jakubaßa-Amundsen, Doris H. (1992): Second-order theories for electron loss in fast collisions with He atoms. In: Zeitschrift für Physik, Vol. D, No. 22: pp. 701-711

Jakubaßa-Amundsen, Doris H. (1981): Semiclassical Faddeev approximation for electron loss in fast heavy-ion collisions. In: Journal of Physics, Vol. B, No. 14: pp. 3139-3151

Jakubaßa-Amundsen, Doris H. (1976): Semiclassical theory of positron emission in transcient supercritical atoms. In: Zeitschrift für Physik, Vol. A, No. 277: p. 41

Jakubaßa-Amundsen, Doris H. (1981): Semiclssical impulse approximation for L-shell electron capture in asymmetric heavy-ion collisions. In: Journal of Physics, Vol. B, No. 14: pp. 2647-2656

Jakubaßa-Amundsen, Doris H. (1993): Strong potential second Born theory for electron loss to the continuum in collision with heavy targets. In: Journal of Physics, Vol. B, No. 26: pp. 2853-2868

Jakubaßa-Amundsen, Doris H. (1993): The electron loss peak in ion-atom collisions: A probe for the projectile or for the target atomic structure. In: Journal of Physics, Vol. B, No. 26: L227-L235

Jakubaßa-Amundsen, Doris H. (1989): The forward peak for neutral projectiles. In: Journal of Physics, Vol. B, No. 22: pp. 3989-3999

Jakubaßa-Amundsen, Doris H. (1994): The importance of continuum eigenstates in electron spectroscopy. In: Nuclear Instruments and Methods in Physics Research, Vol. B, No. 86: pp. 82-89

Jakubaßa-Amundsen, Doris H. (1991): The impulse approximation for electron transfer in reactive nucleus-atom collisions. In: Journal of Physics, Vol. B, No. 24: pp. 3019-3044

Jakubaßa-Amundsen, Doris H. (1985): The nonadiabatic sliding model and its application to Gamma-electron emission. In: Zeitschrift für Physik, Vol. A, No. 320: pp. 557-564

Jakubaßa-Amundsen, Doris H. (1990): The second Born approximation for electron loss to the continuum. In: Journal of Physics, Vol. B, No. 53: pp. 3335-3351

Jakubaßa-Amundsen, Doris H. (1984): Theoretical description of the cusp electrons ejected in asymmetric heavy-ion collisions. In: Lecture Notes in Physics, No. 213: pp. 17-27

Jakubaßa-Amundsen, Doris H. (1989): Theoretical models for atomic charge transfer in ion-atom collisions. In: International Journal of Modern Physics A, Vol. 4, No. 4: pp. 769-844

Jakubaßa-Amundsen, Doris H. (1978): Variational calculation of the 1s orbital in quasi-molecular systems. In: Zeitschrift für Physik, Vol. A, No. 285: p. 249

Jakubaßa-Amundsen, Doris H. (1979): Variational method for inner-shell sxcitation in heavy-ion collisions. In: Zeitschrift für Physik, Vol. A, No. 290: p. 13

Jakubaßa-Amundsen, Doris H. and Amundsen, Per A. (1982): Angular distribution of Gamma-electrons emitted in slow, asymmetric heavy-ion collisions. In: Physica Scripta, No. 26: pp. 155-162

Jakubaßa-Amundsen, Doris H. and Amundsen, Per A. (1985): Electron capture across a nuclear resonance in the strong potential Born approximation. In: Journal of Physics, Vol. B, No. 18: pp. 757-774

Jakubaßa-Amundsen, Doris H. and Amundsen, Per A. (1979): Equivalence of the adiabatic approximation and the Born approximation for excitations in slowly colliding asymmetric systems. In: Journal of Physics, Vol. B, No. 12: L725

Jakubaßa-Amundsen, Doris H. and Amundsen, Per A. (1985): Exact relativistic second Born approximation for electron capture. In: Physical Review, Vol. A, No. 32: pp. 3106-3108

Jakubaßa-Amundsen, Doris H. and Amundsen, Per A. (1980): On the semiclassical impulse approximation for electron capture in asymmetric ion-atom collisions. In: Zeitschrift für Physik, Vol. A, No. 297: p. 203

Jakubaßa-Amundsen, Doris H. and Amundsen, Per A. (1981): On the validity of the impulse approximation for electron capture in asymmetric collisions. In: Journal of Physics, Vol. B, No. 14: L705-L710

Jakubaßa-Amundsen, Doris H. and Amundsen, Per A. and Aashamar, K. (1983): Impact-parameter dependence of K-shell ionisation in slow collisioons of near-symmetric relitivistic atoms. In: Journal of Physics, Vol. B, No. 16: pp. 1047-1061

Jakubaßa-Amundsen, Doris H. and Höppler, R. and Betz, H.-D. (1984): Radiative electron capture in fast ion-atom collisions. In: Journal of Physics, Vol. B, No. 17: pp. 3943-3949

Jakubaßa-Amundsen, Doris H. and Macek, J. (1989): Electronic motion in a time-dependent two-center model potential. In: Journal of Physics, Vol. A, No. 22: pp. 4151-4162

Keim, Daniel A. and Kriegel, Hans-Peter (1994): Using Visualization to Support Data Mining of Large Existing Databases. In: Lecture Notes in Computer Science, No. 871: pp. 210-229

Keim, Daniel A. and Kriegel, Hans-Peter and Miethsam, Andreas (1993): Object-oriented modeling of meta-information for semantic schema enrichment and (semi)automated schema transformation. In: Technical report of the Institute for Computer Science, University of Munich, No. 9306

Keim, Daniel A. and Kriegel, Hans-Peter and Miethsam, Andreas (1993): Query translation of an object-oriented into a relational query language. In: Technical Report of the Institute for Computer Science, University of Munich, No. 9325

Keim, Daniel A. and Kriegel, Hans-Peter and Seidl, Thomas (1993): Supporting Data mining of large databases by visual feedback queries. In: Technical Report of the Institue for Computer Science, University of Munich, No. 9310

Kleber, M. and Jakubaßa-Amundsen, Doris H. (1975): Radiative electron capture in heavy-ion collisions. In: Nuclear physics, Vol. A, No. 252: pp. 152-162

Kozhuharov, C. and Kienle, P. and Jakubaßa-Amundsen, Doris H. and Kleber, M. (1977): Gamma-rays from K-shell ionisation induced by heavy-ion collision. In: Physical Review Letters, No. 39: p. 540

Kriegel, Hans-Peter and Brinkhoff, Thomas and Schneider, Ralf (1993): Efficient Spatial Query Processing in Geographic Databse Systems. In: IEEE Data Engineering Bulletin, Vol. 16, No. 3: pp. 10-15

Kuzel, M. and DuBois, R. D. and Maier, R. and Heil, O. and Jakubaßa-Amundsen, Doris H. and Lucas, M. W. and Groeneveld, K. O. (1994): Elastic scattering of quasi-free electrons in strongly asymmetric collisions. In: Journal of Physics, Vol. B, No. 27: pp. 1993-2008

Kuzel, M. and Heil, O. and Maier, R. and Lucas, M. W. and Jakubaßa-Amundsen, Doris H. and Farmery, B. W. and Groeneveld, K. O. (1992): The doubly inelastic contribution to electron loss: H0 and He0 (0,5 MeV u-1) in collision with Ar. In: Journal of Physics, Vol. B, No. 25: pp. 1839-1851

Kuzel, M. and Maier, R. and Heil, O. and Jakubaßa-Amundsen, Doris H. and Lucas, M. W. and Groeneveld, K. O. (1993): Ramsauer-Townsend effect in the electron loss from H0 colliding with heavy atoms. In: Physical Review Letters, No. 71: pp. 2879-2882

Küffner, Robert and Petri, Tobias and Windhager, Lukas and Zimmer, Ralf (2010): Petri Nets with Fuzzy Logic (PNFL): Reverse Engineering and Parametrization. In: PloS one, Vol. 5, No. 9: e12807

Leeb, Bernhard and Scott, Peter (2000): A geometric characteristic splitting in all dimensions. , Vol. 75, No. 2: pp. 201-215

Mathis, Alexander and Herz, Andreas V. M. and Stemmler, Martin B. (2012): Optimal Population Codes for Space: Grid Cells Outperform Place Cells. In: Neural Computation, Vol. 24, No. 9: pp. 2280-2317

Meuss, Holger and Schulz, Klaus U. and Weigel, Felix and Leonardi, Simone and Bry, François (2005): Visual exploration and retrieval of XML document collections with the generic system X2. In: International Journal on Digital Libraries, Vol. 5, No. 1: pp. 3-17

Morel, Fabien (2004): Sur les puissances de l’id´eal fondamental de l’anneau de Witt. In: Commentarii Mathematici Helvetici, Vol. 79, No. 4: pp. 689-703

Oswald, W. and Schramm, R. and Jakubaßa-Amundsen, Doris H. and Betz, H.-D. (1994): Electron capture to continuum in collisions of bare projectiles with Ne targets. In: Journal of Physics, Vol. B, No. 27: pp. 513-532

Pareigis, Bodo (1981): A Non-commutative Non-Cocommutative Hopf Algebra in "Nature". In: Journal of Algebra, Vol. 70, No. 2: pp. 356-374

Pareigis, Bodo (1970): Bemerkung über Tensorprodukte von Körpern. In: Archiv der Mathematik, Vol. 21: pp. 479-482

Pareigis, Bodo (1966): Cohomoligie des p-algebres de Lie. In: Comptes rendus hebdomadaires des séances de l'Académie des Sciences, Vol. 263: A709-A712

Pareigis, Bodo (1964): Cohomology of Groups in Arbitrary Categories. In: Proceedings of the American Mathematical Society, Vol. 15: pp. 803-809

Pareigis, Bodo (1964): Einige Bemerkungen über Frobenius-Erweiterungen. In: Mathematische Annalen, Vol. 153, No. 1: pp. 1-13

Pareigis, Bodo (1994): Endomorphism Bialgebras of Diagrams and of Non-Commutative Algebras and Spaces. In: Pure and Applied Mathematics, Vol. 158: pp. 153-186

Pareigis, Bodo (1990): Forms of Hopf Algebras and Galois Theory. In: Banach Center Publications, Vol. 26: pp. 75-93

Pareigis, Bodo (1968): Kohomologie von p-Lie-Algebren. In: Mathematische zeitschrift, Vol. 104: pp. 281-336

Pareigis, Bodo (1994): Left Linear Theories. A Generalization of Module Theory. In: Applied Categorical Structures, Vol. 2: pp. 145-171

Pareigis, Bodo (1981): Morita Equivalence of Module Categories with Tensor Products. In: Communications in algebra, Vol. 9, No. 15: pp. 1455-1477

Pareigis, Bodo (1977): Non-additive Ring and Module Theory. II. C-categories, C-functors and C-morphisms. In: Publicationes Mathematicae, Vol. 24: pp. 351-361

Pareigis, Bodo (1978): Non-additive Ring and Module Theory. III. Morita Equivalences. In: Publicationes Mathematicae, Vol. 25: pp. 177-186

Pareigis, Bodo (1977): Non-additive Ring and Module theory. I. General theory of monoids. In: Publicationes mathematicae, Vol. 24: pp. 189-204

Pareigis, Bodo (1977): On Curves in Formal Groups. In: Transactions of the American Mathematical Society, Vol. 233: pp. 309-319

Pareigis, Bodo (1972): On the Cohomology of Modules over Hopf Algebras. In: Journal of Algebra, Vol. 22, No. 1: pp. 161-182

Pareigis, Bodo (1965): Radikale und kleine Moduln. In: Sitzungsberichte / Bayerische Akademie der Wissenschaften, Mathematisch-Naturwissenschaftliche Klasse, No. 14: pp. 185-199

Pareigis, Bodo (1989): Twisted Group Rings. In: Communications in Algebra, Vol. 17: pp. 2923-2939

Pareigis, Bodo (1966): Vergessende Funktoren und Ringhomomorphismen. In: Mathematische Zeitschrift, Vol. 93: pp. 265-275

Pareigis, Bodo (1971): When Hopf Algebras are Frobenius Algebras. In: Journal of Algebra, Vol. 18, No. 4: pp. 588-596

Pareigis, Bodo (1967): Zur Kohomologie endlich erzeugter abelscher Gruppen. In: Sitzungsberichte / Bayerische Akademie der Wissenschaften, Mathematisch-Naturwissenschaftliche Klasse, No. 9: pp. 177-193

Pareigis, Bodo (1964): Über normale, zentrale, separable Algebren und Amitsur-Kohomologie. In: Mathematische Annalen, Vol. 154, No. 4: pp. 330-340

Pareigis, Bodo and Greither, C. (1987): Hopf Galois Theory for Separable Field Extensions. In: Journal of Algebra, Vol. 106, No. 1: pp. 239-258

Pareigis, Bodo and Hagemüller, R. (1986): Hopf Algebra Forms of the Multiplicative Group and other Groups. In: Manuscripta Mathematica, Vol. 55: pp. 121-136

Pareigis, Bodo and Harrison, D. K. (1988): Witt Rings of Higher Degree Forms. In: Communications in Algebra, Vol. 16, No. 6: pp. 1275-1313

Pareigis, Bodo and Kasch, F. (1972): Einfache Untermoduln von Kogeneratoren. In: Sitzungsberichte / Bayerische Akademie der Wissenschaften, Mathematisch-Naturwissenschaftliche Klasse, No. 2: pp. 45-76

Pareigis, Bodo and Morris, R. A. (1974): Formal Groups and Hopf Algebras over Discrete Rings. In: Transactions of the American Mathematical Society, Vol. 197: pp. 113-129

Pareigis, Bodo and Morris, R. A. (1973): Formal Groups over Discrete Rings. In: Bulletin of the American Mathematical Society, Vol. 79: pp. 449-453

Pareigis, Bodo and Rosenberg, A. (1964): Addendum to "Amitsur's complex for purely inseparable fields". In: Osaka Journal of Mathematics, Vol. 1: pp. 33-44

Pareigis, Bodo and Sweedler, M. (1970): On Generators and Congenerators. In: Manuscripta Mathematica, Vol. 2: pp. 49-66

Pohl, Alexander and Gehlen-Baum, Vera and Bry, François Enhancing the Digital Backchannel Backstage on the Basis of a Formative User Study. In: International Journal of Emerging Technologies in Learning - iJET, Vol. 7, No. 1: pp. 33-41

Rödding, Dieter and Schwichtenberg, Helmut (1972): Bemerkungen zum Spektralproblem. In: Zeitschrift für mathematische Logik und Grundlagen der Mathematik, No. 18: pp. 1-12

Röschenthaler, D. and Betz, H.-D. and Rothermel, J. and Jakubaßa-Amundsen, Doris H. (1983): Ionisation of fast Rydberg ions in collisions with target atoms. In: Journal of Physics, Vol. B, No. 16: L233-L237

Schaffert, Sebastian and Bry, François and Baumeister, Joachim (2007): Semantic Wiki. In: Informatik-Spektrum, Vol. 30, No. 6: pp. 434-439

Schwichtenberg, Helmut (1991): An upper bound for reduction sequences in the typed gamma-calculus. In: Archive for Mathematical Logic, No. 30: pp. 405-408

Schwichtenberg, Helmut (1972): Beweistheoretische Charakterisierung einer Erweiterung der Grzegorczyk-Hierarchie. In: Archiv für mathematische Logik und Grundlagenforschung, No. 15: pp. 129-145

Schwichtenberg, Helmut (1976): Definierbare Funktionen im Lambda-Kalkül mit Typen. In: Archiv für mathematische Logik und Grundlagenforschung, No. 17: pp. 113-114

Schwichtenberg, Helmut (1971): Eine Klassifikation der e0-rekursiven Funktionen. In: Zeitschrift für mathematische Logik und Grundlagenforschung, No. 17: pp. 61-74

Schwichtenberg, Helmut (1979): On bar recursion of types 0 and 1. In: The Journal of Symbolic Logic, No. 44: pp. 325-329

Schwichtenberg, Helmut (1969): Rekursionszahlen und Grzegorczyk-Hierarchie. In: Archiv für mathematische Logik und Grundlagenforschung, No. 12: pp. 85-97

Spies, R. and Böckl, H. and Bell, F. and Jakubaßa-Amundsen, Doris H. (1984): The doubly differential alignment parameter A2 for the L3 subshell ionisation by heavy ion impact. In: Journal of Physics, Vol. B, No. 17: pp. 2841-2850

Trabold, H. and Sigaud, G. M. and Jakubaßa-Amundsen, Doris H. and Kuzel, M. and Heil, O. and Groeneveld, K. O. (1992): Electron capture and loss to continuum from 200 keV /u H0 and He0 projectiles colliding with He and Ar targets. In: Physical Review, Vol. A, No. 46: pp. 1270-1278

Zöschinger, Helmut (1994): Der Krull´sche Durchschnittssatz für kleine Untermoduln. In: Archiv der Mathematik, No. 62: pp. 292-299

Zöschinger, Helmut (1992): Die Lasker-Bedingung für nicht endlich erzeugte Moduln. In: Periodica Mathematica Hungarica, No. 25: pp. 1-11

Zöschinger, Helmut (1994): Die globale Transformation eines lokalen Ringes. In: Journal of Algebra, No. 168: pp. 877-902

Zöschinger, Helmut (1980): Die k-Elemente von Ext1R(C,Rn). In: Hokkaido Mathematical Journal, No. 9: pp. 155-174

Zöschinger, Helmut (1992): Eine Dualisierung des Theorems von Matijevic. In: Communications in Algebra, No. 20: pp. 639-643

Zöschinger, Helmut (1978): Invarianten wesentlicher Überdeckungen. In: Mathematische Annalen, No. 237: pp. 193-202

Zöschinger, Helmut (1980): Koatomare Moduln. In: Mathematische Zeitschrift, No. 170: pp. 221-232

Zöschinger, Helmut (1974): Komplemente als direkte Summanden. In: Archiv der Mathematik, No. 25: pp. 241-253

Zöschinger, Helmut (1974): Komplemente als direkte Summanden. In: Mathematica Scandinavia, No. 35: pp. 267-287

Zöschinger, Helmut (1982): Komplemente als direkte Summanden II. In: Archiv der Mathematik, No. 38: pp. 324-334

Zöschinger, Helmut (1986): Komplemente als direkte Summanden III. In: Archiv der Mathematik, No. 46: pp. 125-135

Zöschinger, Helmut (1979): Komplemente für zyklische Moduln über Dedekindringen. In: Archiv der Mathematik, No. 32: pp. 143-148

Zöschinger, Helmut (1974): Komplementierte Moduln über Dedekindringen. In: Journal of Algebra, No. 29: pp. 42-56

Zöschinger, Helmut (1983): Linear-kompakte Moduln über noetherschen Ringen. In: Archiv der Mathematik, No. 41: pp. 121-130

Zöschinger, Helmut (1986): Minimax-Moduln. In: Journal of Algebra, No. 102: pp. 1-32

Zöschinger, Helmut (1981): Projektive Moduln mit endlich erzeugtem Radikalfaktormodul. In: Mathematische Annalen, No. 255: pp. 199-206

Zöschinger, Helmut (1979): Quasi-separable und koseparable Moduln über diskreten Bewertungsringen. In: Mathematica Scandinavia, No. 44: pp. 17-36

Zöschinger, Helmut (1987): Summen von einfach-radikalvollen Moduln. In: Mathematische Zeitschrift, No. 194: pp. 585-601

Zöschinger, Helmut (1978): Über Torsions- und k-Elemente von Ext(C,A). In: Journal of Algebra, No. 50: pp. 299-336

Zöschinger, Helmut (1988): Über die Maximalbedingung für radikalvolle Untermoduln. In: Hokkaido Mathematical Journal, No. 17: pp. 101-116

Zöschinger, Helmut (1988): Über koassoziierte Primideale. In: Mathematica Scandinavia, No. 63: pp. 196-211

Bibliography

Bry, François and Manthey, Rainer (2005): Variations on a Theme: A Bibliography on Approaches to Theorem Proving Inspired From Satchmo. Ludwig-Maximilians-Universität München

Thesis

Bry, François (1981): Sur les Couplages dans les Graphes Infinis. Dissertation, Université Pierre et Marie Curie, Paris 6

Heller, Elizabeth (2009): Bewegungsaktivität von Rehwild im Tages- und Jahresverlauf. Bachelor, Ludwig-Maximilians-Universität München

Hommel, Wolfgang (2012): Integriertes Management von Security-Frameworks. Professorial Dissertation, Ludwig-Maximilians-Universität München

Hölzlwimmer, Manuela (2009): Exit Polls: Geschichte und statistische Aspekte. Bachelor, Ludwig-Maximilians-Universität München

Schwichtenberg, Helmut (1968): Eine Klassifikation der mehrfach-rekursiven Funktionen. Dissertation, Mathematisches Institut der Universität Münster

Schwichtenberg, Helmut (1973): Einige Anwendungen von unendlichen Termen und Wertfunktionalen. Professorial Dissertation, Mathematisches Institut der Universität Münster

Zöschinger, Helmut (1972): Komplementierte Moduln. Dissertation, Ludwig-Maximilians-Universität München

Book Section

Buchholz, Wilfried (1992): A simplified version of local predicativity. In: Aczel, Peter and Simmons, Harold and Wainer, Stanley S. (eds.) , Proof theory. Leeds: Cambridge University Press. pp. 117-147

Buchholz, Wilfried (1975): Normalfunktion und konstruktive Systeme von Ordinalzahlen. In: Diller, Justus and Müller, Gert Heinz (eds.) , Springer lecture notes in mathematics - Proof theory symposium. Vol. 500. Springer. pp. 4-25

Buchholz, Wilfried (1991): A note on the ordinal analysis of KPM. In: Oikonen, Väänänen (ed.) , Logic Colloquium 90`, Springer Lecture Notes in Logic. Vol. 2. Springer. pp. 1-9

Buchholz, Wilfried and Sieg, W. (1990): A note on polynomial time computable arithmetic. In: American Mathematical Society (ed.) , Logic and Computation. Vol. 106. Providence, RI: . pp. 51-55

Fritsch, Rudolf (1994): Albert Daniel Mercklein. In: Bayerische Akademie der Wissenschaften <München> / Historische Kommission (ed.) , Neue deutsche Biographie. Vol. 17. Berlin: Duncker & Humblot. pp. 162-163

Fritsch, Rudolf (1994): August Ferdinand Möbius. In: Bayerische Akademie der Wissenschaften <München> / Historische Kommission (ed.) , Neue deutsche Biographie. Vol. 17. Berlin: Duncker & Humblot. pp. 600-603

Fritsch, Rudolf (1994): Franz Meyer. In: Bayerische Akademie der Wissenschaften <München> / Historische Kommission (ed.) , Neue deutsche Biographie. Vol. 17. Berlin: Duncker & Humblot. pp. 336-337

Fritsch, Rudolf (1994): Herbert Meschkowski. In: Bayerische Akademie der Wissenschaften <München> / Historische Kommission (ed.) , Neue deutsche Biographie. Vol. 17. Berlin: Duncker & Humblot. pp. 207-209

Fritsch, Rudolf (1994): Karl Menger. In: Bayerische Akademie der Wissenschaften <München> / Historische Kommission (ed.) , Neue deutsche Biographie. Vol. 17. Berlin: Duncker & Humblot. pp. 74-75

Fritsch, Rudolf (1990): Hans von Mangoldt. In: Historischen Kommission bei der Bayerischen Akademie der Wissenschaften (ed.) , Neue deutsche Biographie. Vol. 16. Berlin: Duncker und Humblot. pp. 30-32

Fritsch, Rudolf (1990): Rudolf Mehmke. In: Historischen Kommission bei der Bayerischen Akademie der Wissenschaften (ed.) , Neue deutsche Biographie. Vol. 16. Berlin: Duncker & Humblot. pp. 621-623

Fritsch, Rudolf (1978): Stammliste der masurischen Lehrerfamilie Gollub. In: Verein für Familienforschung in Ost- und Westpreußen (ed.) , Altpreußische Geschlechterkunde. Vol. 8. Hamburg: Verein für Familienforschung in Ost- und Westpreußen. pp. 141-144

Fritsch, Rudolf (1984): The transcendence of pi has been known for about a century - but who was the man who discovered it? In: Results in matheamtics. Vol. 7. Basel, Berlin: Birkhäuser. pp. 165-183

Fritsch, Rudolf (1972): Problem for the "Proceedings of the International Symposium on Topology and its Applications, Budva 1972". In: Proceedings of the International Symposium on Topology and its Applications, Budva 25-31. August 1972. . p. 97

Fritsch, Rudolf (1989): Transcendental numbers in secondary education. In: Barlotti, Adriano (ed.) , Atti del Convegno Internazionale "Cultura Matematica e Insegnamento". Firenze: . pp. 139-153

Fritsch, Rudolf (1985): Bourbaki in Kulmbach. In: Folkerts, Menso and Lindgren, Uta (eds.) , Mathemata - Festschrift für Helmuth Gericke. Vol. 12. Stuttgart: Steiner. pp. 607-611

Fritsch, Rudolf (1969): On subdivision of semisimplicial sets. In: Kurepa, Duro R. (ed.) , Proceedings of the International Symposium on Topology and its Applications. Beograd: Savez Drustava Mat., Fiz. i Astronoma Jugoslavije. pp. 156-163

Fritsch, Rudolf (1990): The Enterprise Tropfke. History of Elementary Mathematics. In: Lintz, Rubens G (ed.) , Proceedings of the International Symposium on Mathematics and Theoretical Physics. Berlin: Institutum Gaussianum. p. 420

Fritsch, Rudolf (1994): Bemerkungen zum Satz von Napoleon-Barlotti im Unterricht. In: Pickert, Günther and Weidig, Ingo (eds.) , Mathematik erfahren und lehren. Stuttgart: Ernst Klett Schulbuchverlag. pp. 89-95

Fritsch, Rudolf (1979): Ein Lehrer und zwei Schüler: Buzengeiger, v. Staudt und Feuerbach. In: Sund, Horst and Timmermann, Manfred (eds.) , Auf den Weg gebracht. Konstanz: Universitätsverlag Konstanz. pp. 139-160

Keim, Daniel A. and Kriegel, Hans-Peter (1994): VisDB: Database Exploration. Using Multidimensional Visualization. In: Computer Graphics and Applications. . pp. 44-49

Keim, Daniel A. and Kriegel, Hans-Peter (1994): Possibilities and Limits in Visualizing Large Amounts of Multidimensional Data. In: Grinstein, G. and Levkowitz, H. (eds.) , Perceptual Issues in Visualization. Heidelberg: Springer

Pareigis, Bodo (1987): Eigenschaften des leeren Raumes. Was denkbar ist. In: Albers, Gerd and Schubert, Venanz (eds.) , Der Raum - Raum des Menschen - Raum der Wissenschaft. Wissenschaft und Philosophie, Vol. 4. St. Ottilien: EOS Verlag. pp. 183-202

Pareigis, Bodo (1990): Fehlinformation der Öffentlichkeit durch statistische Daten. In: Hofner, Eva-Maria (ed.) , Tagungsband zum Wissenschaftsforum 1990 Defizite der Umweltforschung. Neuherberg: GSF

Pareigis, Bodo (1972): Algebraische Kategorien. In: Laugwitz, Detlef (ed.) , Überblicke Mathematik. Überblicke Mathematik, Vol. 5. Mannheim: Β·Ι· W I S S E N S C H A F T S V E R L AG. pp. 111-144

Schwichtenberg, Helmut (1987): Mathematische Logik. In: TU Berlin (ed.) , Mathematik. Vol. 10. Berlin: TU Berlin. pp. 39-42

Schwichtenberg, Helmut (1993): Proofs as programs. In: Aczel, P. and Simmons, H. and Wainer, S.S. (eds.) , Proof Theory. Cambridge: Cambridge University Press. pp. 81-113

Schwichtenberg, Helmut (1977): Proof Theorie: Some applications of cut-elimination. In: Barwise, J. (ed.) , Handbook of Mathematical Logic. Studies in logic and the foundations of mathematics, Vol. 90. Amsterdam: North-Holland. pp. 867-895

Schwichtenberg, Helmut (1991): Primitive recursion on the partial continuous functionals. In: Broy, M. (ed.) , Informatik und Mathematik. Berlin, Heidelberg, New York: Springer. pp. 251-268

Schwichtenberg, Helmut (1986): Ein einfaches Verfahren zur Normalisierung unendlicher Herleitungen. In: Börger, E. (ed.) , Computation Theory and Logic. Vol. 270. Berlin, Heidelberg, New York: Springer. pp. 334-348

Schwichtenberg, Helmut (1992): Minimal from classical proofs. In: Börger, E. and Jäger, G. and Kleine-Büning, H. and Richter, M.M. (eds.) , Computer Science Logic. Vol. 626. Berlin, Heidelberg, New York: Springer. pp. 326-328

Schwichtenberg, Helmut (1986): Eine Normalform für endliche Approximationen partiellen stetigen Funktionalen. In: Diller, J. (ed.) , Logik und Grundlagenforschung. Festkolloquium zum 100. Geburtstag von Heinrich Scholz. Schriftenreihe der Westfälischen Wilhelms-Universität Münster / Neue Folge, Vol. 8. Münster: Aschendorff. pp. 89-95

Schwichtenberg, Helmut and Wainer, Stanley S. (1975): Infinite terms and recursion in higher types. In: Diller, J. and Müller, G.H. (eds.) , Proof Theory Symposium Kiel 1974. Vol. 500. Berlin, Heidelberg, New York: Springer. pp. 341-364

Schütte, Kurt and Schwichtenberg, Helmut (1990): Mathematische Logik. In: Scharlau, W. and Fischer, G. and Hirzebruch, F. and Törnig, W. (eds.) , Ein Jahrhundert Mathematik 1890 - 1990. Dokumente zur Geschichte der Mathematik, Vol. 6. Braunschweig: Vieweg. pp. 717-740

Selbmann, Rolf (1986): Gutachten über die Beschaffenheit der Luft in den Classenzimmern des kgl. Wilhelms-Gymnasiums (1884). Quellenedition und Kommentar. In: Wilhelmsgymnasium München (ed.) , Wilhelmsgymnasium Jahresbericht 1985/86. München: . pp. 98-109

Wainer, S. and Buchholz, Wilfried (1987): Provably computable functions and the fast growing hierarchy. In: Simpson, Stephen G. (ed.) , Contemporary Mathematics. Vol. 65. Providence, RI: . pp. 179-198

Zöschinger, Helmut (1982): Gelfandringe und koabgeschlossene Untermoduln. In: Bayerische Akademie der Wissenschaften, Mathematische-Naturwissenschaftliche Klasse (ed.) , Sitzungsberichte. Vol. 3. München: Verlag der Bayerischen Akademie der Wissenschaften. pp. 43-70

Zöschinger, Helmut (1990): Moduln mit Komprimärzerlegung. In: Bayerische Akademie der Wissenschaften, Mathematisch-Naturwissenschaftliche Klasse (ed.) , Sitzungsberichte. Vol. 2. München: C. H. Beck. pp. 5-25

Zöschinger, Helmut (1976): Basis-Untermoduln und Quasi-kotorsions-Moduln über diskreten Bewertungsringen. In: Bayerische Akademie der Wissenschaften, Mathematisch-Naturwissenschaftliche Klasse (ed.) , Sitzungsberichte Jahrgang 1976. München: C. H. Beck. pp. 9-16

Conference or Workshop Item

Aldinger, Kai and Ester, Martin and Förstner, Gabriele and Kriegel, Hans-Peter and Seidl, Thomas (1994): Datenbankenunterstützung für das Protein-Protein-Docking: ein effizienter und robuster Feature-Index. 2. GI-Fachtagung “Informatik in den Biowissenschaften”, 05. - 07.09.1994, Jena.

Beckmann, Norbert and Kriegel, Hans-Peter and Schneider, Ralf and Seeger, Bernhard (1990): The R*-Tree: An efficient and robust access method for points an rectangles. ACM SIGMOD International Conference on Management of Data (SIGMOD'90), 1990, Atlantic City, NJ.

Berger, Sacha and Bry, François and Furche, Tim and Linse, Benedikt and Schroeder, Andreas (2006): Effective and Efficient Data Access in the Versatile Web Query Language Xcerpt. PPSWR 2006, 10. - 11. Juni 2006, Budva, Montenegro.

Berger, Ulrich and Schwichtenberg, Helmut (1991): An inverse of the evaluation functional for typed Lambda-calculus. 6th Annual IEE Symposium on Logic in Computer Science (LICS'91), 15. - 18. Juli 1991, Amsterdam.

Brinkhoff, Thomas and Horn, H. and Kriegel, Hans-Peter and Schneider, Ralf (1993): Eine Speicher- und Zugriffsarchitektur für effiziente Anfragebearbeitung in Geo-Datenbankensystemen. Fachtagung Datenbanksysteme in Büro, Technik und Wissenschaft, 1993, Braunschweig.

Brinkhoff, Thomas and Horn, Holger and Kriegel, Hans-Peter and Schneider, Ralf (1993): A storage and access architecture for efficient query processing in spatial database systems. 3rd International Symposium on Large Spatial Databases (SSD'93), 23. - 25. Juni 1993, Singapore.

Brinkhoff, Thomas and Kriegel, Hans-Peter (1994): The Impact of Global Clustering on Spatial Database Systems. VLDB Conference, 1994, Santiago de Chile.

Brinkhoff, Thomas and Kriegel, Hans-Peter and Schneider, Ralf (1993): Comparison of Approximations of Complex Objects Used fpr Approximation-based Query Processing in Spatial Databse Systems. 9th International Conference on Data Engineering (ICDE´93), 1993, Wien, Österreich.

Brinkhoff, Thomas and Kriegel, Hans-Peter and Schneider, Ralf and Seeger, Bernhard (1994): GENESYS: A System for Efficient Spacial Query Processing. ACM SIGMOD Interantional Conference on Managment of Data, 1994, Minneapolis.

Brinkhoff, Thomas and Kriegel, Hans-Peter and Schneider, Ralf and Seeger, Bernhard (1994): Multi-Step Processing of Spatial Joins. ACM SIGMOD International Conference on Management of Data, 1994, Minneapolis.

Brinkhoff, Thomas and Kriegel, Hans-Peter and Seeger, Bernhard (1993): Efficient Processing of Spatial Joins Using R-Trees. ACM SIGMOD International Conference on Management of Data (SIGMOD'93), 1993, Washington DC.

Bry, François (1989): Logic Programming as Constructivism. A Formalization and its Application to Databases. Symposium on Principles of Database Systems, 29.03.-31.03.1989, Philadelphia, Pennslyvania.

Bry, François (1990): Upside-down Deduction. Proceedings 6èmes Journées Bases de Données Avancées, 25. - 28.09.1990, Montpellier.

Bry, François (1992): Reflections on the Foundations of Meta-Programming. Is a Type Theory Needed? Joint International Conference and Symposium on Logic Programming, 11.1992, Washington.

Bry, François (1989): Towards an Efficient Evaluation of General Queries. Quantifier and Disjunction Processing Revisited. ACM SIGMOD International Conference on the Management of Data, 31.5. - 2.6.1989, Portland, Oregon.

Bry, François (1989): Logical Rewritings for Improving the evaluation of Quantified Queries. 2nd Symposium on Mathematical Fundamentals of Database Systems, 26.06.-30.06.1989, Visegrád, Ungarn.

Bry, François (1994): Constrained Query Answering. preliminary report. 1st International Workshop on Nonstandard Queries and Answers, 01. - 04.07.1991, Toulouse, Frankreich.

Bry, François (1984): A Statistical Data Model. 6th symposium on Computional Statistics (COMPSTAT), 21.08.-22.08.1984, Prag.

Bry, François (1991): Negation in Logic Programming. A Formalization in Constructive Logic. 1st Workshop on Information Systems and Artificial Intelligence: Integration Aspects, 19.03.-21.03.1990, Ulm.

Bry, François (1990): Query Evaluation in Recursive Databases. Bottom-up and Top-down Reconciled. First International Conference on Deductive and Object-Oriented Databases (DOOD89), 4. - 6. Dezember1989, Kyoto, Japan.

Bry, François (1993): Towards Intelligent Databases. 7th International Symposium on Methodologies for Intelligent Systems (ISMIS '93), 15.-18. Juni1993, Trondheim, Norway.

Bry, François (1990): Intensional Updates. Abduction via Deduction. 7th International Conference on Logic Programming (ICLP), 18.06.-20.06.1990, Jerusalem.

Bry, François and Boley, Harold and Geske, Ulrich (1993): Neuere Entwicklung der deklarativen KI-Programmierung. 17. Fachtagung für Künstliche Intelligenz, 13.09.-16.09.1993, Berlin.

Bry, François and Decker, Hendrik (1988): Préserver l'Intégrité d'une Base de Données Déductive. Une Méthode et son Implémentation. 4èmes Journées Bases de Données Avancées, 17. - 20.05.1988, Benodet, Frankreich.

Bry, François and Decker, Hendrik and Manthey, Rainer (1988): A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases. International Conference on Extending Database Technology, 14.03.-18.03.1988, Venedig.

Bry, François and Manthey, Rainer (1986): Sur la Validité des Schémas de Bases de Données. Journées Bases de Données Avancées, 22. - 25.04.1986, Giens, Frankreich.

Bry, François and Manthey, Rainer (1987): Proving Finite Satisfiability of Deductive Databases. 1st Workshop on Computer Science Logic (CSL), 12.10.-16.10.1987, Karlsruhe.

Bry, François and Manthey, Rainer (1986): Checking Consistency of Database Constraints. A Logical Basis. 12th International Conference on Very Large Data Bases (VLDB), 25. - 28. August 1986, Kyoto, Japan.

Bry, François and Manthey, Rainer (1988): SATCHMO: A Theorem Prover Implemented in Prolog. 9th International Conference on Automated Deduction (CADE), 23.05.-26.05.1988, Argonne, Illinois.

Bry, François and Manthey, Rainer (1987): A Hyperresolution-Based Proof Procedure and its Implementation in Prolog. 11th German Workshop on Artificial Intelligence (GWAI), 28.09. - 02.10.1987, Geseke bei Paderborn, Deutschland.

Bry, François and Manthey, Rainer and Martens, Bernd (1991): Integrity Verification in Knowledge Bases. 2nd Russian Conference on Logic Programming (RCLP), 11.09.-16.09.1991, St. Petersburg.

Bry, François and Thauront, Gérard (1986): Spécificités des SGBD statistiques. 4th International Symposium on Data Analysis and Informatics, 09.10.-11.10.1985, Versailles.

Fritsch, Rudolf (1982): Geometrie im Grundkurs. 8. Tagung der Fachleiter für Mathematik an den Studienseminaren in der Bundesrepublik Deutschland und in West-Berlin, 27. September - 1. Oktober 1982, Fuldatal/Kassel, Deutschland.

Fritsch, Rudolf (1985): Ein geometrisches Beispiel für die Macht und Ohnmacht des Differentialkalküls. 19. Bundestagung für Didaktik der Mathematik, 5. - 8.3.1985, Giessen, Deutschland.

Jakubaßa-Amundsen, Doris H. (1990): Spectral distribution of electrons emited into the continuum of fast projectiles: Theoretical approaches of higher order in comparison with experiment. ICPEAC, 1989, New York.

Keim, Daniel A. and Kriegel, Hans-Peter (1994): Query Translation Supporting the Migration of Legacy Databases into Cooperative Information Systems. 2nd International Conference on Cooperative Information Systems, 1994, Toronto, Canada.

Keim, Daniel A. and Kriegel, Hans-Peter (1994): Supporting Data Mining of Large Databases by Visual Feedback Queries. 10th International Conference on Data Engineering (ICDE´94), 1994, Houston, Texas.

Keim, Daniel A. and Kriegel, Hans-Peter and Miethsam, Andreas (1993): Object-oriented querying of existing relational databases. 4th International Conference on Database and Expert Systems Applications (DEXA'93) 6-8 Sept., 1993, Prag.

Keim, Daniel A. and Kriegel, Hans-Peter and Miethsam, Andreas (1993): Visual feedback in querying large databases. Visualization '93 Conference, 1993, San Jose, CA.

Kotowski, Jakub and Bry, François (2009): A Perfect Match for Reasoning, Explanation, and Reason Maintenance. Third International Conference, RR 2009, 25. - 26. Oktober 2009, Chantilly, USA.

Kriegel, Hans-Peter and Brinkhoff, Thomas and Schneider, Ralf (1991): The combination of spatial access methods and computational geometry in geographic database systems. 2nd Symposium on the Design of Large Spatial Databases (SSD'91), 1991, Zurich, Switzerland.

Kriegel, Hans-Peter and Heep, S. and Fahldiek, A. and Mysliwietz, N. (1993): Handling Geometric Objects with Free Form Surfaces in Spatial Databases. 2nd ACM IEEE Symposium Solid Modeling '93, 1993, Montreal, Canada.

Kriegel, Hans-Peter and Heep, Stephan and Fahldiek, Andreas and Mysliwietz, Norbert (1993): Query processing of geometric objects with free form boundarie sin spatial databases. 4th International Conference on Database and Expert Systems Applications (DEXA'93) 6-8 Sept., 1993, Prag.

Kriegel, Hans-Peter and Horn, H. and Schiwietz, M. (1991): The performance of object decomposition techniques for spatial query processing. 2nd Symposium on large spatial Databases (SSD'91), 1991, Zurich, Switzerland.

Kriegel, Hans-Peter and Schiwietz, M. and Schneider, Ralf and Seeger, B. (1990): Performance comparison of point and spatial access methods. 1st Smposium on the Design and Implementation of Large Spatial Databases, 17-18 Juli 1989, Santa Barabara, CA.

Kriegel, Hans-Peter and Schneider, Ralf and Brinkhoff, Thomas (1993): Potentials for improving query processing in spatial databse systems. 9iemes Journees Bases de Donnees Avoncee, 1993, Toulouse, Frankreich.

Pareigis, Bodo (1976): Non-additive ring and module theory IV The Brauer group of a symmetric monoidal category. Conference on Brauer Groups, 1975, Evanston, Ill..

Pareigis, Bodo and Rentschler, R. (1966): Reduktive Gruppen vom halbeinfachen Rang 1. Seminaire Heidelberg-Strasbourg 1965/66, Heidelberg.

Schiwietz, Michael and Kriegel, Hans-Peter (1993): Query processing of spatial objects: Complexity versus Redundancy. 3rd International Symposium on Large Spatial Databases (SSD'93), 23-25 Juni 1993, Singapore.

Schneider, Ralf and Kriegel, Hans-Peter (1992): Indexing the spatiotemporal monitoring of a polygonal object. 5th International Symposium on Spatial Data Handling, 1991, Charlston, SC.

Schwichtenberg, Helmut (1986): A normal form for natural deductions in a type theory with realizing terms. Congresso Logica e Filosofia della Scienza, 07. - 11. Dezember 1983, San Gimignano, Italia.

Schwichtenberg, Helmut (1989): Normalization. International Summer School Marktoberdorf, 25. Juli 1989 - 26. August 1989, Marktoberdorf, Germany.

Schwichtenberg, Helmut (1991): Minimal logic for computable functions. NATO Advanced Study Institute, International Summer School held in Marktoberdorf, 23.Juli 1991 - 04. August 1991, Marktoberdorf, Germany.

Schwichtenberg, Helmut (1978): Logic and the axiom of choice. Logic Colloquium, August 1978, Mons, Belgien.

Schwichtenberg, Helmut (1975): Elimination of higher type levels in definitions of primitive recursive functionals by means of transfinite recursion. Logic Colloquium, Juli 1973, Bristol.

Schwichtenberg, Helmut (1982): Complexity of normalization in the pure typed Lambda-calculus. The L.E.J. Browner Centenary Symposium, 08. - 13. Juni 1981, Noordwijkerhout, Niederlande.

Seeger, B. and Kriegel, Hans-Peter (1990): The Buddy Effect: An efficient and robust access method for spatial data base systems. 16th International Conference on Very Large Data BAses (VLDB'90), 1990, Brisbane, Australia.

Book

Amzallag, Émile and Piccioli, Norbert and Bry, François (1978): Introduction a la statistique. Paris: Hermann Collection Methodes

Buchholz, Wilfried and Schütte, K. (1983): Ein Ordinalzahlensystem für die beweistheoretische Abgrenzung der pi-1/2-Separation und Bar-Induktion. München: Verlag der bayerischen Akademie der Wissenschaften

Buchholz, Wilfried and Schütte, K. (1980): Syntaktische Abgrenzungen von formalen Systemen der Pi-Analysis und Delta -Analysis. München: Verlag der bayerischen Akademie der Wissenschaften

Fritsch, Rudolf (1966): Vektoranalysis. Ausarbeitung einer Vorlesung von Dieter Puppe.

Fritsch, Rudolf (1975): Zum Feuerbachschen Kreis. Konstanzer Universitätsreden 72. Konstanz: Universitätsverlag Konstanz

Fritsch, Rudolf and Fritsch, Gerda (1994): Der Vierfarbensatz. Geschichte, topologische Grundlagen und Beweisidee. Mannheim: B.I. - Wissenschaftsverlag

Fritsch, Rudolf and Piccinini, Renzo A. (1990): Cellular structures in Topology. Cambridge studies in advanced mathematics. Vol. 19. Ca,bridge: Cambridge University Press

Hußmann, Heinrich (1993): Nondeterminism in algebraic specifications and algebraic programs. Vol. 8. Boston/Basel/Berlin: Birkhäuser

Pareigis, Bodo (1970): Categories and Functors. Pure and applied mathematics; Vol. 39. New York: Academic Press

Pareigis, Bodo (1989): Der Raum und physikalische Quanteneffekte. Akademie - Vorträge; Vol. 3. Dillingen: Akademie für Lehrerfortbildung

Pareigis, Bodo (1986): Descent theory applied to Galois theory. Department of Math, University of California: San Diego

Pareigis, Bodo (1973): Endliche Hopf-Algebren. Vorlesungsausarbeitung. München: UNI-Druck

Pareigis, Bodo (1969): Kategorien und Funktoren. Mit 49 Aufgaben und zahlreichen Beispielen. Stuttgart: Teubner

Pareigis, Bodo (1990): Analytische und Projektive Geometrie für die Computer-Graphik. Stuttgart: Teubner

Pareigis, Bodo (1984): Four lectures on Hopf algebras. Barcelona: Barcelona

Paper

Alferes, José Júlio and Bailey, James and Berndtsson, Mikael and Bry, François and Dietrich, Jens and Kozlenkov, Alexander and May, Wolfgang and Patrânjan, Paula Lavinia and Pinto, Alexandre and Schroeder, Michael and Wagner, Gerd (2004): State-of-the-art on evolution and reactivity.

Alferes, José Júlio and Berndtsson, Mikael and Bry, François and Eckert, Michael and Henze, Nicola and May, Wolfgang and Patrânjan, Paula Lavinia and Schroeder, Michael (2005): Use-cases on evolution.

Alferes, José Júlio and Berndtsson, Mikael and Bry, François and Eckert, Michael and Henze, Nicola and May, Wolfgang and Patrânjan, Paula Lavinia and Schroeder, Michael (2005): Use-cases on reactivity.

Backofen, Rolf and Bry, François and Clote, Peter and Kriegel, Hans-Peter and Seidl, Thomas and Schulz, Klaus (1999): Aktuelles Schlagwort Bioinformatik.

Backofen, Rolf and Böck, August and Bry, François and Buckenmaier, Andreas and Clote, Peter and Gabriel, Wilfried and Grosschedl, Rudolf and Hegering, Heinz-Gerd and Hermann, Reinhold G. and Kriegel, Hans-Peter and Kahmann, Regine and Kröger, Fred and Linnhoff-Popien, Claudia and Mewes, Hans-Werner and Weiss, Elisabeth H. and Wirsing, Martin (1999): Positionspapier zum Ausbau der Bioinformatik an der Ludwig-Maximilians-Universität München.

Bailey, James and Bry, François and Eckert, Michael and Patrânjan, Paula Lavinia (2005): Flavours of XChange, a Rule-Based Reactive Language for the (Semantic) Web.

Bailey, James and Bry, François and Eckert, Michael and Patrânjan, Paula Lavinia (2005): Reactivity on the Web. Event Queries in XChange.

Baumgart, Daniel and Pohl, Alexander and Gehlen-Baum, Vera and Bry, François (2011): Providing guidance on Backstage, a novel digital backchannel for large class teaching.

Bolzer, Oliver and Bry, François and Furche, Tim and Kraus, Sebastian and Schaffert, Sebastian (2004): Development of Use Cases, Part I. Illustrating the Functionality of a Versatile Web Query Language.

Brodt, Simon and Bry, François (2012): Temporal Stream Algebra.

Brodt, Simon and Hausmann, Steffen and Bry, François (2011): D4.5 Implementation.

Brodt, Simon and Hausmann, Steffen and Bry, François (2010): Reactive Rules for Emergency Management.

Brodt, Simon and Hausmann, Steffen and Bry, François and Poppe, Olga and Eckert, Michael (2010): A Survey on IT-Techniques for a Dynamic Emergency Management in Large Infrastructures.

Bry, François (2012): Human Computation and Economics.

Bry, François and Clote, Peter and Hegering, Heinz-Gerd and Kriegel, Hans-Peter and Kröger, Fred and Ludwig, Thomas and Wirsing, Martin (1998): Weißbuch über Perspektiven in der Ludwig-Maximilians-Universität zum Anbruch des Informationszeitalters.

Bry, François and Colonna, François-Marie and Lorenz, Bernhard (2005): Multi-Paradigm Reasoning for Access to Heterogeneous GIS.

Bry, François and Furche, Tim and Badea, Liviu and Koch, Christoph and Schaffert, Sebastian and Berger, Sacha (2004): Identification of Design Principles.

Bry, François and Furche, Tim and Linse, Benedikt (2009): Model Theory and Entailment Rules for RDF Containers, Collections and Reification.

Bry, François and Furche, Tim and Olteanu, Dan (2004): Datenströme.

Bry, François and Kotowski, Jakub (2009): Reason Maintenance - Conceptual Framework.

Bry, François and Kotowski, Jakub (2008): Reason Maintenance - State of the Art.

Bry, François and Kraus, Michael (2002): Adaptive Hypermedia made simple using HTML/XML Style Sheet Selectors.

Bry, François and Kraus, Michael and Olteanu, Dan and Schaffert, Sebastian (2001): Aktuelles Schlagwort "Semi-strukturierte Daten".

Bry, François and Kröger, Peer (2000): A Molecular Biology Database Digest.

Bry, François and Kröger, Peer (2002): Aktuelles Schlagwort "Datenbanken in der Bioinformatik".

Bry, François and Manthey, Rainer and Schütz, Heribert (1995): Deduktive Datenbanken.

Bry, François and Marchiori, Massimo (2006): Towards a Rule Interchange Language for the Web.

Bry, François and Rieß, Frank-André and Spranger, Stephanie (2005): A Reasoner for Calendric and Temporal Data. Extended Version.

Bry, François and Rieß, Frank-André and Spranger, Stephanie (2005): A Reasoner for Calendric and Temporal Data. [Short version].

Bry, François and Rieß, Frank-André and Spranger, Stephanie (2005): A Type Language for Calendars. [Extended Version].

Bry, François and Rieß, Frank-André and Spranger, Stephanie (2005): A Type Language for Calendars. [Short Version].

Bry, François and Schaffert, Sebastian (2002): Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification.

Bry, François and Schaffert, Sebastian and Schroeder, Andreas (2004): A contribution to the Semantics of Xcerpt, a Web Query and Transformation Language. (Extended Abstract).

Bry, François and Seipel, Dietmar (1996): Schlagwort "Deduktive Datenbanken".

Bry, François and Torge, Sunna (1997): Model Generation for Appllications - A Tableaux Method. Complete for Finite Satisfiability.

Bry, François and Wagner, Holger (2003): Collaborative Categorization on the Web. Approach, Prototype, and Experience Report.

Bry, François and Yahya, Adnan (2000): Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation.

Furche, Tim and Bry, François and Schaffert, Sebastian and Orsini, Renzo and Horrocks, Ian and Kraus, Michael and Bolzer, Oliver (2004): Survey over Existing Query and Transformation Languages.

Hapfelmeier, Alexander and Ulm, Kurt (2013): Variable selection with Random Forests for missing data. Department of Statistics: Technical Reports, No.137

Hausmann, Steffen and Brodt, Simon and Bry, François (2011): Dura. Concepts and Examples.

Hausmann, Steffen and Scherr, Maximilian and Bry, François (2012): Complex Actions for Event Processing.

Heinzl, Felix and Tutz, Gerhard (2012): Clustering in linear mixed models with a group fused lasso penalty. Department of Statistics: Technical Reports, No.123

Hofner, Benjamin and Hothorn, Torsten and Kneib, Thomas and Schmid, Matthias (2009): A Framework for Unbiased Model Selection Based on Boosting. Department of Statistics: Technical Reports, No.72

Kneißl, Fabian and Bry, François (2012): Borsa Parole – A Market for Linguistic Speculation.

Kotowski, Jakub and Bry, François and Eisinger, Norbert (2011): A Potpourri of Reason Maintenance Methods. Incremental View Maintenance Reconsidered.

Kotowski, Jakub and Stroka, Stephanie and Bry, François and Schaffert, Sebastian (2009): Dependency Updates and Reasoning in KiWi.

Pareigis, Bodo (1980): Non-additive ring and module theory V. Projective and coflat objects. No. 40.

Pareigis, Bodo (1973): On K-theory of Hopf algebras of finite type. No. 3.

Schaffert, Sebastian and Bry, François and Furche, Tim (2005): Initial Draft of a Possible Declarative Semantics for the Language.

Scharl, Theresa and Grün, Bettina and Leisch, Friedrich (2009): Mixtures of Regression Models for Time-Course Gene Expression Data: Evaluation of Initialization and Random Effects. Department of Statistics: Technical Reports, No.71

Scharl, Theresa and Voglhuber, Ingo and Leisch, Friedrich (2009): Exploratory and Inferential Analysis of Gene Cluster Neighborhood Graphs. Department of Statistics: Technical Reports, No.70

Scheipl, Fabian and Greven, Sonja (2012): Identifiability in penalized function-on-function regression models. Department of Statistics: Technical Reports, No.125

Spranger, Stephanie and Bry, François (2006): Temporal Data Modeling and Reasoning for Information Systems.

Tutz, Gerhard and Pößnecker, Wolfgang and Uhlmann, Lorenz (2012): Variable Selection in General Multinomial Logit Models. Department of Statistics: Technical Reports, No.126

Unkel, Steffen and Gower, John C. and Trendafilov, Nickolay T. (2013): On the Procrustean analogue of individual differences scaling (INDSCAL). Department of Statistics: Technical Reports, No.144

Walter, Gero (2012): A Technical Note on the Dirichlet-Multinomial Model. The Dirichlet Distribution as the Canonically Constructed Conjugate Prior. Department of Statistics: Technical Reports, No.131

Weiand, Klara and Bry, François and Furche, Tim (2008): Reasoning & Querying – State of the Art. Keyword-based querying for XML and RDF.

Weigel, Felix and Meuss, Holger and Bry, François and Schulz, Klaus U. (2003): Content-Aware DataGuides for Indexing Large Collections of XML Documents.

Lecture

Fritsch, Rudolf (1982): Die Winkelverteilung am Tetraeder. 1. Kolloquium Mathematik-Didaktik der Universität Bayreuth 12.2.1982. Ludwig-Maximilians-Universität München

Fritsch, Rudolf (1991): Historische und didaktische Bemerkungen zum Satz von Bodenmiller-Steiner. 20. Kolloquium Mathematik-Didaktik der Universität Bayreuth 11.7.1991. Ludwig-Maximilians-Universität München

Pareigis, Bodo (1974): Grundbegriffe der Mathematik. Ludwig-Maximilians-Universität München

Schwichtenberg, Helmut (1988): LCF with realizing terms: a framework for the developement and verification of programs. Ludwig-Maximilians-Universität München