Jahresbibliographie 1996

Veröffentlichungen von
Angehörigen der Hochschulen des Saarlandes

FB 14 - Informatik

Alt, Martin
- u.a.: Benchmarking Implementations of Functional Languages with
``Pseudoknot'', a Float-Intensive Benchmark. - In: Journal of functional
programming. - 6 (1996), 4, S. 621-655
 
- u.a.: Cache Behavior Prediction by Abstract Interpretation. - In: Static
Analysis : Third Internat. Symposium, SAS'96, Aachen, Germany, September 1996,
Proceedings / Ed.: Radhia Cousot .. - Berlin ..., 1996, S. 52-66. - (Lecture
Notes in Computer Science ; 1145)
 
Bengeloune, Idriss
- Induction and Synthesis by Simplification. - In: Actes du 3e Colloque
Africain sur la Recherche en Informatique. - Libreville (Gabon): Pierre
Moukeli (ORSTOM editions, INRIA), 1996, S. 545-560
 
Blocher, Anselm
- u.a.: Construction of Mental Images and their Use in a Listener Model. -
In: Proceedings of the Workshop on Conceptual and Semantic Knowledge in
Language Production, 15.-17. November 1995 / Hrsg.: Ralf Meyer-Klabunde, ...
(SFB 245 - Sprache und Situation). - Heidelberg, 1996, S. 270-280
 
- u.a.: VITRA: Verbalisierung visueller Information. - In: Informatik -
Forschung und Entwicklung. 1996, 1, S. 12-19. - (SFB 378: REAL; Bericht 132 ;
11)
 
Braun, Michael
- u.a.: Building the 4 Processor SB-PRAM Prototype. - In: Proceedings of
Hawaii Internat. Conference on Systems Sciences. - Hawaii, USA, 1996
 
- u.a.: Parallel CRC Computation in FPGAs. - In: FPL'96 Workshop on Field
Programmable Logic and Applications. - Darmstadt, 1996
 
Cheikhrouhou, Lassaad
- The Mechanization of the Diagonalization Proof Strategy. - Saarbruecken,
1996. - 19 S. - (SEKI Report SR-96-14)
 
Ferdinand, Christian
- u.a.: Cache Behavior Prediction by Abstract Interpretation. - In: Static
Analysis : Third Internat. Symposium, SAS'96, Aachen, Germany, September 1996,
Proceedings / Ed.: Radhia Cousot .. - Berlin ..., 1996, S. 52-66. - (Lecture
Notes in Computer Science ; 1145)
 
Fiedler, Armin
- Mikroplanungstechniken zur Präsentation mathematischer Beweise :
Diplomarbeit. - Saarbrücken : Univ. des Saarlandes, 1996. - 103 S.
 
- u.a.: Presenting Machine-Found Proofs. - In: Automated Deduction - CADE-13
: 13th Internat. Conference on Automated Deduction New Brunswick, NJ, USA,
July/August 1996 Proceedings / Ed.: McRobbie, M. A. .. - Berlin .. : Springer,
1996, S. 221-225. - (Lecture Notes in Artificial Intelligence ; 1104)
 
Formella, Arno
- u.a.: AniLan: An Animation Language. - In: Proceedings of Computer
Animation 1996. - IEEE Computer Society Press, 1996, S. 184-189
 
- u.a.: Building the 4 Processor SB-PRAM Prototype. - In: Proceedings of
Hawaii Internat. Conference on Systems Sciences. - Hawaii, USA, 1996
 
- u.a.: HPP: A High Performance PRAM. - In: Proceedings of the 2nd Internat.
Euro-Par Conference : Volume II / Hrsg.: Bouge .. - Heidelberg: Springer,
1996, S. 425-434. - (Lecture Notes in Computer Science ; 1124)
 
- u.a.: UTD Electromagnetic Simulation for Microcell and Indoor Environments
based on 2 1/2 D Ray Tracing. - In: Proceedings of PIERS 1996, Progress In
Electromagnetics Research Symposium. - Innsbruck: Univ. of Innsbruck, Austria,
1996, S. 599
 
Friedrich, Jörg
- u.a.: Eine ATM-Anwendung für Workstations - das CORGI-II Projekt. - In:
Proceedings of SIWORKS'96. - Zürich, 1996
 
- u.a.: Building the 4 Processor SB-PRAM Prototype. - In: Proceedings of
Hawaii Internat. Conference on Systems Sciences. - Hawaii, USA, 1996
 
- u.a.: Parallel CRC Computation in FPGAs. - In: FPL'96 Workshop on Field
Programmable Logic and Applications. - Darmstadt, 1996
 
- u.a.: Video-on-Demand on the SB-PRAM. - In: Proc. 6th. Internat. Workshop
on Network and Operating Systems Support for Digital Audio and Video (NOSSDAV
96). - Zushi, Japan, 1996, S. 105-111
 
Gapp, Klaus-Peter
- u.a.: VITRA: Verbalisierung visueller Information. - In: Informatik -
Forschung und Entwicklung. 1996, 1, S. 12-19. - (SFB 378: REAL; Bericht 132 ;
11)
 
Grün, Thomas
- u.a.: Eine ATM-Anwendung für Workstations - das CORGI-II Projekt. - In:
Proceedings of SIWORKS'96. - Zürich, 1996
 
- u.a.: Building the 4 Processor SB-PRAM Prototype. - In: Proceedings of
Hawaii Internat. Conference on Systems Sciences. - Hawaii, USA, 1996
 
- u.a.: Parallel CRC Computation in FPGAs. - In: FPL'96 Workshop on Field
Programmable Logic and Applications. - Darmstadt, 1996
 
- u.a.: Video-on-Demand on the SB-PRAM. - In: Proc. 6th. Internat. Workshop
on Network and Operating Systems Support for Digital Audio and Video (NOSSDAV
96). - Zushi, Japan, 1996, S. 105-111
 
Heckmann, Reinhold
- Approximation of Metric Spaces by Partial Metric Spaces. - In: Workshop
Domains II : Proceedings /Hrsg.: J. Adamek .. - Braunschweig, 1996, S. 89-100.
- (Technische Universität Braunschweig Informatik-Berichte ; 96-04)
 
- u.a.: Grundlagen der Dokumentenverarbeitung. - Bonn: Addison Wesley
Longman, 1996
 
- Spaces of Valuations. - In: Papers on General Topology and Applications /
Hrsg.: S. Andima .. - New York, 1996, S. 174-200. - (Annals of the New York
Academy of Sciences ; 806)
 
Henz, Martin
- u.a.: COMPOzE - Intention-based Music Composition through Constraint
Programming. - In: Proceedings of the 8th IEEE Internat. Conference on Tools
with Artificial Intelligence : Toulouse, France. - IEEE Computer Society
Press, 1996, S. 118-121
 
- u.a.: Constraint-based Time Tabling - A Case Study. - In: Applied
Artificial Intelligence. - 10 (1996), 5, S. 439-453
 
- Don't Be Puzzled. - In: Proceedings of the Workshop on Constraint
Programming Applications, in conjunction with the Second Internat. Conference
on Principles and Practice of Constraint Programming : CP96. 1996
 
Huang, Xiaorong
- u.a.: Die Beweisentwicklungsumgebung Omega-MKRP. - In: Informatik -
Forschung und Entwicklung. - 11 (1996), 1, S. 20-26
 
- u.a.: Presenting Machine-Found Proofs. - In: Automated Deduction - CADE-13
: 13th Internat. Conference on Automated Deduction New Brunswick, NJ, USA,
July/August 1996 Proceedings / Ed.: McRobbie, M. A. .. - Berlin .. : Springer,
1996, S. 221-225. - (Lecture Notes in Artificial Intelligence ; 1104)
 
Keller, Jörg
- u.a.: Conservative Circuit Simulation on Shared-Memory Multiprocessors. -
In: Proc. 10th Workshop on Parallel and Distributed Simulation. - Los
Alamitos. California, 1996, S. 126-134
 
- u.a.: HPP: A High Performance PRAM. - In: Proceedings of the 2nd Internat.
Euro-Par Conference : Volume II / Hrsg.: Bouge .. - Heidelberg: Springer,
1996, S. 425-434. - (Lecture Notes in Computer Science ; 1124)
 
- u.a.: Video-on-Demand on the SB-PRAM. - In: Proc. 6th. Internat. Workshop
on Network and Operating Systems Support for Digital Audio and Video (NOSSDAV
96). - Zushi, Japan, 1996, S. 105-111
 
Kohlhase, Michael
- u.a.: Die Beweisentwicklungsumgebung Omega-MKRP. - In: Informatik -
Forschung und Entwicklung. - 11 (1996), 1, S. 20-26
 
- u.a.: Corrections and Higher-Order Unification. - In: "Proceedings of
KONVENS96. - Bielefeld : De Gruyter, 1996, S. 268-279
 
- u.a.: FCorrections and higher-order unification. - In: Proceedings KONVENS-
96. - De Gruyter, 1996, S. 268-279
 
- u.a.: Focus and Higher-Order Unification. - In: Proceedings COLING-96. -
Kopenhagen : ACL, 1996
 
- u.a.: Higher-Order Coloured Unification and Natural Language Semantics. -
In: Proceedings of the 34th Annual Meeting of the Association for
Computational Linguistics. - Santa Cruz : ACL, 1996
 
- u.a.: Integrating Computer Algebra into Proof Planning. - In: Proceedings
CISCO 1996 / Ed.: Jacques Calmet .. - Springer, 1996, S. 479-498. - (LNCS ;
1128)
 
- Künstliche Intelligenz. - 1996 (1996)
 
- u.a.: A Resolution Calculus for Presuppositions. - In: Proceedings ECAI-96
/ Ed.: Wolfgang Wahlster. - Chichester : Wiley and Sons, 1996, S. 375-379
 
- u.a.: A Tableau Calculus for Partial Functions. - In: Collegium Logicum :
Annals of the Kurt-Goedel Society. - Springer. - 2 (1996), S. 21-49
 
- u.a.: A type-theoretic semantics for lambda-DRT. - In: Proceedings of the
10th Amsterdam Colloquim / Ed.: Paul Dekker .. - Amsterdam : De Gruyter, 1996,
S. 479-498
 
Kraiss, Achim
- u.a.: LoT: Dynamic Declustering of TSB-Tree Nodes for Parallel Access to
Temporal Data. - In: Advances in Database Technology - EDBT '96 : 5th
Internat. Conference on Extending Database Technology, Avignon, France, March
1996 Proceedings / Hrsg.: Apers, Peter. - Berlin, 1996, S. 553-572. - (Lecture
Notes in Computer Science ; 1057)
 
Loeckx, Jacques
- u.a.: Specification of Abstract Data Types. - Chichester ...: Wiley-
Teubner, 1996. - (Wiley-Teubner Series in Applicable Theory in Computer
Science)
 
Martin, Florian
- u.a.: Cache Behavior Prediction by Abstract Interpretation. - In: Static
Analysis : Third Internat. Symposium, SAS'96, Aachen, Germany, September 1996,
Proceedings / Ed.: Radhia Cousot .. - Berlin ..., 1996, S. 52-66. - (Lecture
Notes in Computer Science ; 1145)
 
Melis, Erica
- u.a.: Die Beweisentwicklungsumgebung Omega-MKRP. - In: Informatik -
Forschung und Entwicklung. - 11 (1996), 1, S. 20-26
 
- u.a.: Calculemus et Exemplificamus: Reasoning with Hybrid Knowledge Bases.
- In: Creativity and Computation / Ed.: Terry Dartnall. - MIT Press, 1996/97
 
- u.a.: Internal Analogy in Inductive Theorem Proving. - In: Proceedings of
the 13th Conference on Automated Deduction (CADE-96) / Ed.: M.A.McRobbie .. -
Berlin : Springer, 1996, S. 92-105
 
- Island Planning and Refinement. - In: Control of Search in AI Planning /
Ed.: J. Hendler .. - Dagstuhl, 1996, S. 14. - (Dagstuhl-Seminar Report ; 161)
 
- u.a.: Planning and Proof Planning. - In: ECAI-96 Workshop on Cross-
Fertilization in Planning" / Ed. S. Biundo. - Budapest, 1996, S. 37-40
 
- A Review of Industrial Case-Based Reasoning Tools. - In: KI. - 1996
(1996), 2, S. 46
 
- u.a.: Two Kinds of Non-Monotonic Analogical Inference. - In: "Practical
Reasoning / Ed.: D.M. Gabbay .. - Berlin : Springer, 1996, S. 361-374
 
- Two Requirements for the Representation of Proofs. - In: ECAI-96 Workshop
on the Representation of Mathematical Knowledge. - Budapest, 1996, S. 19-22
 
- When to Prove Theorems by Analogy?. - In: KI-96: Advances in Artificial
Intelligence. 20th Annual German CKI-96: Advances in Artificial Intelligence.
20th Annual German Conference on Artificial Intelligenceonference on
Artificial Intelligence / Ed.: G. Görz .. - Berlin : Springer, 1996, S. 259-
271
 
Müller, Martin (FB 14)
- u.a.: Oz: Nebenläufige Programmierung mit Constraints : Themenheft:
Logische Programmierung. - In: KI - Künstliche Intelligenz. 1996, S. 55-61
 
Müller, Silvia Melitta
- u.a.: Making the Original Scoreboard Mechanism Deadlock Free. - In:
Proceedings of the 4-th Israel Symposium on Theory of Computing and Systems
(ISTCS'96). 1996, S. 92-99
 
Müller, Tobias
- u.a.: Constructive Disjunction Revisited. - In: Proceedings of the 20th
German Annual Conference on Artificial Intelligence : KI-96. 1996
 
- u.a.: Interfacing Propagators with a Concurrent Constraint Language. - In:
JICSLP96 Post-conference Workshop and Compulog Net Meeting on Parallelism and
Implementation Technology for (Constraint) Logic Programming Languages. 1996,
S. 195-206
 
Muth, Peter
- u.a.: Database Integration Using the Open Object-Oriented Database System
VODAK. - In: Object-Oriented Multidatabase Systems : A Solution for Advanced
Applications. - Eaglewood Cliffs, NJ: Prentice Hall, 1996, S. 472-532
 
- u.a.: LoT: Dynamic Declustering of TSB-Tree Nodes for Parallel Access to
Temporal Data. - In: Advances in Database Technology - EDBT '96 : 5th
Internat. Conference on Extending Database Technology, Avignon, France, March
1996 Proceedings / Hrsg.: Apers, Peter. - Berlin, 1996, S. 553-572. - (Lecture
Notes in Computer Science ; 1057)
 
Niehren, Joachim
- Functional Computation as Concurrent Computation. - In: 23th Proceedings
of the ACM Symposium on Principles of Programming Languages. - St. Petersburg
Beach, Florida : The ACM Press, 1996, S. 333-343
 
Paul, Wolfgang
- u.a.: Making the Original Scoreboard Mechanism Deadlock Free. - In:
Proceedings of the 4-th Israel Symposium on Theory of Computing and Systems
(ISTCS'96). 1996, S. 92-99
 
Rauber, Thomas
- u.a.: Comparing Task- and Data-Parallel Execution Schemes for the DIIRK
Method. - In: Proceedings of EUROPAR'96. - Berlin : Springer, 1996, S. 52-61. -
(Lecture Notes in Computer Science ; 1123)
 
- u.a.: Compiler Support for the Use of Two-level Parallelism. - In:
Proceedings of the 6th Workshop on Compilers for Parallel Computers / Hrsg.:
Michael Gerndt. - Jülich : Forschungszentrum Jülich GmbH, 1996, S. 95-106. -
(Konferenzen des Forschungszentrums Jülich ; 21)
 
- u.a.: The Compiler TwoL for the Design of Parallel Implementations. - In:
Proceedings of the 4th Internat. Conference on Parallel Architecture and
Compilation Techniques : PACT96. - IEEE Computer Society Press, 1996, S. 292-
301
 
- u.a.: Conservative Circuit Simulation on Shared-Memory Multiprocessors. -
In: Proc. 10th Workshop on Parallel and Distributed Simulation. - Los
Alamitos. California, 1996, S. 126-134
 
- u.a.: Deriving Structured Parallel Implementations for Numerical Methods. -
In: Microprocessing and Microprogramming Special Issue on Parallel Systems
Engineering. - 41 (1996), S. 589-608
 
- u.a.: Laufzeitbasierte Entwicklung zweistufig paralleler Programme im
wissenschaftlichen Rechnen. - In: Software Engineering im Scientific Computing
/ Ed.: Mackens Rump. - Vieweg, 1996
 
- u.a.: Parallel Iterated Runge-Kutta Methods and Applications. - In: The
Internat. Journal of Supercomputer Applications. - 10 (1996), 1, S. 62-90
 
- u.a.: Performance Analysis for a Parallel Newton Method. - In: Journal of
High Performance Computing. - 2 (1996), 1R, S. 49-57
 
- u.a.: Scalability and Granularity Issues of the Hierarchical Radiosity
Method. - In: Proceedings of EUROPAR'96. - Berlin : Springer, 1996, S. 789-
798. - (Lecture Notes in Computer Science ; 1123)
 
- u.a.: Scheduling of Multiprocessor Tasks for Numerical Applications. - In:
Proceedings of the 8th IEEE Symposium on Parallel and Distributed Processing :
SPDP96. - IEEE Computer Society Press, 1996, S. 474-481
 
- u.a.: Shared-memory Implementation of an Irregular Particle Simulation
Method. - In: Proceedings of EUROPAR'96. - Berlin : Springer, 1996, S. 822-
827. - (Lecture Notes in Computer Science ; 1123)
 
- u.a.: A Type System for the Derivation of Data Redistributions. - In:
Proceedings of the 9th Internat. Conference on Parallel and Distributed
Computing Systems : PDCS96. - ISCA, 1996, S. 150-155
 
Rünger, Gudula
- u.a.: Comparing Task- and Data-Parallel Execution Schemes for the DIIRK
Method. - In: Proceedings of EUROPAR'96. - Berlin : Springer, 1996, S. 52-61. -
(Lecture Notes in Computer Science ; 1123)
 
- u.a.: Compiler Support for the Use of Two-level Parallelism. - In:
Proceedings of the 6th Workshop on Compilers for Parallel Computers / Hrsg.:
Michael Gerndt. - Jülich : Forschungszentrum Jülich GmbH, 1996, S. 95-106. -
(Konferenzen des Forschungszentrums Jülich ; 21)
 
- u.a.: The Compiler TwoL for the Design of Parallel Implementations. - In:
Proceedings of the 4th Internat. Conference on Parallel Architecture and
Compilation Techniques : PACT96. - IEEE Computer Society Press, 1996, S. 292-
301
 
- u.a.: Deriving Structured Parallel Implementations for Numerical Methods. -
In: Microprocessing and Microprogramming Special Issue on Parallel Systems
Engineering. - 41 (1996), S. 589-608
 
- u.a.: Laufzeitbasierte Entwicklung zweistufig paralleler Programme im
wissenschaftlichen Rechnen. - In: Software Engineering im Scientific Computing
/ Ed.: Mackens Rump. - Vieweg, 1996
 
- u.a.: Parallel Iterated Runge-Kutta Methods and Applications. - In: The
Internat. Journal of Supercomputer Applications. - 10 (1996), 1, S. 62-90
 
- u.a.: Performance Analysis for a Parallel Newton Method. - In: Journal of
High Performance Computing. - 2 (1996), 1R, S. 49-57
 
- u.a.: Scalability and Granularity Issues of the Hierarchical Radiosity
Method. - In: Proceedings of EUROPAR'96. - Berlin : Springer, 1996, S. 789-
798. - (Lecture Notes in Computer Science ; 1123)
 
- u.a.: Scheduling of Multiprocessor Tasks for Numerical Applications. - In:
Proceedings of the 8th IEEE Symposium on Parallel and Distributed Processing :
SPDP96. - IEEE Computer Society Press, 1996, S. 474-481
 
- u.a.: Shared-memory Implementation of an Irregular Particle Simulation
Method. - In: Proceedings of EUROPAR'96. - Berlin : Springer, 1996, S. 822-
827. - (Lecture Notes in Computer Science ; 1123)
 
- u.a.: A Type System for the Derivation of Data Redistributions. - In:
Proceedings of the 9th Internat. Conference on Parallel and Distributed
Computing Systems : PDCS96. - ISCA, 1996, S. 150-155
 
Schlegel, Diethelm
- u.a.: Eine ATM-Anwendung für Workstations - das CORGI-II Projekt. - In:
Proceedings of SIWORKS'96. - Zürich, 1996
 
Siekmann, Jörg
- u.a.: Die Beweisentwicklungsumgebung Omega-MKRP. - In: Informatik -
Forschung und Entwicklung. - 11 (1996), 1, S. 20-26
 
- u.a.: Calculemus et Exemplificamus: Reasoning with Hybrid Knowledge Bases.
- In: Creativity and Computation / Ed.: Terry Dartnall. - MIT Press, 1996/97
 
Smolka, Gert
- u.a.: Oz: Nebenläufige Programmierung mit Constraints : Themenheft:
Logische Programmierung. - In: KI - Künstliche Intelligenz. 1996, S. 55-61
 
Stopp, Eva
- u.a.: Construction of Mental Images and their Use in a Listener Model. -
In: Proceedings of the Workshop on Conceptual and Semantic Knowledge in
Language Production, 15.-17. November 1995 / Hrsg.: Ralf Meyer-Klabunde, ...
(SFB 245 - Sprache und Situation). - Heidelberg, 1996, S. 270-280
 
- u.a.: Natural Language Access to Intelligent Robots: Explaining Automatic
Error Recovery. - In: Artificial Intelligence: Methodology, Systems,
Applications / Hrsg.: Alan M. Ramsay. - Amsterdam (IOS Press), 1996, S. 259-
267
 
- u.a.: VITRA: Verbalisierung visueller Information. - In: Informatik -
Forschung und Entwicklung. 1996, 1, S. 12-19. - (SFB 378: REAL; Bericht 132 ;
11)
 
Treinen, Ralf
- Feature Trees over Arbitrary Structures. - In: Specifying Syntactic
Structures / Ed.: Blackburn, Patrick .. - CSLI Publications, 1996. - (Studies
in Logic, Language and Information)
 
Wahlster, Wolfgang
- u.a.: VITRA: Verbalisierung visueller Information. - In: Informatik -
Forschung und Entwicklung. 1996, 1, S. 12-19. - (SFB 378: REAL; Bericht 132 ;
11)
 
Walle, Thomas
- u.a.: HPP: A High Performance PRAM. - In: Proceedings of the 2nd Internat.
Euro-Par Conference : Volume II / Hrsg.: Bouge .. - Heidelberg: Springer,
1996, S. 425-434. - (Lecture Notes in Computer Science ; 1124)
 
Walser, Joachim P.
- Feasible Cellular Frequency Assignment Using Constraint Programming
Abstractions. - In: Proceedings of the Workshop on Constraint Programming
Applications, in conjunction with the Second Internat. Conference on
Principles and Practice of Constraint Programming, CP96 : Cambridge, Mass.
1996
 
- u.a.: Tuning local search for satisfiability testing. - In: Proceedings of
the 13th National Conference on Artificial Intelligence : AAAI '96. 1996
 
Weikum, Gerhard
- u.a.: Load Control in Scalable Distributed File Structures. - Kluwer
Academic Publishers, 1996. - (Distributed and Parallel Databases Journal ; 4,
Nr. 4)
 
- u.a.: LoT: Dynamic Declustering of TSB-Tree Nodes for Parallel Access to
Temporal Data. - In: Advances in Database Technology - EDBT '96 : 5th
Internat. Conference on Extending Database Technology, Avignon, France, March
1996 Proceedings / Hrsg.: Apers, Peter. - Berlin, 1996, S. 553-572. - (Lecture
Notes in Computer Science ; 1057)
 
- u.a.: The MENTOR Project: Steps Towards Enterprise-Wide Workflow
Management. - In: Proceedings of the 12th IEEE Internat. Conference on Data
Engineering, New Orleans, 1996. - Los Alamitos, CA: IEEE Computer Society
Press, 1996, S. 556-566
 
- u.a.: An Overview of the Mentor Architecture for Enterprise-wide Workflow
Management. - In: Proceedings of the NSF Internat. Workshop on Workflow and
Process Automation in Information Systems, Athens, Georgia, 1996. - WWW, 1996
 
Weissenfels, Jeanine
- u.a.: The MENTOR Project: Steps Towards Enterprise-Wide Workflow
Management. - In: Proceedings of the 12th IEEE Internat. Conference on Data
Engineering, New Orleans, 1996. - Los Alamitos, CA: IEEE Computer Society
Press, 1996, S. 556-566
 
- u.a.: An Overview of the Mentor Architecture for Enterprise-wide Workflow
Management. - In: Proceedings of the NSF Internat. Workshop on Workflow and
Process Automation in Information Systems, Athens, Georgia, 1996. - WWW, 1996
 
Wilhelm, Reinhard
- u.a.: Cache Behavior Prediction by Abstract Interpretation. - In: Static
Analysis : Third Internat. Symposium, SAS'96, Aachen, Germany, September 1996,
Proceedings / Ed.: Radhia Cousot .. - Berlin ..., 1996, S. 52-66. - (Lecture
Notes in Computer Science ; 1145)
 
- u.a.: Grundlagen der Dokumentenverarbeitung. - Bonn: Addison Wesley
Longman, 1996
 
- Informatik : Grundlagen, Anwendungen, Perspektiven. - München: C. H. Beck,
1996. - (C.H.Beck Wissen)
 
- u.a.: Solving Shape Analysis Problems in Languages with Destructive
Updating. - In: Proc. 23. ACM SIGACT/SIGPLAN Symp. on Principles of
Programming Languages. - 23 (1996), S. 16-31
 
Wodtke, Dirk
- u.a.: The MENTOR Project: Steps Towards Enterprise-Wide Workflow
Management. - In: Proceedings of the 12th IEEE Internat. Conference on Data
Engineering, New Orleans, 1996. - Los Alamitos, CA: IEEE Computer Society
Press, 1996, S. 556-566
 
- u.a.: An Overview of the Mentor Architecture for Enterprise-wide Workflow
Management. - In: Proceedings of the NSF Internat. Workshop on Workflow and
Process Automation in Information Systems, Athens, Georgia, 1996. - WWW, 1996
 
Wolf, Markus
- u.a.: Specification of Abstract Data Types. - Chichester ...: Wiley-
Teubner, 1996. - (Wiley-Teubner Series in Applicable Theory in Computer
Science)
 
Würtz, Jörg
- u.a.: Constraint-based Time Tabling - A Case Study. - In: Applied
Artificial Intelligence. - 10 (1996), 5, S. 439-453
 
- u.a.: Constructive Disjunction Revisited. - In: Proceedings of the 20th
German Annual Conference on Artificial Intelligence : KI-96. 1996
 
- u.a.: Interfacing Propagators with a Concurrent Constraint Language. - In:
JICSLP96 Post-conference Workshop and Compulog Net Meeting on Parallelism and
Implementation Technology for (Constraint) Logic Programming Languages. 1996,
S. 195-206
 
- Oz Scheduler: A Workbench for Scheduling Problems. - In: Proceedings of
the 8th IEEE Internat. Conference on Tools with Artificial Intelligence. -
Toulouse, France : IEEE Computer Society Press, 1996, S. 132-139
 
- u.a.: Smallest Horn Clause Programs. - In: Journal of Logic Programming. -
27 (1996), 3, S. 227-267
 
Zimmermann, Detlev
- u.a.: COMPOzE - Intention-based Music Composition through Constraint
Programming. - In: Proceedings of the 8th IEEE Internat. Conference on Tools
with Artificial Intelligence : Toulouse, France. - IEEE Computer Society
Press, 1996, S. 118-121