Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Jürjens, Jan
Building Biometric Authentication Systems: Pitfalls and How to Avoid ThemAnnual Computer Security Applications Conference (ACSAC 2006). 2006
Cordy, James R.; Lämmel, Ralf; Winter, Andreas
Dagstuhl Seminar “Transformation techniques in software engineering” (TrafoDagstuhl 2005) - Executive summaryJames R. Cordy;Ralf Lämmel;Andreas Winter (Hrsg). Transformation Techniques in Software Engineering - Dagstuhl Seminar Proceedings 05161: 17.04. - 22.04.2005; Schloß Dagstuhl. Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2006 S. 1 - 24
Jürjens, Jan
Foundations for Designing Secure ArchitecturesElectronic Notes in Theoretical Computer Science. Bd. 142. H. 3. Amsterdam: Elsevier 2006 S. 31 - 46
Frey, Hannes; Gorgen, Daniel
Geographical Cluster-Based Routing in Sensing-Covered NetworksIEEE Transactions on Parallel and Distributed Systems. Bd. 17. H. 9. New York, NY: IEEE Computer Society 2006 S. 899 - 911
Urban, Jana; Hilaire, Xavier; Hopfgartner, Frank et al.
Glasgow University at TRECVID 2006Paul Over;Tzveta Ianeva;Wessel Kraaij;Alan F. Smeaton (Hrsg). 2006 TREC Video Retrieval Evaluation TRECVID 2006, Gaithersburg, MD, USA, November 13-14, 2006. Gaithersburg, MD: National Institute of Standards and Technology 2006 S. 1 - 8
Sofronie-Stokkermans, Viorica
Interpolation in Local Theory ExtensionsUlrich Furbach; Natarajan Shankar (Hrsg). Automated Reasoning: Third International Joint Conference, IJCAR 2006; Seattle, WA, USA; August 17-20, 2006. Proceedings. Berlin: Springer 2006 S. 235 - 250
Görgen, Daniel; Frey, Hannes; Hiedels, Christian
JANE - A Simulation Platform for Ad Hoc Network Applications2006 S. 1 - 9
Zöbel, Dieter; Balcerak, Elisabeth; Weidenfeller, Thorsten
Minimum Parking Maneuvers for Articulated Vehicles with One-Axle TrailersLihua Xie (Hrsg). Proceedings of the Ninth International Conference on Control, Automation, Robotics and Vision ICARCV 2006: 5-8 December 2006; Singapore. Bd. 4. Piscataway, NJ: IEEE Institute of Electrical and Electronics Engineers 2006 S. 1634 - 1639
Jürjens, Jan
Model-Based Security Engineering for RealJayadev Misra; Tobias Nipkow; Emil Sekerinski (Hrsg). FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings. Berlin: Springer 2006 S. 600 - 606
Jürjens, Jan
Model-Based Security Engineering with UML: Introducing Security AspectsFrank S. de Boer; Marcello M. Bonsangue; Susanne Graf; Willem-Paul de Roever (Hrsg). Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures. Berlin: Springer 2006 S. 64 - 87