FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Fernandez, Eduardo B.; Yoshioka, Nobukazu; Washizaki, Hironori et al.
Using security patterns to build secure systems1st International Workshop on Software Patterns and Quality (SPAQu’07). 2007
Faber, Johannes; Jacobs, Swen; Sofronie-Stokkermans, Viorica
Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing ParametersJim Davies; Jeremy Gibbons (Hrsg). Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings. Berlin: Springer 2007 S. 233 - 252
Bouattour, Sahla; Paulus, Dietrich
Vessel Enhancement in 2D Angiographic ImagesFrank B. Sachse;Gunnar Seemann (Hrsg). Functional Imaging and Modeling of the Heart: 4th International Conference, FIHM 2007, Salt Lake City, UT, USA, June 7-9, 2007. Proceedings. Berlin: Springer 2007 S. 41 - 49
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
Harbusch, Karin; Kempen, Gerard; van Breugel, Camiel et al.
A generation-oriented workbench for Performance Grammar: Capturing linear order variability in German and DutchNathalie Colineau; Cécile Paris; Stephen Wan; Robert Dale; Anja Belz (Hrsg). Proceedings of the Fourth International Natural Language Generation Conference INLG 2006: July 15-16, 2006, Sydney, Australia. Stroudsburg, PA: Association for Computational Linguistics 2006 S. 9 - 11
Thum, Marco; Demiris, Thanos; Müller, Stefan
A Multimodal User Interface Component for an Augmented Reality Mobile User Guidance SystemJoaquim Jorge; Vaclav Skala (Hrsg). Posters Proceedings of the 14-th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision WSCG 2006; University of West Bohemia, Plzen, Czech Republic; January 31 – February 2, 2006. Pilsen: University of West Bohemia 2006 S. 37 - 38
Liebau, Nicolas; Heckmann, Oliver; Kovacevic, Aleksandra et al.
A Secure Quorum Based Membership Mechanism for P2P SystemsRodríguez-Abitia Guillermo; Ania B. Ignacio (Hrsg). Proceedings of the 12th Americas Conference on Information Systems AMCIS 2006: August 4-6, 2006; Acapulco, Mexico. Atlanta, GA: Association for Information Systems/AIS eLibrary 2006
Münzenmayer, Christian; Paulus, Dietrich; Wittenberg, Thomas
A spectral color correction framework for medical applicationsIEEE Transactions on Biomedical Engineering. Bd. 53. H. 2. New York, NY: IEEE Computer Society 2006 S. 254 - 265
Diedrich, Elisabeth; Schmidt, Daniel; Wimmer, Maria A.
A Three Dimensional Framework to Realize Interoperability in Public Administrations2006 S. 54 - 59