Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Ebert, Jürgen
GUPRO - generic understanding of programs : an overviewKoblenz-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 BookMilutinovic, 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 extractionSigbert 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-AnwendungenPatrick 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
Steigner, Ch.; Wilke, J.
Multi-Source Performance Analysis of Distributed SoftwareProceedings of the Communication Networks and Distributed Systems Modeling and Simulation Conference (CNDS). Bd. 1. San Antonio. 2002 0
Arai, T.; Stolzenburg, F.
Multiagent systems specification by UML statecharts aiming at intelligent manufacturingProceedings of the 1st International Joint Conference on Autonomous Agents & Multi-Agent Systems. Bd. Proceedings of the 1st International Joint Conference on Autonomous Agents & Multi-Agent Systems. ACM Press 2002 S. 11-18
Sofronie-Stokkermans, Viorica
On Uniform Word Problems Involving Bridging Operators on Distributive LatticesUwe Egly; Chritian G. Fermüller (Hrsg). Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings. Berlin: Springer 2002 S. 235 - 250
Jürjens, Jan
Principles for secure system designOxford: University of Oxford, Mathematical and Physical Sciences Division 2002
Jansen, David N.; Jürjens, Jan; Cengarle, Maria Victoria et al.
Probabilistic UML statecharts for specification and verification: a case studyMaria Victoria Cengarle;Eduardo B. Fernandez;Jan Jürjens;Bernhard Rumpe;Robert Sandner (Hrsg). Workshop on Critical Systems Development with UML: CSDUML 2002; September 30, 2002 Dresden. München: Technische Universität München, Institut für Informatik 2002 S. 121 - 131