Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Lautenbach, K.; Ridder, Hanno
Die Lineare Algebra der Verklemmungsvermeidung - ein Petri-Netz-AnsatzEntwurf komplexer Automatisierungssysteme. 1997
Aravindan, C.; Dix, J.; Niemelä, I.
DisLoP: A research project on Disjunctive Logic ProgrammingAI communications. AICOM ; the European journal on artificial intelligence. Bd. 10. H. 3. Amsterdam. 1997 S. 151 - 166
Schimansky-Geier, Lutz; Kschischo, Maik; Fricke, Thomas
Flux of Particles in Sawtooth MediaPhysical Review Letters. Bd. 79. College Park, MD: American Physical Society 1997 3335
Ebert, Jürgen; Kamp, Manfred; Winter, Andreas
GUPRO : A generic system to support multi-level understanding of heterogeneous softwareKoblenz-Landau: Univ., Inst, für Informatik 1997 0 S. (Fachberichte Informatik ; 6/97)
Albrecht, Wolfgang; Zöbel, Dieter
Hard Real-Time Scheduling for Age Constraint Computations in Monitoring and ControlProceedings of the 2nd IFAC Workshop on New Trends in Design of Control Systems. Smolenice, Slovak Republic: Elsevier Science Ltd 1997
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)