Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Ebert, J.; Vossen, G.
I-serializability: Generalized correctness for transaction-based environmentsInformation processing letters. devoted to the rapid publication of short contributions to information processing. Bd. 63. H. 4. Amsterdam [u.a.]: Elsevier 1997
Albrecht, Wolfgang; Zöbel, Dieter; Bestavros, Azer et al.
Integrating Fixed Priority and Static Scheduling to Maintain External ConsistencyBestavros, Azer (Hrsg). Real-Time Database and Information Systems, Research Advances. o.A.: Kluwer Academic Publishers 1997 S. 89 - 102
Ebert, Jürgen; Süttenbach, Roger; Uhe, Ingar
Meta-CASE in Practice: A Case for KOGGELecture notes in computer science. Bd. 1250. Berlin: Springer 1997 S. 203 - 216
Brewka, Gerhard; Dix, Jürgen; Konolige, Kurt
Nonmonotonic reasoning : an overviewStanford, Calif.: CSLI Publ. 1997 0 S. (CSLI lecture notes ; 73)
Ebert, J.; Fronk, A.
Operational Semantics of Visual NotationsKoblenz: Universität Koblenz-Landau, Institut für Informatik 1997 (8)
Winter, Andreas; Ebert, J.; Zwierlein, E.
Referenzmodelle für Krankenhaus-Informationssysteme und deren AnwendungZwierlein, E. (Hrsg). Das Krankenhaus der Zukunft, Management im Gesundheitswesen. München: Urban & Schwarzenberg 1997
Baumgartner, Peter; P. Baumgartner, P.; Furbach, U.
Refinements for Restart Model EliminationProceedings of the International Workshop on First Order Theorem Proving (FTP 97). 1997
Albrecht, Wolfgang; Wisser, Ralf
Schedulers for Age Constraint Tasks and their Performance EvaluationLecture notes in computer science. Bd. 1300. Berlin: Springer 1997 S. 1282 - 1289
Baumgartner, Peter; Fröhlich, Peter; Furbach, Ulrich et al.
Semantically Guided Theorem Proving for Diagnosis ApplicationsMartha E. Pollack (Hrsg). Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence IJCAI 1997: Nagoya, Japan; August 23-29, 1997; Volume 1. San Francisco, CA: Morgan Kaufmann Publishers 1997 S. 460 - 465
Baumgartner, Peter; Fröhlich, Peter; Furbach, Ulrich et al.
Tableaux for diagnosis applicationsDidier Galmiche (Hrsg). Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'97 Pont-à-Mousson, France, May 13–16, 1997 Proceedings. Berlin: Springer 1997 S. 76 - 90