Department Informatik

Memory Characteristics of Iterative Methods (1999) Weiß C, Karl W, Kowarschik M, Rüde U Conference contribution An experimental analysis of a differential inverse problem (1999) Mohr M, Popa C, Rüde U Other publication type Fair multi-branch locking of several locks (1999) Fleiner C, Philippsen M Journal article, Original article An Approach to Communication Reduced Parallel Multigrid (1999) Mohr M, Rüde U Journal article EPOS: An Object-Oriented Operating System (1999) Schröder-Preikschat W Conference contribution Higher-order multi-valued resolution (1999) Kohlhase M, Scheja O Journal article, Original article System description: MathWeb, an agent-based communication layer for distributed automated theorem proving (1999) Franke A, Kohlhase M Conference contribution, Original article Agent-oriented integration of distributed mathematical services (1999) Franke A, Kohlhase M, Sorge V Journal article, Original article Building a Hospital Information System: Design Considerations Based on Results from a Europe-wide Vendor Selection Process (1999) Lenz R, Kuhn K, Blaser R Journal article, Original article Betriebssystembaukasten (1999) Schröder-Preikschat W Journal article