Journal: Inform., Forsch. Entwickl.

Volume 14, Issue 4

179 -- 192W. Pfannenstiel. Verschachtelter Datenparallelismus - Ein einführender Überblick
193 -- 202Wolfgang Reif. Formale Methoden für sicherheitskritische Software - Der KIV-Ansatz
203 -- 217Thomas Bauer, Peter Dadam. Verteilungsmodelle für Workflow-Management-Systeme - Klassifikation und Simulation
218 -- 226Ingo Schmitt, Stefan Conrad. Restrukturierung objektorientierter Datenbankschemata mittels formaler Begriffsanalyse
227 -- 229Klaus Pasedach, Andrea Reichel. REGINA, die Informatik-Kooperation der Region Aachen

Volume 14, Issue 3

121 -- 134Manfred Broy, Franz Huber, Bernhard Schätz. AutoFocus - Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme
135 -- 144Stefan K. Bamberger, Frank Puppe. Kooperierende Diagnoseagenten
145 -- 153Marc Hassenzahl, Jochen Prümper. Probleme und Konzepte software-ergonomischer Beratung am Beispiel eines Informationssystems im World Wide Web (WWW)
154 -- 163Bernhard Schölkopf, Klaus-Robert Müller, Alex J. Smola. Lernen mit Kernen: Support-Vektor-Methoden zur Analyse hochdimensionaler Daten

Volume 14, Issue 2

61 -- 0Klaus-Peter Löhr. Themenheft: Softwaretechnik 98 (Editorial)
62 -- 73Jens Krinke, Torsten Robschink, Gregor Snelting. Software-Sicherheitsprüfung mit VALSOFT
74 -- 82Lutz Prechelt, Barbara Unger. Methodik und Ergebnisse einer Experimentreihe über Entwurfsmuster
83 -- 94Ralph Depke, Gregor Engels, Katharina Mehner, Stefan Sauer, Annika Wagner. Ein Vorgehensmodell für die Multimedia-Entwicklung mit Autorensystemen
95 -- 108Andreas Pfitzmann, Alexander Schill, Andreas Westfeld, Guntram Wicke, Gritta Wolf, Jan Zöllner. SSONET: Systemunterstützung für mehrseitige Sicherheit in offenen Datennetzen
109 -- 110Eckart Raubold. Forschung bei der Deutschen Telekom

Volume 14, Issue 1

1 -- 0Ulrich Rembold. Themenheft: Rechner- und sensorgestützte Chirurgie (Editorial)
2 -- 8Detlef Zerfowski, Hartwig Grabowski, Robert Krempien, Stefan Haßfeld, M. Walz. Aufbereitung medizinischer Bilddaten
9 -- 15Harald Evers, T. Weingärtner, Tobias Salb, Achim Mayer, Christoph Giess, Hans-Peter Meinzer, Rüdiger Dillmann. Interaktive Visualisierung und Simulation zur Planung chirurgischer Eingriffe
16 -- 23Gerald-P. Glombitza, Raffaele De Simone, Ulrich Mende, Matthias Merdes, Robert Krempien, Detlef Zerfowski, Christian-Friedrich Vahl, Hans-Peter Meinzer, Siegfried Hagl. Neue klinische Anwendungen der dreidimensionalen Rekonstruktion in der echographischen Diagnostik
24 -- 35Jörg Raczkowsky, Jan Münchenberg, I. Bertovic, Catherina Burghart. Ein Robotersystem für craniomaxillofaciale chirurgische Eingriffe
36 -- 45Jürgen Kalinski. Text-Retrieval mit einem relationalen Datenbank-Management-System
46 -- 48Günter Müller, Kai Rannenberg. Sicherheit in der Informations- und Kommunikationstechnik - Ein neues DFG-Schwerpunktprogramm
49 -- 53Peter C. Lockemann, Klaus D. Müller-Glaser. Forschungszentrum Informatik an der Universität Karlsruhe (FZI)