Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

Institut für Informatik

FB 4: Informatik / Universität Koblenz

Universitätsstraße 1, 56070 Koblenz
  • 0261/287 - 2720
  • 0261/287 - 2721
Publikationen
PDF | RTF
Ergebnisse pro Seite:  10

Werr, U.; Diedel, R.; Wehling, C. et al.

CeraNet - Interactive Tool for Fault Diagnosis

2002


Gross-hardt, Margret; Gross - Hardt, M.; Tolksdorf, R. et al.

Concept based querying of semistructured data

Tolksdorf, R.; Eckstein, R. (Hrsg). GI-Edition - Lecture Notes in Informatics (LNI). 2002 S. 79-92


Jürjens, Jan; Rumpe, Bernhard; France, Robert et al.

Critical systems development with UML

2002 S. 1 - 115


Jürjens, Jan

Formal Semantics for Interacting UML Subsystems

Bart Jacobs; Arend Rensink (Hrsg). Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems FMOODS 2002; March 20–22, 2002; Enschede, The Netherlands. New York: Kluwer Academic Publishers 2002 S. 29 - 43


Jürjens, Jan

Games In The Semantics Of Programming Languages - An Elementary Introduction

Synthese. Bd. 133. H. 1-2. Dordrecht: Springer 2002 S. 131 - 158


Ebert, Jürgen

GUPRO - generic understanding of programs : an overview

Koblenz-Landau: Univ., Inst. für Informatik 2002 0 S. (Fachberichte Informatik ; 2002,7-12)


Baumgartner, P.;  Gross - Hardt, M.; Simon, A. B. et al.

Living Book -- An Interactive and Personalized Book

Milutinovic, V. (Hrsg). http://www.ssgrr.it/en/ssgrr2002s/papers.htm SSGRR 2002s - International Conference on Advances in Infrastructure for e-Business, e-Education, e-Science, and e-Medicine on the Internet. 2002


Kschischo, Maik; Gieger, Christian

Managing biological knowledge using text clustering and feature extraction

Sigbert Klinke; Patricia Ahrend; Luise Richter (Hrsg). Proceedings of the Conference Compstat 2002: 15th Symposium held in Berlin, Germany, 24-28 August 2002. Short Communications and Posters (CD-ROM). Heidelberg: Physica 2002 o.A.


Jürjens, Jan

Methodische Entwicklung sicherer CORBA-Anwendungen

Patrick Horster (Hrsg). Enterprise Security: Grundlagen, Strategien, Anwendungen, Realisierungen. Höhenkirchen: IT-Verlag für Informationstechnik 2002 S. 120 - 131


Baumgartner, Peter; Furbach, Ulrich

Model based deduction for knowledge representation [position paper]

Natasha Noy; Martin Frank; Steffen Staab (Hrsg). WWW 2002: International Workshop on the Semantic Web; Hawaii, May 7, 2002. Karlsruhe: Universität Karlsruhe 2002 S. 1 - 2