FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Jürjens, Jan
Security Analysis of Crypto-based Java Programs using Automated Theorem ProversShinichi Honiden; Sebastian Uchitel; Steve Easterbrook (Hrsg). Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering ASE 2006: 18 - 22 September 2006; Tokyo, Japan. Los Alamitos, CA: IEEE Computer Society 2006 S. 167 - 176
Becker, Jörg; Niehaves, Björn; Algermissen, Lars et al.
Selecting Processes for Co-designing eGovernment ServicesAnders G. Nilsson; Remigijus Gustas; Wita Wojtkowski; W. Gregory Wojtkowski; Stanislaw Wrycza; Jože Zupancic (Hrsg). Advances in Information Systems Development: Bridging the Gap between Academia and Industry. Boston, MA: Springer 2006 S. 553 - 564
Martinovic, Ivan; Leng, Christof; Zdarsky, Frank A. et al.
Self-protection in P2P Networks: Choosing the Right NeighbourhoodHermann de Meer; James P. G. Sterbenz (Hrsg). Self-Organizing Systems: First International Workshop, IWSOS 2006, and Third International Workshop on New Trends in Network Architectures and Services, EuroNGI 2006, Passau, Germany, September 18-20, 2006 Proceedings. Berlin: Springer 2006 S. 23 - 33
Avrithis, Yannis; Kompatsiaris, Yiannis; Staab, Steffen et al.
Semantic Multimedia: First International Conference on Semantic and Digital Media Technologies, SAMT 2006, Athens, Greece, December 6-8, 2006, ProceedingsBerlin: Springer 2006
Tempich, Christoph; Staab, Steffen
Semantic Query Routing in Unstructured Networks Using Social MetaphorsSteffen Staab; Heiner Stuckenschmidt (Hrsg). Semantic Web and Peer-to-Peer: Decentralized Management and Exchange of Knowledge and Information. Berlin: Springer 2006 S. 107 - 123
Staab, Steffen; Stuckenschmidt, Heiner
Semantic Web and Peer-to-Peer: Decentralized Management and Exchange of Knowledge and InformationBerlin: Springer 2006
Jürjens, Jan
Sicherheit - Wo stehen wir heute aus Sicht der Wissenschaft?Microsoft DevDays Security 2006. Munich. 2006
Gilbert, G. Nigel; Troitzsch, Klaus G.; Quesada, Francisco J Miguel
Simulación para las ciencias sociales: una guía práctica para explorar cuestiones sociales mediante el uso de simulaciones informáticasMadrid: McGraw-Hill 2006
Ng-Kruelle, Grace; Swatman, Paul A.; Hampe, J. Felix et al.
Social Adoption Innovation System: An alternative conceptual model for visualising DOIPetra Schubert; Daniel Risch (Hrsg). Proceedings of the CollECTeR Europe 2006 Conference: Basel, Switzerland; June 9-10, 2006. Basel: University of Applied Sciences Northwestern Switzerland, Institute for Business Economics 2006 S. 191 - 205
Münzenmayer, Christian; Wittenberg, Thomas; Paulus, Dietrich
Spectral Color Correction based on Linear EstimationKarl-Heinz Franke (Hrsg). 12. Workshop Farbbildverarbeitung: 5.-6. Oktober 2006; Ilmenau. Ilmenau: Zentrum für Bild- und Signalverarbeitung e.V. Ilmenau 2006 S. 44 - 53