Fiedler, Armin; Horacek, Helmut
Argumentation in Explanations to Logical Problems.International Conference on Computational Science (1). Berlin: Springer 2001 S. 969 - 978 (Lecture notes in computer science ; 2073)
Hartmann, Ulrich; Lonsdale, Guy; Berti, Guntram et al.
Bio-numerical simulations with SimBio : selected ResultsKeeve, Erwin (Hrsg). Proceedings of the International Workshop on Deformable Modeling and Soft Tissue Simulation. Bonn. 2001 o.A.
Georgescu, Adelina; Vereecken, Harry; Schwarze, Holger et al.
Classes of solutions for a nonlinear diffusion PDEJournal of Computational and Applied Mathematics. Bd. 133. H. 1-2. Amsterdam: Elsevier 2001 S. 373 - 381
Fiedler, Armin
Dialog-driven Adaptation of Explanations of Proofs.Nebel, Bernhard (Hrsg). IJCAI. San Francisco, Calif.: Morgan Kaufman 2001 S. 1295 - 1300
Jaekel, Uwe; Vereecken, Harry; Schwarze, Holger
Estimation of Macrodispersion by Different Approximation Methods for Flow and Transport in Randomly Heterogeneous MediaTransport in Porous Media : TIPM. Bd. 43. H. 2. Dordrecht: Springer 2001 S. 265 - 287
Thieme, Lutz
Internationales Hochschulmarketing der TU Dresden : Ansätze und KonzepteWissenschaftliche Zeitschrift der Technischen Universität Dresden. Bd. 2001. H. 4. Dresden: Techn. Universität 2001 S. 51 - 54
Neuhäuser, Markus; Bretz, F.
Nonparametric all-pairs multiple comparisonsBiometrical journal : clinical trials, epidemiological methods, statistics in life sciences. Bd. 43. H. 5. Weinheim: Wiley-VCH 2001 S. 571 - 580
Neuhäuser, Markus
One-Sided two-sample and trend tests based on a modified baumgartner-weiss-schindler statisticJournal of Nonparametric Statistics. Bd. 13. H. 5. Abingdon [u.a.]: Taylor & Francis 2001 S. 729 - 739
Fiedler, Armin
P.rex : An Interactive Proof ExplainerGoré, Rajeev; Leitsch, Alexander; Nipkow, Tobias (Hrsg). Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings. Berlin: Springer 2001 S. 416 - 420 (Lecture Notes in Computer Science (LNCS) ; 2083)
Hartmann, Ulrich; Kruggel, F.; Hierl, Thomas et al.
Skull mechanic simulations with the prototype SimBio environmentBathe, Klaus-Jürgen (Hrsg). First M.I.T. Conference on Computational Fluid and Solid Mechanics. Amsterdam: Elsevier 2001 S. 243 - 246