FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
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
Maedche, Alexander; Staab, Steffen; Nedellec, Claire et al.
IJCAI’2001 Workshop on Ontology Learning: Proceedings of the Second Workshop on Ontology Learning OL’2001; Seattle, USA, August 4, 2001. Held in conjunction with the 17th International Conference on Artificial Intelligence IJCAI’2001, Seattle, USAAachen: CEUR/RWTH 2001
Reinhold, Michael; Paulus, Dietrich; Niemann, Heinrich
Improved Appearance-Based 3-D Object Recognition Using Wavelet FeaturesThomas Ertl (Hrsg). Proceedings of the Vision, Modeling and Visualization Conference VMV 2001: Stuttgart, Germany; November 21.-23., 2001. Amsterdam: AKA 2001 S. 473 - 480
Hergenröther, Elke; Müller, Stefan
Integration of Cables in the Virtual Product Development ProcessGeorge L. Kovács; Peter Bertók; Géza Haidegger (Hrsg). Digital Enterprise Challenges: Life-Cycle Approach to Management and Production: IFIP TC5 / WG5.2 & WG5.3 Eleventh International PROLAMAT Conference on Digital Enterprise - New Challenges, November 7-10, 2001, Budapest, Hungary. Boston: Springer 2001 S. 84 - 94