Faculty 16 "Mathematics, Informatics and Statistics": Research Report 1998 -- 2003 11 February 2004 edited by François Bry, dean for research Faculty 16 "Mathematics, Informatics and Statistics": Research Report 1998 -- 2003 Table of Contents 1 Department of Mathematics (in german) . 2 1.1 Arbeitsbereich Algebra . 4 1.1.1 Forschungsschwerpunkte: . 4 1.1.2 Im Druck erschienene Publikationen: . 6 1.1.3 Betreute wissenschaftliche Arbeiten: . 8 1.1.4 Eingeworbene Drittmittel: . 8 1.2 Arbeitsbereich Analysis und Numerik . 10 1.2.1 Forschungsschwerpunkte: . 10 1.2.2 Im Druck erschienene Publikationen: . 13 1.2.3 Betreute wissenschaftliche Arbeiten: . 16 1.2.4 Eingeworbene Drittmittel: . 17 1.3 Arbeitsbereich Differentialgeometrie und Topologie . 19 1.3.1 Forschungsschwerpunkte: . 19 1.3.2 Im Druck erschienene Publikationen: . 22 1.3.3 Betreute wissenschaftliche Arbeiten: . 24 1.3.4 Eingeworbene Drittmittel: . 24 1.4 Arbeitsbereich Komplexe Analysis und Algebraische Geometrie . 26 1.4.1 Forschungsschwerpunkte: . 26 1.4.2 Im Druck erschienene Publikationen: . 27 1.4.3 Betreute wissenschaftliche Arbeiten: . 28 1.4.4 Eingeworbene Drittmittel: . 28 1.4.5 Verschiedenes: . 29 1.5 Arbeitsbereich Mathematische Logik . 30 1.5.1 Forschungsschwerpunkte: . 30 1.5.2 Im Druck erschienene Publikationen: . 32 1.5.3 Betreute wissenschaftliche Arbeiten: . 33 1.5.4 Eingeworbene Drittmittel: . 33 1.6 Arbeitsbereich Stochastik und Finanzmathematik . 35 1.6.1 Forschungsschwerpunkte: . 35 1.6.2 Im Druck erschienene Publikationen: . 38 1.6.3 Betreute wissenschaftliche Arbeiten: . 43 1.6.4 Eingeworbene Drittmittel: . 44 1.7 Arbeitsbereich Didaktik der Mathematik . 46 1.7.1 Forschungsschwerpunkte: . 46 1.7.2 Im Druck erschienene Publikationen: . 47 1.7.3 Eingeworbene Drittmittel: . 49 1.8 Graduiertenkolleg Mathematik im Bereich ihrer Wechselwirkung mit der Physik 51 1.9 Graduiertenkolleg Logik in der Informatik . 59 2 Institute for Informatics . 71 2.1 Unit "Distributed Systems, Computer Networks and Systems Programming" . 72 2.1.1 IT-Management Concepts and Methods . 73 2.1.1.1 Service Management . 73 2.1.1.2 Security Concepts for distributed Management . 75 2.1.1.3 System Preconditions and Architectures for IT-Outsourcing . 75 2.1.2 Mobility and context-aware Services . 76 2.1.3 Platforms for distributed Learning and Teaching . 77 2.1.4 Achievements . 77 2.1.5 Publications . 78 i Faculty 16 "Mathematics, Informatics and Statistics": Research Report 1998 -- 2003 2.2 Unit "Database Systems" . 86. 2.2.1 Research Topics . 86. 2.2.1.1 Knowledge Discovery in Databases . 86. 2.2.1.2 Information Filtering for E-business . 88. 2.2.1.3 Similarity Search in Databases . 88. 2.2.1.4 Access Methods for High-Dimensional Data Spaces . 90. 2.2.1.5 Spatial Data Management in CAD Databases . 90. 2.2.1.6 Molecular Bioinformatics . 91. 2.2.2 Dissertations, Habilitations and other Achievements . 92. 2.2.3 Publications . 93. 2.3 Unit "Programming and Software-Engineering" . 102. 2.3.1 Research activities . 102. 2.3.1.1 Formal Software Development . 103. 2.3.1.1.1 Formal Foundations of Object-Oriented Software Development . 103. 2.3.1.1.2 ModelChecking . 104. 2.3.1.1.3 Temporal Logic of Actions for Reactive and Mobile Systems (TLA, MTLA)104 2.3.1.1.4 Theoretical Foundations of Systems Specifications . 105. 2.3.1.1.5 Semantics of Programming Languages . 106. 2.3.1.2 Software Engineering . 107. 2.3.1.2.1 Mobile Computing, Agents . 107. 2.3.1.2.2 Web-Engineering . 108. 2.3.1.2.3 E-Learning . 109. 2.3.1.2.4 Software-Techniques for Analysis and Simulation of Global Climate Change . 109. 2.3.1.2.5 Software-Architecture and Software Development Processes . 110. 2.3.1.3 Innovative Programming Techniques . 112. 2.3.1.3.1 Constraint Programming . 112. 2.3.1.3.2 View-Oriented and Generative Programming . 113. 2.3.2 Achievements . 114. 2.3.3 Literature . 115. 2.3.4 Research Staff . 124. 2.4 Unit "Programming and Modelling Languages" . 126. 2.4.1 Research activities . 126. 2.4.1.1 Querying and Indexing XML Data (since 2000) . 126. 2.4.1.2 Web data modeling and reasoning (since 2000) . 127. 2.4.1.3 Analysis, Optimisation, and Generation of Rule-Based Constraint Solvers (up till 2002) . 128. 2.4.1.4 Selected Issues in Automated Reasoning . 128. 2.4.1.5 Applications . 129. 2.4.2 Conference Organisation . 129. 2.4.3 Achievements . 130. 2.4.4 External Funding . 131. 2.4.5 Literature . 131. 2.5 Unit "Theoretical Computer Science" . 139. 2.5.1 Main Research Topics . 139. 2.5.2 Projects . 140. 2.5.2.1 Mobile Resource Guarantees . 140. 2.5.2.2 Complexity of Propositional Proof Systems and Monotone Circuits . 140. 2.5.2.3 Implicit Characterisation of Computational Complexity Classes . 141. 2.5.2.4 Nested Datatypes . 141. ii Faculty 16 "Mathematics, Informatics and Statistics": Research Report 1998 -- 2003 2.5.2.5 The Complexity of Program Logics . 142. 2.5.2.6 Parallel Functional Programming . 142. 2.5.2.7 Program Extraction from Proofs in Systems of (Co)inductive Definitions . 142. 2.5.2.8 CSCL (Computer Supported Cooperative Learning) in postgraduate professional education . 143. 2.5.2.9 Verification of Non-Regular Properties . 143. 2.5.2.10 Lambda Calculus and Classical Logic . 144. 2.5.3 Conferences . 144. 2.5.4 Publications . 144. 2.6 Unit "Media Informatics" . 149. 2.6.1 Projects . 149. 2.6.1.1 Project: Media of the Future, Media++ . 149. 2.6.1.2 Project: Software Models and Development Support for Multimedia Applications . 149. 2.6.1.3 Project: Digital Media Production . 150. 2.6.1.4 Project: Intermedia - UML modelling of business processes . 150. 2.6.2 Publications . 150. 2.6.2.1 Books . 151. 2.6.2.2 Journal Papers . 151. 2.6.2.3 Conferences/Workshops . 151. 2.6.2.4 Posters/Demos . 152. 2.6.2.5 Community Involvement (Selection) . 152. 2.7 Unit "Practical Computer Science and Bioinformatics" . 153. 2.7.1 Research Activities . 153. 2.7.1.1 Protein sequence and structure analysis, protein structure prediction, structural genome analysis . 154. 2.7.1.2 Expression data analysis and biochemical networks, knowledge extraction 155. 2.7.1.3 Genomics, Transkriptomics, Proteomics . 156. 2.7.1.4 Cheminformatics, Molecule Design and Dynamics . 157. 2.7.1.5 Combinatorial Models for Protein Structure Prediction . 158. 2.7.1.6 Clustering of Gene-Expression Data . 158. 2.7.1.7 Algorithmic Aspects of Genome Rearrangements . 159. 2.7.1.8 Algorithms for Biological Networks . 159. 2.7.2 Education, Bioinformatics Initiative Munich (BIM) . 160. 2.7.3 Conference Organization . 160. 2.7.3.1 International integration and co-operation . 161. 2.7.4 Literature: . 161. 3 Institute for Statistics . 167. 3.1 Research Profile . 168. 3.2 Research Strategies . 169. 3.2.1 Cooperation . 169. 3.2.2 Organization of Workshops and Meetings . 169. 3.2.3 National and International Visitors . 169. 3.2.4 Funding . 169. 3.3 Research program and activities . 170. 3.3.1 Statistical Modelling . 170. 3.3.1.1 Likelihood-based Semiparametric Regression . 170. 3.3.1.2 Bayesian Semiparametric Regression . 171. 3.3.1.3 Missing data . 172. 3.3.1.4 Measurement error models . 173. iii Faculty 16 "Mathematics, Informatics and Statistics": Research Report 1998 -- 2003 3.3.1.5 Time-dependent and Spatial data . 174. 3.3.2 Computational Statistics . 175. 3.3.2.1 Markov Chain Monte Carlo (MCMC) . 175. 3.3.2.2 Statistical Computing and Software . 176. 3.3.2.3 Multivariate Methods and Statistical Data Mining . 177. 3.3.2.4 Resampling Methods and Graphical Modelling . 178. 3.3.3 Econometrics . 178. 3.3.3.1 Econometric Methods . 178. 3.3.3.2 Financial Econometrics . 179. 3.3.3.3 Time Series Analysis . 180. 3.3.3.4 Empirical Macroeconomics . 180. 3.3.3.5 Empirical Industrial Economics . 180. 3.3.4 Biostatistics . 181. 3.3.4.1 Statistical Methods in Epidemiology . 181. 3.3.4.2 Statistical Genetics and Bioinformatics . 182. 3.3.4.3 Statistical Methods in Human Brain Research . 183. 3.3.5 Statistics in business, economics and social sciences . 184. 3.3.5.1 Business and Economics Statistics . 184. 3.3.5.2 Statistics in social and psychological fields . 185. 3.3.6 Methodological Foundations of Statistics . 186. 3.3.6.1 Foundations of Statistical Inference . 186. 3.3.6.2 Interval probability . 186. 3.4 Cooperations and Workshops . 188. 3.4.1 Cross-departmental research and projects with academic collaborators . 188. 3.4.2 Cooperations with partners in business, industry and public or private institutions188 3.4.3 Workshops and Meetings . 188. 3.4.4 National and International Visitors . 190. 3.5 References of Publications in the Department . 192. 3.5.1 Books and Refereed Articles . 192. iv Faculty 16 "Mathematics, Informatics and Statistics": Research Report 1998 -- 2003 This research report is the first of this kind and therefore covers a rather long, six year period of time: 1998 -- 2003. It consist of three parts devoted to (1) the Departments of Mathematics [see page 2] (in german), (2) the Institute for Informatics [see page 71] , and (3) the Institute for Statistics [see page 167] . 1 Faculty 16 "Mathematics, Informatics and Statistics": Research Report 1998 -- 2003 1 Department of Mathematics (in german) Die Mathematik ist eines der wichtigsten Grundlagenfächer der LMU und zwar nicht nur als grundständiges Fach in der Lehre, bei der Lehrerausbildung und als Dienstleister in sämtlichen naturwissenschaftlichen Fächern, sondern sie ist vor allem auch in der Forschung integraler Bestandteil von zukunftsträchtigen Fächern wie der Biotechnologie, der Genforschung und den Nanowissenschaften.