FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Vogt, F.; Paulus, D.; Schick, C.
Fast Implementations of Temporal Color Image Filtering2001 S. 89-98
Vogt, Florian; Paulus, Dietrich; Schick, Christof H.
Fast Implementations of Temporal Color Image FilteringDietrich Paulus;Joachim Denzler (Hrsg). 7. Workshop Farbbildverarbeitung: 04. - 05. Oktober 2001; Erlangen. Bd. 34. Erlangen: Friedrich-Alexander-Universität Erlangen-Nürnberg, Institut für Informatik 2001 S. 89 - 98
Kullbach, Bernt; Riediger, Volker; Ebert, Jürgen
Folding : an approach to enable program understanding of preprocessed languagesKoblenz-Landau: Univ., Inst. für Informatik 2001 0 S. (Fachberichte Informatik ; 2001,7-13)
Jürjens, Jan
Formal Development and Verification of Security-Critical Systems with UML. In Workshop on Automated Verification of Critical Systems AVoCS 2001; 19. - 21. April, 2001; Oxford: Published as OUCL Technical Report PRG-RR-01-07Workshop on Automated Verification of Critical Systems (AVoCS 2001). Oxford. 2001 S. 1 - 4
Abadi, Martín; Jürjens, Jan
Formal Eavesdropping and Its Computational InterpretationNaoki Kobayashi; Benjamin C. Pierce (Hrsg). Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001 Sendai, Japan, October 29–31, 2001 Proceedings. Berlin: Springer 2001 S. 82 - 94
Wimmel, Guido; Jürjens, Jan
Formally Testing Fail-safety of Electronic Purse ProtocolsDebra Richardson; Martin S. Feather; Michael Goedicke (Hrsg). Proceedings of the16th Annual International Conference on Automated Software Engineering ASE 2001: 26-29 November 2001; Loew’s Coronado Bay Resort, Coronado Island, San Diego, California. Los Alamitos, CA: IEEE Computer Society 2001 S. 408 - 411
Staab, Steffen
From binary temporal relations to non-binary ones and backArtificial Intelligence. Bd. 128. H. 1-2. Amsterdam: Elsevier 2001 S. 1 - 29
Szyperski, Norbert; von Kortzfleisch, Harald F. O.; Raueiser, Thomas
German-Japanese Case Study on Business Start-ups in High-tech Fields: German Results of the StudyRösrath: InterScience Consulting GmbH 2001 S. 1 - 32
Klettke, Meike; Bietz, Mathias; Bruder, Ilvio et al.
GETESS - Ontologien, objektrelationale Datenbanken und Textanalyse als Bausteine einer Semantischen SuchmaschineDatenbank-Spektrum. Bd. 1. H. 1. Berlin: Springer 2001 S. 14 - 24
Ebert, Jürgen; Kamp, M.; Kullbach, B.
GReQL -- Eine Anfragesprache für das GUPRO-Repository -- Sprachbeschreibung (Version 1.3)2001 S. 35