Jahresbibliographie 1997

Veröffentlichungen von
Angehörigen der Hochschulen des Saarlandes

FB 14 - Informatik

Benzmüller, Christoph,
- u.a.: OMEGA: Towards a Mathematical Assistant. - In: Proceedings 14th
International Conference on Automated Deduction CADE-14 / Ed.: William McCune.
- Berlin : Springer Verlag, S. 252-25. - (Lecture Notes in Artificial
Intelligence ; 1249)
 
Cheikhrouhou, Lassaad
- Planning Diagonalization Proofs. - In: KI-97: Advances in Artificial
Intelligence : 21st Annual German Conference on Artificial Intelligence
Freiburg, Germany, September 1997 Proceedings / Ed.: Brewka, Gerhard .. -
Springer, 1997, S. 377-380. - (LNAI ; 1303)
 
Diehl, Stephan
- An Experiment in Abstract Machine Design. - In: Software - Practice and
Experience, Wiley Pub. - 27 (1997), 1, S. 49-62
 
- Java & Co : Die Sprachen des Webs: HTML, VRML, Java, JavaScript. - Bonn:
Addison-Wesley, 1997
 
Fehrer, Detlef
- u.a.: Exploiting the Addressee's Inferential Capabilities in Presenting
Mathematical Proofs. - In: IJCAI 97 15th International Joint Conference on
Artificial Intelligence / Ed.: Martha Pollack. - Morgan Kaufmann Publ. - 2
(1997), S. 959-964
 
- u.a.: Presenting Inequations in Mathematical Proofs. - In: Porceedings of
JCIS 97 : Vol 2, S. 192-195
 
Ferdinand, Christian
- u.a.: Applying Compiler Techniques to Cache Behavior Prediction. - In:
SIGPLAN 1997 Workshop on Languages, Compilers, and Tools for Real-Time
Systems, LCTRTS'97 : Las Vegas, Nevada, June 15, 1997 / Ed.: Gupta, Rajiv .. -
Nevada : ACM IGPLAN, 1997, S. 37-46
 
Henz, Martin
- Objects for Concurrent Constraint Programming. - Boston : Kluwer Academic
Publishers, 1997. - (The Kluwer International Series in Engineering and
Computer Science ; 426)
 
Horacek, Helmut
- An Algorithm for Generating Referential Descriptions with Flexible
Interfaces. - In: 35th Annual Meeting of the Association for Computational
Linguistics. - San Francisco : Morgan Kaufman Publ., 1997, S. 206-213
 
- Empirical Evidence for the Need of Intelligent Methods in Multimedia
Information Retrieval. - In: Intelligent Multimedia Information Retrieval /
Ed.: Mark T. Maybury. - MIT Press, 1997, S. 427-448
 
- u.a.: Exploiting the Addressee's Inferential Capabilities in Presenting
Mathematical Proofs. - In: IJCAI 97 15th International Joint Conference on
Artificial Intelligence / Ed.: Martha Pollack. - Morgan Kaufmann Publ. - 2
(1997), S. 959-964
 
- A Model for Adapting Explanations to the User's Likely Inferences. - In:
User Modeling and User Adapted Interaction. - 7 (1997), S. 1-55
 
- u.a.: Presenting Inequations in Mathematical Proofs. - In: Porceedings of
JCIS 97 : Vol 2, S. 192-195
 
Hotz, Günter
- u.a.: Analytic Machines. - In: Electronic Colloquium on Computational
Complexity : http://www.eccc.uni-trier.de/eccc/ Ed.: Meinel, Christoph. -
Trier : Universität Trier, 1995
 
- u.a.: Diagnosis of Tank Ballast Systems. - In: Advances in Intelligent
Data Analysis : Reasoning about Data / Ed.: Liu, Xiaohui .. - Springer, 1997,
S. 597-608. - (Lecture Notes in Computer Science ; 1280)
 
- u.a.: Fault Diagnosis in Complex Heterogeneous Systems. - In: In
Proceedings of the 3rd International Conference on Concurrent Engineering and
Electronic Design Automation, CEE / Hrsg.: Zobel, Richard. - Society for
Computer Simulation International, 1996, S. 104-109
 
Kerber, Manfred
- u.a.: Calculemus et Exemplificamus: Reasoning with Hybrid Knowledge Bases.
- In: Creativity and Computation / Ed.: Terry Dartnall. - MIT Press, 1996/97
 
- u.a.: Mechanising Partiality without Re-Implementation. - In: Proceedings
of the 21st Annual German Conference on Artificial Intelligence KI'97 / Ed.:
M. E. Pollack. - Springer Verlag, 1997, S. 123-134. - (Lecture Notes in
Artificial Intelligence ; 1303)
 
Kohlhase, Michael
- u.a.: A Colored Version of the Lambda-Calculus. - In: Proceedings 14th
International Conference on Automated Deduction CADE-14 / Ed.: William McCune.
- Berlin : Springer Verlag, S. 291-305. - (Lecture Notes in Artificial
Intelligence ; 1249)
 
- u.a.: Computing Parallelism in Discourse. - In: Proceedings of the
International Joint Conference on Artificial Intelligence IJCAI'97 / Ed.: M.
E. Pollack. - Morgan Kaufman Publishers. - 2 (1997), S. 1016-1021
 
- u.a.: Dynamic Control of Scope Underspecification. - In: Proceedings of
the 11th Amsterdam Colloquium AC'97 / Ed.: Paul Dekker. - Amsterdam : ILLC,
1997. - (ILLC Tracts)
 
- u.a.: Mechanising Partiality without Re-Implementation. - In: Proceedings
of the 21st Annual German Conference on Artificial Intelligence KI'97 / Ed.:
M. E. Pollack. - Springer Verlag, 1997, S. 123-134. - (Lecture Notes in
Artificial Intelligence ; 1303)
 
- u.a.: OMEGA: Towards a Mathematical Assistant. - In: Proceedings 14th
International Conference on Automated Deduction CADE-14 / Ed.: William McCune.
- Berlin : Springer Verlag, S. 252-25. - (Lecture Notes in Artificial
Intelligence ; 1249)
 
Kraiss, Achim
- u.a.: A Client-Controlled Adaptation Framework for Multimedia Databases. -
In: Proc. of 4th International Workshop on Interactive Distributed Multimedia
Systems and Telecommunication Services (IDMS). - Germany, 1997, S. 397-409
 
- u.a.: L/MRP: A Buffer Management Strategy for Interactive Continuous Data
Flows in a Multimedia DBMS. - In: Proceedings of 21st International Conference
on Very Large Data Bases, Zurich, Switzerland, 1995. - Morgan Kaufmann
Publishers, 1995, S. 275-286
 
- u.a.: Vertical Data Migration in Large Near-Line Document Archives Based
on Markov-Chain Predictions. - In: Proc. of the 23rd International Conference
on Very Large Data Bases (VLDB). - Greece, Athens, 1997, S. 246-255
 
Martin, Florian
- u.a.: Applying Compiler Techniques to Cache Behavior Prediction. - In:
SIGPLAN 1997 Workshop on Languages, Compilers, and Tools for Real-Time
Systems, LCTRTS'97 : Las Vegas, Nevada, June 15, 1997 / Ed.: Gupta, Rajiv .. -
Nevada : ACM IGPLAN, 1997, S. 37-46
 
Melis, Erica
- Abstraction in Inductive Theorem Proving by Analogy. - In: German Workshop
on Case-Based Reasoning. 1997, S. 155-162
 
- Analogy as a Control Strategy in Theorem Proving. - In: Proceedings of the
10th Florida International AI Conference. 1997, S. 367-371
 
- Beweisen durch Analogie. - In: Kognitionswissenschaft. - 6 (1997), 3, S.
115-126
 
- u.a.: Calculemus et Exemplificamus: Reasoning with Hybrid Knowledge Bases.
- In: Creativity and Computation / Ed.: Terry Dartnall. - MIT Press, 1996/97
 
- u.a.: External Analogy in Inductive Theorem Proving. - In: KI-97: Advances
in Artificial Intelligence. - Springer, 1997, S. 111-122. - (Lecture Notes in
ARtificial Intelligence ; 1303)
 
- u.a.: OMEGA: Towards a Mathematical Assistant. - In: Proceedings 14th
International Conference on Automated Deduction CADE-14 / Ed.: William McCune.
- Berlin : Springer Verlag, S. 252-25. - (Lecture Notes in Artificial
Intelligence ; 1249)
 
- Solution-Relevant Abstractions Constrain Retrieval and Adaptation. - In:
Case-Based Reasoning Research and Development. Proceedings of the Second
International Conference on Case-Based Reasoning (ICCBR-97). - Springer, 1997,
S. 383-392. - (Lecture Notes in ARtificial Intelligence ; 1266)
 
Müller, Martin
- u.a.: Finite Set Constraints in Oz. - In: 13. Workshop Logische
Programmierung / Hrsg.: Bry, François ... 1997, S. 104-115
 
- u.a.: Inclusion Constraints over Non-Empty Sets of Trees. - In: Theory and
Practice of Software Development, International Joint Conference
CAAP/FASE/TOOLS / Ed.: Dauchet, Max. - Springer-Verlag, 1997, S. 345-356. -
(Lecture Notes in Computer Science ; 1214)
 
- u.a.: Ordering Constraints over Feature Trees. - In: Proceedings of the
Third International Conference on Principles and Practice of Constraint
Programming / Ed.: Smolka, Gert. - Springer-Verlag, 1997, S. 297-311. -
(Lecture Notes in Computer Science ; 1330)
 
Müller, Silvia Melitta
- Complexity and Correctness of Computer Architectures. - In: Proceedings of
the 4th Workshop on Parallel Systems and Algorithms (PASA'96). - Singapore :
World Scientific Publishing Co., 1997, S. 125-146
 
- u.a.: Conflict-Free Access to Multiple Single-Ported Register Files. - In:
Proceedings, 11th International Parallel Processing Symposium (IPPS'97). 1997,
S. 672 -- 678
 
- u.a.: A Dual Mode IEEE Multiplier. - In: Proceedings, 2nd International
Conference on Innovative Systems in Silicon (ISIS'97). 1997, S. 282 - 289
 
Müller, Tobias
- u.a.: Extending a Concurrent Constraint Language by Propagators. - In:
Proceedings of the International Logic Programming Symposium / Ed.:
Maluszynski, Jan. - The MIT Press, 1997, S. 149-163
 
- u.a.: Finite Set Constraints in Oz. - In: 13. Workshop Logische
Programmierung / Hrsg.: Bry, François ... 1997, S. 104-115
 
Muth, Peter
- u.a.: The MENTOR Workbench for Enterprise-wide Workflow Management. - In:
Proceedings of the ACM SIGMOD International Conference on Management of Data,
Demo Program. - Tucson, Arizona, 1997, S. 576-579
 
- u.a.: On Mixed-Workload Multimedia Storage Servers with Guaranteed
Performance and Service Quality. - In: Proc. of the 3rd International Workshop
on Multimedia Information Systems (MIS'97). - Como, Italy, 1997
 
- u.a.: Partitionierungs- und Synchronisationstechniken für verteilte
Workflow- Management-Systeme. - In: Workflow-Management - Entwicklung von
Anwendungen und Systemen / Hrsg.: Jablonski, S. .. - dpunkt Verlag, 1997
 
- u.a.: Spezifikation, Verifikation und verteilte Ausführung von Workflows
in MENTOR. - In: Informatik Forschung und Entwicklung. - Deutschland, 1997, S.
61-71
 
- u.a.: Stochastic Performance Guarantees for Mixed Workloads in a
Multimedia Information System. - In: Proc. of the 7th IEEE Int. Workshop on
Research Issues in Data Engineering (RIDE'97). - United Kingdom, Birmingham,
1997
 
- u.a.: Stochastic Service Guarantees for Continuous Data on Multi-Zone
Disks. - In: Proc. of the 16th ACM International Symposium on Principles of
Database Systems (PODS'97). - Tucson, Arizona, 1997
 
Nerjes, Guido
- u.a.: On Mixed-Workload Multimedia Storage Servers with Guaranteed
Performance and Service Quality. - In: Proc. of the 3rd International Workshop
on Multimedia Information Systems (MIS'97). - Como, Italy, 1997
 
- u.a.: Stochastic Performance Guarantees for Mixed Workloads in a
Multimedia Information System. - In: Proc. of the 7th IEEE Int. Workshop on
Research Issues in Data Engineering (RIDE'97). - United Kingdom, Birmingham,
1997
 
- u.a.: Stochastic Service Guarantees for Continuous Data on Multi-Zone
Disks. - In: Proc. of the 16th ACM International Symposium on Principles of
Database Systems (PODS'97). - Tucson, Arizona, 1997
 
Niehren, Joachim
- u.a.: Inclusion Constraints over Non-Empty Sets of Trees. - In: Theory and
Practice of Software Development, International Joint Conference
CAAP/FASE/TOOLS / Ed.: Dauchet, Max. - Springer-Verlag, 1997, S. 345-356. -
(Lecture Notes in Computer Science ; 1214)
 
- u.a.: On Equality Up-to Constraints over Finite Trees, Context Unification
and One-Step Rewriting. - In: Proceedings of the International Conference on
Automated Deduction. - Springer-Verlag, 1997, S. 34-48. - (Lecture Notes in
Computer Science ; 1249)
 
- u.a.: Ordering Constraints over Feature Trees. - In: Proceedings of the
Third International Conference on Principles and Practice of Constraint
Programming / Ed.: Smolka, Gert. - Springer-Verlag, 1997, S. 297-311. -
(Lecture Notes in Computer Science ; 1330)
 
- u.a.: A uniform approach to underspecification and parallelism. - In:
Proceedings of the 35th Annual Meeting of the Association of Computational
Linguistics (ACL). - Madrid : ACL, 1997, S. 410-417
 
Schieffer, Björn
- u.a.: Analytic Machines. - In: Electronic Colloquium on Computational
Complexity : http://www.eccc.uni-trier.de/eccc/ Ed.: Meinel, Christoph. -
Trier : Universität Trier, 1995
 
- u.a.: Diagnosis of Tank Ballast Systems. - In: Advances in Intelligent
Data Analysis : Reasoning about Data / Ed.: Liu, Xiaohui .. - Springer, 1997,
S. 597-608. - (Lecture Notes in Computer Science ; 1280)
 
- Fast Compiler-Driven Hierarchical Logic Simulation. - In: Modelling and
Simulation, ESM 94 / Ed.: Guasch, Antoni .. - Society for Computer Simulation
International, 1994, S. 991-998
 
- u.a.: Fault Diagnosis in Complex Heterogeneous Systems. - In: In
Proceedings of the 3rd International Conference on Concurrent Engineering and
Electronic Design Automation, CEE / Hrsg.: Zobel, Richard. - Society for
Computer Simulation International, 1996, S. 104-109
 
Seidel, Peter-Michael
- u.a.: A Dual Mode IEEE Multiplier. - In: Proceedings, 2nd International
Conference on Innovative Systems in Silicon (ISIS'97). 1997, S. 282 - 289
 
Siekmann, Jörg
- u.a.: Calculemus et Exemplificamus: Reasoning with Hybrid Knowledge Bases.
- In: Creativity and Computation / Ed.: Terry Dartnall. - MIT Press, 1996/97
 
- u.a.: OMEGA: Towards a Mathematical Assistant. - In: Proceedings 14th
International Conference on Automated Deduction CADE-14 / Ed.: William McCune.
- Berlin : Springer Verlag, S. 252-25. - (Lecture Notes in Artificial
Intelligence ; 1249)
 
Sinnwell, Markus
- u.a.: A Cost-Model-Based Online Method for Distributed Caching. - In:
Proc. 13th IEEE International Conference on Data Engineering. - United
Kingdom, Birmingham, 1997, S. 532-541
 
Smolka, Gert
- u.a.: An Overview of the Design of Distributed Oz. - In: Proceedings of
the Second International Symposium on Parallel Symbolic Computation
(PASCO'97). - ACM Press, 1997, S. 176-187
 
- u.a.: Mobile Objects in Distributed Oz. - In: ACM Transactions on
Programming Languages and Systems. - 19 (1997), 5, S. 804-851
 
- u.a.: Situated Simplification. - In: Theoretical Computer Science. - 173
(1997), S. 209-233
 
Walser, Joachim P.
- Solving Linear Pseudo-Boolean Constraint Problems with Local Serach. - In:
Proceedings of the Fourteenth National Conference on Artificial Intelligence
(AAAI'97). 1997, S. 269-274
 
Weikum, Gerhard
- u.a.: A Cost-Model-Based Online Method for Distributed Caching. - In:
Proc. 13th IEEE International Conference on Data Engineering. - United
Kingdom, Birmingham, 1997, S. 532-541
 
- u.a.: A Formal Foundation for Distributed Workflow Execution Based on
State Charts. - In: Proceedings of the 6th International Conference on
Database Theory. - Delphi, Greece, 1997, S. 230-246
 
- u.a.: Inter- and Intra-Transaction Parallelism for Combined OLTP/OLAP
Workloads. - In: Advanced Transaction Models and Architectures / Ed.: S.
Jajodia, L. Kerschberg. - Kluwer Publishers, 1997
 
- u.a.: The MENTOR Workbench for Enterprise-wide Workflow Management. - In:
Proceedings of the ACM SIGMOD International Conference on Management of Data,
Demo Program. - Tucson, Arizona, 1997, S. 576-579
 
- u.a.: New and Forgotten Dreams in Database Research. - In: ICDE. 1997, S.
573
 
- u.a.: On Mixed-Workload Multimedia Storage Servers with Guaranteed
Performance and Service Quality. - In: Proc. of the 3rd International Workshop
on Multimedia Information Systems (MIS'97). - Como, Italy, 1997
 
- u.a.: Partitionierungs- und Synchronisationstechniken für verteilte
Workflow- Management-Systeme. - In: Workflow-Management - Entwicklung von
Anwendungen und Systemen / Hrsg.: Jablonski, S. .. - dpunkt Verlag, 1997
 
- u.a.: SNOWBALL: Scalable Storage on Networks of Workstations with Balanced
Load. - In: Distributed and Parallel Databases. 1997
 
- u.a.: Spezifikation, Verifikation und verteilte Ausführung von Workflows
in MENTOR. - In: Informatik Forschung und Entwicklung. - Deutschland, 1997, S.
61-71
 
- u.a.: Stochastic Performance Guarantees for Mixed Workloads in a
Multimedia Information System. - In: Proc. of the 7th IEEE Int. Workshop on
Research Issues in Data Engineering (RIDE'97). - United Kingdom, Birmingham,
1997
 
- u.a.: Stochastic Service Guarantees for Continuous Data on Multi-Zone
Disks. - In: Proc. of the 16th ACM International Symposium on Principles of
Database Systems (PODS'97). - Tucson, Arizona, 1997
 
- u.a.: Vertical Data Migration in Large Near-Line Document Archives Based
on Markov-Chain Predictions. - In: Proc. of the 23rd International Conference
on Very Large Data Bases (VLDB). - Greece, Athens, 1997, S. 246-255
 
Weis, Thomas
- u.a.: Torsion Groups of Elliptic Curves with Integral j-Invariant over
General Cubic Number Fields. - In: International Journal of Algebra and
Computation. - 7 (1997), 3, S. 353-413
 
Weissenfels, Jeanine
- u.a.: The MENTOR Workbench for Enterprise-wide Workflow Management. - In:
Proceedings of the ACM SIGMOD International Conference on Management of Data,
Demo Program. - Tucson, Arizona, 1997, S. 576-579
 
- u.a.: Partitionierungs- und Synchronisationstechniken für verteilte
Workflow- Management-Systeme. - In: Workflow-Management - Entwicklung von
Anwendungen und Systemen / Hrsg.: Jablonski, S. .. - dpunkt Verlag, 1997
 
- u.a.: Spezifikation, Verifikation und verteilte Ausführung von Workflows
in MENTOR. - In: Informatik Forschung und Entwicklung. - Deutschland, 1997, S.
61-71
 
Wilhelm, Reinhard
- u.a.: Applying Compiler Techniques to Cache Behavior Prediction. - In:
SIGPLAN 1997 Workshop on Languages, Compilers, and Tools for Real-Time
Systems, LCTRTS'97 : Las Vegas, Nevada, June 15, 1997 / Ed.: Gupta, Rajiv .. -
Nevada : ACM IGPLAN, 1997, S. 37-46
 
Würtz, Jörg
- Constraint-Based Scheduling in Oz. - In: Operations Research Proceedings
1996 / Ed.: Zimmermann, U. .. - Berlin, Heidelberg, New York : Springer-
Verlag, 1997, S. 218-223
 
- u.a.: Extending a Concurrent Constraint Language by Propagators. - In:
Proceedings of the International Logic Programming Symposium / Ed.:
Maluszynski, Jan. - The MIT Press, 1997, S. 149-163