Department Informatik

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 Distributed Graph Transformation with Application to Visual Design of Distributed Systems (1999) Taentzer G, Koch M, Fischer I, Volle V Book chapter / Article in edited volumes Describing Neural Networks with Graph Transformations (1999) Fischer I Thesis Translating diagrams (1999) Minas M Other publication type Learning of Domain Dependent Knowledge in Semantic Networks (1999) Deinzer F, Fischer J, Ahlrichs U, Nöth E Conference contribution, Conference Contribution Active Knowledge Based Scene Analysis (1999) Paulus D, Ahlrichs U, Heigl B, Denzler J, Hornegger J, Niemann H Conference contribution, Conference Contribution Software Engineering for Image Processing and Analysis (1999) Paulus D, Hornegger J, Niemann H Book chapter / Article in edited volumes