FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Stojanovic, Nenad; Maedche, Alexander; Staab, Steffen et al.
SEAL: a framework for developing SEmantic PortALsYolanda Gil; Mark Musen; Jude Shavlik (Hrsg). Proceedings of the First International Conference on Knowledge Capture K-CAP 2001: October 22 - 23, 2001; Victoria, British Columbia, Canada. New York, NY: ACM Association for Computing Machinery 2001 S. 155 - 162
Jürjens, Jan
Secrecy-preserving RefinementJosé Nuno Oliveira; Pamela Zave (Hrsg). FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings. Berlin: Springer 2001 S. 135 - 152
Jürjens, Jan; Wimmel, Guido
Security Modelling for Electronic Commerce: The Common Electronic Purse SpecificationsBeat Schmid; Katarina Stanoevska-Slabeva; Volker Tschammer (Hrsg). Towards the E-Society: E-Commerce, E-Business, and E-Government The First IFIP Conference on E-Commerce, E-Business, E-Government I3E 2001: October 3-5, 2001; Zürich, Switzerland. New York: Kluwer Academic Publishers 2001 S. 489 - 505
Ahlrichs, U.; Paulus, D.; Zinsser, T. et al.
Segmentation of range imagesDonati, S. (Hrsg). Optoelectronic Distance / Displacement Measurements and Applications. Pavia. 2001 S. 416-421
Ahlrichs, U.; Paulus, D.; Zinsser, T. et al.
Segmentierung von TiefenbildernStanke, G.; Pochanke, M. (Hrsg). 4. Anwendungsbezogener Workshop zur Erfassung, Verarbeitung, Modellierung und Auswertung von 3D-Daten. Berlin: GFAI 2001 S. 13-20
Ahlrichs, Ulrike; Paulus, Dietrich; Zinsser, Timo et al.
Segmentierung von TiefenbildernGerd Stanke; Lothar Paul; Michael Pochanke (Hrsg). 3D-NordOst 2001: Tagungsband 4. Anwendungsbezogener Workshop zur Erfassung, Modellierung, Verarbeitung und Auswertung von 3D-Daten im Rahmen der GFal-Workshop-Familie Nordost; Berlin; 07. Dezember 2001. Berlin: GFaI Gesellschaft zur Förderung angewandter Informatik 2001 S. 13 - 20
Handschuh, Siegfried; Dieng, Rose; Staab, Steffen
Semannot 2001: Proceedings of the K-CAP 2001 Workshop on Knowledge Markup and Semantic Annotation; Victoria, B.C., Canada; October 21, 2001Aachen: CEUR/RWTH 2001
Troitzsch, Klaus G.; Troitzsch, K. G.
SimulationEvangelisches Soziallexikon. Stuttgart: Kohlhammer 2001 S. 1410-1411
Jürjens, Jan; Wimmel, Guido
Specification-Based Testing of FirewallsDines Bjørner; Manfred Broy; Alexandre V. Zamulin (Hrsg). Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers. Berlin: Springer 2001 S. 308 - 316
Becker, Jörg; Knackstedt, Ralf; Kuropka, Dominik et al.
Subjektivitätsmanagement für die Referenzmodellierung: Vorgehensmodell und WerkzeugkonzeptProceedings der Tagung KnowTech 2001. Dresden. 2001 S. 1 - 19