Department Informatik

Proof development with Ωmega (2002) Kohlhase M, Siekmann J, Benzmüller C, Franke A, Melis E, Normann I, Sorge V Conference contribution, Original article Cache Performance Tuning of Numerically Intensive Codes (2002) Kowarschik M, Weiß C Other publication type Modellierung und Prozessoptimierung in einer orthopädischen Klinik (2002) Lenz R, Hinrichs F, Hauser M, Löser S, Kuhn K, Griss P Journal article, Original article A practical approach to process support in health information systems (2002) Lenz R, Siegele H, Kuhn K, Elstner T Journal article, Original article Abschlussbericht Software für ein Risiko-Management-System (2002) Wilke P Other publication type, Abschlussbericht 3D Finite Element Approximation of the Resonator Equation in Laser Simulation (2002) Altmann K, Pflaum C, Seider D Other publication type Running a Dependability Benchmark for an Oracle Database System (2002) Sieh V Other publication type An Experimental Comparison of Genetic and Classical Concept Learning Methods (2002) Kókai G, Tóth Z, Zvada S Conference contribution, Original article An Aspect-Oriented Implementation of Interrupt Synchronization in the PURE Operating System Family (2002) Spinczyk O, Schröder-Preikschat W Conference contribution Composition of Efficient Nested BSP Algorithms: Minimum Spanning Tree Computation as an Instructive Example (2002) Bonorden O, Meyer auf der Heide F, Wanka R Conference contribution