Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
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
Urruty, Thierry; Hopfgartner, Frank; Villa, Robert et al.
A Cluster-based Simulation of Facet-based SearchRonald L. Larsen;Andreas Paepcke;Mor Naaman;José Borbinha (Hrsg). Compilation E-Proceedings of the JCDL 2008 and Hypertext 2008: June 16-21, 2008 Pittsburgh, PA, USA & the co-located workshops (Creating'08 and WebScience'08). New York, NY: ACM Association for Computing Machinery 2008 S. 472
Kschischo, Maik
A mathematical model of the potassium uptake system TRK in Saccharomyce Cerevisiae2008
Kschischo, Maik
A systems biology approach to ion homeostasis2008
Hopfgartner, Frank; Hannah, David; Jose, Joemon M.
An Adaptive News Video Retrieval Framework2008