Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Jürjens, Jan
Security and Dependability EngineeringSpyros Kokolakis; Antonio Maña Gómez; George Spanoudakis (Hrsg). Security and Dependability for Ambient Intelligence. Boston: Springer 2009 S. 21 - 36
Sofronie-Stokkermans, Viorica
Sheaves and Geometric Logic and Applications to Modular Verification of Complex SystemsElectronic Notes in Theoretical Computer Science. Bd. 230. Amsterdam: Elsevier 2009 S. 161 - 187
Goyal, Anuj; Punitha, P.; Hopfgartner, Frank et al.
Split and Merge based Story Segmentation in News VideosMohand Boughanem;Catherine Berrut;Josiane Mothe;Chantal Soule-Dupuy (Hrsg). Advances in Information Retrieval: 31th European Conference on IR Research, ECIR 2009, Toulouse, France, April 6-9, 2009, Proceedings. Berlin: Springer 2009 S. 766 - 770
Urruty, Thierry; Hopfgartner, Frank; Hannah, David et al.
Supporting Aspect-Based Video Browsing – Analysis of a User StudyStéphane Marchand-Maillet;Ioannis Kompatsiaris (Hrsg). Proceedings of the ACM International Conference on Image and Video Retrieval CIVR 2009: July 8-10, 2009; Santorini Island, Greece. New York, NY: ACM Association for Computing Machinery 2009
Ihlemann, Carsten; Sofronie-Stokkermans, Viorica
System Description: H-PILoTRenate A. Schmidt (Hrsg). Automated Deduction - CADE-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings. Berlin: Springer 2009 S. 131 - 139
Ratiu, Daniel; Marinescu, Radu; Jürjens, Jan
The Logical Modularity of ProgramsAndy Zaidman; Giuliano Antoniol; Stéphane Ducasee (Hrsg). Proceedings of the 16th Working Conference on Reverse Engineering WCRE 2009: 13th - 16th October 2009; Lille, France. Los Alamitos, CA: IEEE Computer Society 2009 S. 123 - 127
Weyer, Christoph; Renner, Christian; Turau, Volker et al.
TinyAID: Automated Instrumentation and Evaluation Support for TinyOS2009
Hopfgartner, Frank; Jose, Joemon M.
Toward an Adaptive Video Retrieval SystemMarios C. Angelides;Phivos Mylonas;Manolis Wallace (Hrsg). Advances in Semantic Media: Adaptation and Personalization, Volume 2. 2nd Edition. Aufl. New York: Auerbach Publications 2009 S. 113 - 135
Leelanupab, Teerapong; Hopfgartner, Frank; Jose, Joemon M.
User Centered Evaluation of a Recommendation based Image Browsing SystemBhanu Prasad; Pawan Lingras; Ashwin Ram (Hrsg). Proceedings of the 4th Indian International Conference on Artificial Intelligence, IICAI 2009, Tumkur, Karnataka, India, December 16-18, 2009. Tumkur: Siddaganga Institute of Technology 2009 S. 558 - 573
Favre, Jean-Marie; Gaševic, Dragan; Lämmel, Ralf et al.
4th International Workshop on Language Engineering (ATEM 2007)Holger Giese (Hrsg). Models in Software Engineering: Workshops and Symposia at MoDELS 2007; Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers. Berlin: Springer 2008 S. 28 - 33