Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Gollmann, Dieter; Jürjens, Jan
6th IFIP WG 1.7 Workshop on Issues in the Theory of Security WITS‘06 part of ETAPS 2006: March 25-26, 2006; Vienna, AustriaWien: Vienna University of Technology 2006
Fox, Jorge; Jürjens, Jan
A Framework for Analyzing Composition of Security AspectsEd Brinksma; David Harel; Angelika Mader; Perdita Stevens; Roel Wieringa (Hrsg). Methods for Modelling Software Systems MMOSS - Dagstuhl Seminar Proceedings 06351: 27.08. - 01.09.2006; Schloß Dagstuhl. Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2006 S. 1 - 25
Hopfgartner, Frank; Villa, Robert; Urban, Jana
Adaptive Video RetrievalHideo Joho;Jana Urban;Robert Villa;Joemon M. Jose;C.J. van Rijsbergen (Hrsg). Abstract Booklet - First International Workshop on Adaptive Information Retrieval AIR 2006: University of Glasgow; Scotland, UK; 14th October 2006. Glasgow: University of Glasgow 2006 S. 28 - 29
Rateitschak, Katja; Kschischo, Maik
Bifurcation threshold in the MAPK cascade is independent of the Hill coefficientThorsten Pöschel; Horst Malchow; Lutz Schimansky-Geier (Hrsg). Irreversible Prozesse und Selbstorganisation. Berlin: Logos 2006 S. 167 - 179
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