FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Weyand, Christian; Berg, Uwe; Zöbel, Dieter
Using Model Trucks as Development and Test Environment for Driver Assistance SystemsUlrich Rückert;Joaquin Sitte;Ulf Witkowski (Hrsg). Autonomous Minirobots for Research and Edutainment: AMiRE 2007: Proceedings of the 4th International AMiRE Symposium; October 2007; Buenos Aires. Paderborn: Heinz-Nixdorf-Institut 2007 S. 83 - 90
Mehlitz, Martin; Kunegis, Jérôme; Albayrak, Sahin
Using Novel IR Measures to Learn Optimal Cluster Structures for Web Information RetrievalTsau Young Lin; Laura Haas; Janusz Kacprzyk; Rajeev Motwani; Andrei Broder; Howard Ho (Hrsg). Main Conference Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence WI 2007: Silicon Valley, California, USA 2–5 November 2007. Los Alamitos, CA: IEEE Computer Society 2007 S. 312 - 316
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